On the mean number of 2-torsion elements in the class groups, narrow class groups, and ideal groups of cubic orders and fields

Abstract

Given any family of cubic fields defined by local conditions at finitely many primes, we determine the mean number of 2-torsion elements in the class groups and narrow class groups of these cubic fields when ordered by their absolute discriminants. For an order $\mathcal{O}$ in a cubic field, we study the three groups: $\mathrm{C}{\mathrm{l}}_2(\mathcal{O})$, the group of ideal classes of $\mathcal{O}$ of order 2; $\mathrm{C}{\mathrm{l}}_2^{+}(\mathcal{O})$, the group of narrow ideal classes of $\mathcal{O}$ of order 2; and ${\mathcal{I}}_2(\mathcal{O})$, the group of ideals of $\mathcal{O}$ of order 2. We prove that the mean value of the difference $|\mathrm{C}{\mathrm{l}}_2(\mathcal{O})|-\frac{1}{4}|{\mathcal{I}}_2(\mathcal{O})|$ is always equal to $1$, whether one averages over the maximal orders in real cubic fields, over all orders in real cubic fields, or indeed over any family of real cubic orders defined by local conditions. For the narrow class group, we prove that the mean value of the difference $|\mathrm{C}{\mathrm{l}}_2^{+}(\mathcal{O})|-|{\mathcal{I}}_2(\mathcal{O})|$ is equal to $1$ for any such family. For any family of complex cubic orders defined by local conditions, we prove similarly that the mean value of the difference $|\mathrm{C}{\mathrm{l}}_2(\mathcal{O})|-\frac{1}{2}|{\mathcal{I}}_2(\mathcal{O})|$ is always equal to $1$, independent of the family. The determination of these mean numbers allows us to prove a number of further results as by-products. Most notably, we prove---in stark contrast to the case of quadratic fields---that: 1) a positive proportion of cubic fields have odd class number; 2) a positive proportion of real cubic fields have isomorphic 2-torsion in the class group and the narrow class group; and 3) a positive proportion of real cubic fields contain units of mixed real signature. We also show that a positive proportion of real cubic fields have narrow class group strictly larger than the class group, and thus a positive proportion of real cubic fields do not possess units of every possible real signature.

17 pages

References in corpus (1)

• The geometric sieve and the density of squarefree values of invariant polynomials

Cited by in corpus (12)

• Nonabelian Cohen-Lenstra Moments
• Odd degree number fields with odd class number
• The $2$-Selmer group of a number field and heuristics for narrow class groups and signature ranks of units
• Number fields with prescribed norms
• 4-ranks and the general model for statistics of ray class groups of imaginary quadratic number fields
• The mean number of 2-torsion elements in the class groups of $n$-monogenized cubic fields
• Explicit methods for the Hasse norm principle and applications to $A_n$ and $S_n$ extensions
• The average sizes of two-torsion subgroups in quotients of class groups of cubic fields
• The negative Pell equation
• Counting integral points on symmetric varieties with applications to arithmetic statistics
• Eisenstein series twisted Shintani zeta function
• Monogenicity and 2-torsion in the class group of number fields of odd degree