The p-rank ε-conjecture on class groups is true for towers of p-extensions - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

The p-rank ε-conjecture on class groups is true for towers of p-extensions

Résumé

Let p≥2 be a given prime number. We prove, for any number field kappa and any integer e≥1, the p-rank ε-conjecture, on the p-class groups Cl_F, for the family F_kappa^p^e of towers F/kappa built as successive degree p cyclic extensions (without any other Galois conditions) such that F/kappa be of degree p^e, namely: #(Cl_F[p])<<_{kappa,p^e,ε}(√D_F)^ε, where D_F is the absolute value of the discriminant (Theorem 3.6) and, more generally, #(Cl_F[p^r])<<_{kappa,p^e,ε}(√D_F)^ε, for any r≥1 fixed. This Note generalizes the case of the family F_Q^p (Genus theory and ε-conjectures on p-class groups, J. Number Theory 207, 423--459 (2020)), whose techniques appear to be ``universal'' for all relative degree p cyclic extensions and use the Montgomery--Vaughan result on prime numbers. Then we prove, for F_kappa^p^e, the p-rank ε-conjecture on the cohomology groups H^2(G_F,Z_p) of Galois p-ramification theory over F (Theorem 4.3) and for some other classical finite p-invariants of F, as the Hilbert kernels and the logarithmic class groups.
Fichier principal
Vignette du fichier
epsilon.conjecture.p-groupe.pdf (271.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02444876 , version 1 (19-01-2020)
hal-02444876 , version 2 (22-02-2020)

Identifiants

Citer

Georges Gras. The p-rank ε-conjecture on class groups is true for towers of p-extensions. 2020. ⟨hal-02444876v2⟩
55 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More