Abstract
Let \(d\ge 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 et al. (Algebra Number Theory 17(2):267–308, 2023) have computed the torsion primes of degrees 4, 5, 6 and 7. We verify that the techniques used in Derickx et al. (Algebra Number Theory 17(2):267–308, 2023) can be extended to determine the torsion primes of degree 8.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(d\ge 1\) be an integer and let p be a rational prime. Recall that p is a torsion prime of degree d if there is a number field K of degree d and an elliptic curve E over K with a K-rational point of order p. Let S(d) denote the set of torsion primes of degree d. Let Primes(x) denote the set of primes less or equal than x. Mazur [10, 11] was the first to completely determine the set S(d) for any integer d. He found that \(S(1)={{\,\textrm{Primes}\,}}(7)\). Kamienny [8] and Parent [13, 14] determined the torsion primes of degrees 2 and 3, respectively, finding that \(S(2)=S(3)={{\,\textrm{Primes}\,}}(13)\). Building on the techniques used in these works, Derickx et al. [5] proved the following result.
Theorem 1.1
(Derickx, Kamienny, Stein and Stoll) For an integer \(d\ge 1\), let S(d) be the set of torsion primes of degree d. Then,
We use the techniques and computations of the aforementioned paper to determine the set of torsion primes of degree 8.
Theorem 1.2
For an integer \(d\ge 1\), let S(d) be the set defined above. Then,
Although the study of low degree points on curves has received much attention in and of itself, the precise determination of the set of torsion primes of low degree has also had several applications to the explicit resolution of Diophantine equations; see e.g. [1, 7, 9]. We expect Theorem 1.2 to have Diophantine applications in a similar manner.
The purpose of this note is to provide a proof of Theorem 1.2. We stress that none of the ideas or techniques used in this note are due to us and we are merely verifying that the techniques used to prove Theorem 1.1 can be extended to prove Theorem 1.2.
All computations were performed in Magma [2] using Stoll’s code [15]. All supporting computations can be found at
https://github.com/MaleehaKhawaja/deg8torsionprimes.
After completing our computations we learnt that Maarten Derickx and Michael Stoll have independently determined the torsion primes of degree 8 in unpublished work, as well as computing smaller bounds for the sets S(9) and S(10).
The following two results form the theoretical basis of the proof. For the benefit of the reader, we include the proofs of these results here.
Let \(d\ge 1\) be an integer over \(\mathbb {Q}\). Let X be a curve over \(\mathbb {Q}\), and let \(X^{(d)}\) denote the d\(^{th}\) symmetric power of X. Recall that points in \(X^{(d)}(\mathbb {Q})\) correspond to effective degree d divisors on X. Let \(N\ge 1\) be an integer and suppose \(X=X_{1}(N)\). Then \(C_{1}(N)\) denotes the set of cusps on \(X_{1}(N)\).
Lemma 1.1
(Derickx, Kamienny, Stein and Stoll) Let \(d\ge 1\) be an integer, and let p be a prime. Let \(\alpha \) be defined by the following composition of maps
If \(\alpha \) is surjective then \(p\notin S(d)\).
Proof
This is [5, Lemma 1.5]. Suppose, for a contradiction that \(p\in S(d)\). Thus there is a non–cuspidal K–rational point on \(X_{1}(p)\). Thus there is a pair (E, P) where E is an elliptic curve over K and P is a point of order p on K. Taking the sum of the Galois conjugates of P gives a rational effective degree d divisor on \(X_{1}(p)\). This divisor isn’t the sum of rational cusps - this contradicts the surjectivity of \(\alpha \). \(\square \)
For a prime \(\ell \) distinct from p, let \({{\,\mathrm{red_{\ell }}\,}}\) denote the usual reduction map:
Lemma 1.2
(Derickx, Kamienny, Stein and Stoll) Let \(\ell \) be a prime distinct from p. Let \(\bar{x}\in X_{1}(p)^{(d)}(\mathbb {F}_{\ell })\). Suppose that the following two assumptions are satisfied.
-
(a)
If \(\bar{x}\) is the sum of images of rational cusps under \({{\,\mathrm{red_{\ell }}\,}}\) then the residue class of \(\bar{x}\) contains at most one rational point.
-
(b)
If \(\bar{x}\) is not the sum of images of rational cusps under \({{\,\mathrm{red_{\ell }}\,}}\) then the residue class of \(\bar{x}\) doesn’t contain a rational point.
Then \(p\not \in S(d)\).
Proof
This is [5, Lemma 1.7]. We want to show that the map \(\alpha \), as defined in Lemma 1.1, is surjective. Let \(x\in X_{1}(p)^{(d)}(\mathbb {Q})\) be a rational point in the residue class of \(\bar{x}\). By taking the contrapositive of assumption (b), \(\bar{x}\) is the sum of images of rational cusps under \({{\,\mathrm{red_{\ell }}\,}}\). That is
where \(\bar{x}_{i}={{\,\mathrm{red_{\ell }}\,}}({x}_{i})\) for rational cusps \(x_{i}\in X_{1}(p)^{(d)}(\mathbb {Q})\). Let
Since \(x'\) is a rational point in the residue class of \(\bar{x}\), it immediately follows from assumption (a) that \(x=x'\). It follows that \(x\in C_{1}(p)(\mathbb {Q})^{d}\) since \(x=x'\) is the sum of rational cusps. By Lemma 1.1 we have \(p\not \in S(d)\). \(\square \)
Since \({{\,\textrm{Primes}\,}}(23)\subseteq S(8)\) (see [5, Proposition 1.3]), in order to prove Theorem 1.2, it remains to prove that the reverse inclusion holds. The smallest general bound for torsion primes of degree d is due to Oesterlé:
see [5, Sect. 6] for a proof. In particular we need to verify that both assumptions of Lemma 1.2 hold for \(29\le p < 6724\). We say p is a rank zero prime if the Jacobian \(J_{1}(p)\) of the modular curve \(X_{1}(p)\) has rank 0 over \(\mathbb {Q}\). In Sect. 2, we verify that Lemma 1.2 holds for all rank zero primes. In Sects. 3 and 4, we verify that assumptions (a) and (b) of Lemma 1.2 hold for all remaining primes.
2 Rank zero primes
We begin our verification at the primes p for which the Jacobian \(J_{1}(p)\) of \(X_{1}(p)\) has rank 0 over \(\mathbb {Q}\). If p is such a prime then we refer to p as a rank zero prime. There are finitely many rank zero primes, and moreover p is a rank zero prime if and only if
see [3, Proposition 6.2.1].
Let X be a curve defined over \(\mathbb {Q}\). Let \(d\ge 1\) be an integer. Fix \(x_{0}\in X^{(d)}(\mathbb {Q})\). Let J be the Jacobian of X. Recall that the Abel–Jacobi map \(\iota \) is given by
Recall that the \(\mathbb {Q}\)-gonality of X is the minimum degree of a map from X to \(\mathbb {P}^{1}\) defined over \(\mathbb {Q}\). We break the proof of [5, Corollary 3.5] into smaller parts.
Lemma 2.1
Let \(d\ge 1\) be an integer. Suppose p is a prime such the \(\mathbb {Q}\)-gonality of \(X_{1}(p)\) is strictly greater than d. Then the map
is injective.
Proof
Suppose there exist \(x_{1}, x_{2}\in X_{1}(p)^{(d)}(\mathbb {Q})\) such that \(\iota (x_{1})=\iota (x_{2})\). Then
In particular, the degree of \(f\in \mathbb {Q}(X_{1}(p))\) is less than or equal to d. This contradicts the assumption on the \(\mathbb {Q}\)-gonality of \(X_{1}(p)\). \(\square \)
Lemma 2.2
(Derickx, Kamienny, Stein and Stoll) Let \(d\ge 1\) be an integer. Suppose \(p\ge 3\) is a rank zero prime such that the \(\mathbb {Q}\)-gonality of \(X_{1}(p)\) is strictly greater than d. Then assumption (a) of Lemma 1.2 is satisfied for p with \(\ell =2\).
Proof
This is [5, Corollary 3.5]. We recall that we need to show that the reduction map \({{\,\mathrm{red_{2}}\,}}: X_{1}(p)^{(d)}(\mathbb {Q})\rightarrow X_{1}(p)^{(d)}(\mathbb {F}_{2})\) is injective. It follows from Lemma 2.1 and [5, Proposition 3.4] that the map \({{\,\mathrm{red_{2}}\,}}\circ \; \iota =\iota \circ {{\,\mathrm{red_{2}}\,}}\) is injective. Thus \({{\,\mathrm{red_{2}}\,}}\) is injective. \(\square \)
Let \(p\in \{29, 31, 41, 47, 59, 71\}\). Then it follows from work of Derickx and van Hoeij [6] that the \(\mathbb {Q}\)-gonality of \(X_{1}(p)\) is strictly greater than 8. Thus assumption (a) of Lemma 1.2 is satisfied with \(\ell =2\) by Lemma 2.2. We now verify that assumption (b) holds for these primes. One way to do this is to show that every \(\bar{x}\in X_{1}(p)^{(d)}(\mathbb {F}_{\ell })\) is the sum of images of rational cusps.
Lemma 2.3
Let \(p=29\), 31 or 41. Then \(p\not \in S(8)\).
Proof
From the remarks above, it remains to demonstrate that assumption (b) of Lemma 1.2 is satisfied. We follow the proof of [5, Lemma 3.7]. Write \(X=X_{1}(p)\) and \(J=J_{1}(p)\). By [5, Corollary 3.3], \(J(\mathbb {Q})\) is generated by the differences of rational cusps. Thus, if there is a rational point in the residue class of \(\bar{x}\in X^{(8)}(\mathbb {F}_{2})\) then \(\bar{x}\) maps into the subgroup of \(J(\mathbb {F}_{2})\) that is generated by the differences of the images of the rational cusps. We use Stoll’s code [15] to verify that, under the hypothesis of assumption (b), \(\bar{x}\) doesn’t map into this subgroup. The supporting computations can be found in the script X129_31_41.m. \(\square \)
To verify that assumption (b) holds for the primes 47, 59, and 71, we shall need the following lemma.
Lemma 2.4
(Derickx) Let \(d\ge 1\) be an integer, and let \(p\ge 3\) be a prime. Suppose \(t\in \mathbb {T}\) kills the rational points on the Jacobian of \(X_{1}(p)\) i.e.
where \(\mathbb {T}\) denotes the endomorphism ring of \(J_{1}(p)\). Consider two points \(\bar{x}_{0},\bar{x}\in X_{1}(p)^{(d)}(\mathbb {F}_{2})\) where \(\bar{x}_{0}\) is a sum of images of rational cusps. If the divisor \(t(\bar{x}-\bar{x}_{0})\) is not principal then there is no rational point \(x\in X_{1}(p)^{(d)}(\mathbb {Q})\) in the residue class of \(\bar{x}\).
Proof
This is [5, Lemma 8.6]. Let \(X=X_1(p)\) and \(J=J_{1}(p)\). Suppose there is a rational point \(x\in X^{(d)}(\mathbb {Q})\) in the residue class of \(\bar{x}\). Let \(x_{0}\in X^{(d)}(\mathbb {Q})\) be a point in the residue class of \(\bar{x}_{0}\) that is the sum of rational cusps. By assumption, t sends points in \(J(\mathbb {Q})\) to zero. Thus \(t(x-x_{0})=0\) i.e. \(t(x-x_{0})\) is principal. In particular, it follows that \(t(\bar{x}-\bar{x}_{0})\) is principal. \(\square \)
Lemma 2.5
Let \(p=47\), 59 or 71. Then \(p\not \in S(8)\).
Proof
Let \(p=47\), 59 or 71. It remains to show that assumption (b) of Lemma 1.2 is satisfied. Let \(X=X_1(p)\) and \(J=J_1(p)\). Let x be a degree 8 point on \(X=X_{1}(p)\) and write \(\bar{x}\) for the corresponding divisor on \(X_{\mathbb {F}_{2}}\). First consider \(p=47\). Using Stoll’s code, we checked that there are no elliptic curves over \(\mathbb {F}_{2^{d}}\) with a point of order \(p=47\) for \(1\le d\le 7\). Thus \(\bar{x}\) is the sum of eight rational cusps. Recall that assumption (a) of Lemma 1.2 with \(\ell =2\) follows directly from Lemma 2.2. Thus x is the sum of eight rational cusps. This contradicts the assumption that x is a degree 8 point on \(X=X_{1}(p)\). Now suppose \(p=59\) or 71. Write \(T_n\) for the n-th Hecke operator, and \(\langle a \rangle \) for the diamond operator. Let \(t=(\langle 3 \rangle -1)(T_3-3\langle 3 \rangle -1) \in \mathbb {T}\). We checked using Magma that the positive rank simple factors of \(J_{1}(p)\) already occur in \(J_{0}(p)\). Using Stoll’s code, we checked that there are no elliptic curves over \(\mathbb {F}_{2^{d}}\) with a point of order p for \(1\le d\le 6\). As before \(\bar{x}\) can not be the sum of eight rational cusps. The only remaining possibility is that \(\bar{x}=\bar{D}+\bar{y}\) where \(\bar{D}\) is a degree 7 place on \(X_{\mathbb {F}_2}\), and \(\bar{y}\) is the reduction of a rational cusp. We note that \(t(\bar{y})\) is principal, and \(t(\bar{x})\) is principal. Hence \(t(\bar{D})\) must be principal. Using Stoll’s code we checked that for all degree 7 places \(\bar{D}\) of \(X_{\mathbb {F}_2}\), the divisor \(t(\bar{D})\) is not principal, giving a contradiction in this case. All supporting computations can be found in the script rankzeroprimes.m. \(\square \)
3 Verifying assumption (a)
Let \(\ell \) and p be distinct primes. Suppose \(\bar{x}\in X_{1}(p)^{(d)}(\mathbb {F}_{\ell })\). We recall assumption (a) of Lemma 1.2: if \(\bar{x}\) is the sum of images of rational cusps under \({{\,\mathrm{red_{\ell }}\,}}\) then the residue class of \(\bar{x}\) contains at most one rational point. Before stating the main strategy used to verify that this assumption holds, we state an important result that is used in the proof.
Theorem 3.1
[Derickx, Kamienny, Stein and Stoll] Let \(d\ge 1\) be an integer and let \(\ell \) and p be distinct primes. Let \(t: J_{1}(p)\rightarrow \mathcal {A}\) be a morphism of abelian schemes over \(\mathbb {Z}_{(l)}\) such that:
-
(i)
\(t(J_{1}(p)(\mathbb {Q}))\) is finite;
-
(ii)
\(\ell >2\) or \(\#t(J_{1}(p)(\mathbb {Q}))\) is odd;
-
(iii)
\(t\circ \iota \) is a formal immersion at all \(\bar{x}\in X_{1}(p)^{(d)}(\mathbb {F}_{\ell })\) that are sums of images of rational cusps on \(X_{1}(p)\).
Then assumption (a) of Lemma 1.2 holds.
Proof
This is [5, Corollary 4.3]. Suppose \(x,x^\prime \in X_{1}(p)^{(d)}(\mathbb {Q})\) are in the residue class of \(\bar{x}\), where \(\bar{x}\) is the sum of images of rational cusps. We want to show that \(x=x^\prime \). Let \(y=(t\circ \iota )(x)\) and \(y^\prime =(t\circ \iota )(x^\prime )\). We note that y and \(y^\prime \) lie in the same residue class, since x and \(x^\prime \) do. It then follows from i) and ii) that \(y=y^\prime \). Under the hypothesis of assumption iii), a result of Parent [12, Lemma 4.13] asserts that the map
is an injection. Thus \(x=x^\prime \). \(\square \)
We work with \(\ell =2\), and refer the reader to [5, Sect. 5] for the construction of an appropriate operator \(t\in \mathbb {T}\). Indeed Derickx, Kamienny, Stein and Stoll [5, Corollary 5.2] prove that such a t satisfies assumptions (i) and (ii) of Theorem 3.1 with \(\ell =2\), and one can apply Kamienny’s criterion [5, Proposition 5.3] to verify assumption iii). We used Stoll’s code to test whether Kamienny’s criterion holds, and found that it holds for
This part of the verification required several parallel computations. The supporting code can be found in script assumptiona.m.
For the primes excluded by (2) we used Stoll’s code to verify that assumption (a) holds by replacing \(X_{1}(p)\) with an intermediate curve between \(X_{1}(p)\) and \(X_{0}(p)\), see [5, Corollary 4.4]; this criterion is similar to Theorem 3.1. The supporting code can be found in the script remainingprimes.m.
4 Verifying assumption (b)
Let p be a prime, and let \(\ell \) be a prime distinct from p. Suppose \(\bar{x}\in X_{1}(p)^{(d)}(\mathbb {F}_{\ell })\). We recall assumption (b) of Lemma 1.2: if \(\bar{x}\) isn’t the sum of images of rational cusps under \({{\,\mathrm{red_{\ell }}\,}}\) then the residue class of \(\bar{x}\) doesn’t contain a rational point. As remarked in [5, p. 272], to verify this assumption, it suffices to show that
-
(i)
there is no elliptic curve E over \(\mathbb {F}_{\ell ^{d^\prime }}\), for all \(d^\prime \le d\), such that \(p\mid \#E(\mathbb {F}_{\ell ^{d^\prime }})\);
-
(ii)
\(p\not \mid \ell ^{d^\prime }\pm 1\) for all \(d^\prime \le d\).
It immediately follows from a result of Waterhouse [16, Theorem 4.1] that
where
Thus it remains to show that assumption (b) holds for
By Lemma 2.3 and Lemma 2.5, we have \(29, 31, 41, 47, 59, 71\not \in S(8)\). Thus, it remains to verify that assumption (b) holds for
We fix some notation for the remainder of the paper. Let \(X=X_1(p)\) and \(J=J_1(p)\). Write \(T_n\) for the n-th Hecke operator, and \(\langle a \rangle \) for the diamond operator. Let \(t=(\langle 3 \rangle -1)(T_3-3\langle 3 \rangle -1) \in \mathbb {T}\). As shown in [5, pg. 303], the operator \(T_3-3\langle 3 \rangle -1\) kills rational torsion. For the relevant primes p, we verify that the operator \(\langle 3\rangle -1 \) maps J into an abelian subvariety of rank zero. Thus for such p the operator t kills \(J(\mathbb {Q})\).
Lemma 4.1
Let \(p\in \{43, 61, 67, 73\}\). Then \(p\not \in S(8)\).
Proof
Suppose x is a degree 8 point on \(X=X_{1}(p)\) and denote by \(\bar{x}\) the corresponding divisor on \(X_{\mathbb {F}_{2}}\). If \(p=61, 67\) or 73 then the operator \(\langle 3\rangle -1 \) maps \(J=J_{1}(p)\) into an abelian subvariety of rank zero by the proof of [5, Lemma 8.7]. If \(p=43\), we checked using Magma that that the positive-rank simple factors of \(J_1(43)\) all occur in \(J_0(43)\).
First suppose \(p=43\), 61 or 67. Using Stoll’s code, we checked that there are no elliptic curves over \(\mathbb {F}_{2^{d}}\) with a point of order p for \(1\le d\le 6\). Thus all places on \(X_{\mathbb {F}_{2}}\) of those degrees d must be cuspidal. We proved that assumption (a) of Lemma 1.2 holds in Sect. 3. Then \(\bar{x}=\bar{D}+\bar{y}\) where \(\bar{D}\) is a degree 7 place on \(X_{\mathbb {F}_{2}}\), and \(\bar{y}\) is the reduction of a rational cusp. Since \(t(\bar{x})\) and \(t(\bar{y})\) are principal, it must be that \(t(\bar{D})\) is principal. Using Stoll’s code, we checked that \(t(\bar{D})\) is not principal for all degree 7 places \(\bar{D}\) on \(X_{\mathbb {F}_{2}}\). This gives a contradiction.
Now suppose \(p=73\). Using Stoll’s code, we checked that there are no elliptic curves over \(\mathbb {F}_{2^{d}}\) with a point of order p for \(1\le d\le 5\). In each possible case, the support of \(\bar{x}\) must contain a degree d place \(\bar{D}\) such that \(t(\bar{D})\) is principal where \(d=6, 7\) or 8. Again, we checked that \(t(\bar{D})\) is not principal for all degree d places \(\bar{D}\) on \(X_{\mathbb {F}_{2}}\). The supporting computations can be found in the script smallprimes.m. \(\square \)
Lemma 4.2
Let \(p\in \{113, 127, 131, 137, 139, 241, 257\}\). Then \(p\not \in S(8)\).
Proof
Let p be a prime as above. We follow the proof of [5, Corollary 7.2]. We checked using Magma that the positive rank simple factors of \(J_{1}(p)\) already occur in \(J_{0}(p)\). In order to apply [5, Proposition 7.1], it suffices to find a primitive root a modulo p. For \(p\ne 131, 241\) we choose \(a=3\); for \(p=131\) we choose \(a=2\); for \(p=241\) we choose \(a=7\). Let \({{\,\textrm{ord}\,}}(a)\) denote the order of a in \((\mathbb {Z}/p\mathbb {Z})^{\times }/\{\pm 1\}\). For each p we have \({{\,\textrm{ord}\,}}(a)=(p-1)/2>3\cdot 8\). We let \(n=7\) if \(p\ne 131, 241\) and \(n=8\) otherwise. In all cases we check that the inequality
holds. Thus [5, Proposition 7.1] asserts that \(p\not \in S(8)\). The supporting Magma computations can be found in the script largeprimes.m. \(\square \)
In order to complete the proof of Theorem 1.2, it remains to show that assumption (b) of Lemma 1.2 holds for \(p=37\).
Lemma 4.3
\(37\not \in S(8)\).
Proof
We follow closely the proofs of Lemmas 8.8 and 8.9 of [5]. We work with \(\ell =2\). Using Stoll’s code, we checked that there are no elliptic curves over \(\mathbb {F}_{2^d}\) with a point of order 37 for \(d=1\), 2, 3, 4, 5, 8. Thus all places on \(X_{\mathbb {F}_2}\) of those degrees d must be cuspidal. The curve \(X=X_1(37)\) has 18 rational cusps, and 18 irrational cusps; the latter are defined over \(\mathbb {Q}(\zeta _{37})^+\). As 2 is inert in \(\mathbb {Q}(\zeta _{37})^+\), the irrational cusps yield a single place on \(X_{\mathbb {F}_2}\) of degree 18. Let x be a degree 8 point on \(X=X_1(37)\), and write \(\bar{x}\) for the corresponding divisor on \(X_{\mathbb {F}_2}\). There are only three possible cases.
Case (I). \(\bar{x}\) is the sum of eight rational cusps. We proved that assumption (a) of Lemma 1.2 holds in Sect. 3. Thus x is the sum of eight rational cusps giving a contradiction.
Case (II). \(\bar{x}=\bar{D}+\bar{y}\) where \(\bar{D}\) is a degree 7 place on \(X_{\mathbb {F}_2}\), and \(\bar{y}\) is the reduction of a rational cusp. We note that \(t(\bar{y})\) is principal, and \(t(\bar{x})\) is principal. Hence \(t(\bar{D})\) must be principal. Using Stoll’s code we checked that for all degree 7 places \(\bar{D}\) of \(X_{\mathbb {F}_2}\), the divisor \(t(\bar{D})\) is not principal, giving a contradiction in this case.
Case (III). \(\bar{x}=\bar{D}+\bar{y}+\bar{z}\) where \(\bar{D}\) is a place of degree 6 on \(X_{\mathbb {F}_2}\) and \(\bar{y}\), \(\bar{z}\) are reductions of rational cusps, that may be distinct or equal. Again \(t(\bar{x})\), \(t(\bar{y})\) and t(z) are principal, therefore \(t(\bar{D})\) must be principal. We checked using the same code that there is precisely one degree 6 place on \(X_{\mathbb {F}_2}\) (up to the action of the diamond operators) such that \(t(\bar{D})\) is principal. As noted in [5], the divisor \(\bar{D}\) is the reduction of a degree 6 point D on X. To obtain a contradiction, it is enough to show that \(D+y+z\) is the unique rational point on \(X^{(8)}\) in the residue disk of \(\bar{D}+\bar{y}+\bar{z}\).
Continuing in the footsteps of [5, Lemma 8.8] we consider the projection \(T_{17}: J \rightarrow A\), where A is a 36 dimensional abelian variety of rank 0, rational torsion subgroup of odd order; moreover the eigenvalues of \(T_{17}\) acting on the eigenforms coming from A are all odd. To show that \(D+y+z\) is the unique rational point in the residue disk of \(\bar{D}+\bar{y}+\bar{z}\) it is enough to verify that the relevant ‘Derickx matrix’ (see [4, Proposition 3.7]) has rank 8. Using a basis for \(S_2(\Gamma _1(37))\), which has dimension 40, Stoll’s code constructs a canonical embedding for \(X \subset \mathbb {P}^{39}\). Thus regular differentials on X may be identified with linear combinations of the coordinates on \(\mathbb {P}^{39}\). With this identification, Stoll’s code determines the differentials \(\omega _1,\dotsc ,\omega _{36}\) coming from the rank zero quotient A. If the two cusps y, z are distinct, then the divisor \(\bar{D}+\bar{y}+\bar{z}\) is the sum of eight geometric points, say \(\bar{D}+\bar{y}+\bar{z}=\bar{p}_1+\cdots +\bar{p}_8\). In this case, the Derickx matrix has a particularly simple form, \(M=(\omega _i(p_j))\), and the formal immersion criterion is satisfied if this matrix has rank 8 (see [4, Proposition 3.7]). We do not know the degree 6 place \(\bar{D}\) on this particular model, but we checked, for all distinct pairs of rational cusps y, z, and all degree 6 places \(\bar{D^\prime }\) on \(X_{\mathbb {F}_2}\) that the matrix M for \(\bar{D^\prime }+\bar{y}+\bar{z}\) has rank 8 as required.
It remains to consider the case where \(y=z\). Note that the action of the diamond operators on the rational cusps is transitive, and one of these rational cusps is the \(\infty \) cusp. Thus it is enough to show that the Derickx matrix for \(\bar{D^\prime }+2 \infty \) has rank 8 for all degree 6 places on \(X_{\mathbb {F}_2}\). Write \(\bar{D}^\prime =p_1+\cdots +p_6\) where the \(p_i\) are geometric points. Then the Derickx matrix is
here \(a_1(\omega )\) and \(a_2(\omega )\) are the first two coefficients in the expansion of \(\omega \) in terms of any uniformizer at \(\infty \). Our differentials \(\omega _1,\dotsc ,\omega _{36}\) come from cusp expansions around \(\infty \), with the cusp expansion \(f=a_1 q + a_2 q^2+\cdots \) giving the differential \(\omega =f(q) dq/q=(a_1+a_2 q+\cdots ) dq\). As q is a uniformizer for the \(\infty \)-cusp we may use these coefficients \(a_1\), \(a_2\) in the Derickx matrix. We computed all the possible matrices M and checked that they indeed have rank 8. This completes the proof. The supporting computations can be found in the script X137.m. \(\square \)
Data availability
All supporting Magma computations can be found in the following public GitHub repository: https://github.com/MaleehaKhawaja/deg8torsionprimes.
References
Anni, S., Siksek, S.: Modular elliptic curves over real abelian fields and the generalized Fermat equation \(x^{2\ell }+y^{2m}=z^p\). Algebra Number Theory 10(6), 1147–1172 (2016)
Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. J. Symb. Comput. 24, 235–265 (1997). Computational algebra and number theory (London, 1993)
Conrad, B., Edixhoven, B., Stein, W.: \(J_1(p)\) has connected fibers. Doc. Math. 8, 331–408 (2003)
Derickx, M.: Torsion points on elliptic curves over number fields of small degree. PhD thesis, Universiteit Leiden (2016)
Derickx, M., Kamienny, S., Stein, W., Stoll, M.: Torsion points on elliptic curves over number fields of small degree. Algebra Number Theory 17(2), 267–308 (2023)
Derickx, M., van Hoeij, M.: Gonality of the modular curve \(X_1(N)\). J. Algebra 417, 52–71 (2014)
Freitas, N., Siksek, S.: Fermat’s last theorem over some small real quadratic fields. Algebra Number Theory 9(4), 875–895 (2015)
Kamienny, S.: Torsion points on elliptic curves and \(q\)-coefficients of modular forms. Invent. Math. 109(2), 221–229 (1992)
Khawaja, M., Jarvis, F.: Fermat’s last theorem over Q(p2,p3). arXiV Preprint (2022). https://arxiv.org/abs/2210.03744
Mazur, B.: Modular curves and the Eisenstein ideal. Inst. Hautes Études Sci. Publ. Math. 47, 33–186 (1977). With an appendix by Mazur and M. Rapoport
Mazur, B.: Rational isogenies of prime degree (with an appendix by D. Goldfeld). Invent. Math. 44(2), 129–162 (1978)
Parent, P.: Bornes effectives pour la torsion des courbes elliptiques sur les corps de nombres. J. Reine Angew. Math. 506, 85–116 (1999)
Parent, P.: Torsion des courbes elliptiques sur les corps cubiques. Ann. Inst. Fourier (Grenoble) 50(3), 723–749 (2000)
Parent, P.: No 17-torsion on elliptic curves over cubic number fields. J. Théor. Nombres Bordeaux 15(3), 831–838 (2003)
Stoll, M.: Magma code for the paper 5 (2020). https://www.mathe2.uni-bayreuth.de/stoll/magma/index.html
Waterhouse, W.C.: Abelian varieties over finite fields. Ann. Sci. École Norm. Sup. 4(2), 521–560 (1969)
Acknowledgements
The author is sincerely grateful to Frazer Jarvis and Michael Stoll for helpful correspondence, and would like to thank the anonymous referees for their invaluable feedback and careful reading of a previous version of the paper. The author is supported by an EPSRC studentship from the University of Sheffield (EP/T517835/1).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Khawaja, M. Torsion primes for elliptic curves over degree 8 number fields. Res. number theory 10, 48 (2024). https://doi.org/10.1007/s40993-024-00533-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-024-00533-6