Application of the notion of ϕ-object to the study of p-class groups and p-ramified torsion groups of abelian extensions

Georges Gras (1)

1 LMB - Laboratoire de Mathématiques de Besançon (UMR 6623)

We revisit, in an elementary way, the classical statement of various ``Main Conjectures'' for p-class groups H_K and p-ramified torsion groups T_K of abelian fields K, in the non semi-simple case p divides [K : Q]. The classical ``algebraic'' definition of the p-adic isotopic components, H^alg_{K,ϕ}, used in the literature, is inappropriate with respect to analytical formulas. For that reason we have introduced, in the 1970's, an ``arithmetic'' definition, H^ar_{K,ϕ}, in perfect correspondence with all analytical formulas and giving a natural ``Main Conjecture'', still unproved for real fields in the non semi-simple case. The two notions coincide for relative class groups H_K^- and groups T_K since, in p-extensions, transfer maps are injective for these groups but not necessarily for real class groups. Numerical evidence of the gap between the two notions is given (Examples A.2.2, A.2.3) and PARI calculations corroborate that the true Real Main Conjecture for K writes on the form #H^ar_{K,ϕ} = #(E_K/E'_K , F_K)_ϕ, in terms of units E_K, E'_K (units of the strict subfields) and F_K (Leopoldt's cyclotomic units). A recent approach, conjecturing the capitulation of H_K in some auxiliary cyclotomic extensions K(µ_ℓ), proves the difficult real case.

Mots clés: cyclotomic polynomials; p-adic regulators; class field theory; class groups and units; p-adic characters; abelian fields

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

Georges Gras. Application of the notion of ϕ-object to the study of p-class groups and p-ramified torsion groups of abelian extensions. 2022. ⟨hal-03466431v5⟩