Namespaces
Variants
Actions

Difference between revisions of "Valued function field"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
An (algebraic) function [[Field|field]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100101.png" /> (that is, a finitely generated field extension of transcendence degree at least one; cf. also [[Extension of a field|Extension of a field]]) together with a [[Valuation|valuation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100102.png" />, or place <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100103.png" />, on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100104.png" />.
+
<!--
 +
v1100101.png
 +
$#A+1 = 141 n = 0
 +
$#C+1 = 141 : ~/encyclopedia/old_files/data/V110/V.1100010 Valued function field
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The collection of all places <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100105.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100106.png" /> which are the identity on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100107.png" /> is called the Riemann space or Zariski–Riemann manifold of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100108.png" />. Such a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v1100109.png" /> is called a place of the function field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001010.png" /> and the transcendence degree of its residue field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001011.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001012.png" /> is called the dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001013.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001014.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001015.png" /> is called a rational place of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001016.png" />; this is an analogue of the notion of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001017.png" />-rational point of an [[Algebraic variety|algebraic variety]] defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001018.png" />.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001019.png" /> be an arbitrary valuation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001020.png" />. Then its restriction to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001021.png" /> is a valuation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001022.png" />; the respective value groups are denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001023.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001024.png" /> and the respective residue fields are denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001025.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001026.png" />. The transcendence degree of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001027.png" /> is greater than or equal to the sum of the transcendence degree of the residue field extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001028.png" /> and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001029.png" />-dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001030.png" /> (which is equal to the maximal number of elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001031.png" /> that are rationally independent over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001032.png" />; it may be viewed as the  "transcendence degree"  of the group extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001033.png" />). If equality holds, one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001034.png" /> is without transcendence defect; in this case, the extensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001036.png" /> are finitely generated. An important special case is when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001037.png" /> is a constant reduction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001038.png" />, that is, the transcendence degree of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001039.png" /> is equal to that of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001040.png" /> (which is then again a function field).
+
An (algebraic) function [[Field|field]]  $  F \mid  K $(
 +
that is, a finitely generated field extension of transcendence degree at least one; cf. also [[Extension of a field|Extension of a field]]) together with a [[Valuation|valuation]]  $  v $,
 +
or place  $  P $,
 +
on  $  F $.
 +
 
 +
The collection of all places  $  P $
 +
on  $  F $
 +
which are the identity on  $  K $
 +
is called the Riemann space or Zariski–Riemann manifold of  $  F \mid  K $.
 +
Such a  $  P $
 +
is called a place of the function field  $  F \mid  K $
 +
and the transcendence degree of its residue field  $  FP $
 +
over  $  K $
 +
is called the dimension of  $  P $.
 +
If  $  FP = K $,
 +
then  $  P $
 +
is called a rational place of  $  F \mid  K $;
 +
this is an analogue of the notion of a  $  K $-
 +
rational point of an [[Algebraic variety|algebraic variety]] defined over  $  K $.
 +
 
 +
Let  $  v $
 +
be an arbitrary valuation on $  F $.  
 +
Then its restriction to $  K $
 +
is a valuation on $  K $;  
 +
the respective value groups are denoted by $  vF $
 +
and $  vK $
 +
and the respective residue fields are denoted by $  Fv $
 +
and $  Kv $.  
 +
The transcendence degree of $  F \mid  K $
 +
is greater than or equal to the sum of the transcendence degree of the residue field extension $  Fv \mid  Kv $
 +
and the $  \mathbf Q $-
 +
dimension of $  ( vF/vK ) \otimes \mathbf Q $(
 +
which is equal to the maximal number of elements in $  vF $
 +
that are rationally independent over $  vK $;  
 +
it may be viewed as the  "transcendence degree"  of the group extension $  vF \mid  vK $).  
 +
If equality holds, one says that $  ( F \mid  K,v ) $
 +
is without transcendence defect; in this case, the extensions $  Fv \mid  Kv $
 +
and $  vF \mid  vK $
 +
are finitely generated. An important special case is when v $
 +
is a constant reduction of $  F \mid  K $,  
 +
that is, the transcendence degree of $  F \mid  K $
 +
is equal to that of $  Fv \mid  Kv $(
 +
which is then again a function field).
  
 
==Stability theorem.==
 
==Stability theorem.==
The stability theorem gives criteria for a valued function field to be a defectless field (cf. [[Defect|Defect]]); a defectless field is also called a stable field. It was first proved by H. Grauert and R. Remmert (1966) for a special case; their proof was later generalized by several authors to cover the case of constant reduction in general (cf. [[#References|[a1]]]). A further generalization (with an alternative proof) was given in [[#References|[a7]]]: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001041.png" /> is a valued function field without transcendence defect and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001042.png" /> is a defectless field, then so is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001043.png" />. This theorem has applications in the [[Model theory of valued fields|model theory of valued fields]] via the structure theory of Henselizations of valued function fields, sketched below. As an application to rigid analytic spaces (cf. [[Rigid analytic space|Rigid analytic space]]), the stability theorem is used to prove that the quotient field of the free [[Tate algebra|Tate algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001044.png" /> is a defectless field, provided that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001045.png" /> is. This, in turn, is used to deduce the Grauert–Remmert finiteness theorem (cf. [[Finiteness theorems|Finiteness theorems]]), in a generalized version due to L. Gruson (1968; see [[#References|[a1]]]).
+
The stability theorem gives criteria for a valued function field to be a defectless field (cf. [[Defect|Defect]]); a defectless field is also called a stable field. It was first proved by H. Grauert and R. Remmert (1966) for a special case; their proof was later generalized by several authors to cover the case of constant reduction in general (cf. [[#References|[a1]]]). A further generalization (with an alternative proof) was given in [[#References|[a7]]]: If $  ( F \mid  K,v ) $
 +
is a valued function field without transcendence defect and if $  ( K,v ) $
 +
is a defectless field, then so is $  ( F,v ) $.  
 +
This theorem has applications in the [[Model theory of valued fields|model theory of valued fields]] via the structure theory of Henselizations of valued function fields, sketched below. As an application to rigid analytic spaces (cf. [[Rigid analytic space|Rigid analytic space]]), the stability theorem is used to prove that the quotient field of the free [[Tate algebra|Tate algebra]] $  T _ {n} ( K ) $
 +
is a defectless field, provided that $  K $
 +
is. This, in turn, is used to deduce the Grauert–Remmert finiteness theorem (cf. [[Finiteness theorems|Finiteness theorems]]), in a generalized version due to L. Gruson (1968; see [[#References|[a1]]]).
  
 
==Independence theorem.==
 
==Independence theorem.==
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001046.png" /> contains a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001047.png" /> such that the values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001048.png" /> form a maximal set of elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001049.png" /> rationally independent over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001050.png" />, and the residues of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001051.png" /> form a transcendence basis of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001052.png" />, then the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001053.png" /> are algebraically independent. Hence, by the initial remarks, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001054.png" /> is a transcendence basis of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001055.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001056.png" /> is without transcendence defect. In this case, the stability theorem can be used to prove the independence theorem, which states that the Henselian defect of the finite extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001057.png" /> is independent of the choice of such a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001058.png" />. This makes it possible to define a Henselian defect for all valued function fields without transcendence defect; in particular, in the constant reduction case. A different notion of defect, the vector space defect, was considered in [[#References|[a4]]].
+
If $  F $
 +
contains a set $  {\mathcal T} = \{ x _ {1} \dots x _ {r} ,y _ {1} \dots y _ {s} \} $
 +
such that the values of $  x _ {1} \dots x _ {r} $
 +
form a maximal set of elements in $  vF $
 +
rationally independent over $  vK $,  
 +
and the residues of $  y _ {1} \dots y _ {s} $
 +
form a transcendence basis of $  Fv \mid  Kv $,  
 +
then the elements of $  {\mathcal T} $
 +
are algebraically independent. Hence, by the initial remarks, $  {\mathcal T} $
 +
is a transcendence basis of $  F \mid  K $
 +
and $  ( F \mid  K,v ) $
 +
is without transcendence defect. In this case, the stability theorem can be used to prove the independence theorem, which states that the Henselian defect of the finite extension $  F \mid  K ( {\mathcal T} ) $
 +
is independent of the choice of such a set $  {\mathcal T} $.  
 +
This makes it possible to define a Henselian defect for all valued function fields without transcendence defect; in particular, in the constant reduction case. A different notion of defect, the vector space defect, was considered in [[#References|[a4]]].
  
 
==Constant reduction of function fields of transcendence degree one.==
 
==Constant reduction of function fields of transcendence degree one.==
This was introduced by M. Deuring in [[#References|[a2]]] and studied by many authors; for a survey, see [[#References|[a3]]]. The main object of investigation is the relation between the function fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001059.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001060.png" />.
+
This was introduced by M. Deuring in [[#References|[a2]]] and studied by many authors; for a survey, see [[#References|[a3]]]. The main object of investigation is the relation between the function fields $  F \mid  K $
 +
and $  Fv \mid  Kv $.
  
Answering a question of M. Nagata, J. Ohm [[#References|[a8]]] gave an elementary proof for the ruled residue theorem: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001061.png" /> is a valuation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001062.png" /> such that the residue field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001063.png" /> is of transcendence degree one over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001064.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001065.png" /> is a rational function field over a finite extension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001066.png" />.
+
Answering a question of M. Nagata, J. Ohm [[#References|[a8]]] gave an elementary proof for the ruled residue theorem: If v $
 +
is a valuation on $  K ( x ) $
 +
such that the residue field $  K ( x ) v $
 +
is of transcendence degree one over $  Kv $,  
 +
then $  K ( x ) v $
 +
is a rational function field over a finite extension of $  Kv $.
  
More generally, one seeks to relate the genus (cf. [[Algebraic function|Algebraic function]]) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001067.png" /> to that of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001068.png" />. Several authors proved genus inequalities; one such inequality, proved by B. Green, M. Matignon and F. Pop in [[#References|[a4]]], is given below. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001069.png" /> be a function field of transcendence degree one and assume that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001070.png" /> coincides with the constant field of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001071.png" /> (the relative algebraic closure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001072.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001073.png" />). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001074.png" /> be distinct constant reductions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001075.png" /> having a common restriction to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001076.png" />. Then
+
More generally, one seeks to relate the genus (cf. [[Algebraic function|Algebraic function]]) of $  F \mid  K $
 +
to that of $  Fv \mid  Kv $.  
 +
Several authors proved genus inequalities; one such inequality, proved by B. Green, M. Matignon and F. Pop in [[#References|[a4]]], is given below. Let $  F \mid  K $
 +
be a function field of transcendence degree one and assume that $  K $
 +
coincides with the constant field of $  F \mid  K $(
 +
the relative algebraic closure of $  K $
 +
in $  F $).  
 +
Let $  v _ {1} \dots v _ {s} $
 +
be distinct constant reductions of $  F \mid  K $
 +
having a common restriction to $  K $.  
 +
Then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001077.png" /></td> </tr></table>
+
$$
 +
1 - g _ {F} \leq  1 - s + \sum _ {i = 1 } ^ { s }  \delta _ {i} e _ {i} r _ {i} ( 1 - g _ {i} ) ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001078.png" /> is the genus of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001079.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001080.png" /> is the genus of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001081.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001082.png" /> is the degree of the constant field of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001083.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001084.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001085.png" /> is the Henselian defect of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001086.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001087.png" /> is the ramification index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001088.png" /> (which is always finite in the constant reduction case). It follows that constant reductions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001089.png" /> with common restriction to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001090.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001091.png" /> must be equal. In other words, for a fixed valuation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001092.png" /> there is at most one extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001093.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001094.png" /> which is a good reduction, that is,
+
where $  g _ {F} $
 +
is the genus of $  F \mid  K $
 +
and $  g _ {i} $
 +
is the genus of $  Fv _ {i} \mid  Kv _ {i} $,  
 +
$  r _ {i} $
 +
is the degree of the constant field of $  Fv _ {i} \mid  Kv _ {i} $
 +
over $  Kv _ {i} $,  
 +
$  \delta _ {i} $
 +
is the Henselian defect of $  ( F \mid  K,v _ {i} ) $,  
 +
and $  e _ {i} $
 +
is the ramification index $  ( v _ {i} F:v _ {i} K ) $(
 +
which is always finite in the constant reduction case). It follows that constant reductions $  v _ {1} ,v _ {2} $
 +
with common restriction to $  K $
 +
and $  g _ {1} = g _ {2} = g _ {F} \geq  1 $
 +
must be equal. In other words, for a fixed valuation on $  K $
 +
there is at most one extension v $
 +
to $  F $
 +
which is a good reduction, that is,
  
i) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001095.png" />;
+
i) $  g _ {F} = g _ {Fv }  $;
  
ii) there exists an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001096.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001097.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001098.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v11001099.png" /> denotes the residue of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010100.png" />;
+
ii) there exists an element $  f \in F $
 +
such that $  v ( f ) = 0 $
 +
and  $  [ F:K ( f ) ] = [ Fv:Kv ( fv ) ] $,  
 +
where $  fv $
 +
denotes the residue of $  f $;
  
iii) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010101.png" /> is the constant field of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010102.png" />. An element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010103.png" /> as in ii) is called a regular function.
+
iii) $  Kv $
 +
is the constant field of $  Fv \mid  Kv $.  
 +
An element $  f $
 +
as in ii) is called a regular function.
  
More generally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010104.png" /> is said to have the uniqueness property if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010105.png" /> is transcendental over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010106.png" /> and the restriction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010107.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010108.png" /> has a unique extension to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010109.png" />. In this case, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010110.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010111.png" /> is the Henselian defect of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010112.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010113.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010114.png" /> is algebraically closed, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010115.png" />, and it follows from the stability theorem that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010116.png" />; hence in this case, every element with the uniqueness property is regular.
+
More generally, $  f $
 +
is said to have the uniqueness property if $  fv $
 +
is transcendental over $  Kv $
 +
and the restriction of v $
 +
to $  K ( f ) $
 +
has a unique extension to $  F $.  
 +
In this case, $  [ F:K ( f ) ] = \delta  e  [ Fv:Kv ( fv ) ] $,  
 +
where $  \delta $
 +
is the Henselian defect of $  ( F \mid  K,v ) $
 +
and $  e = ( vF:vK ( f ) ) = ( vF:vK ) $.  
 +
If $  K $
 +
is algebraically closed, then $  e = 1 $,  
 +
and it follows from the stability theorem that $  \delta = 1 $;  
 +
hence in this case, every element with the uniqueness property is regular.
  
It was proved in [[#References|[a5]]] that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010117.png" /> has an element with the uniqueness property already if the restriction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010118.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010119.png" /> is [[Henselian|Henselian]]. The proof uses the model completeness of the [[Elementary theory|elementary theory]] of algebraically closed valued fields (see [[Model theory of valued fields|Model theory of valued fields]]), and ultraproducts (cf. [[Ultrafilter|Ultrafilter]]) of function fields. Elements with the uniqueness property also exist if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010120.png" /> is a subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010121.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010122.png" /> is algebraic over a finite field. This follows from work in [[#References|[a6]]], where the uniqueness property is related to the local Skolem property, which gives a criterion for the existence of algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010123.png" />-adic integral solutions on geometrically integral varieties.
+
It was proved in [[#References|[a5]]] that $  F $
 +
has an element with the uniqueness property already if the restriction of v $
 +
to $  K $
 +
is [[Henselian|Henselian]]. The proof uses the model completeness of the [[Elementary theory|elementary theory]] of algebraically closed valued fields (see [[Model theory of valued fields|Model theory of valued fields]]), and ultraproducts (cf. [[Ultrafilter|Ultrafilter]]) of function fields. Elements with the uniqueness property also exist if $  vF $
 +
is a subgroup of $  \mathbf Q $
 +
and $  Kv $
 +
is algebraic over a finite field. This follows from work in [[#References|[a6]]], where the uniqueness property is related to the local Skolem property, which gives a criterion for the existence of algebraic v $-
 +
adic integral solutions on geometrically integral varieties.
  
 
==Divisor reduction mappings.==
 
==Divisor reduction mappings.==
A further way to compare <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010124.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010125.png" /> is to construct a relation between their Riemann spaces by divisor reduction mappings. Such morphisms, which preserve arithmetical properties, were introduced by M. Deuring in [[#References|[a2]]] for the case of good reduction when the valuations are discrete. This was generalized to non-discrete valuations by P. Roquette in [[#References|[a9]]]. A partial reduction mapping not needing the assumption of good reduction was used in [[#References|[a5]]] for the construction of elements with the uniqueness property.
+
A further way to compare $  F \mid  K $
 +
with $  Fv \mid  Kv $
 +
is to construct a relation between their Riemann spaces by divisor reduction mappings. Such morphisms, which preserve arithmetical properties, were introduced by M. Deuring in [[#References|[a2]]] for the case of good reduction when the valuations are discrete. This was generalized to non-discrete valuations by P. Roquette in [[#References|[a9]]]. A partial reduction mapping not needing the assumption of good reduction was used in [[#References|[a5]]] for the construction of elements with the uniqueness property.
  
 
==Structure of Henselizations of valued function fields.==
 
==Structure of Henselizations of valued function fields.==
Line 40: Line 172:
 
1) In the case of valued function fields without transcendence defect, natural criteria can be given for the isomorphism class of their Henselizations to be determined by the isomorphism classes of the value group and the residue field. This makes essential use of the stability theorem.
 
1) In the case of valued function fields without transcendence defect, natural criteria can be given for the isomorphism class of their Henselizations to be determined by the isomorphism classes of the value group and the residue field. This makes essential use of the stability theorem.
  
2) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010126.png" /> is a valued function field of transcendence degree one which is an immediate extension, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010127.png" /> is a tame field (see [[Ramification theory of valued fields|Ramification theory of valued fields]]), then the Henselization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010128.png" /> is equal to the Henselization of a suitably chosen rational function field contained in this Henselization. This reduces the classification problem to the rational function field, where in turn it can be solved using methods developed by I. Kaplansky (1942; see [[Kaplansky field|Kaplansky field]]). If the residue field of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010129.png" /> has characteristic zero, the above result is a direct consequence of the fact that in this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010130.png" /> is a defectless field, for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010131.png" />.
+
2) If $  ( F \mid  K,v ) $
 +
is a valued function field of transcendence degree one which is an immediate extension, and if $  ( K,v ) $
 +
is a tame field (see [[Ramification theory of valued fields|Ramification theory of valued fields]]), then the Henselization of $  ( F,v ) $
 +
is equal to the Henselization of a suitably chosen rational function field contained in this Henselization. This reduces the classification problem to the rational function field, where in turn it can be solved using methods developed by I. Kaplansky (1942; see [[Kaplansky field|Kaplansky field]]). If the residue field of $  K $
 +
has characteristic zero, the above result is a direct consequence of the fact that in this case $  ( K ( x ) ,v ) $
 +
is a defectless field, for every $  x \in F $.
  
This structure theory, together with the stability theorem, can be used to show the following. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010132.png" /> be a place of the algebraic function field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010133.png" />. Then there is a finite extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010134.png" /> and an extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010135.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010136.png" /> wich admits local uniformization This result also follows from work of A.J. de Jong (1995). But, in addition, a valuation-theoretical description of the extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010137.png" /> can be given. In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010138.png" /> is the valuation induced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010139.png" /> and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010140.png" /> is without transcendence defect, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v110/v110010/v110010141.png" /> admits local uniformization without extending the function field. See [[#References|[a10]]].
+
This structure theory, together with the stability theorem, can be used to show the following. Let $  P $
 +
be a place of the algebraic function field $  F\mid  K $.  
 +
Then there is a finite extension $  {\mathcal F}\mid  F $
 +
and an extension $  P $
 +
to $  {\mathcal F} $
 +
wich admits local uniformization This result also follows from work of A.J. de Jong (1995). But, in addition, a valuation-theoretical description of the extension $  {\mathcal F}\mid  F $
 +
can be given. In particular, if v $
 +
is the valuation induced by $  P $
 +
and if $  ( F\mid  K,v) $
 +
is without transcendence defect, then $  P $
 +
admits local uniformization without extending the function field. See [[#References|[a10]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Bosch,  U. Güntzer,  R. Remmert,  "Non–Archimedean analysis" , Springer  (1984)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Deuring,  "Reduktion algebraischer Funktionenkörper nach Primdivisoren des Konstantenkörpers"  ''Math. Z.'' , '''47'''  (1942)  pp. 643–654</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  B. Green,  "Recent results in the theory of constant reductions"  ''Sém. de Théorie des Nombres, Bordeaux'' , '''3'''  (1991)  pp. 275–310</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  B. Green,  M. Matignon,  F. Pop,  "On valued function fields I"  ''Manuscr. Math.'' , '''65'''  (1989)  pp. 357–376</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  B. Green,  M. Matignon,  F. Pop,  "On valued function fields II"  ''J. Reine Angew. Math.'' , '''412'''  (1990)  pp. 128–149</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  B. Green,  M. Matignon,  F. Pop,  "On the local Skolem property"  ''J. Reine Angew. Math.'' , '''458'''  (1995)  pp. 183–199</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  F.-V. Kuhlmann,  "Valuation theory of fields, abelian groups and modules" , ''Algebra, Logic and Applications'' , Gordon&amp;Breach  (to appear)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Ohm,  "The ruled residue theorem for simple transcendental extensions of valued fields"  ''Proc. Amer. Math. Soc.'' , '''89'''  (1983)  pp. 16–18</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  P. Roquette,  "Zur Theorie der Konstantenreduktion algebraischer Mannigfaltigkeiten"  ''J. Reine Angew. Math.'' , '''200'''  (1958)  pp. 1–44</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  F.-V. Kuhlmann,  "On local uniformization in arbitrary characteristic"  ''The Fields Institute Preprint Series''  (1997)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Bosch,  U. Güntzer,  R. Remmert,  "Non–Archimedean analysis" , Springer  (1984)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Deuring,  "Reduktion algebraischer Funktionenkörper nach Primdivisoren des Konstantenkörpers"  ''Math. Z.'' , '''47'''  (1942)  pp. 643–654</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  B. Green,  "Recent results in the theory of constant reductions"  ''Sém. de Théorie des Nombres, Bordeaux'' , '''3'''  (1991)  pp. 275–310</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  B. Green,  M. Matignon,  F. Pop,  "On valued function fields I"  ''Manuscr. Math.'' , '''65'''  (1989)  pp. 357–376</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  B. Green,  M. Matignon,  F. Pop,  "On valued function fields II"  ''J. Reine Angew. Math.'' , '''412'''  (1990)  pp. 128–149</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  B. Green,  M. Matignon,  F. Pop,  "On the local Skolem property"  ''J. Reine Angew. Math.'' , '''458'''  (1995)  pp. 183–199</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  F.-V. Kuhlmann,  "Valuation theory of fields, abelian groups and modules" , ''Algebra, Logic and Applications'' , Gordon&amp;Breach  (to appear)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Ohm,  "The ruled residue theorem for simple transcendental extensions of valued fields"  ''Proc. Amer. Math. Soc.'' , '''89'''  (1983)  pp. 16–18</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  P. Roquette,  "Zur Theorie der Konstantenreduktion algebraischer Mannigfaltigkeiten"  ''J. Reine Angew. Math.'' , '''200'''  (1958)  pp. 1–44</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  F.-V. Kuhlmann,  "On local uniformization in arbitrary characteristic"  ''The Fields Institute Preprint Series''  (1997)</TD></TR></table>

Latest revision as of 08:27, 6 June 2020


An (algebraic) function field $ F \mid K $( that is, a finitely generated field extension of transcendence degree at least one; cf. also Extension of a field) together with a valuation $ v $, or place $ P $, on $ F $.

The collection of all places $ P $ on $ F $ which are the identity on $ K $ is called the Riemann space or Zariski–Riemann manifold of $ F \mid K $. Such a $ P $ is called a place of the function field $ F \mid K $ and the transcendence degree of its residue field $ FP $ over $ K $ is called the dimension of $ P $. If $ FP = K $, then $ P $ is called a rational place of $ F \mid K $; this is an analogue of the notion of a $ K $- rational point of an algebraic variety defined over $ K $.

Let $ v $ be an arbitrary valuation on $ F $. Then its restriction to $ K $ is a valuation on $ K $; the respective value groups are denoted by $ vF $ and $ vK $ and the respective residue fields are denoted by $ Fv $ and $ Kv $. The transcendence degree of $ F \mid K $ is greater than or equal to the sum of the transcendence degree of the residue field extension $ Fv \mid Kv $ and the $ \mathbf Q $- dimension of $ ( vF/vK ) \otimes \mathbf Q $( which is equal to the maximal number of elements in $ vF $ that are rationally independent over $ vK $; it may be viewed as the "transcendence degree" of the group extension $ vF \mid vK $). If equality holds, one says that $ ( F \mid K,v ) $ is without transcendence defect; in this case, the extensions $ Fv \mid Kv $ and $ vF \mid vK $ are finitely generated. An important special case is when $ v $ is a constant reduction of $ F \mid K $, that is, the transcendence degree of $ F \mid K $ is equal to that of $ Fv \mid Kv $( which is then again a function field).

Stability theorem.

The stability theorem gives criteria for a valued function field to be a defectless field (cf. Defect); a defectless field is also called a stable field. It was first proved by H. Grauert and R. Remmert (1966) for a special case; their proof was later generalized by several authors to cover the case of constant reduction in general (cf. [a1]). A further generalization (with an alternative proof) was given in [a7]: If $ ( F \mid K,v ) $ is a valued function field without transcendence defect and if $ ( K,v ) $ is a defectless field, then so is $ ( F,v ) $. This theorem has applications in the model theory of valued fields via the structure theory of Henselizations of valued function fields, sketched below. As an application to rigid analytic spaces (cf. Rigid analytic space), the stability theorem is used to prove that the quotient field of the free Tate algebra $ T _ {n} ( K ) $ is a defectless field, provided that $ K $ is. This, in turn, is used to deduce the Grauert–Remmert finiteness theorem (cf. Finiteness theorems), in a generalized version due to L. Gruson (1968; see [a1]).

Independence theorem.

If $ F $ contains a set $ {\mathcal T} = \{ x _ {1} \dots x _ {r} ,y _ {1} \dots y _ {s} \} $ such that the values of $ x _ {1} \dots x _ {r} $ form a maximal set of elements in $ vF $ rationally independent over $ vK $, and the residues of $ y _ {1} \dots y _ {s} $ form a transcendence basis of $ Fv \mid Kv $, then the elements of $ {\mathcal T} $ are algebraically independent. Hence, by the initial remarks, $ {\mathcal T} $ is a transcendence basis of $ F \mid K $ and $ ( F \mid K,v ) $ is without transcendence defect. In this case, the stability theorem can be used to prove the independence theorem, which states that the Henselian defect of the finite extension $ F \mid K ( {\mathcal T} ) $ is independent of the choice of such a set $ {\mathcal T} $. This makes it possible to define a Henselian defect for all valued function fields without transcendence defect; in particular, in the constant reduction case. A different notion of defect, the vector space defect, was considered in [a4].

Constant reduction of function fields of transcendence degree one.

This was introduced by M. Deuring in [a2] and studied by many authors; for a survey, see [a3]. The main object of investigation is the relation between the function fields $ F \mid K $ and $ Fv \mid Kv $.

Answering a question of M. Nagata, J. Ohm [a8] gave an elementary proof for the ruled residue theorem: If $ v $ is a valuation on $ K ( x ) $ such that the residue field $ K ( x ) v $ is of transcendence degree one over $ Kv $, then $ K ( x ) v $ is a rational function field over a finite extension of $ Kv $.

More generally, one seeks to relate the genus (cf. Algebraic function) of $ F \mid K $ to that of $ Fv \mid Kv $. Several authors proved genus inequalities; one such inequality, proved by B. Green, M. Matignon and F. Pop in [a4], is given below. Let $ F \mid K $ be a function field of transcendence degree one and assume that $ K $ coincides with the constant field of $ F \mid K $( the relative algebraic closure of $ K $ in $ F $). Let $ v _ {1} \dots v _ {s} $ be distinct constant reductions of $ F \mid K $ having a common restriction to $ K $. Then

$$ 1 - g _ {F} \leq 1 - s + \sum _ {i = 1 } ^ { s } \delta _ {i} e _ {i} r _ {i} ( 1 - g _ {i} ) , $$

where $ g _ {F} $ is the genus of $ F \mid K $ and $ g _ {i} $ is the genus of $ Fv _ {i} \mid Kv _ {i} $, $ r _ {i} $ is the degree of the constant field of $ Fv _ {i} \mid Kv _ {i} $ over $ Kv _ {i} $, $ \delta _ {i} $ is the Henselian defect of $ ( F \mid K,v _ {i} ) $, and $ e _ {i} $ is the ramification index $ ( v _ {i} F:v _ {i} K ) $( which is always finite in the constant reduction case). It follows that constant reductions $ v _ {1} ,v _ {2} $ with common restriction to $ K $ and $ g _ {1} = g _ {2} = g _ {F} \geq 1 $ must be equal. In other words, for a fixed valuation on $ K $ there is at most one extension $ v $ to $ F $ which is a good reduction, that is,

i) $ g _ {F} = g _ {Fv } $;

ii) there exists an element $ f \in F $ such that $ v ( f ) = 0 $ and $ [ F:K ( f ) ] = [ Fv:Kv ( fv ) ] $, where $ fv $ denotes the residue of $ f $;

iii) $ Kv $ is the constant field of $ Fv \mid Kv $. An element $ f $ as in ii) is called a regular function.

More generally, $ f $ is said to have the uniqueness property if $ fv $ is transcendental over $ Kv $ and the restriction of $ v $ to $ K ( f ) $ has a unique extension to $ F $. In this case, $ [ F:K ( f ) ] = \delta e [ Fv:Kv ( fv ) ] $, where $ \delta $ is the Henselian defect of $ ( F \mid K,v ) $ and $ e = ( vF:vK ( f ) ) = ( vF:vK ) $. If $ K $ is algebraically closed, then $ e = 1 $, and it follows from the stability theorem that $ \delta = 1 $; hence in this case, every element with the uniqueness property is regular.

It was proved in [a5] that $ F $ has an element with the uniqueness property already if the restriction of $ v $ to $ K $ is Henselian. The proof uses the model completeness of the elementary theory of algebraically closed valued fields (see Model theory of valued fields), and ultraproducts (cf. Ultrafilter) of function fields. Elements with the uniqueness property also exist if $ vF $ is a subgroup of $ \mathbf Q $ and $ Kv $ is algebraic over a finite field. This follows from work in [a6], where the uniqueness property is related to the local Skolem property, which gives a criterion for the existence of algebraic $ v $- adic integral solutions on geometrically integral varieties.

Divisor reduction mappings.

A further way to compare $ F \mid K $ with $ Fv \mid Kv $ is to construct a relation between their Riemann spaces by divisor reduction mappings. Such morphisms, which preserve arithmetical properties, were introduced by M. Deuring in [a2] for the case of good reduction when the valuations are discrete. This was generalized to non-discrete valuations by P. Roquette in [a9]. A partial reduction mapping not needing the assumption of good reduction was used in [a5] for the construction of elements with the uniqueness property.

Structure of Henselizations of valued function fields.

Valued function fields play a role also in the model theory of valued fields. The question whether an elementary theory is model complete or complete can be reduced to the existence of embeddings of finitely generated extensions of structures (cf. Existentially closed; Robinson test; Prime model). In the case of valued fields, these are just the valued function fields (or the finite extensions, but a field is never existentially closed in a non-trivial finite extension). Since there is no hope for a general classification of valued function fields up to isomorphism, it makes sense to pass to their Henselizations and use the universal property of Henselizations (see Henselization of a valued field). The main results are as follows (cf. [a7]).

1) In the case of valued function fields without transcendence defect, natural criteria can be given for the isomorphism class of their Henselizations to be determined by the isomorphism classes of the value group and the residue field. This makes essential use of the stability theorem.

2) If $ ( F \mid K,v ) $ is a valued function field of transcendence degree one which is an immediate extension, and if $ ( K,v ) $ is a tame field (see Ramification theory of valued fields), then the Henselization of $ ( F,v ) $ is equal to the Henselization of a suitably chosen rational function field contained in this Henselization. This reduces the classification problem to the rational function field, where in turn it can be solved using methods developed by I. Kaplansky (1942; see Kaplansky field). If the residue field of $ K $ has characteristic zero, the above result is a direct consequence of the fact that in this case $ ( K ( x ) ,v ) $ is a defectless field, for every $ x \in F $.

This structure theory, together with the stability theorem, can be used to show the following. Let $ P $ be a place of the algebraic function field $ F\mid K $. Then there is a finite extension $ {\mathcal F}\mid F $ and an extension $ P $ to $ {\mathcal F} $ wich admits local uniformization This result also follows from work of A.J. de Jong (1995). But, in addition, a valuation-theoretical description of the extension $ {\mathcal F}\mid F $ can be given. In particular, if $ v $ is the valuation induced by $ P $ and if $ ( F\mid K,v) $ is without transcendence defect, then $ P $ admits local uniformization without extending the function field. See [a10].

References

[a1] S. Bosch, U. Güntzer, R. Remmert, "Non–Archimedean analysis" , Springer (1984)
[a2] M. Deuring, "Reduktion algebraischer Funktionenkörper nach Primdivisoren des Konstantenkörpers" Math. Z. , 47 (1942) pp. 643–654
[a3] B. Green, "Recent results in the theory of constant reductions" Sém. de Théorie des Nombres, Bordeaux , 3 (1991) pp. 275–310
[a4] B. Green, M. Matignon, F. Pop, "On valued function fields I" Manuscr. Math. , 65 (1989) pp. 357–376
[a5] B. Green, M. Matignon, F. Pop, "On valued function fields II" J. Reine Angew. Math. , 412 (1990) pp. 128–149
[a6] B. Green, M. Matignon, F. Pop, "On the local Skolem property" J. Reine Angew. Math. , 458 (1995) pp. 183–199
[a7] F.-V. Kuhlmann, "Valuation theory of fields, abelian groups and modules" , Algebra, Logic and Applications , Gordon&Breach (to appear)
[a8] J. Ohm, "The ruled residue theorem for simple transcendental extensions of valued fields" Proc. Amer. Math. Soc. , 89 (1983) pp. 16–18
[a9] P. Roquette, "Zur Theorie der Konstantenreduktion algebraischer Mannigfaltigkeiten" J. Reine Angew. Math. , 200 (1958) pp. 1–44
[a10] F.-V. Kuhlmann, "On local uniformization in arbitrary characteristic" The Fields Institute Preprint Series (1997)
How to Cite This Entry:
Valued function field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Valued_function_field&oldid=49105
This article was adapted from an original article by F.-V. Kuhlmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article