A virtually ample field that is not ample
type: Item
instance of: scholarly article
title: A virtually ample field that is not ample
zbMATH Open document ID: 1466.12002
author: Padmavathi Srinivasan
published in: Israel Journal of Mathematics
publication date: 2019-12-17T00:00:00Z
full work available at URL: https://arxiv.org/abs/1810.05184
review text: A field \(K\) is called ample (or large, or anti-Mordellic), if every geometrically integral \(K\)-variety \(V\) with a smooth \(K\)-point has the property that the set \(V(K)\) of \(K\)-points of \(V\) is Zariski-dense in \(V\). We say that \(K\) is virtually ample, if some finite extension of \(K\) is an ample field. A field \(F\) is ample in each of the following cases: (i) if \(F\) is a PAC-field (see Proposition~11.1.1 of \textit{M. D. Fried} and \textit{M. Jarden}'s book [Field arithmetic. Revised by Moshe Jarden. 3rd revised ed. Berlin: Springer (2008; Zbl 1145.12001)]; (ii) if \(F\) is complete with respect to a nontrivial absolute value; (iii) if \(F\) is a Henselian valued field (for a more general type of ample fields, see [\textit{F. Pop}, Ann. Math. (2) 172, No. 3, 2183--2195 (2010; Zbl 1220.12001)]; (iv) the absolute Galois group of \(F\) is a pro-\(p\)-group, for any fixed prime \(p\) [\textit{J.-L. Colliot-Thélène}, Ann. Math. (2) 151, No. 1, 359--373 (2000; Zbl 0990.12003)]; when \(p = 2\), this applies to real closed fields, in the sense of Artin-Schreier. More examples of ample fields can be found, e.g., in [\textit{M. Jarden}, Algebraic patching. Berlin: Springer (2011; Zbl 1235.12002)], and in [\textit{F. Pop}, in: Valuation theory in interaction. Proceedings of the 2nd international conference and workshop on valuation theory, Segovia and El Escorial, Spain, July 18--29, 2011. Zürich: European Mathematical Society (EMS). 432--463 (2014; Zbl 1341.12004)]. Since their introduction, ample fields have played a major role in different areas like Galois theory, arithmetic geometry, valuation theory and model theory. The paper under review answers affirmatively the question of whether there exists a virtually ample field which is not ample. This question has been posed in Jarden's book [loc. cit., Problem~5.5.3], and together with other related open problems, by \textit{L. Bary-Soroker} and \textit{A. Fehm} in their survey [``Open problems in the theo…
reviewed by: Ivan D. Chipchakov
Mathematics Subject Classification ID: 12E30
Mathematics Subject Classification ID: 12F10
zbMATH DE Number: 7143829
zbMATH Keywords: geometrically integral variety
zbMATH Keywords: virtually ample field
zbMATH Keywords: PAC (pseudo-algebraically closed) field
zbMATH Keywords: ample (or large) field
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2979105498
arXiv ID: 1810.05184
cites work: Q3999043
cites work: Field Arithmetic
cites work: Non-PAC fields whose Henselian closures are separably closed
cites work: Algebraic Patching
cites work: Q4972468
cites work: Embedding problems over large fields
cites work: Complements à un article de Hans Grauert sur la conjecture de Mordell
Wikidata QID: Q127064572
DOI: 10.1007/S11856-019-1934-Y
description: scientific article