Algorithmic complexity of Greenberg's conjecture

DOI10.1007/S00013-021-01618-9MaRDI QIDQ2043913zbMATH OpenOpenAlexWikidataFDO

Authors Georges Gras

Publication date 4 August 2021

Published in Archiv der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

class field theory\(p\)-class groupsGreenberg's conjectureIwasawa's theory\(p\)-adic regulators\(p\)-ramification theory

Mathematics Subject Classification ID

Class field theory (11R37) Iwasawa theory (11R23) Class numbers, class groups, discriminants (11R29) Algebraic number theory computations (11Y40)

Abstract: Let $k$ be a totally real number field and $p$ a prime. We show that the ``complexity of Greenberg's conjecture ($lambda=mu=0$) is of $p$-adic nature governed (under Leopoldt's conjecture) by the finite torsion group ${mathcalT}_k$ of the Galois group of the maximal abelian $p$-ramified pro-$p$-extension of $k$, by means of images in ${mathcalT}_k$ of ideal norms from the layers $k_n$ of the cyclotomic tower (Theorem (5.2)). These images are obtained via the formal algorithm computing, by ``unscrewing, the $p$-class group of~$k_n$. Conjecture (5.4) of equidistribution of these images would show that the number of steps $b_n$ of the algorithms is bounded as $noinfty$, so that Greenberg's conjecture, hopeless within the sole framework of Iwasawa's theory, would hold true ``with probability $1$. No assumption is made on $[k:mathbbQ]$, nor on the decomposition of $p$ in $k/mathbbQ$.

Recommendations

• \(p\)-adic approach of Greenberg's conjecture for totally real fields
• Ideal norms in the cyclotomic tower and Greenberg's conjecture
• Greenberg conjecture for the cyclotomic \(\mathbb Z_2\)-extension of \(\mathbb Q(\sqrt p)\)
• Note on Greenberg conjecture
• scientific article; zbMATH DE number 844386

Cites work

• scientific article; zbMATH DE number 3011127 (Why is no real title available?)
• scientific article; zbMATH DE number 6751599 (Why is no real title available?)
• Genus formulas and Greenberg's conjecture
• Global \(\ell\)-adique clean field theory
• Ideal norms in the cyclotomic tower and Greenberg's conjecture
• Invariant generalized ideal classes -- structure theorems for p-class groups in p-extensions
• Logarithmic classes of number fields
• 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 the Iwasawa Invariants of Totally Real Number Fields
• On the cohomological dimension of pro-p-extensions of number fields
• On the cyclotomic norms and the Leopoldt and Gross-Kuz'min conjectures
• The Iwasawa λ-invariants of ℤₚ-extensions of real quadratic fields
• The local \(\theta\)-regulators of an algebraic number: \(p\)-adic conjectures
• The p-adic Kummer–Leopoldt constant: Normalized p-adic regulator
• \(\ell\)-classes infinitésimales d'un corps de nombres algébriques
• \(p\)-adic approach of Greenberg's conjecture for totally real fields

Cited in

(3)

• On the \(\lambda\)-stability of \(p\)-class groups along cyclic \(p\)-towers of a number field
• Tate-Shafarevich groups in the cyclotomic \(\hat{\mathbb{Z}} \)-extension and Weber's class number problem
• The Chevalley-Herbrand formula and the real abelian Main Conjecture (new criterion using capitulation of the class group)

This page was built for publication: Algorithmic complexity of Greenberg's conjecture

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