Genus theory and ε-conjectures on p-class groups - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Genus theory and ε-conjectures on p-class groups

Résumé

We suspect that the ``genus part'' of the class number of a number field K may be an obstruction for an ``easy proof'' of the classical ε-conjecture for p-class groups and, a fortiori, for a proof of the ``strong ε-conjecture'': #Cl_K <<_(d,p,ε) (√D_K)^ε, for all K of degree d. We analyze the weight of genus theory in this inequality by means of an infinite family of degree p cyclic fields with many ramified primes, then we prove the p-rank form of the ε-conjecture: #(Cl_K/Cl_K^p) <<_(d,p,ε) (√D_K)^ε, for d=p and the family of degree p cyclic extensions of Q (Theorem 2.5) then sketch the case of arbitrary base fields. The possible obstruction for the strong form, in the degree p cyclic case, is the order of magnitude of the set of ``exceptional'' p-classes given by a well-known non predictible algorithm, but controled thanks to recent density results due to Koymans--Pagano. Then we compare the ε-conjectures with some p-adic conjectures, of Brauer--Siegel type, about the torsion group T_K of the Galois group of the maximal abelian p-ramified pro-p-extension of totally real number fields K. We give numerical computations with the corresponding PARI/GP programs.
Fichier principal
Vignette du fichier
epsilon-conjecture.pdf (368.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02059441 , version 1 (06-03-2019)
hal-02059441 , version 2 (17-03-2019)
hal-02059441 , version 3 (25-06-2019)

Identifiants

Citer

Georges Gras. Genus theory and ε-conjectures on p-class groups. 2019. ⟨hal-02059441v2⟩
59 Consultations
377 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More