1. p-adic approach of Greenberg's conjecture for totally real fields
- Author
-
Georges Gras, Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB), Université de Bourgogne (UB)-Université de Franche-Comté (UFC), and Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Pure mathematics ,Mathematics::Number Theory ,Galois group ,010103 numerical & computational mathematics ,p-class groups ,01 natural sciences ,Fermat quotients ,Combinatorics ,class field theory ,Leopoldt's conjecture ,Class field theory ,Order (group theory) ,0101 mathematics ,Abelian group ,Mathematics ,p-adic regulators ,Algebra and Number Theory ,Conjecture ,Applied Mathematics ,010102 general mathematics ,Greenberg's conjecture ,Iwasawa theory ,Iwasawa's theory ,[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT] ,Geometry and Topology ,Totally real number field ,Analysis - Abstract
Published in: Annales Mathématiques Blaise Pascal, 24(2) (2017), 235--291.; 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.2) a sufficient condition of nullity of the Iwasawa invariants lambda, mu, when p totally splits in k, and we obtain important tables of quadratic fields and p for which we can conclude that lambda = mu=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, of the Galois group of the maximal Abelian p-ramified pro-p-extension of k (Theorem 4.2), for all n >> e, where p^e is the exponent of U*/ adh(E) (in terms of local and global units of k). Then we establish analogs of Chevalley's formula using a family (Lambda_i^n)_{0≤i≤m_n} of subgroups of k* containing E, 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 m_n steps. From this, we prove (Theorem 6.1) that m_n ≥ (lambda.n + mu.p^n + nu)/v_p(T_k) and that the condition m_n = O(1) (i.e., lambda = mu=0) essentially depends on the P-adic valuations of the (x^(p-1)-1)/p, x in Lambda_i^n, for P I p, so that Greenberg's conjecture is strongly related to ``Fermat quotients'' in k*. Heuristics and statistical analysis of these Fermat quotients (Sections 6, 7, 8) show that they follow natural probabilities, linked to T_k whatever n, suggesting that lambda = mu=0 (Heuristics 7.1, 7.2, 7.3). This would imply that, for a proof of Greenberg's conjecture, some deep p-adic results (probably out of reach now), having some analogy with Leopoldt's conjecture, are necessary before referring to the sole algebraic Iwasawa theory.
- Published
- 2017