Abstract:Fix a prime number $p$. Let $\mathbb{F}_q$ be a finite field of characteristic coprime to 2, 3, and $p$, which also contains the primitive $p$-th root of unity $\mu_p$. Based on the works by Swinnerton-Dyer and Klagsbrun, Mazur, and Rubin, we prove that the probability distribution of the sizes of prime Selmer groups over a family of cyclic prime twists of non-isotrivial elliptic curves over $\mathbb{F}_q(t)$ satisfying a number of mild constraints conforms to the distribution conjectured by Bhargava, Kane, Lenstra, Poonen, and Rains with explicit error bounds. The key tools used in proving these results are the Riemann hypothesis over global function fields, the Erdös-Kac theorem, and the geometric ergodicity of Markov chains.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the rank distribution of the Selmer group of elliptic curves under specific conditions. Specifically, the author studies the probability distribution of the size of the prime Selmer group in the family of cyclic prime twists of non - isomorphic elliptic curves over the finite field \(F_q(t)\). By proving that these distributions are in line with the conjecture of Poonen and Rains and giving explicit error bounds, the author aims to verify the validity of this conjecture on the global function field.
### Specific description of the problem
Given a prime number \(p\), let \(F_q\) be a finite field whose characteristic is coprime to 2 and 3 and contains the \(p\)-th primitive root of unity \(\mu_p\). For a non - isomorphic elliptic curve \(E\) over \(F_q(t)\), the author attempts to calculate:
\[ \text{rank}_{\mathbb{Z}} E(L_f)-\text{rank}_{\mathbb{Z}} E(K) \]
where \(L_f = K(\sqrt[p]{f})\) is a \(p\)-th order cyclic Galois extension defined by the polynomial \(f\in F_n(F_q)\). To understand this problem, the author introduces the \(p\)-th order cyclic twist \(E_{\chi_f}\) of the elliptic curve \(E\) and studies the dimension of its \(\pi\)-Selmer group.
### Main conclusions
The main conclusion of the paper is that, under certain conditions, the dimension distribution of the \(p\)-Selmer group is in line with the Poonen - Rains conjecture, and specific error bounds are given. Specifically, for a sufficiently large \(n\), we have:
\[ \left| P[\dim_{\mathbb{F}_p}\text{Sel}_{\pi}(E_{\chi_f}) = j\mid f\in F_n(F_q)]-\left(\prod_{m\geq0}\frac{1}{1 + p^{-m}}\right)\left(\prod_{m = 1}^j\frac{p}{p^m-1}\right)\right|<\frac{A_{E,p,q}}{n^{\alpha(p)-\delta}} \]
where \(\alpha(p)\) is a constant, defined as:
\[ \alpha(p):=\sup_{0 <\rho<1}\left(\min\left(\rho\log\rho + 1-\rho,-\rho\log\left(\frac{1 - p}{p^2-1}\right),-\rho\log\left(\frac{p}{p^2-1}\right)\right)\right) \]
### Methods and tools
The author uses the following key tools to prove the main conclusion:
1. **Effective Chebyshev density theorem**: Used to handle the distribution of Frobenius elements.
2. **Effective Erdös - Kac theorem**: Used to handle the number of irreducible factors of polynomials.
3. **Geometric convergence of Markov chains**: Used to handle the distribution of local Selmer groups.
These tools work together, enabling the author to accurately estimate the dimension distribution of the Selmer group and verify the validity of the Poonen - Rains conjecture on the global function field.
### Applications and significance
This research not only verifies the correctness of the Poonen - Rains conjecture under specific conditions, but also provides a new perspective and method for understanding the properties of the Selmer group of elliptic curves. This is of great significance for the fields of number theory and algebraic geometry, especially in the study of the arithmetic properties of elliptic curves.