Kummer-faithful fields which are not sub-\(p\)-adic (Q2122573)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kummer-faithful fields which are not sub-\(p\)-adic |
scientific article |
Statements
Kummer-faithful fields which are not sub-\(p\)-adic (English)
0 references
7 April 2022
0 references
Let \(k\) be a perfect field and fix an algebraic closure \(\overline{k}\). In the article under review, the author studies the condition that \(k\) is \textit{Kummer-faithful} (resp. \textit{torally Kummer-faithful}), in the sense that for each finite extension \(K / k\), \(k \subseteq K \subseteq \overline{k}\), and all semi-abelian varieties (resp. tori) \(G\) over \(K\), it holds true that \[ \bigcap_{N \geq 1} N \cdot G(K) = \{0\}. \] The concept Kummer-faithful (resp. torally Kummer-faithful) fields arose in the work of \textit{S. Mochizuki} [J. Math. Sci., Tokyo 22, No. 4, 939--1156 (2015; Zbl 1358.14024)]. In the present article, the author gives new constructions of Kummer-faithful (resp. torally Kummer-faithful) fields. For instance, the author proves that if \(k\) is an infinite extension of \(\mathbb{Q}\) and if for each prime number \(p\), its ramification index in \(k / \mathbb{Q}\) is finite, then \(k\) is torally Kummer-faithful. Further, the author proves that given a Galois extension of number fields \(M / F\), if for each abelian variety \(A\) over \(M\) and for each torus \(T\) over \(M\), there exists a prime number \(p\) which is such that \(A(M)[p^{\infty}]\) and \(T(M)[p^{\infty}]\) are finite, then every subfield \(K\) of \(M\) is Kummer-faithful. Finally, the author discusses a collection of auxiliary examples.
0 references
Kummer-faithful fields
0 references
infinite algebraic extensions
0 references
PAC fields
0 references
cyclotomic extensions
0 references
cusp forms of level 1
0 references
division points of an elliptic curve
0 references
0 references