Abstract:After noticing that the regulator of a number field dominates the rank of its group of units, we bound from below the regulator of the Mordell-Weil group of elliptic curves over global function fields of characteristic $p\geq5$. The lower bound is an increasing function of the rank and of the height.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **the relationship between the regulator of an elliptic curve and the rank of its Mordell - Weil group**. Specifically, the author hopes to prove that for elliptic curves defined on global function fields with characteristic \(p \geq 5\), the regulator can control the rank of its Mordell - Weil group.
### Main problems and motivations of the paper
1. **The relationship between the regulator of a number field and the rank of the unit group**:
- The article first points out that in a number field \(F\), the regulator \(R_F\) controls the rank \(r_F\) of the unit group. According to Friedman's result, for any number field \(F\), the following inequality holds:
\[
\frac{R_F}{w_F} \geq 0.0031 \exp(0.241d + 0.497r_1)
\]
where \(w_F\) is the number of roots of unity in \(F\), \(d\) is the degree of \(F\), and \(r_1\) is the number of real embeddings of \(F\).
- This result shows that the regulator of a number field dominates the rank of its unit group, which inspires the study of similar problems in other contexts, such as the Mordell - Weil group of elliptic curves.
2. **The relationship between the regulator of an elliptic curve and the rank of the Mordell - Weil group**:
- The author's goal is to prove that for an elliptic curve \(E\) defined on a global function field \(K=\mathbb{F}_q(C)\) with characteristic \(p \geq 5\), its regulator \(\text{Reg}(E/K)\) can control the rank \(r\) of its Mordell - Weil group.
- By partially answering Question 7.1 and Question 7.2 in [AHP21], the author gives a new lower bound for the regulator of an elliptic curve, which is an increasing function of the height \(h(E)\) of the elliptic curve and the rank \(r\).
### Main results
The author's main results are as follows:
- **Theorem 1.3**: Let \(K = \mathbb{F}_q(C)\) be a function field with characteristic \(p \geq 5\), \(E\) be an elliptic curve defined on \(K\) with discriminant \(\Delta(E/K)\), zero trace, and \(p_s\) be the inseparable degree of the \(j\)-map. Let \(r\) be the rank of \(E(K)\), then there exists a positive real number \(c_0 = c_0(q, g, p_s)\) such that
\[
\text{Reg}(E/K) \geq \left( c_0 \log^{12}h(E) \right)^r
\]
where \(h(E)=\frac{1}{12}\deg\Delta(E/K)\), and the specific value for which the inequality holds is
\[
c_0=\left( p^{2s}12\sqrt{q}(\log q)^2(5g + 9)10^{15.5}+ 23g\right)^{-1}
\]
- **Corollary 1.4**: Let \(K=\mathbb{F}_q(C)\) be a function field with characteristic \(p \geq 5\). The set of elliptic curves with zero trace, positive rank, bounded inseparable degree, and bounded regulator is finite.
Through these results, the author partially answers the questions raised in [AHP21] and provides a new perspective to understand the relationship between the regulator of an elliptic curve and the rank of its Mordell - Weil group.