Namespaces
Variants
Actions

Valued function field

From Encyclopedia of Mathematics
Revision as of 17:00, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

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

Let be an arbitrary valuation on . Then its restriction to is a valuation on ; the respective value groups are denoted by and and the respective residue fields are denoted by and . The transcendence degree of is greater than or equal to the sum of the transcendence degree of the residue field extension and the -dimension of (which is equal to the maximal number of elements in that are rationally independent over ; it may be viewed as the "transcendence degree" of the group extension ). If equality holds, one says that is without transcendence defect; in this case, the extensions and are finitely generated. An important special case is when is a constant reduction of , that is, the transcendence degree of is equal to that of (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 is a valued function field without transcendence defect and if is a defectless field, then so is . 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 is a defectless field, provided that 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 contains a set such that the values of form a maximal set of elements in rationally independent over , and the residues of form a transcendence basis of , then the elements of are algebraically independent. Hence, by the initial remarks, is a transcendence basis of and 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 is independent of the choice of such a set . 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 and .

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

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

where is the genus of and is the genus of , is the degree of the constant field of over , is the Henselian defect of , and is the ramification index (which is always finite in the constant reduction case). It follows that constant reductions with common restriction to and must be equal. In other words, for a fixed valuation on there is at most one extension to which is a good reduction, that is,

i) ;

ii) there exists an element such that and , where denotes the residue of ;

iii) is the constant field of . An element as in ii) is called a regular function.

More generally, is said to have the uniqueness property if is transcendental over and the restriction of to has a unique extension to . In this case, , where is the Henselian defect of and . If is algebraically closed, then , and it follows from the stability theorem that ; hence in this case, every element with the uniqueness property is regular.

It was proved in [a5] that has an element with the uniqueness property already if the restriction of to 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 is a subgroup of and 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 -adic integral solutions on geometrically integral varieties.

Divisor reduction mappings.

A further way to compare with 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 is a valued function field of transcendence degree one which is an immediate extension, and if is a tame field (see Ramification theory of valued fields), then the Henselization of 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 has characteristic zero, the above result is a direct consequence of the fact that in this case is a defectless field, for every .

This structure theory, together with the stability theorem, can be used to show the following. Let be a place of the algebraic function field . Then there is a finite extension and an extension to 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 can be given. In particular, if is the valuation induced by and if is without transcendence defect, then 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=12699
This article was adapted from an original article by F.-V. Kuhlmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article