Let $V$ be a valuation domain of rank one and quotient field $K$. Let $abK$ be a fixed algebraic closure of the $v$-adic completion $K$ of $K$ and let $abV$ be the integral closure of $V$ in $abK$. We describe a relevant class of valuation domains $W$ of the field of rational functions $K(X)$ which lie over $V$, which are indexed by the elements $alphainabKcup{infty}$, namely, the valuation domains $W=W_{alpha}={arphiin K(X) mid arphi(alpha)inabV}$. If $V$ is discrete and $piin V$ is a uniformizer, then a valuation domain $W$ of $K(X)$ is of this form if and only if the residue field degree $[W/M:V/P]$ is finite and $pi W=M^e$, for some $egeq 1$, where $M$ is the maximal ideal of $W$. In general, for $alpha,etainabK$ we have $W_{alpha}=W_{eta}$ if and only if $alpha$ and $eta$ are conjugated over $K$. Finally, we show that the set $Pirr$ of irreducible polynomials over $K$ endowed with an ultrametric distance introduced by Krasner is homeomorphic to the space ${W_{alpha} mid alphainabK}$ endowed with the Zariski topology.

Transcendental extensions of a valuation domain of rank one

PERUGINELLI, GIULIO
2017

Abstract

Let $V$ be a valuation domain of rank one and quotient field $K$. Let $abK$ be a fixed algebraic closure of the $v$-adic completion $K$ of $K$ and let $abV$ be the integral closure of $V$ in $abK$. We describe a relevant class of valuation domains $W$ of the field of rational functions $K(X)$ which lie over $V$, which are indexed by the elements $alphainabKcup{infty}$, namely, the valuation domains $W=W_{alpha}={arphiin K(X) mid arphi(alpha)inabV}$. If $V$ is discrete and $piin V$ is a uniformizer, then a valuation domain $W$ of $K(X)$ is of this form if and only if the residue field degree $[W/M:V/P]$ is finite and $pi W=M^e$, for some $egeq 1$, where $M$ is the maximal ideal of $W$. In general, for $alpha,etainabK$ we have $W_{alpha}=W_{eta}$ if and only if $alpha$ and $eta$ are conjugated over $K$. Finally, we show that the set $Pirr$ of irreducible polynomials over $K$ endowed with an ultrametric distance introduced by Krasner is homeomorphic to the space ${W_{alpha} mid alphainabK}$ endowed with the Zariski topology.
File in questo prodotto:
File Dimensione Formato  
ValuationsK(X)PAMS.pdf

accesso aperto

Tipologia: Postprint (accepted version)
Licenza: Accesso gratuito
Dimensione 376.67 kB
Formato Adobe PDF
376.67 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3226237
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 6
social impact