Heuristics and conjectures in the direction of a $p$-adic Brauer–Siegel Theorem
HTML articles powered by AMS MathViewer
- by Georges Gras HTML | PDF
- Math. Comp. 88 (2019), 1929-1965 Request permission
Abstract:
Let $p$ be a fixed prime number. Let $K$ be a totally real number field of discriminant $D_K$, and let $\mathcal {T}_K$ be the torsion group of the Galois group of the maximal abelian $p$-ramified pro-$p$-extension of $K$. We conjecture the existence of a constant $\mathcal {C}_p$ such that $\log (\#\mathcal {T}_K) \leq \mathcal {C}_p \cdot \log (\sqrt {D_K})$ when $K$ varies in some specified families (e.g., fields of fixed degree). In some sense, we suggest the existence of a $p$-adic analogue, of the classical Brauer–Siegel Theorem, depending here on the valuation of the residue at $s=1$ (essentially equal to $\#\mathcal {T}_K$) of the $p$-adic zeta-function $\zeta _p(s)$ of $K$. We shall use different definitions from that of Washington, given in the 1980s, and approach this question via the arithmetic study of $\mathcal {T}_K$ since $p$-adic analysis seems to fail because of possible abundant “Siegel zeros” of $\zeta _p(s)$, contrary to the classical framework. We give extensive numerical verifications for quadratic and cubic fields (cyclic or not) and publish the PARI/GP programs directly usable by the reader for numerical improvements. We give some examples of families of number fields where $\mathcal {C}_p$ exists. Such a conjecture (if exact) reinforces our conjecture that any fixed number field $K$ is $p$-rational (i.e., $\mathcal {T}_K=1$) for all $p \gg 0$.References
- Yvette Amice and Jean Fresnel, Fonctions zêta $p$-adiques des corps de nombres abeliens réels, Acta Arith. 20 (1972), 353–384 (French). MR 337898, DOI 10.4064/aa-20-4-353-384
- Dongho Byeon, Indivisibility of class numbers and Iwasawa $\lambda$-invariants of real quadratic fields, Compositio Math. 126 (2001), no. 3, 249–256. MR 1834738, DOI 10.1023/A:1017561005538
- H. Cohen and H. W. Lenstra, Jr., Heuristics on class groups of number fields, Number Theory (Noordwijkerhout 1983), Lecture Notes in Math., vol. 1068, Springer, Berlin and New York (1984), 33–62. https://link.springer.com/chapter/10.1007/BFb0099440
- H. Cohen and J. Martinet, Class groups of number fields: numerical heuristics, Math. Comp. 48 (1987), no. 177, 123–137. MR 866103, DOI 10.1090/S0025-5718-1987-0866103-4
- John Coates, $p$-adic $L$-functions and Iwasawa’s theory, Algebraic number fields: $L$-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975) Academic Press, London, 1977, pp. 269–353. MR 0460282
- Pierre Colmez, Résidu en $s=1$ des fonctions zêta $p$-adiques, Invent. Math. 91 (1988), no. 2, 371–389 (French). MR 922806, DOI 10.1007/BF01389373
- Veikko Ennola and Reino Turunen, On cyclic cubic fields, Math. Comp. 45 (1985), no. 172, 585–589. MR 804947, DOI 10.1090/S0025-5718-1985-0804947-3
- Jordan S. Ellenberg and Akshay Venkatesh, Reflection principles and bounds for class group torsion, Int. Math. Res. Not. IMRN 1 (2007), Art. ID rnm002, 18. MR 2331900, DOI 10.1093/imrn/rnm002
- G. Gras, Class field Theory: From Theory to Practice, corr. 2nd ed., Springer Monographs in Mathematics, Springer, 2005, xiii+507 pages. https://www.researchgate.net/publication/268005797
- Georges Gras, Les $\theta$-régulateurs locaux d’un nombre algébrique: conjectures $p$-adiques, Canad. J. Math. 68 (2016), no. 3, 571–624 (French, with English and French summaries). MR 3492629, DOI 10.4153/CJM-2015-026-3
- Georges Gras, Approche $p$-adique de la conjecture de Greenberg pour les corps totalement réels, Ann. Math. Blaise Pascal 24 (2017), no. 2, 235–291 (French, with English and French summaries). MR 3734135
- Georges Gras, The $p$-adic Kummer-Leopoldt constant: normalized $p$-adic regulator, Int. J. Number Theory 14 (2018), no. 2, 329–337. MR 3761496, DOI 10.1142/S1793042118500203
- G. Gras, On $p$-rationality of number fields. Applications – PARI/GP programs, Publ. Math. Fac. Sci. Besançon (Théorie des Nombres), Années 2017/2018 (to appear).https://arxiv.org/pdf/1709.06388.pdf
- G. Gras, Normes d’idéaux dans la tour cyclotomique et conjecture de Greenberg, Annales mathématiques du Québec (2018), 1–32. DOI 10.1007/s40316-018-0108-3.
- Ralph Greenberg, On the Iwasawa invariants of totally real number fields, Amer. J. Math. 98 (1976), no. 1, 263–284. MR 401702, DOI 10.2307/2373625
- Ralph Greenberg, Galois representations with open image, Ann. Math. Qué. 40 (2016), no. 1, 83–119 (English, with English and French summaries). MR 3512524, DOI 10.1007/s40316-015-0050-6
- Hester Graves and M. Ram Murty, The abc conjecture and non-Wieferich primes in arithmetic progressions, J. Number Theory 133 (2013), no. 6, 1809–1813. MR 3027939, DOI 10.1016/j.jnt.2012.10.012
- Andrew Granville and K. Soundararajan, Upper bounds for $|L(1,\chi )|$, Q. J. Math. 53 (2002), no. 3, 265–284. MR 1930263, DOI 10.1093/qjmath/53.3.265
- Farshid Hajir, On the growth of $p$-class groups in $p$-class field towers, J. Algebra 188 (1997), no. 1, 256–271. MR 1432356, DOI 10.1006/jabr.1996.6849
- Farshid Hajir and Christian Maire, On the invariant factors of class groups in towers of number fields, Canad. J. Math. 70 (2018), no. 1, 142–172. MR 3744889, DOI 10.4153/CJM-2017-032-9
- Tommy Hofmann and Yinan Zhang, Valuations of $p$-adic regulators of cyclic cubic fields, J. Number Theory 169 (2016), 86–102. MR 3531231, DOI 10.1016/j.jnt.2016.05.016
- A. Ivanov, Reconstructing decomposition subgroups in arithmetic fundamental groups using regulators. https://arxiv.org/pdf/1409.4909.pdf
- J-F. Jaulent, Note sur la conjecture de Greenberg, J. Ramanujan Math. Soc. (Dec 26, 2017). https://arxiv.org/pdf/1612.00718.pdf
- Odile Lecacheux, Units in number fields and elliptic curves, Advances in number theory (Kingston, ON, 1991) Oxford Sci. Publ., Oxford Univ. Press, New York, 1993, pp. 293–301. MR 1368428
- Stéphane R. Louboutin, The Brauer-Siegel theorem, J. London Math. Soc. (2) 72 (2005), no. 1, 40–52. MR 2145727, DOI 10.1112/S0024610705006654
- Stéphane R. Louboutin, Upper bounds for residues of Dedekind zeta functions and class numbers of cubic and quartic number fields, Math. Comp. 80 (2011), no. 275, 1813–1822. MR 2785481, DOI 10.1090/S0025-5718-2011-02457-9
- Stéphane R. Louboutin, Explicit upper bounds for residues of Dedekind zeta functions, Mosc. Math. J. 15 (2015), no. 4, 727–740. MR 3438830, DOI 10.17323/1609-4514-2015-15-4-727-740
- C. Maire and M. Rougnant, Composantes isotypiques de pro-$p$-extensions de corps de nombres et $p$-rationalité (to appear in Publicationes Mathematicae Debrecen).
- Thống Nguyễn-Quang-Đỗ, Sur la $\textbf {Z}_p$-torsion de certains modules galoisiens, Ann. Inst. Fourier (Grenoble) 36 (1986), no. 2, 27–46 (French, with English summary). MR 850741
- The PARI Group, PARI/GP, version 2.9.0, Université de Bordeaux (2016).http://pari.math.u-bordeaux.fr/ http://www.sagemath.org/fr/telecharger.html
- Frédéric Pitoun and Firmin Varescon, Computing the torsion of the $p$-ramified module of a number field, Math. Comp. 84 (2015), no. 291, 371–383. MR 3266966, DOI 10.1090/S0025-5718-2014-02838-X
- O. Ramaré, Approximate formulae for $L(1,\chi )$, Acta Arith. 100 (2001), no. 3, 245–266.https://www.researchgate.net/publication/238883367http://iml.univ-mrs.fr/~ramare/Maths/LOneChi2.pdf
- René Schoof, Computing Arakelov class groups, Algorithmic number theory: lattices, number fields, curves and cryptography, Math. Sci. Res. Inst. Publ., vol. 44, Cambridge Univ. Press, Cambridge, 2008, pp. 447–495. MR 2467554
- Jean-Pierre Serre, Sur le résidu de la fonction zêta $p$-adique d’un corps de nombres, C. R. Acad. Sci. Paris Sér. A-B 287 (1978), no. 4, A183–A188 (French, with English summary). MR 506177
- Joseph H. Silverman, Wieferich’s criterion and the $abc$-conjecture, J. Number Theory 30 (1988), no. 2, 226–237. MR 961918, DOI 10.1016/0022-314X(88)90019-4
- Daniel C. Shanks, Patrick J. Sime, and Lawrence C. Washington, Zeros of $2$-adic $L$-functions and congruences for class numbers and fundamental units, Math. Comp. 68 (1999), no. 227, 1243–1255. MR 1622093, DOI 10.1090/S0025-5718-99-01046-7
- Jacob Tsimerman, Brauer-Siegel for arithmetic tori and lower bounds for Galois orbits of special points, J. Amer. Math. Soc. 25 (2012), no. 4, 1091–1117. MR 2947946, DOI 10.1090/S0894-0347-2012-00739-5
- M. A. Tsfasman and S. G. Vlăduţ, Infinite global fields and the generalized Brauer-Siegel theorem, Mosc. Math. J. 2 (2002), no. 2, 329–402. Dedicated to Yuri I. Manin on the occasion of his 65th birthday. MR 1944510, DOI 10.17323/1609-4514-2002-2-2-329-402
- Lawrence C. Washington, Introduction to cyclotomic fields, 2nd ed., Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York, 1997. MR 1421575, DOI 10.1007/978-1-4612-1934-7
- Lawrence C. Washington, Zeros of $p$-adic $L$-functions, Seminar on Number Theory, Paris 1980-81 (Paris, 1980/1981) Progr. Math., vol. 22, Birkhäuser, Boston, Mass., 1982, pp. 337–357. MR 693329
- Lawrence C. Washington, Siegel zeros for $2$-adic $L$-functions, Number theory (Halifax, NS, 1994) CMS Conf. Proc., vol. 15, Amer. Math. Soc., Providence, RI, 1995, pp. 393–396. MR 1353946
- L.C. Washington, Zeroes of $p$-adic $L$-functions, Séminaire de Théorie des Nombres de Bordeaux (1980-1981), 1–4. http://www.jstor.org/stable/44166382
- Lawrence C. Washington, A family of cubic fields and zeros of $3$-adic $L$-functions, J. Number Theory 63 (1997), no. 2, 408–417. MR 1443772, DOI 10.1006/jnth.1997.2096
- Alexei Zykin, The Brauer-Siegel and Tsfasman-Vlăduţ theorems for almost normal extensions of number fields, Mosc. Math. J. 5 (2005), no. 4, 961–968, 974 (English, with English and Russian summaries). MR 2267316, DOI 10.17323/1609-4514-2005-5-4-961-968
Additional Information
- Georges Gras
- Affiliation: Villa la Gardette, Chemin Château Gagnière F–38520 Le Bourg d’Oisans, France
- Email: g.mn.gras@wanadoo.fr
- Received by editor(s): January 28, 2018
- Received by editor(s) in revised form: February 9, 2018, June 12, 2018, July 9, 2018, and August 2, 2018
- Published electronically: November 20, 2018
- © Copyright 2018 American Mathematical Society
- Journal: Math. Comp. 88 (2019), 1929-1965
- MSC (2010): Primary 11S40, 11R37, 11R29, 11R42
- DOI: https://doi.org/10.1090/mcom/3395
- MathSciNet review: 3925492