Advertisement

The weak form of Malle’s conjecture and solvable groups

  • 15 Accesses

Abstract

For a fixed finite solvable group G and number field K, we prove an upper bound for the number of G-extensions L / K with restricted local behavior (at infinitely many places) and \(\mathrm{inv}(L/K)<X\) for a general invariant “\(\mathrm{inv}\)”. When the invariant is given by the discriminant for a transitive embedding of a nilpotent group \(G\subset S_n\), this realizes the upper bound given in the weak form of Malle’s conjecture. For other solvable groups, the upper bound depends on the size of torsion of the class group of number fields with fixed degree. In particular, the bounds we prove realize the upper bound given in the weak form of Malle’s conjecture for the transitive embedding of a solvable group \(G\subset S_n\) if we assume that for each finite abelian group A the average size of class group torsion \(|\mathrm{Hom}(\mathrm{Cl}(L),A)|\) is smaller than \(X^{\epsilon }\) as L / K varies over certain families of extensions with \(\mathrm{inv}(L/K)<X\).

This is a preview of subscription content, log in to check access.

References

  1. 1.

    Alberts, B.: Statistics of the first Galois cohomology group: a refinement of Malle’s conjecture (2019). Preprint. arXiv:1907.06289

  2. 2.

    Bartel, A., Lenstra, H.W.: On class groups of random number fields (2017). Preprint. arXiv:1803.06903

  3. 3.

    Bhargava, M.: The density of discriminants of cubic rings and fields. Ann. Math. 162(2), 1031–1063 (2005)

  4. 4.

    Bhargava, M.: The geometric sieve and the density of squarefree values of invariant polynomials (2014). https://arxiv.org/abs/1402.0031?context=math. Preprint. https://arxiv.org/abs/1402.0031

  5. 5.

    Bhargava, M., Shankar, A., Wang, X.: Geometry-of-numbers methods over global fields I: prehomogeneous vector spaces (2015). Preprint. arXiv:1512.03035

  6. 6.

    Bhargava, M., Wood, M.M.: The density of discriminants of \(S_3\)-sextic number fields. Proc. Am. Math. Soc. 136(05), 1581–1588 (2007). https://doi.org/10.1090/s0002-9939-07-09171-x

  7. 7.

    Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system I: the user language. J. Symb. Comput. 24(3–4), 235–265 (1997). https://doi.org/10.1006/jsco.1996.0125

  8. 8.

    Brumer, A., Silverman, J.H.: The number of elliptic curves over \(\mathbb{{Q}}\) with conductor \(N\). Manuscr. Math. 91(1), 95–102 (1996)

  9. 9.

    Cohen, H., Diaz y Diaz, F., Olivier, M.: Counting cyclic quartic extensions of a number field. Journal de Théorie des Nombres de Bordeaux 17(2), 475–510 (2005). https://doi.org/10.5802/jtnb.503

  10. 10.

    Cohen, H., Lenstra, H.W.: Heuristics on class groups of number fields. Lect. Notes Math. Number Theory Noordwijkerhout 1983, 33–62 (1984). https://doi.org/10.1007/bfb0099440

  11. 11.

    Cohen, H., Diaz, F.D.Y., Olivier, M.: Enumerating quartic dihedral extensions of \(\mathbb{Q}\). Compos. Math. 133(1), 65–93 (2002). https://doi.org/10.1023/A:1016310902973

  12. 12.

    Datskovsky, B., Wright, D.J.: Density of discriminants of cubic extensions. Journal für die reine und angewandte Mathematik (1988). https://doi.org/10.1515/crll.1988.386.116

  13. 13.

    Davenport, H., Heilbronn, H.: On the density of cubic fields. II. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 322, 405–420 (1971)

  14. 14.

    Duke, W.: Bounds for arithmetic multiplicities. Proc. Int. Congr. Math. II, 163–172 (1998)

  15. 15.

    Dummit, E.P.: Counting \(g\)-extensions by discriminant. Math. Res. Lett. 25(4), 1151–1172 (2018). https://doi.org/10.4310/mrl.2018.v25.n4.a5

  16. 16.

    Ellenberg, J., Pierce, L., Wood, M.: On \(\ell \)-torsion in class groups of number fields. Algebra Number Theory 11(8), 1739–1778 (2017). https://doi.org/10.2140/ant.2017.11.1739

  17. 17.

    Ellenberg, J., Tran, T., Westerland, C.: Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle’s conjecture for function fields (2017). Preprint. arXiv:1701.04541

  18. 18.

    Ellenberg, J.S., Venkatesh, A.: The number of extensions of a number field with fixed degree and bounded discriminant. Ann. Math. 163, 723–741 (2006)

  19. 19.

    Johnson, S.: Weighted discriminants and mass formulas for number fields (2017). Preprint. arXiv:1410.3933

  20. 20.

    Klüners, J.: A counter example to Malle’s conjecture on the asymptotics of discriminants. C. R. Math. 6, 411–414 (2005). https://doi.org/10.1016/j.crma.2005.02.010

  21. 21.

    Klüners, J.: Über die Asymptotik von Zahlkörpern mit vorgegebener Galoisgruppe. Shaker, Kassel (2005)

  22. 22.

    Klüners, J.: Asymptotics of number fields and the Cohen-Lenstra heuristics. Journal de Théorie des Nombres de Bordeaux 18, 607–615 (2006)

  23. 23.

    Klüners, J.: The distribution of number fields with wreath products as Galois groups. Int. J. Number Theory 08(3), 845–858 (2012). https://doi.org/10.1142/s1793042112500492

  24. 24.

    Klüners, J., Malle, G.: Counting nilpotent Galois extensions. Journal für die reine und angewandte Mathematik (Crelle’s Journal) 2004(572), 1–26 (2004). https://doi.org/10.1515/crll.2004.050

  25. 25.

    Lemke Oliver, R., Wang, J., Wood, M.M.: Upcoming preprint on extensions with wreath products as Galois groups (2019)

  26. 26.

    Maki, S.: On the density of abelian number fields. Annales Academiae Scientiarum Fennicae. Series A. I, Mathematica. Dissertationes, 0355-0087 54 (1985)

  27. 27.

    Malle, G.: On the distribution of Galois groups. J. Number Theory 92(2), 315–329 (2002). https://doi.org/10.1006/jnth.2001.2713

  28. 28.

    Malle, G.: On the distribution of Galois groups II. Exp. Math. 13(2), 129–135 (2004). https://doi.org/10.1080/10586458.2004.10504527

  29. 29.

    Mehta, H.: Counting extensions of number fields with Frobenius Galois group (2019). Preprint. arXiv:1911.00121

  30. 30.

    Schmidt, W.M.: Number fields of given degree and bounded discriminants. Astérisque 228, 189–195 (1995)

  31. 31.

    Shankar, A., Varma, I.: Upcoming preprint on octic \(D_4\)-extensions (2019)

  32. 32.

    Tenenbaum, G.: Introduction to Analytic and Probabilistic Number Theory. American Mathematical Society, Providence (2015)

  33. 33.

    Türkelli, S.: Connected components of Hurwitz schemes and Malle’s conjecture. J. Number Theory 155, 163–201 (2015)

  34. 34.

    Wang, J.: Malle’s conjecture for \(S_n\times A\) for \(n=3,4,5\) (2017). Preprint. arXiv:1705.00044

  35. 35.

    Wood, M.M.: On the probabilities of local behaviors in abelian field extensions. Compos. Math. 146(01), 102–128 (2009). https://doi.org/10.1112/s0010437x0900431x

  36. 36.

    Wright, D.J.: Distribution of discriminants of abelian extensions. Proc. Lond. Math. Soc. 58(1), 17–50 (1989). https://doi.org/10.1112/plms/s3-58.1.17

  37. 37.

    Zhang, S.W.: Equidistribution of CM-points on quaternion Shimura varieties. Int. Math. Res. Notes 59, 3657–3689 (2005)

Download references

Acknowlegements

I would like to thank my advisor Nigel Boston, Jordan Ellenberg, Jürgen Klüners, and Melanie Matchett Wood for many helpful conversations and recommendations. I would also like to thank anonymous referees for providing additional feedback during the submission process.

Funding

Funding was provided by National Science Foundation (Grant No. DMS-1502553).

Author information

Correspondence to Brandon Alberts.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This work was done with the support of National Science Foundation Grant DMS-1502553.

A Appendix: Data

A Appendix: Data

In this section, we will provide data for the upper bounds of N(KGX) when \(G\subset S_n\) is a transitive, solvable subgroup and n small. We will directly compare the bounds given by iteratively applying Theorem 2.6 with Minkowski’s bounds on the size of the class group to the best previously known bounds, in particular the general bounds for every group given by Dummit [15] and Schmidt [30].

Some families of groups are easy to produce bounds for N(KGX) using computations done by hand, such as \(D_n\subset S_n\) as discussed in the introduction. In general though, we can get a more complete picture by using a computer algebra program. All of the computations in this section are done using MAGMA [7].

One of the drawbacks of Dummit’s result is the computational power necessary to compute sets of primary invariants, Dummit’s data extends to transitive groups of degree 8 and then covers only four transitive groups of degree 9 because of the length of time computations were taking. If we apply the trivial bound from Minkowski to Theorem 2.6 the bulk of the computations are done by computing a normal series for G and looping over elements of G to compute a(G) and the new upper bounds, which MAGMA is able perform very quickly by comparison.

We briefly describe the code being used in this section: For each transitive group G in degree d, we iterate through the lattice of normal subgroups of G to produce a list of all chief series for the group (i.e., normal series of maximal length). For each chief series

$$\begin{aligned} 1 \trianglelefteq G_1 \trianglelefteq G_2 \trianglelefteq \cdots \trianglelefteq G_n \trianglelefteq G\,, \end{aligned}$$

we induct along the series by applying Theorem 2.6 at the bottom of the series as follows: If \(G_1\) is central, apply Theorem 2.6 with \(N=G_1\). If \(G_1\) is not central, apply Theorem 2.6 with \(N=G_i\) for i the maximum index for which \(G_i\) is abelian. In the first case, N is central so the class group contributes nothing to the upper bound. In the second case, we use Minkowski’s bound in order to give an upper bound for the contribution of the class group. We have left over a chief series for G / N which is strictly shorter, and we have MAGMA repeat this process until we reach the end of the chief series. This is done for each chief series, as different series give different bounds, and the program returns the minimum bound produced by one of the chief series.

We will use nTd to denote the group TranstiveGroup(n,d) in MAGMA’s database, and we will only include solvable groups. In each column, we will give the corresponding power of X upper bound of N(KGX): the “Malle” column which shows the upper bound predicted by Malle, the “new” column which shows the unconditional bounds we prove using Theorem 2.6 with Minkowski’s bounds, the “previous” column which shows the previously best known result (or “SF” if the strong form of Malle’s conjecture is proven), and the “reference” column which gives the reference for the previously best known result. We remark that Dummit’s bounds depend slightly on the field K, if \(X^{a}\) is the bound given over \(\mathbb {Q}\) then \(X^{a + 1 - 1/[K:\mathbb {Q}]}\) is the corresponding bound over K. Whenever Dummit’s bounds are the best known, we specifically include the bound over \(\mathbb {Q}\).

To preserve space, we include only those groups for which the new upper bounds produced are better than the previously known bounds. In two case, namely 8T33 and 8T34, the new bounds improve on Dummit’s upper bounds whenever \(K\ne \mathbb {Q}\), so we include these with an *. We remark that for groups where the new upper bounds are not better than the previously known bounds, it is possible for the new bounds to be extremely poor. The worst example of small degree is

$$\begin{aligned} N(K,\text {8T43};X) \ll X^{77+\epsilon }\,, \end{aligned}$$

which is significantly worse than Dummit’s bound of \(X^{7/3}\). This bound is so large because 8T43 has a chief series of length 7, of which most of the factors are not central. This means that the class group increases the size of the bound at more steps of the induction.

The bounds we produce also tie with the best previously known bounds in several cases, including all nilpotent groups in the regular representation [24], all \(\ell \)-groups [24], and dihedral groups \(D_p\) in both representations, all of which will be omitted from the table. Mehta [29] announced some results around the same time as this paper: he proves Malle’s predicted upper bound for 6T4 and 6T10, and although our results are better than the previously known upper bounds before Mehta’s result we do not produce Malle’s predicted upper bound. Thus we exclude 6T4 and 6T10 from the tables. Mehta also proves unconditional upper bounds for \(C_m\rtimes C_t\subset S_n\) for \(n=m,mt\) which agree with the bounds we produce. This covers the groups 7T3, 7T4, 9T3, and 9T10 in our table, and we choose to include these bounds with a \(\dagger \) to indicate the concurrent result.

 Isom. toMalleNewPreviousReferences
Degree 6     
   6T3\(S_3\times C_2\)\(X^{1/2+\epsilon }\)\(X^{3/4+\epsilon }\)\(X^{7/3}\)Dummit [15]
   6T5\(C_3\wr C_2\)\(X^{1/2+\epsilon }\)\(X^{1/2+\epsilon }\)\(X^{7/4}\)Dummit [15]
   6T8\(S_4\)\(X^{1/2+\epsilon }\)\(X^{3/2+\epsilon }\)\(X^2\)Schmidt [30]
   6T9\(S_3\times S_3\)\(X^{1/2+\epsilon }\)\(X^{3/2+\epsilon }\)\(X^2\)Schmidt [30]
Degree 7     
   7T3\(^{\dagger }\)\(F_{21}\)\(X^{1/4+\epsilon }\)\(X^{1/2+\epsilon }\)\(X^{7/4}\)Dummit [15]
   7T4\(^{\dagger }\)\(F_{42}\)\(X^{1/3+\epsilon }\)\(X^{5/6+\epsilon }\)\(X^2\)Dummit [15]
Degree 8     
   8T12\(SL_2(\mathbb {F}_3)\)\(X^{1/4+\epsilon }\)\(X^{3/4+\epsilon }\)\(X^{5/2}\)Schmidt [30]
   8T13\(A_4\times C_2\)\(X^{1/4+\epsilon }\)\(X^{3/4+\epsilon }\)\(X^{5/2}\)Schmidt [30]
   8T14\(S_4\)\(X^{1/4+\epsilon }\)\(X^{11/8+\epsilon }\)\(X^{5/2}\)Schmidt [30]
   8T23\(GL_2(\mathbb {F}_3)\)\(X^{1/3+\epsilon }\)\(X^{3/2+\epsilon }\)\(X^{5/2}\)Schmidt [30]
   8T24\(S_4\times C_2\)\(X^{1/2+\epsilon }\)\(X^{9/4+\epsilon }\)\(X^{5/2}\)Schmidt [30]
   8T32 \(X^{1/2+\epsilon }\)\(X^{5/4+\epsilon }\)\(X^{5/2}\)Schmidt [30]
   8T33\(^*\)\(C_2^2\rtimes C_6\)\(X^{1/2+\epsilon }\)\(X^{9/4+\epsilon }\)\(X^2\)Dummit [15]
   8T34\(^*\)\(E_4^2 \rtimes D_6\)\(X^{1/2+\epsilon }\)\(X^{19/8+\epsilon }\)\(X^2\)Dummit [15]
Degree 9     
   9T3\(^{\dagger }\)\(D_9\)\(X^{1/4+\epsilon }\)\(X^{3/8+\epsilon }\)\(X^{13/6}\)Dummit [15]
   9T5\(C_3^2 \rtimes C_2\)\(X^{1/4+\epsilon }\)\(X^{1/2+\epsilon }\)\(X^{19/12}\)Dummit [15]
   9T8\(S_3\times S_3\)\(X^{1/3+\epsilon }\)\(X^{1+\epsilon }\)\(X^2\)Dummit [15]
   9T9 \(X^{1/4+\epsilon }\)\(X^{3/4+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T10\(^{\dagger }\) \(X^{1/4+\epsilon }\)\(X^{3/4+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T11 \(X^{1/4+\epsilon }\)\(X^{9/8+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T12 \(X^{1/3+\epsilon }\)\(X^{2/3+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T13 \(X^{1/3+\epsilon }\)\(X^{4/3+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T14 \(X^{1/4+\epsilon }\)\(X^{5/4+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T15 \(X^{1/4+\epsilon }\)\(X^{5/4+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T16 \(X^{1/3+\epsilon }\)\(X^{5/3+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T18 \(X^{1/3+\epsilon }\)\(X^{5/2+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T20 \(X^{1/2+\epsilon }\)\(X^{3/2+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T21 \(X^{1/2+\epsilon }\)\(X^{3/2+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T22 \(X^{1/2+\epsilon }\)\(X^{11/6+\epsilon }\)\(X^{11/4}\)Schmidt [30]
   9T24 \(X^{1/2+\epsilon }\)\(X^{7/2+\epsilon }\)\(X^{11/4}\)Schmidt [30]

We remark that Dummit only computes the bounds for groups 9T3, 9T4, 9T5, and 9T8 in [15]. Dummit’s Theorem does give bounds for all proper transitive subgroups \(G\subset S_n\) which are known to be better that Schmidt’s bounds if G is primitive, but it becomes computationally intensive to find a set of primary invariants in order to compute the bound (it took Dummit’s code two days to produce the bounds in degrees 5, 6, 7, 8, and for just these four groups in degree 9).

One should notice that our new bounds appear to improve many more results in degree 9 than in degree 8. This is for several reasons. \(|S_8|\) is divisible by a much much larger power of 2 than the power of 3 dividing \(|S_9|\), which means there are a lot more 2-groups in \(S_8\) for which (conjecturally) sharp bounds were already proven by Klüners–Malle. Because 8 is divisible by 2, \(S_8\) also has some transitive subgroups of the form \(C_2\wr H\) for which the strong form of Malle’s conjecture holds [23], while \(S_9\) has no such subgroups. Lastly, 8 has more divisors than 9, which means there are a lot more ways to make transitive subgroups with longer normal series and we know that that the unconditional bounds coming from Theorem 2.6 with Minkowski’s bounds get worse for longer normal series.

We would expect this pattern to continue to hold for larger degrees. Our new results are likely to improve the best known upper bounds for more groups in odd degrees with fewer divisors.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Alberts, B. The weak form of Malle’s conjecture and solvable groups. Res. number theory 6, 10 (2020). https://doi.org/10.1007/s40993-019-0185-7

Download citation

Keywords

  • Malle’s conjecture
  • Solvable
  • counting

Mathematics Subject Classification

  • 11R21
  • 11R37