Geometric families of constant reductions and the Skolem property

DOI10.1090/S0002-9947-98-02094-7MaRDI QIDQ4382967zbMATH OpenFDO

Authors Barry W. Green

Publication date 24 March 1998

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9947-98-02094-7

zbMATH Keywords

birational characterization of arithmetic surfacesconstant reductionfunction fieldgeometric familyprincipal familySkolem propertyvaluation prolongation

Mathematics Subject Classification ID

Arithmetic theory of algebraic function fields (11R58) Valued fields (12J10) Global ground fields in algebraic geometry (14G25) Arithmetic ground fields for surfaces or higher-dimensional varieties (14J20)

Review text

The paper deals with so called families of constant reductions. Let \(F| K\) be a function field in one variable and \(\mathcal{V}\) be a family of independent valuations of the constant field \(K\). Given \(v\in\mathcal{V}\), a valuation prolongation \( v\) to \(F\) is called a constant reduction of \(F\) if the residue fields \(F{\text v}| Kv\) form a function field of one variable. Let \(t\in{F}\) be a non-constant function and for each \(v\in\mathcal{V}\) let \(V_t\) be the set of all prolongations of the Gauss valuation \(v_t\) on \(K(t)\) to \(F\). Denote the union of all \(V_t\) over all \(v\in\mathcal{V}\) by {\(\mathbf {V}_t\).} Denote by {\(\mathbf {V}\)} a family of constant reductions of \(F\) prolonging the valuation of \(\mathcal{V}\). Then { \(\mathbf {V}\)} is called geometric if there exists a non-constant function \(t\in{F}\) such that the symmetric difference of { \(\mathbf {V}\)} and { \(\mathbf {V}_t\)} is finite. The family {\(\mathbf {V}\)} is called principal if { \(\mathbf {V}= V_t\)} for some non-constant function \(t\in{F}\). The main result presents four different sufficient conditions for the geometric family {\(\mathbf {V}\)} to be principal. The proof is divided into two parts, the first containing the proof of the result when \(\mathcal{V}\) is finite, and the second the passage to the global situation. This result is used to give a birational characterization of arithmetic surfaces and prove the existence of finite morphisms to \({\mathbb P}^1\).

Recommendations

• Recent results in the theory of constant reductions
• scientific article; zbMATH DE number 4067049
• scientific article; zbMATH DE number 64044
• Prolongement de la valeur absolue de Gauss et problème de Skolem

Cites work

• A Structure Theorem for Simple Transcendental Extensions of Valued Fields
• Arithmetic over the rings of all algebraic integers.
• Capacity theory on algebraic curves
• Groupes de Picard et problèmes de Skolem. I
• scientific article; zbMATH DE number 4214166 (Why is no real title available?)
• scientific article; zbMATH DE number 64044 (Why is no real title available?)
• scientific article; zbMATH DE number 714220 (Why is no real title available?)
• On curves over valuation rings and morphisms to \(\mathbb{P}^ 1\)
• On Grothendieck's conjecture of birational anabelian geometry
• On Rumely's local-global principle
• On the Galois Theory of function fields of one variable over number fields.
• On valued function fields. I
• Reciprocity in valued function fields.
• Rings of Krull type.
• Simple transcendental extensions of valued fields. III: The uniqueness property
• Zur Theorie der Konstantenreduktion algebraischer Mannigfaltigkeiten. Invarianz des arithmetischen Geschlechts einer Mannigfaltikgeit und der virutellen Dimension ihrer Divisoren.

Cited in

(4)

• Hypersurfaces in projective schemes and a moving lemma
• Higher adeles and non-abelian Riemann-Roch
• Finite morphisms to projective space and capacity theory
• Recent results in the theory of constant reductions

This page was built for publication: Geometric families of constant reductions and the Skolem property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382967)