Tate-Shafarevich groups in the cyclotomic Z -extension and Weber's class number problem

DOI10.1016/J.JNT.2021.04.019MaRDI QIDQ2043483zbMATH OpenOpenAlexWikidataFDO

Authors Georges Gras

Publication date 2 August 2021

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2009.05278

zbMATH Keywords

\(p\)-adic regulators\(p\)-class groups\(p\)-ramification theoryclass field theorycyclotomic \(\mathbb{Z}_\ell \)-extensionsPARI/GP programs

Mathematics Subject Classification ID

Cyclotomic extensions (11R18) Iwasawa theory (11R23) Class numbers, class groups, discriminants (11R29)

Abstract: Let $K$ be the $N$th layer in the cyclotomic $widehatmathbbZ$-extension $widehatmathbbQ$. Many authors (Aoki, Fukuda, Horie, Ichimura, Inatomi, Komatsu, Miller, Morisawa, Nakajima, Okazaki, Washington,,$ldots$) analyse the behavior of the $p$-class groups ${mathcalC}_K$. We revisit this problem, in a more conceptual form, since computations show that the $p$-torsion group ${mathcalT}_K$ of the Galois groups of the maximal abelian $p$-ramified pro-$p$-extension of $K$ (Tate--Shafarevich group of $K$) is often non-trivial; this raises questions since $$ where ${mathcalR}_K$ is the normalized $p$-adic regulator. We give a new method testing ${mathcalT}_{K}e1$ (Theorem 4.6, Table 6.2) and characterize the $p$-extensions $F$ of $K$ in $widehatmathbbQ$ with ${mathcalC}_{F}e1$ (Theorem 7.5 and Corollary 7.6). We publish easy to use programs, justifying again the eight known examples, and allowing further extensive computations.

Recommendations

• On Tate-Shafarevich groups over cyclic extensions
• The enigmatic Tate-Shafarevich group
• On the Tate-Shafarevich groups over cyclotomic fields of an elliptic curve with supersingular reduction. I.
• Weber's class number problem in the cyclotomic \(\mathbb Z_{2}\)-extension of \(\mathbb Q\). III.
• Elliptic curves with large Tate-Shafarevich groups over a number field

Cites work

• \(\ell\)-classes infinitésimales d'un corps de nombres algébriques
• \(p\)-adic approach of Greenberg's conjecture for totally real fields
• A note on the \(\mathbb Z_p\times\mathbb Z_q\)-extension over \(\mathbb Q\)
• A Note on the Class-Numbers of Algebraic Number Fields
• Algorithmic complexity of Greenberg's conjecture
• Algorithmic Number Theory
• An inequality relating the regulator and the discriminant of a number field
• Certain primary components of the ideal class group of the \(\mathbb Z_p\)-extension over the rationals
• Class groups of abelian fields, and the main conjecture
• Class numbers in cyclotomic \(\mathbb{Z}_p\)-extensions
• Class numbers of totally real fields and applications to the Weber class number problem
• Cutting towers of number fields
• Groupe de Galois de la p-extension abélienne p-ramifiée maximale d'un corps de nombres.
• Height and Weber's class number problem
• Heuristics and conjectures in the direction of a \(p\)-adic Brauer-Siegel theorem
• scientific article; zbMATH DE number 4152506 (Why is no real title available?)
• scientific article; zbMATH DE number 3968700 (Why is no real title available?)
• scientific article; zbMATH DE number 3665071 (Why is no real title available?)
• scientific article; zbMATH DE number 3609817 (Why is no real title available?)
• scientific article; zbMATH DE number 1798938 (Why is no real title available?)
• scientific article; zbMATH DE number 2154278 (Why is no real title available?)
• scientific article; zbMATH DE number 7272573 (Why is no real title available?)
• scientific article; zbMATH DE number 6751599 (Why is no real title available?)
• Ideal norms in the cyclotomic tower and Greenberg's conjecture
• Infinite class field towers of number fields of prime power discriminant
• Logarithmic classes of number fields
• Logarthme p-adique et groupes de Galois.
• Mahler measure and Weber's class number problem in the cyclotomic \(\mathbb Z_p\)-extension of \(\mathbb Q\) for odd prime number \(p\)
• Mahler measure of the Horie unit and Weber's class number problem in the cyclotomic Z_p-extension of Q
• Note on Greenberg conjecture
• On \(\mathbb{Z}_ p\)-torsion of some Galois modules
• On \(p\)-adic zeta functions and \(\mathbb{Z}_p\)-extensions of certain totally real number fields
• On \({\mathbb{Z}}_ p\)-extensions of real abelian fields
• On \({\mathbb{Z}}_ p\)-extensions of real quadratic fields
• On the 2-part of the ideal class group of the cyclotomic \(\mathbb Z_p\)-extension over the rationals
• On the \(\ell \)-part of the \(\mathbb Z_{p_1}\times \dots \times \mathbb Z_{p_s}\)-extension of \(\mathbb Q\)
• On the cohomological dimension of pro-p-extensions of number fields
• On the Iwasawa Invariants of Totally Real Number Fields
• On the norm-Euclideanity of \(\mathbb Q\left(\sqrt{2+\sqrt{2+\sqrt 2}}\right)\) and \(\mathbb Q\left(\sqrt{2+\sqrt 2}\right)\)
• On the parity of the class number of the 7nth cyclotomic field
• On the Shafarevich group of restricted ramification extensions of number fields in the tame case
• Remarks on \(K_ 2\) of number fields
• Sur les p -extensions des corps p -rationnels
• The \(l\)-class group of the \(\mathbb Z_p\)-extension over the rational field
• The enigmatic Tate-Shafarevich group
• The local -regulators of an algebraic number: p-adic conjectures
• The non-p-part of the class number in a cyclotomic \(\mathbb{Z}_p\)-extension
• The p-adic Kummer–Leopoldt constant: Normalized p-adic regulator
• Triviality in ideal class groups of Iwasawa-theoretical abelian number fields
• Weber's class number problem in the cyclotomic Z₂-extension of Q
• Weber's class number problem in the cyclotomic \(\mathbb Z_2\)-extension of \(\mathbb Q\). II.
• Weber's class number problem in the cyclotomic \(\mathbb Z_{2}\)-extension of \(\mathbb Q\). III.

Cited in

(4)

• ON THE RATIO OF TATE-SHAFAREVICH GROUPS OVER CYCLIC EXTENSIONS OF ORDER p²
• Heuristics on class groups and on Tate-Shafarevich groups
• On the Galois structure of units in totally real p-rational number fields
• The \(p\)-adic limits of class numbers in \(\mathbb{Z}_p\)-towers

Describes a project that uses

Uses Software

• PARI/GP

This page was built for publication: Tate-Shafarevich groups in the cyclotomic \(\hat{\mathbb{Z}} \)-extension and Weber's class number problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043483)