Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

 
 

 

Growth of torsion groups of elliptic curves upon base change


Authors: Enrique González–Jiménez and Filip Najman
Journal: Math. Comp. 89 (2020), 1457-1485
MSC (2010): Primary 11G05
DOI: https://doi.org/10.1090/mcom/3478
Published electronically: October 28, 2019
MathSciNet review: 4063324
Full-text PDF
View in AMS MathViewer New

Abstract | References | Similar Articles | Additional Information

Abstract: We study how the torsion of elliptic curves over number fields grows upon base change, and in particular prove various necessary conditions for torsion growth. For a number field $ F$, we show that for a large set of number fields $ L$, whose Galois group of their normal closure over $ F$ has certain properties, it will hold that $ E(L)_{\operatorname {tors}}=E(F)_{\operatorname {tors}}$ for all elliptic curves $ E$ defined over $ F$.

Our methods turn out to be particularly useful in studying the possible torsion groups $ E(K)_{\operatorname {tors}}$, where $ K$ is a number field and $ E$ is a base change of an elliptic curve defined over $ \mathbb{Q}$. Suppose that $ E$ is a base change of an elliptic curve over $ \mathbb{Q}$ for the remainder of the abstract. We prove that $ E(K)_{\operatorname {tors}}=E(\mathbb{Q})_{\operatorname {tors}}$ for all elliptic curves $ E$ defined over $ \mathbb{Q}$ and all number fields $ K$ of degree $ d$, where $ d$ is not divisible by a prime $ \leq 7$. Using this fact, we determine all the possible torsion groups $ E(K)_{\operatorname {tors}}$ over number fields $ K$ of prime degree $ p\geq 7$. We determine all the possible degrees of $ [\mathbb{Q}(P):\mathbb{Q}]$, where $ P$ is a point of prime order $ p$ for all $ p$ such that $ p\not \equiv 8 \pmod 9$ or $ \left ( \frac {-D}{p}\right )=1$ for any $ D\in \{1,2,7,11,19,43,67,163\}$; this is true for a set of density $ \frac {1535}{1536}$ of all primes and in particular for all $ p<3167$. Using this result, we determine all the possible prime orders of a point $ P\in E(K)_{\operatorname {tors}}$, where $ [K:\mathbb{Q}]=d$ for all $ d\leq 3342296$. Finally, we determine all the possible groups $ E(K)_{\operatorname {tors}}$, where $ K$ is a quartic number field and $ E$ is an elliptic curve defined over $ \mathbb{Q}$ and show that no quartic sporadic point on a modular curve $ X_1(m,n)$ comes from an elliptic curve defined over $ \mathbb{Q}$.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Mathematics of Computation with MSC (2010): 11G05

Retrieve articles in all journals with MSC (2010): 11G05


Additional Information

Enrique González–Jiménez
Affiliation: Departamento de Matemáticas, Universidad Autónoma de Madrid, Madrid, Spain
Email: enrique.gonzalez.jimenez@uam.es

Filip Najman
Affiliation: Department of Mathematics, University of Zagreb, Bijenička cesta 30, 10000 Zagreb, Croatia
Email: fnajman@math.hr

DOI: https://doi.org/10.1090/mcom/3478
Keywords: Elliptic curves, torsion over number fields
Published electronically: October 28, 2019
Additional Notes: The first author was partially supported by the grant MTM2015–68524–P
The second author gratefully acknowledges support from the QuantiXLie Center of Excellence and by the Croatian Science Foundation under the project no. IP-2018-01-1313.
Article copyright: © Copyright 2019 American Mathematical Society