Growth of torsion groups of elliptic curves upon base change

DOI10.1090/MCOM/3478zbMATH Open1480.11071arXiv1609.02515OpenAlexW2520916419WikidataQ127616554 ScholiaQ127616554MaRDI QIDQ5216735FDOQ5216735

Authors: Enrique González-Jiménez, Filip Najman 

Publication date: 18 February 2020

Published in: Mathematics of Computation (Search for Journal in Brave)

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{)}_{tors}=E(F{)}_{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{)}_{tors}$, where $K$ is a number field and $E$ is a base change of an elliptic curve defined over $mathbbQ$. Suppose that $E$ is a base change of an elliptic curve over $mathbbQ$ for the remainder of the abstract. We prove that $E(K{)}_{tors}=E(mathbbQ{)}_{tors}$ for all elliptic curves $E$ defined over $mathbbQ$ and all number fields $K$ of degree $d$, where $d$ is not divisible by a prime $leq7$. Using this fact, we determine all the possible torsion groups $E(K{)}_{tors}$ over number fields $K$ of prime degree $pgeq7$. We determine all the possible degrees of $[mathbbQ(P):mathbbQ]$, where $P$ is a point of prime order $p$ for all $p$ such that $potequiv8pmod9$ or $left(frac-Dpight)=1$ for any $Din1,2,7,11,19,43,67,163$; this is true for a set of density $frac15351536$ of all primes and in particular for all $p<3167$. Using this result, we determine all the possible prime orders of a point $PinE(K{)}_{tors}$, where $[K:mathbbQ]=d$, for all $dleq3342296$. Finally, we determine all the possible groups $E(K{)}_{tors}$, where $K$ is a quartic number field and $E$ is an elliptic curve defined over $mathbbQ$ and show that no quartic sporadic point on a modular curves $X_1(m,n)$ comes from an elliptic curve defined over $mathbbQ$.

Full work available at URL: https://arxiv.org/abs/1609.02515

Recommendations

• On the torsion of rational elliptic curves over quartic fields
• Torsion growth of rational elliptic curves in sextic number fields
• An Algorithm for Determining Torsion Growth of Elliptic Curves
• On the torsion of rational elliptic curves over sextic fields
• Explicit characterization of the torsion growth of rational elliptic curves with complex multiplication over quadratic fields

zbMATH Keywords

elliptic curvestorsion over number fields

Mathematics Subject Classification ID

Elliptic curves over global fields (11G05)

Cites Work

• Galois properties of points of finite order of elliptic curves
• Quelques applications du théorème de densité de Chebotarev
• Rational isogenies of prime degree. (With an appendix by D. Goldfeld)
• Modular curves and the Eisenstein ideal
• Infinite families of elliptic curves over dihedral quartic number fields
• Torsion points on elliptic curves and \(q\)-coefficients of modular forms
• Bounds for the torsion of elliptic curves over number fields
• Torsion of rational elliptic curves over quadratic fields. II
• Torsion points on elliptic curves defined over quadratic fields
• Universal Bounds on the Torsion of Elliptic Curves
• Torsion of rational elliptic curves over cubic fields and sporadic points on \(X_1(n)\)
• A criterion to rule out torsion groups for elliptic curves over number fields
• Gonality of the modular curve \(X_1(N)\)
• On the torsion of elliptic curves over cubic number fields
• ON THE TORSION OF ELLIPTIC CURVES OVER QUARTIC NUMBER FIELDS
• Serre's uniformity problem in the split Cartan case
• On the field of definition of \(p\)-torsion points on elliptic curves over the rationals
• Elliptic curves over \(\mathbb {Q}\) and 2-adic images of Galois
• On the Modular Curves X ₀ (125), X ₁ (25), X ₁ (49)
• The Modular Curve X ₀ (169) and Rational Isogeny
• The modular curves X₀(65) and X₀(91) and rational isogeny
• The modular curve X₀(39) and rational isogeny
• Rational points on \(X_0^+(p^r)\)
• Torsion of rational elliptic curves over cubic fields
• Computation on elliptic curves with complex multiplication
• Computing images of Galois representations attached to elliptic curves
• On the torsion of rational elliptic curves over quartic fields
• Complete classification of the torsion structures of rational elliptic curves over quintic number fields
• Torsion subgroups of elliptic curves over quintic and sextic number fields
• Torsion of rational elliptic curves over quartic Galois number fields
• Torsion points on CM elliptic curves over real number fields
• Explicit Chabauty-Kim for the split Cartan modular curve of level 13
• On the minimal degree of definition of \(p\)-primary torsion subgroups of elliptic curves

Cited In (24)

• Torsion growth of rational elliptic curves in sextic number fields
• Groups of generalized $G$-type and applications to torsion subgroups of rational elliptic curves over infinite extensions of $\mathbb{Q}$
• Cartan images and \(\ell \)-torsion points of elliptic curves with rational \(j\)-invariant
• \(\mathbb{Q}\)-curves over odd degree number fields
• RANK JUMPS AND GROWTH OF SHAFAREVICH–TATE GROUPS FOR ELLIPTIC CURVES IN -EXTENSIONS
• Growth of torsion groups of elliptic curves upon base change from number fields
• On \(\theta\)-congruent numbers over real number fields
• THE GROWTH OF THE SELMER GROUP OF AN ELLIPTIC CURVE WITH SPLIT MULTIPLICATIVE REDUCTION
• Typically bounding torsion on elliptic curves with rational \(j\)-invariant
• An Algorithm for Determining Torsion Growth of Elliptic Curves
• Torsion of elliptic curves in the compositum of Dihedral fields
• Arithmetic statistics and Diophantine stability for elliptic curves
• Torsion groups of elliptic curves over ℚ(μp∞)
• Odd degree isolated points on \(X_1(N)\) with rational \(j\)-invariant
• On the torsion of rational elliptic curves over sextic fields
• Growth of torsion groups of elliptic curves over number fields without rationally defined CM
• Explicit characterization of the torsion growth of rational elliptic curves with complex multiplication over quadratic fields
• Torsion groups of elliptic curves over the \(\mathbb{Z}_p\)-extensions of \(\mathbb{Q}\)
• Torsion of elliptic curves with rational 𝑗-invariant defined over number fields of prime degree
• On the torsion of rational elliptic curves over quartic fields
• Torsion for CM elliptic curves defined over number fields of degree 2𝑝
• Complete classification of the torsion structures of rational elliptic curves over quintic number fields
• \(\ell\)-adic images of Galois for elliptic curves over \(\mathbb{Q}\)(and an appendix with John Voight)
• Torsion growth over number fields of degree \(pq\)

Uses Software

• Magma
• LMFDB
• ell-adic-galois-images

This page was built for publication: Growth of torsion groups of elliptic curves upon base change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216735)