Subfields of ample fields. Rational maps and definability
F. Pop introduced the notion of large field, also known as \textit{ample} field, which subsumes several seemingly unrelated classes of fields: separably closed, pseudo algebraically closed, real closed, and Henselian valued fields. A field \(K\) is ample, if every smooth curve \(\mathcal C\) defined over \(K\) with a \(K\)-rational point has infinitely many of them. This class of fields is now important in contemporary Galois theory, has appeared in several other related topics and turns out to be richer than previously believed (see reference [Pop09] of the paper, which has now appeared as [\textit{F. Pop}, Ann. Math. (2) 172, No. 3, 2183--2195 (2010; Zbl 1220.12001)]. The main result of the paper, which generalizes a result of Pop, asserts that a smooth curve \(\mathcal C\) over an ample field \(K\) with \({\mathcal C} (K)\neq\emptyset \) has \(| K|\) many rational points \textit{that do not lie in a given proper subfield, even after applying a rational map.} The author gives several applications of this result. E.g. a perfect ample field \(K\) has no existentially \(K\)-definable proper infinite subfields (in the ring language), from which it follows that the ring of standard integers \(\mathbb Z\) cannot be diophantine over an ample field of characteristic zero.
- A virtually ample field that is not ample
- scientific article; zbMATH DE number 6424177
- scientific article; zbMATH DE number 7136134
- On ample fields
- Big fields that are not large
- Henselian implies large
- Galois groups over rational function fields over skew fields
- ON THE RANK OF ABELIAN VARIETIES OVER AMPLE FIELDS
- Embeddings of function fields into ample fields
- Embedding problems over large fields
- A remark on the Mordell-Weil rank of elliptic curves over the maximal abelian extension of the rational number field
- Bertini theorems for hypersurface sections containing a subscheme
- Bertini theorems over finite fields
- Defining transcendentals in function fields
- Embedding problems over large fields
- Field Arithmetic
- First-order characterization of function field invariants over large fields
- scientific article; zbMATH DE number 3155247 (Why is no real title available?)
- scientific article; zbMATH DE number 32406 (Why is no real title available?)
- scientific article; zbMATH DE number 48229 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 1088525 (Why is no real title available?)
- Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
- Local Galois theory in dimension two
- On definable subsets of p-adic fields
- On function fields with free absolute Galois groups
- ON THE RANK OF ABELIAN VARIETIES OVER AMPLE FIELDS
- Ranks of Abelian varieties over infinite extensions of the rationals
- Rationally connected varieties over local fields
- Simultaneous \(R\)-equivalence of torsors: a complement to an article of P. Gille
- Sur la théorie élémentaire des corps de fonctions
- Images of polynomial maps on ample fields
- Existentially generated subfields of large fields
- Nondefinability of rings of integers in most algebraic fields
- Éz fields
- Topological proofs of results on large fields
- A virtually ample field that is not ample
- THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS
- The absolute Galois group of subfields of the field of totally \(S\)-adic numbers
- Morphisms of varieties over ample fields
- scientific article; zbMATH DE number 6424177 (Why is no real title available?)
- EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
- Implicit definability of subfields
- The étale open topology over the fraction field of a Henselian local domain
- Embeddings of function fields into ample fields
- Generic derivations, differential largeness, and NTP₂
- One-dimensional F-definable sets in F((t))
- Ranks of abelian varieties and the full Mordell-Lang conjecture in dimension one
This page was built for publication: Subfields of ample fields. Rational maps and definability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q961026)
