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
    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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references