Abstract:We prove the existence of secondary terms of order $X^{3/4}$, with power saving error terms, in the counting functions of $|{\rm Sel}_2(E)|$, the 2-Selmer group of E, for elliptic curves E having height bounded by X. This is the first improvement on the error term of $o(X^{5/6})$, proved by Bhargava--Shankar, where the primary term of order $X^{5/6}$ for this counting function was obtained.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there is a secondary term in the counting function of the 2 - Selmer group of elliptic curves. Specifically, the authors attempt to prove that in the counting function of the 2 - Selmer group \(|Sel_2(E)|\) of elliptic curves \(E\) with height not exceeding \(X\), there is a secondary term of magnitude \(X^{3/4}\), and this secondary term has a power - saving error term.
### Background and Problem Description
The Poonen - Rains heuristic predicts the distribution of the \(p\)-Selmer groups of elliptic curves over the rational number field \(\mathbb{Q}\) for all prime numbers \(p\). Based on this, Bhargava et al. further studied and proved that when all elliptic curves are sorted according to height, the average size of the 2 - Selmer group is 3. However, the calculated data shows that although the average rank seems to be larger than the predicted value of 0.5, the average size of the 2 - Selmer group is always smaller. This difference between theoretical prediction and actual data prompts researchers to consider whether there is a secondary term in the counting function to explain this phenomenon.
### Main Results
The main result of the paper is to prove the existence of the secondary term. Specifically, let \(E\) denote the family of all elliptic curves over the rational number field. Each elliptic curve \(E_{A,B}\) can be uniquely represented as \(y^2=x^3 + Ax + B\), where \(A\) and \(B\) are integers and satisfy certain conditions. Define the height \(H(E_{A,B}):=\max\{4|A|^3,27B^2\}\). For a real number \(X\), define the set
\[E_X^\pm: = \{E\in E:H(E)<X,\pm\Delta(E)>0\},\]
where \(\Delta(E)\) is the discriminant of the elliptic curve \(E\).
The authors proved the following result:
\[ \sum_{E\in E_X^\pm}|Sel_2(E)| = 3\cdot\sum_{E\in E_X^\pm}1 + C(E)^\pm X^{3/4}+O_\epsilon(X^{3/4-\alpha+\epsilon}),\]
where \(C(E)^\pm\) are constants, and \(\alpha>0\) (more precisely, we can take \(\alpha = \frac{1}{3804}\)).
### Significance of the Secondary Term
The existence of the secondary term not only improves the size of the error term but also has many application values. For example, in the study of L - functions, the improved error term can provide more accurate results. In addition, understanding the secondary term is also crucial for verifying conjectures, because these secondary terms make significant contributions in the height range where we can perform calculations. Finally, the secondary term itself has important theoretical significance, especially in the case of function fields, where they may be related to quadratic homology stability.
Through the above work, the authors first proved the secondary term in the counting function of the 2 - Selmer group of elliptic curves and provided a power - saving error term, thus solving the problem of the difference between theoretical prediction and actual data.