1: \begin{abstract}

2: For every odd integer $n \geq 3$, we prove that there exist infinitely

3: many fields of degree $n$ whose class number is odd. To do so, we

4: study the ideal class groups of families of degree $n$ number fields

5: whose rings of integers arise as the coordinate rings of the

6: subschemes of $\bP^1$ cut out by integral binary $n$-ic forms. By

7: obtaining upper bounds on the mean number of $2$-torsion elements in

8: the class groups of fields in these families, we prove that a positive

9: proportion (tending to 1 as $n$ tends to $\infty$) of such fields have

10: trivial 2-torsion subgroup in their class groups and narrow class

11: groups. Conditional on a tail estimate, we also prove the

12: corresponding lower bounds and obtain the exact values of these

13: averages. These mean numbers coincide with the predictions from the

14: Cohen-Lenstra-Martinet-Malle heuristics for the family of all degree $n$

15: $S_n$-fields.

16: 

17: Additionally, for any degree $n$ order $\cO_f$ arising from an

18: integral binary $n$-ic form $f$, we compare the sizes of

19: $\Cl_2(\cO_f)$, the 2-torsion subgroup of ideal classes in $\cO_f$,

20: and $\cI_2(\cO_f)$, the 2-torsion subgroup of ideals in $\cO_f$. For

21: the family of orders arising from integral binary $n$-ic forms and

22: contained in fields with fixed signature $(r_1,r_2)$, we prove that

23: the mean value of the difference $|\Cl_2(\cO_f)| -

24: {2^{1-r_1-r_2}}|\cI_2(\cO_f)|$ is equal to 1, generalizing a result of

25: Bhargava and the third-named author for cubic fields.  Conditional on

26: certain tail estimates, we also prove that the mean value of

27: $|\Cl_2(\cO_f)| - {2^{1-r_1-r_2}}|\cI_2(\cO_f)|$ remains $1$ for

28: families obtained by imposing local splitting and maximality

29: conditions.

30: \end{abstract}

31: