Torsion primes for elliptic curves over degree 8 number fields

Maleeha Khawaja
DOI: https://doi.org/10.1007/s40993-024-00533-6
2024-04-01
Abstract:Let $d\geq 1$ be an integer and let $p$ be a rational prime. Recall that $p$ is a torsion prime of degree $d$ if there exists an elliptic curve $E$ over a degree $d$ number field $K$ such that $E$ has a $K$-rational point of order $p$. Derickx, Kamienny, Stein and Stoll have computed the torsion primes of degrees 4, 5, 6 and 7; we verify that these techniques can be extended to determine the torsion primes of degree 8.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the torsion primes of elliptic curves over number fields of degree 8. Specifically, the author aims to verify whether the techniques used to calculate the torsion primes over number fields of degree 4, 5, 6 and 7 can be extended to number fields of degree 8, and finally determine the set of torsion primes over number fields of degree 8. ### Background Information For an integer \(d \geq 1\) and a rational prime \(p\), if there exists a number field \(K\) of degree \(d\) and an elliptic curve \(E\) defined over \(K\) such that \(E\) has a rational point of order \(p\) in \(K\), then \(p\) is called a \(d\)-th torsion prime. Denote \(S(d)\) as the set of all \(d\)-th torsion primes. ### Known Results - For \(d = 1\), Mazur [10, 11] determined that \(S(1)=\text{Primes}(7)\). - Kamienny [8] and Parent [13, 14] respectively determined that \(S(2)=S(3)=\text{Primes}(13)\). - Derickx, Kamienny, Stein and Stoll [5] determined that \(S(4)=\text{Primes}(17)\), \(S(5)=\text{Primes}(19)\), \(S(6)=\text{Primes}(19)\cup\{37\}\), and \(S(7)=\text{Primes}(23)\). ### Main Contributions of the Paper The author uses the techniques and methods in the above - mentioned literature to prove: **Theorem 1.2**: For an integer \(d \geq 1\), let \(S(d)\) be defined as above, then \[S(8)=\text{Primes}(23)\] ### Methods and Verification To prove Theorem 1.2, the author mainly verifies the assumption conditions of two lemmas: 1. **Lemma 1.1**: Involves the properties of the Abel - Jacobi mapping. 2. **Lemma 1.2**: Involves the properties of modular forms and reduction mappings. In addition, the author also carried out detailed calculations and verifications for some specific primes to ensure that these primes are indeed not in \(S(8)\). The specific calculations and code can be found in the GitHub repository. ### Application Prospects This research not only solves theoretical problems, but may also have application value for the explicit solutions of Diophantine equations, similar to the previous research results on torsion primes over low - degree number fields. Through the above analysis, this paper successfully extends the existing techniques and determines the set of torsion primes over number fields of degree 8.