cedramArticle mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Annales mathématiques Blaise Pascal 24, 235-291 (2017) Approche p-adique de la conjecture de Greenberg pour les corps totalement réels
Georges Gras
RésuméSoit k un corps de nombres totalement réel et soit k∞ sa Zp-extension cyclotomique pour un premier p > 2. Nous donnons (Théorème 3.4) une condition suffisante de nullité des invariants d'Iwasawa λ, µ, lorsque p est totalement décom-posé dans k, et nous obtenons d'importantes tables de corps quadratiques et p pour lesquels on peut conclure que λ = µ = 0. Nous montrons que le nombre de p-classes ambiges de kn (n-ième étage dans k∞) est égal à l'ordre du groupe de torsion T k du groupe de Galois de la pro-p-extension Abélienne p-ramifiée maximale de k (Théorème 4.7), pour tout n ≥ e, où p e est l'exposant de U * k /E k (en termes d'unités locales et globales). Puis nous établissons des analogues de la formule de Chevalley en utilisant une famille (Λ n i ) 0≤i≤mn de sous-groupes de k × contenant E k , dans lesquels tout x est norme d'un idéal de kn. Cette famille est attachée à la filtration classique du p-groupe des classes de kn définissant l'algorithme de calcul de son ordre en mn pas. À partir de cela, nous montrons (Théorème 6.3) que mni , pour p | p, de sorte que la conjecture de Greenberg est fortement dépendante de « quotients de Fermat » dans k × . Des heuristiques et statistiques sur ces quotients de Fermat (Sections 6, 7, 8) montrent qu'ils suivent des lois de probabilités naturelles, liées à T k quel que soit n, suggérant que λ = µ = 0 (Heuristiques 7.5, 7.6, 7.10).Ceci impliquerait que, pour une preuve de la conjecture de Greenberg, certains résultats p-adiques profonds (probablement inaccessibles actuellement), ayant une certaine analogie avec la conjecture de Leopoldt, sont nécessaires avant toute ré-férence à la seule théorie d'Iwasawa algébrique.
G. Gras
p-adic approach of Greenberg's conjecture for totally real fieldsAbstract Let k be a totally real number field ant let k∞ be its cyclotomic Zp-extension for a prime p > 2. We give (Theorem 3.4) a sufficient condition of nullity of the Iwasawa invariants λ, µ, when p totally splits in k, and we obtain important tables of quadratic fields and p for which we can conclude that λ = µ = 0. We show that the number of ambiguous p-classes of kn (nth stage in k∞) is equal to the order of the torsion group T k , of the Galois group of the maximal Abelian p-ramified pro-pextension of k (Theorem 4.7), for all n ≥ e, where p e is the exponent of U * k /E k (in terms of local and global units). Then we establish analogs of Chevalley's formula using a family (Λ n i ) 0≤i≤mn of subgroups of k × containing E k , in which any x is norm of an ideal of kn. This family is attached to the classical filtration of the p-class group of kn defining the algorithm of computation of its order in mn steps. From this, we prove (Theorem 6.3) that mn ≥ (λ·n+µ·p n +ν)/vp( # T k ) and that the condition m...