Lang's conjecture and sharp height estimates for the elliptic curves $y^{2}=x^{3}+b$

Paul Voutier,Minoru Yabuta
DOI: https://doi.org/10.4064/aa7761-2-2016
2016-05-21
Abstract:For $E_{b}: y^{2}=x^{3}+b$, we establish Lang's conjecture on a lower bound for the canonical height of non-torsion points along with upper and lower bounds for the difference between the canonical and logarithmic height. In many cases, our results are actually best-possible.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is Lang's conjecture regarding the elliptic curve \(E_b: y^2 = x^3 + b\) and the height estimation problem. Specifically, the author aims to provide a lower bound for the canonical height of non - torsion points and simultaneously give the upper and lower bounds for the difference between the canonical height and the logarithmic height. ### Main problems and objectives 1. **Verification of Lang's conjecture**: - Lang's conjecture proposes a lower bound for the height of non - torsion points on an elliptic curve, and this lower bound varies with the curve. - The specific content of the conjecture is as follows: Let \(E/K\) be an elliptic curve defined over the number field \(K\), with the minimal discriminant \(D_{E/K}\). There exist constants \(C_1>0\) and \(C_2\) that depend only on \([K:\mathbb{Q}]\), such that for all non - torsion points \(P\in E(K)\), we have \[ \hat{h}(P)>C_1\log(N_{K/\mathbb{Q}}(D_{E/K})) + C_2. \] 2. **Height estimation**: - The author provides an exact lower bound for the canonical height of the elliptic curve \(E_b: y^2 = x^3 + b\) in a specific form. - At the same time, the author also gives the upper and lower bounds for the difference between the canonical height and the logarithmic height. ### Research object The research object is the Mordell curve of the form \(E_b: y^2 = x^3 + b\), where \(b\) is a sixth - power - free integer (that is, \(b\) is not divisible by the sixth power of any integer). This type of curve is of great significance in number theory. ### Research method The author analyzes the specific values of the height in different situations in detail by decomposing the canonical height into the sum of local height functions and combining tools such as Tate series. In particular, they consider the Tamagawa index \(c_p\) at different prime numbers \(p\) and provide specific lower bounds for the height according to different situations of these indices. ### Main results - For different combinations of \(b\) and \(c_p\), the author provides exact formulas for the lower bound of the height, for example: - When \(c_p = 1\) for all \(p>3\), \[ \hat{h}(P)> \begin{cases} \frac{1}{6}\log|b|-\log(2)-\frac{1}{2}\log(3)&\text{if }b < 0,\\ \frac{1}{6}\log|b|-\frac{2}{3}\log(2)-\frac{3}{4}\log(3)- 0.006&\text{if }b > 0. \end{cases} \] - There are similar exact formulas in other cases as well. - At the same time, the author also gives the upper and lower bounds for the difference between the canonical height and the logarithmic height, for example: \[ -\frac{\log(3)}{4}-0.005 <\frac{1}{2}h(P)-\hat{h}(P)<\frac{1}{6}\log|b|+\frac{\log(2)}{3}+\frac{\log(3)}{4}. \] These results not only verify Lang's conjecture but also provide very accurate height estimates, which are of great significance for understanding the arithmetic properties on elliptic curves.