Note on Greenberg conjecture

Note sur la conjecture de Greenberg

Jean-François Jaulent (1)

1 IMB - Institut de Mathématiques de Bordeaux

We use logarithmic ℓ-class groups to take a new view on Greenberg's conjecture about Iwasawa ℓ-invariants of a totally real number field K. By the way we recall and complete some classical results. Under Leopoldt's conjecture, we prove that Greenberg's conjecture holds if and only if the logarithmic classes of K principalize in the cyclotomic Zℓ-extensions of K. As an illustration of our approach, in the special case where the prime ℓ splits completely in K, we prove that the sufficient condition introduced by Gras just asserts the triviality of the logarithmic class group of K. Last, in the abelian case, we provide an explicit description of the circular class groups in connexion with the so-called weak conjecture.

Nous étudions la conjecture de Greenberg sur les ℓ-invariants d'Iwasawa des corps totalement réels, en termes de classes logarithmiques. Sous la conjecture de Leopoldt, et donc en particulier pour les corps abéliens, nous montrons que la conjecture de Greenberg postule tout simplement la capitulation des classes logarithmiques dans la Zℓ-tour cyclotomique. Dans le cas complètement décomposé, nous prouvons de même que le critère suffisant introduit par Gras exprime tout simplement la trivialité du ℓ-groupe des classes logarithmiques du corps de base considéré. Enfin, dans le cas abélien, nous explicitons la structure des ℓ-groupes de classes circulaires dans le contexte de la conjecture faible.

Mots clés: Greenberg conjecture; Logarithmic class groups; Iwasawa theory; Principalization

Domaines: Théorie des nombres [math.NT]

Jean-François Jaulent. Note sur la conjecture de Greenberg. Journal of the Ramanujan Mathematical Society, A paraître. ⟨hal-01407300v3⟩