Odd degree number fields with odd class number

DOI10.1215/00127094-2017-0050MaRDI QIDQ1750378zbMATH OpenOpenAlexWikidataFDO

Authors Wei Ho, Arul Shankar, Ila Varma

Publication date 18 May 2018

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.06269

zbMATH Keywords

arithmetic statisticsbinary \(n\)-ic formsclass groupsCohen-Lenstra heuristicsnarrow class groupsnumber fields

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Density theorems (11R45)

Abstract: For every odd integer $ngeq3$, we prove that there exist infinitely many number fields of degree $n$ and associated Galois group $S_n$ whose class number is odd. To do so, we study the class groups of families of number fields of degree $n$ whose rings of integers arise as the coordinate rings of the subschemes of $mathbb{P}^1$ cut out by integral binary $n$-ic forms. By obtaining upper bounds on the mean number of $2$-torsion elements in the class groups of fields in these families, we prove that a positive proportion (tending to $1$ as $n$ tends to $infty$) of such fields have trivial $2$-torsion subgroup in their class groups and narrow class groups. Conditional on a tail estimate, we also prove the corresponding lower bounds and obtain the exact values of these averages, which are consistent with the heuristics of Cohen-Lenstra-Martinet-Malle and Dummit-Voight. Additionally, for any order $mathcal{O}_f$ of degree $n$ arising from an integral binary $n$-ic form $f$, we compare the sizes of $mathrm{Cl}_2(mathcal{O}_f)$, the $2$-torsion subgroup of ideal classes in $mathcal{O}_f$, and $mathcal{I}_2(mathcal{O}_f)$, the $2$-torsion subgroup of ideals in $mathcal{O}_f$. For the family of orders arising from integral binary $n$-ic forms and contained in fields with fixed signature $(r_1,r_2)$, we prove that the mean value of the difference $|mathrm{Cl}_2(mathcal{O}_f)|-2^{1-r_1-r_2}|mathcal{I}_2(mathcal{O}_f)|$ is equal to $1$, generalizing a result of Bhargava and the third-named author for cubic fields. Conditional on certain tail estimates, we also prove that the mean value of $|mathrm{Cl}_2(mathcal{O}_f)|-2^{1-r_1-r_2}|mathcal{I}_2(mathcal{O}_f)|$ remains $1$ for certain families obtained by imposing local splitting and maximality conditions.

Review text

This is a very interesting important paper whose main goal is to prove that for each odd integer \(n \geq 3\), there exist infinitely many algebraic number fields of degree \(n\) having Galois group \(S_n\) and odd class number. To achieve this ambitious goal, many auxiliary important results are proved and the abstract of the paper describes very well what the authors are doing. ``To do so, we study the class groups of families of number fields of degree \(n\) whose rings of integers arise as the coordinate rings of the subschemes of \(\mathbb{P}^{1}\) cut out by integral binary \(n\)-ic forms. By obtaining upper bounds on the mean number of 2-torsion elements in the class groups of fields in these families, we prove that a positive proportion (tending to 1 as \(n\) tends to \(\infty\)) of such fields have trivial 2-torsion subgroups in their class groups and narrow class groups. Conditional on a tail estimate, we also prove the corresponding lower bounds and obtain the exact values of these averages, which are consistent with the heuristics of \textit{H. Cohen} and \textit{H. W. Lenstra jun.} [Lect. Notes Math. 1052, 26--36 (1984; Zbl 0532.12008)], \textit{H. Cohen} and \textit{J. Martinet} [Math. Comput. 48, 123--137 (1987; Zbl 0627.12006)], \textit{G. Malle} [Exp. Math. 19, No. 4, 465--474 (2010; Zbl 1297.11139)], and \textit{D. S. Dummit} and \textit{J. Voight} [Proc. Lond. Math. Soc. (3) 117, No. 4, 682--726 (2018; Zbl 1457.11152)]. Additionally, for any order \(\mathcal{O}_{f}\) of degree \(n\) arising from an integral binary \(n\)-ic form \(f\), we compare the sizes of \(\mathrm{Cl}_{2}(\mathcal{O}_{f})\), the 2-torsion subgroup of ideal classes in \(\mathcal{O}_{f}\), and of \(\mathcal{I}_{2}(\mathcal{O}_{f})\), the 2-torsion subgroup of ideals in \(\mathcal{O}_{f}\). For the family of orders arising from integral binary \(n\)-ic forms and contained in fields with fixed signature \((r_{1},r_{2})\), we prove that the mean value of the difference \(|\mathrm{Cl}_{2}(\mathcal{O}_{f})|-2^{1-r_{1}-r_{2}}|\mathcal{I}_{2}(\mathcal{O}_{f})|\) is equal to 1, generalizing a result of \textit{M. Bhargava} and the third-named author [Duke Math. J. 164, No. 10, 1911--1933 (2015; Zbl 1335.11093)] for cubic fields. Conditional on certain tail estimates, we also prove that the mean value of \(|\mathrm{Cl}_{2}(\mathcal{O}_{f})|-2^{1-r_{1}-r_{2}}|\mathcal{I}_{2}(\mathcal{O}_{f})|\) remains 1 for certain families obtained by imposing local splitting and maximality conditions.

Recommendations

• On torsion subgroups in class groups of number fields
• Averages and higher moments for the \(\ell\)-torsion in class groups
• scientific article; zbMATH DE number 4021280
• The distribution of \(p\)-torsion in degree \(p\) cyclic fields
• Tame kernels of quadratic number fields: Numerical heuristics.
• On the number of integral binary n$n$‐ic forms having bounded Julia invariant
• 𝑝-class groups of certain extensions of degree 𝑝
• Heuristics on Tate-Shafarevitch Groups of Elliptic Curves Defined over Q
• \(\ell\)-torsion bounds for the class group of number fields with an \(\ell\)-group as Galois group
• On a conjecture for -torsion in class groups of number fields: from the perspective of moments

Cites work

• A note on basic Iwasawa \(\lambda\)-invariants of imaginary quadratic fields
• A positive proportion of locally soluble hyperelliptic curves over ℚ have no point over any odd degree extension
• Binary forms and orders of algebraic number fields
• Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves
• Canonical periods and congruence formulae
• Class Groups of Number Fields: Numerical Heuristics
• Counting S₅-fields with a power saving error term
• Elliptic Curves with no Rational Points
• Finiteness Theorems for Binary Forms with Given Discriminant
• Fourier coefficients of half-integral weight modular forms modulo \(\ell\)
• scientific article; zbMATH DE number 3889661 (Why is no real title available?)
• scientific article; zbMATH DE number 3221502 (Why is no real title available?)
• Indivisibility of class numbers of imaginary quadratic fields
• Nonvanishing modulo \(l\) of Fourier coefficients of half-integral weight modular forms
• On a Principle of Lipschitz
• On class groups of imaginary quadratic fields
• On the 4-rank of class groups of quadratic number fields
• On the density of discriminants of cubic fields. II
• On the distribution of class groups of number fields
• On the mean number of 2-torsion elements in the class groups, narrow class groups, and ideal groups of cubic orders and fields
• On the reduction theory of binary forms
• Parametrization of ideal classes in rings associated to binary forms
• Proof of the existence of infinitely many imaginary quadratic fields whose class number is not divisible by 3
• Residually reducible representations and modular forms
• Rings and ideals parameterized by binary n-ic forms
• Squarefree values of polynomial discriminants. I
• The 2-Selmer group of a number field and heuristics for narrow class groups and signature ranks of units
• The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point
• The density of discriminants of quartic rings and fields
• The density of discriminants of quintic rings and fields
• The mean number of 3-torsion elements in the class groups and ideal groups of quadratic orders
• Trace formulae and imaginary quadratic fields

Cited in

(15)

• Number fields with prescribed norms (with an appendix by Yonatan Harpaz and Olivier Wittenberg)
• Class field theory, Diophantine analysis and the asymptotic Fermat's last theorem
• scientific article; zbMATH DE number 3620015 (Why is no real title available?)
• Chabauty Without the Mordell-Weil Group
• Explicit methods for the Hasse norm principle and applications to \(A_n\) and \(S_n\) extensions
• On the \(4\)-rank of class groups of Dirichlet biquadratic fields
• On unit signatures and narrow class groups of odd degree abelian number fields
• On Malle’s conjecture for nilpotent groups
• A new parametrization for ideal classes in rings defined by binary forms, and applications
• On the number of integral binary n$n$‐ic forms having bounded Julia invariant
• Geometry-of-numbers methods in the cusp
• Squarefree values of polynomial discriminants. II
• Counting integral points on symmetric varieties with applications to arithmetic statistics
• The mean number of 2-torsion elements in the class groups of cubic orders
• Monogenicity and 2-torsion in the class group of number fields of odd degree

This page was built for publication: Odd degree number fields with odd class number

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1750378)