Algorithmic complexity of Greenberg's conjecture

DOI10.1007/S00013-021-01618-9zbMATH Open1469.11420arXiv2004.06959OpenAlexW3185610785WikidataQ113906385 ScholiaQ113906385MaRDI QIDQ2043913FDOQ2043913

Georges Gras

Publication date: 4 August 2021

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

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

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)

Cites Work

• Global \(\ell\)-adique clean field theory
• On \(\mathbb{Z}_ p\)-torsion of some Galois modules
• On the Iwasawa Invariants of Totally Real Number Fields
• The Iwasawa λ-invariants of ℤₚ-extensions of real quadratic fields
• Title not available (Why is that?)
• Logarithmic classes of number fields
• Genus formulas and Greenberg's conjecture
• On the cyclotomic norms and the Leopoldt and Gross-Kuz'min conjectures
• Note on Greenberg conjecture
• Title not available (Why is that?)
• \(\ell\)-classes infinitésimales d'un corps de nombres algébriques
• On the cohomological dimension of pro-\(p\)-extensions of number fields
• On \(p\)-adic zeta functions and \(\mathbb{Z}_p\)-extensions of certain totally real number fields
• \(p\)-adic approach of Greenberg's conjecture for totally real fields
• Invariant generalized ideal classes -- structure theorems for \(p\)-class groups in \(p\)-extensions
• The local \(\theta\)-regulators of an algebraic number: \(p\)-adic conjectures
• The p-adic Kummer–Leopoldt constant: Normalized p-adic regulator
• Ideal norms in the cyclotomic tower and Greenberg's conjecture

Cited In (3)

• 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)
• On the λ-stability of p-class groups along cyclic p-towers of a number field

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)