Abstract:This paper is an expanded version of the author's lecture at the Integers Conference 2011. We discuss the secondary terms in the Davenport-Heilbronn theorems on cubic fields and 3-torsion in class groups of quadratic fields. Such secondary terms had been conjectured by Datskovsky-Wright and Roberts, and proofs of these or closely related secondary terms were obtained independently by Bhargava, Shankar, and Tsimerman; Hough; Zhao; and Taniguchi and the author.
In this paper we discuss the history of the problem and highlight the diverse methods used to address it.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the secondary terms in the Davenport - Heilbronn theorem regarding the 3 - torsion subgroups of the class groups of cubic fields and quadratic fields. Specifically, the paper explores the secondary terms in the following two theorems:
1. **Cubic field counting**:
\[
N^{\pm}_3(X) = C^{\pm} \frac{X}{12\zeta(3)} + K^{\pm} \frac{4\zeta(1/3)}{5\Gamma(2/3)^3\zeta(5/3)} X^{5/6} + o(X^{5/6}),
\]
where \(C^{-}= 3\), \(C^{+}= 1\), \(K^{-}= \sqrt{3}\), \(K^{+}= 1\).
2. **3 - torsion subgroups of the class groups of quadratic fields**:
\[
\sum_{0<\pm D<X} \#Cl_3(D) = \left(3 + C^{\pm}\right) \frac{X}{\pi^2} + K^{\pm} \frac{8\zeta(1/3)}{5\Gamma(2/3)^3} \prod_p \left(1 - \frac{1}{p^{1/3}} + \frac{1}{p(p + 1)}\right) X^{5/6} + o(X^{5/6}),
\]
where the sum is over fundamental discriminants \(D\) and the product is over all prime numbers \(p\), and the constants are the same as before.
The main terms of these problems were given by Davenport and Heilbronn, while the secondary terms were conjectured by Roberts and Datskovsky - Wright and were proven in subsequent research. The paper discusses four different methods to deal with these secondary terms:
1. **Shintani Zeta function method (Taniguchi and the author)**: By means of the Shintani Zeta function method, the above theorems were proven, and the error terms were given as \(O(X^{7/9+\epsilon})\) and \(O(X^{18/23+\epsilon})\) respectively.
2. **Improvement of geometric method (Bhargava, Shankar, and Tsimerman)**: They first proved Theorem 1.1 with an error term of \(O(X^{13/16+\epsilon})\). They used geometric arguments to simplify and improve the original work of Davenport and Heilbronn.
3. **Equidistribution of Heegner points (Hough)**: For the 3 - torsion subgroups in the imaginary quadratic fields \(Q(\sqrt{D})\), a conclusion related to Theorem 1.2 was obtained, but the error term is greater than \(X^{5/6}\).
4. **Triple curves and Maroni invariants (Zhao)**: By means of algebraic - geometric methods, the cubic extensions of the rational function field \(F_q(t)\) were enumerated, and the secondary terms were obtained, but currently the error term is still greater than the secondary term.
These methods together reveal the existence and form of the secondary terms, although their specific proof techniques are different.