Subfields of ample fields. Rational maps and definability (Q961026): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2018616767 / rank | |||
Normal rank |
Revision as of 02:14, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subfields of ample fields. Rational maps and definability |
scientific article |
Statements
Subfields of ample fields. Rational maps and definability (English)
0 references
29 March 2010
0 references
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.
0 references
ample field
0 references
rational point
0 references
algebraic curve
0 references
definability
0 references