On families of elliptic curves $E_{p,q}:y^2=x^3-pqx$ that intersect the same line $L_{a,b}:y=\frac{a}{b}x$ of rational slope

Eldar Sultanow,Malik Amir,Anja Jeschke,Amir Darwish Tfiha,Madjid Tehrani,William J Buchanan
2024-06-09
Abstract:Let $p$ and $q$ be two distinct odd primes, $p<q$ and $E_{p,q}:y^2=x^3-pqx$ be an elliptic curve. Fix a line $L_{a.b}:y=\frac{a}{b}x$ where $a\in \mathbb{Z},b\in \mathbb{N}$ and $(a,b)=1$. We study sufficient conditions that $p$ and $q$ must satisfy so that there are infinitely many elliptic curves $E_{p,q}$ that intersect $L_{a,b}$.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Determine the sufficient conditions for the existence of rational points on the elliptic curves \(E_{p,q}: y^2 = x^3 - pqx\) that meet specific conditions when they intersect with the straight line \(L_{a,b}: y=\frac{a}{b}x\) with a given slope**. Specifically, the researchers are concerned with the situation where the elliptic curve \(E_{p,q}\) intersects with the straight line \(L_{a,b}\) with a rational slope when \(p\) and \(q\) are odd prime numbers and \(p < q\). They attempt to find the conditions that \(p\) and \(q\) need to satisfy so that there are infinitely many such elliptic curves and there are rational points on these curves. To achieve this goal, the authors carried out the following work: 1. **Insert the straight - line equation into the elliptic - curve equation**: Substitute the equation \(y = \frac{a}{b}x\) of the straight line \(L_{a,b}\) into the equation \(y^2=x^3 - pqx\) of the elliptic curve \(E_{p,q}\), obtaining a cubic equation about \(x\): \[ x^3-\left(\frac{a}{b}\right)^2x^2 - pqx = 0 \] 2. **Solve for non - trivial solutions**: This cubic equation has two non - trivial solutions \(x_1,x_2\), which are given by the following formula: \[ x_{1,2}=\frac{1}{2}\left(\frac{a}{b}\right)^2\pm\frac{1}{2}\sqrt{\left(\frac{a}{b}\right)^4 + 4pq} \] In order for \(x_1,x_2\) to be rational numbers, \(a^4 + 4pqb^4\) needs to be a square number: \[ a^4+4pqb^4 = c^2 \] where \(c\in\mathbb{N}\). 3. **Factorize and calculate the number of cases**: The equation \(4pqb^4=c^2 - a^4=(c - a^2)(c + a^2)\) can be solved by factorizing. Calculating the number of factors can be reduced to calculating the divisor function \(\tau(n)\) of \(4pqb^4\). 4. **Summarize six conditions**: By analyzing 60 possible decomposition cases, six different conditions are finally summarized, and each condition ensures the existence of rational points on the elliptic curve \(E_{p,q}\). These conditions are further simplified to four conditions. 5. **Visualize the results**: Specific visual diagrams are provided to show the distribution of elliptic curves that meet the conditions under different values of \(p\) and \(q\). In summary, the main purpose of this paper is to explore and determine the conditions that the odd prime numbers \(p\) and \(q\) need to satisfy so that when the elliptic curve \(E_{p,q}\) intersects with a straight line with a given slope, there are rational points on the curve.