d4fdbf3a9e719586.tex
1: \begin{abstract}
2: Given any family of cubic fields defined by local conditions at finitely many primes, 
3:   we determine the mean number of 2-torsion elements in the class
4:   groups and narrow class groups of 
5:   these 
6:   cubic fields, when they are ordered by their absolute discriminants.
7: 
8: For
9:    an order $\O$ in a cubic field, we 
10:    study the three
11:   groups: $\Cl_2(\O)$, the group of ideal classes
12:   of $\O$ of order 2; 
13:    $\Cl^+_2(\O)$, the group of narrow ideal classes
14:   of $\O$ of order 2; 
15:   and~$\I_2(\O)$, the group of ideals of $\O$ of order 2.
16:   We prove
17:   that the mean value of the difference $|\Cl_2(\O)|-\frac{1}{4}|\I_2(\O)|$ is always equal to 1, regardless
18:   of whether one averages over the maximal orders in real cubic
19:   fields, over all orders in real cubic fields, or indeed over {\it any}
20:   family of real cubic orders defined by local conditions.  For the narrow
21:   class group, we prove that the average value of the difference 
22:   $|\Cl^+_2(\O)|-|\I_2(\O)|$ is equal to 1 for any such family.  Also, for any family
23:   of complex cubic orders defined by local conditions, we prove
24:   similarly that the mean value of the difference $|\Cl_2(\O)|-\frac{1}{2}|\I_2(\O)|$ is always equal to 1,
25:   independent of the family.
26: 
27:   The determination of these mean numbers allows us to prove a number
28:   of further results as by-products.  Most notably, we prove---in
29:   stark contrast to the case of quadratic fields---that: 1) a positive proportion of cubic fields
30:  have {\it odd} class number; 
31:   2) a positive proportion of real cubic fields have
32:   isomorphic 2-torsion in the class group and
33:   the narrow class group; and 3) a positive proportion of real
34:   cubic fields contain units of mixed real signature.
35:   We also show that a positive proportion of real cubic fields have narrow class group strictly larger than the class
36:  group, and thus a positive proportion of real cubic fields do not possess units of every possible real
37:   signature.
38: \end{abstract}
39: