On Malle’s conjecture for nilpotent groups
HTML articles powered by AMS MathViewer
- by Peter Koymans and Carlo Pagano
- Trans. Amer. Math. Soc. Ser. B 10 (2023), 310-354
- DOI: https://doi.org/10.1090/btran/140
- Published electronically: March 3, 2023
- HTML | PDF
Abstract:
We develop an abstract framework for studying the strong form of Malle’s conjecture [J. Number Theory 92 (2002), pp. 315–329; Experiment. Math. 13 (2004), pp. 129–135] for nilpotent groups $G$ in their regular representation. This framework is then used to prove the strong form of Malle’s conjecture for any nilpotent group $G$ such that all elements of order $p$ are central, where $p$ is the smallest prime divisor of $\# G$.
We also give an upper bound for any nilpotent group $G$ tight up to logarithmic factors, and tight up to a constant factor in case all elements of order $p$ pairwise commute. Finally, we give a new heuristical argument supporting Malle’s conjecture in the case of nilpotent groups in their regular representation.
References
- Brandon Alberts, Statistics of the first Galois cohomology group: a refinement of Malle’s conjecture, Algebra Number Theory 15 (2021), no. 10, 2513–2569. MR 4377858, DOI 10.2140/ant.2021.15.2513
- Brandon Alberts, The weak form of Malle’s conjecture and solvable groups, Res. Number Theory 6 (2020), no. 1, Paper No. 10, 23. MR 4047213, DOI 10.1007/s40993-019-0185-7
- Brandon Alberts and Evan O’Dorney, Harmonic analysis and statistics of the first Galois cohomology group, Res. Math. Sci. 8 (2021), no. 3, Paper No. 50, 16. MR 4298097, DOI 10.1007/s40687-021-00283-2
- S. Ali Altuğ, Arul Shankar, Ila Varma, and Kevin H. Wilson, The number of $D_4$-fields ordered by conductor, J. Eur. Math. Soc. (JEMS) 23 (2021), no. 8, 2733–2785. MR 4269426, DOI 10.4171/jems/1070
- Manjul Bhargava, The density of discriminants of quartic rings and fields, Ann. of Math. (2) 162 (2005), no. 2, 1031–1063. MR 2183288, DOI 10.4007/annals.2005.162.1031
- Manjul Bhargava, The density of discriminants of quintic rings and fields, Ann. of Math. (2) 172 (2010), no. 3, 1559–1591. MR 2745272, DOI 10.4007/annals.2010.172.1559
- M. Bhargava, A. Shankar, T. Taniguchi, F. Thorne, J. Tsimerman, and Y. Zhao, Bounds on 2-torsion in class groups of number fields and integral points on elliptic curves, J. Amer. Math. Soc. 33 (2020), no. 4, 1087–1099. MR 4155220, DOI 10.1090/jams/945
- Manjul Bhargava, Arul Shankar, and Jacob Tsimerman, On the Davenport-Heilbronn theorems and second order terms, Invent. Math. 193 (2013), no. 2, 439–499. MR 3090184, DOI 10.1007/s00222-012-0433-0
- Manjul Bhargava and Melanie Matchett Wood, The density of discriminants of $S_3$-sextic number fields, Proc. Amer. Math. Soc. 136 (2008), no. 5, 1581–1587. MR 2373587, DOI 10.1090/S0002-9939-07-09171-X
- Henri Cohen, Francisco Diaz y Diaz, and Michel Olivier, Enumerating quartic dihedral extensions of $\Bbb Q$, Compositio Math. 133 (2002), no. 1, 65–93. MR 1918290, DOI 10.1023/A:1016310902973
- Henri Cohen, Francisco Diaz y Diaz, and Michel Olivier, On the density of discriminants of cyclic extensions of prime degree, J. Reine Angew. Math. 550 (2002), 169–209. MR 1925912, DOI 10.1515/crll.2002.071
- H. Cohen and H. W. Lenstra Jr., Heuristics on class groups of number fields, Number theory, Noordwijkerhout 1983 (Noordwijkerhout, 1983) Lecture Notes in Math., vol. 1068, Springer, Berlin, 1984, pp. 33–62. MR 756082, DOI 10.1007/BFb0099440
- M. D. Coleman, The Rosser-Iwaniec sieve in number fields, with an application, Acta Arith. 65 (1993), no. 1, 53–83. MR 1239243, DOI 10.4064/aa-65-1-53-83
- Jean-Marc Couveignes, Enumerating number fields, Ann. of Math. (2) 192 (2020), no. 2, 487–497. MR 4151082, DOI 10.4007/annals.2020.192.2.4
- Boris Datskovsky and David J. Wright, Density of discriminants of cubic extensions, J. Reine Angew. Math. 386 (1988), 116–138. MR 936994, DOI 10.1515/crll.1988.386.116
- H. Davenport and H. Heilbronn, On the density of discriminants of cubic fields. II, Proc. Roy. Soc. London Ser. A 322 (1971), no. 1551, 405–420. MR 491593, DOI 10.1098/rspa.1971.0075
- J. Ellenberg, T. Tran, and C. Westerland, Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle’s conjecture for function fields, Preprint, arXiv:1701.04541, 2017.
- Jordan S. Ellenberg and Akshay Venkatesh, The number of extensions of a number field with fixed degree and bounded discriminant, Ann. of Math. (2) 163 (2006), no. 2, 723–741. MR 2199231, DOI 10.4007/annals.2006.163.723
- Jordan S. Ellenberg, Akshay Venkatesh, and Craig Westerland, Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields, Ann. of Math. (2) 183 (2016), no. 3, 729–786. MR 3488737, DOI 10.4007/annals.2016.183.3.1
- Étienne Fouvry and Jürgen Klüners, Cohen-Lenstra heuristics of quadratic number fields, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 4076, Springer, Berlin, 2006, pp. 40–55. MR 2282914, DOI 10.1007/11792086_{4}
- Étienne Fouvry and Jürgen Klüners, On the 4-rank of class groups of quadratic number fields, Invent. Math. 167 (2007), no. 3, 455–513. MR 2276261, DOI 10.1007/s00222-006-0021-2
- É. Fouvry and P. Koymans, Malle’s conjecture for nonic Heisenberg extensions, Preprint, arXiv:2102.09465, 2021.
- Frank Gerth III, The $4$-class ranks of quadratic fields, Invent. Math. 77 (1984), no. 3, 489–515. MR 759260, DOI 10.1007/BF01388835
- D. R. Heath-Brown, The size of Selmer groups for the congruent number problem. II, Invent. Math. 118 (1994), no. 2, 331–370. With an appendix by P. Monsky. MR 1292115, DOI 10.1007/BF01231536
- Wei Ho, Arul Shankar, and Ila Varma, Odd degree number fields with odd class number, Duke Math. J. 167 (2018), no. 5, 995–1047. MR 3782066, DOI 10.1215/00127094-2017-0050
- Henryk Iwaniec and Emmanuel Kowalski, Analytic number theory, American Mathematical Society Colloquium Publications, vol. 53, American Mathematical Society, Providence, RI, 2004. MR 2061214, DOI 10.1090/coll/053
- Jürgen Klüners, A counterexample to Malle’s conjecture on the asymptotics of discriminants, C. R. Math. Acad. Sci. Paris 340 (2005), no. 6, 411–414 (English, with English and French summaries). MR 2135320, DOI 10.1016/j.crma.2005.02.010
- J. Klüners, Über die Asymptotik von Zahlkörpern mit vorgegebener Galoisgruppe, Shaker Verlag, Aachen, 2005.
- Jürgen Klüners, The asymptotics of nilpotent Galois groups, Acta Arith. 204 (2022), no. 2, 165–184. MR 4458889, DOI 10.4064/aa211207-16-5
- Jürgen Klüners and Gunter Malle, Counting nilpotent Galois extensions, J. Reine Angew. Math. 572 (2004), 1–26. MR 2076117, DOI 10.1515/crll.2004.050
- Jürgen Klüners and Jiuya Wang, $\ell$-torsion bounds for the class group of number fields with an $\ell$-group as Galois group, Proc. Amer. Math. Soc. 150 (2022), no. 7, 2793–2805. MR 4428868, DOI 10.1090/proc/15882
- Peter Koymans and Carlo Pagano, On the distribution of $\textrm {Cl}(K)[l^\infty ]$ for degree $l$ cyclic fields, J. Eur. Math. Soc. (JEMS) 24 (2022), no. 4, 1189–1283. MR 4397040, DOI 10.4171/JEMS/1112
- Peter Koymans and Carlo Pagano, Higher genus theory, Int. Math. Res. Not. IMRN 4 (2022), 2772–2823. MR 4381932, DOI 10.1093/imrn/rnaa196
- Peter Koymans and Carlo Pagano, A sharp upper bound for the 2-torsion of class groups of multiquadratic fields, Mathematika 68 (2022), no. 1, 237–258. MR 4405977, DOI 10.1112/mtk.12123
- Stéphane Louboutin, Explicit upper bounds for residues of Dedekind zeta functions and values of $L$-functions at $s=1$, and explicit lower bounds for relative class numbers of CM-fields, Canad. J. Math. 53 (2001), no. 6, 1194–1222. MR 1863848, DOI 10.4153/CJM-2001-045-5
- Robert J. Lemke Oliver and Frank Thorne, Upper bounds on number fields of given degree and bounded discriminant, Duke Math. J. 171 (2022), no. 15, 3077–3087. MR 4497223, DOI 10.1215/00127094-2022-0046
- Gunter Malle, On the distribution of Galois groups, J. Number Theory 92 (2002), no. 2, 315–329. MR 1884706, DOI 10.1006/jnth.2001.2713
- Gunter Malle, On the distribution of Galois groups. II, Experiment. Math. 13 (2004), no. 2, 129–135. MR 2068887, DOI 10.1080/10586458.2004.10504527
- R. Masri, F. Thorne, W.-L. Tsai, and J. Wang, Malle’s conjecture for $G \times A$, with $G = S_3, S_4, S_5$, Preprint, arXiv:2004.04651v2, 2020.
- Barry Mazur and Karl Rubin, Kolyvagin systems, Mem. Amer. Math. Soc. 168 (2004), no. 799, viii+96. MR 2031496, DOI 10.1090/memo/0799
- Hugh L. Montgomery and Robert C. Vaughan, Multiplicative number theory. I. Classical theory, Cambridge Studies in Advanced Mathematics, vol. 97, Cambridge University Press, Cambridge, 2007. MR 2378655
- C. Pagano and E. Sofos, $4$-Ranks and the general model for statistics of ray class groups of imaginary quadratic fields, Preprint, arXiv:1710.07587, 2017.
- Wolfgang M. Schmidt, Number fields of given degree and bounded discriminant, Astérisque 228 (1995), 4, 189–195. Columbia University Number Theory Seminar (New York, 1992). MR 1330934
- I.R. Shafarevich. Extensions with given points of ramification (Russian). Inst. Hautes Études Sci. Publ. Math. 18, 71-95, 1963. English translation in: Collected mathematical papers. Springer-Verlag, Berlin, 1989.
- A. Siad, Monogenic fields with odd class number Part I: odd degree, Preprint, arXiv:2011.08834, 2020.
- A. Siad, Monogenic fields with odd class number Part II: even degree, Preprint, arXiv:2011.08842, 2020.
- A. Smith, Governing fields and statistics for $4$-Selmer groups and $8$-class groups, Preprint, arXiv:1607.07860, 2016.
- A. Smith, $2^\infty$-Selmer groups, $2^\infty$-class groups, and Goldfeld’s conjecture, Preprint, arXiv:1702.02325v2, 2017.
- Takashi Taniguchi and Frank Thorne, Secondary terms in counting functions for cubic fields, Duke Math. J. 162 (2013), no. 13, 2451–2508. MR 3127806, DOI 10.1215/00127094-2371752
- Jesse Thorner and Asif Zaman, A unified and improved Chebotarev density theorem, Algebra Number Theory 13 (2019), no. 5, 1039–1068. MR 3981313, DOI 10.2140/ant.2019.13.1039
- Seyfi Türkelli, Connected components of Hurwitz schemes and Malle’s conjecture, J. Number Theory 155 (2015), 163–201. MR 3349443, DOI 10.1016/j.jnt.2015.03.005
- Jiuya Wang, Malle’s conjecture for $S_n \times A$ for $n=3,4,5$, Compos. Math. 157 (2021), no. 1, 83–121. MR 4219215, DOI 10.1112/s0010437x20007587
- David J. Wright, Distribution of discriminants of abelian extensions, Proc. London Math. Soc. (3) 58 (1989), no. 1, 17–50. MR 969545, DOI 10.1112/plms/s3-58.1.17
Bibliographic Information
- Peter Koymans
- Affiliation: Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109
- MR Author ID: 1208557
- ORCID: 0000-0002-7582-4149
- Email: koymans@umich.edu
- Carlo Pagano
- Affiliation: School of Mathematics and Statistics, University of Glasgow, University Place, Glasgow G12 8SQ, United Kingdom
- Address at time of publication: Department of Mathematics and Statistics, Montreal, Quebec H3G 1M8, Canada
- MR Author ID: 1233159
- Email: carlein90@gmail.com
- Received by editor(s): February 18, 2022
- Received by editor(s) in revised form: July 29, 2022, and October 25, 2022
- Published electronically: March 3, 2023
- Additional Notes: The second author was financially supported by EPSRC Fellowship EP/P019188/1, “Cohen–Lenstra heuristics, Brauer relations, and low-dimensional manifolds”.
- © Copyright 2023 by the authors under Creative Commons Attribution-NonCommercial 3.0 License (CC BY NC 3.0)
- Journal: Trans. Amer. Math. Soc. Ser. B 10 (2023), 310-354
- MSC (2020): Primary 11N45, 11R20, 11R29, 11R45; Secondary 11R34, 11R37
- DOI: https://doi.org/10.1090/btran/140
- MathSciNet review: 4555793