Abstract
We present a fast algorithm that takes as input an elliptic curve defined over and an integer d and returns all the number fields K of degree dividing d such that contains as a proper subgroup, for all We ran this algorithm on all elliptic curves of conductor less than 400.000 (a total of 2.483.649 curves) and all and collected various interesting data. In particular, we find a degree 6 sporadic point on which is so far the lowest known degree a sporadic point on for
2010 Mathematics Subject Classification:
Acknowledgement
We would like to thank Jeremy Rouse and David Zureick–Brown for sharing some useful data. We also thank John Cremona for providing access to computer facilities on the Number Theory Warwick Grid at University of Warwick, where the main part of the computations were done and for doing a massive check of all our computations, in particular rechecking that all the curves have the torsion growth we claim. We are greatly indebted to the referee for a very careful and helpful report that significantly improved all aspects of this paper.
Declaration of interest
No potential conflict of interest was reported by the author(s).
Notes
1 M. Derickx, A. Etropolski, M. van Hoeij, J. Morrow and D. Zureick-Brown have announced results for d = 3.
2 The second author showed in [Citation33] that the elliptic curve with LMFDB label 162.c3 has torsion subgroup defined over the cubic field where ζ9 is a primitive 9-th root of unity.
3 Note that the data for non-CM elliptic curves over in the LMFDB provably includes all p for which the mod-p representation is non-surjective (this has been verified using Zywina’s algorithm [Citation39], see https://www.lmfdb.org/EllipticCurve/Q/Reliability).
4 This can be read off from LMFDB - see the footnote in Lemma 2.9.
5 We have by [Citation37, Lemma 5.17].
6 We use [Citation37, Corollary 5.18] where possible. By [Citation38, Theorem 3.6] we have that for any such that Using this step is crucial (instead of factoring -division polynomials) as one uses the polynomial (Equation1(1) (1) ) of degree (over number fields) instead of factoring (over ) the primitive -division polynomial, which is of degree
7 Note that the smallest integer B such that for every torsion group T possible over there exists an elliptic curve E with and is B = 210.