JournalsjemsVol. 23, No. 8pp. 2733–2785

The number of D4D_4-fields ordered by conductor

  • S. Ali Altug

    Radix Trading, New York, USA
  • Arul Shankar

    University of Toronto, Canada
  • Ila Varma

    University of Toronto, Canada
  • Kevin H. Wilson

    Brown University, Providence, USA
The number of $D_4$-fields ordered by conductor cover
Download PDF

This article is published open access under our Subscribe to Open model.

Abstract

We consider families of quartic number fields whose normal closures over Q\mathbb{Q} have Galois group isomorphic to D4D_4, the symmetries of a square. To any such field LL, one can associate the Artin conductor of the corresponding 2-dimensional irreducible Galois representation with image D4D_4. We determine the asymptotic number of such D4D_4-quartic fields ordered by conductor, and compute the leading term explicitly as a mass formula, verifying heuristics of Kedlaya and Wood. Additionally, we are able to impose any local splitting conditions at any finite number of primes (sometimes, at an infinite number of primes), and as a consequence, we also compute the asymptotic number of order-4 elements in class groups and narrow class groups of quadratic fields ordered by discriminant.

Traditionally, there have been two approaches to counting quartic fields, using arithmetic invariant theory in combination with geometry-of-number techniques, and applying Kummer theory together with LL-function methods. Both of these strategies fail in the case of D4D_4-quartic fields ordered by conductor since counting quartic fields containing a quadratic subfield with large discriminant is difficult. However, when ordering by conductor, we utilize additional algebraic structure arising from the outer automorphism of D4D_4 combined with both approaches mentioned above to obtain exact asymptotics.

Cite this article

S. Ali Altug, Arul Shankar, Ila Varma, Kevin H. Wilson, The number of D4D_4-fields ordered by conductor. J. Eur. Math. Soc. 23 (2021), no. 8, pp. 2733–2785

DOI 10.4171/JEMS/1070