Composite images of Galois for elliptic curves over 𝐐 and entanglement fields

Morrow, Jackson

doi:10.1090/mcom/3426

Composite images of Galois for elliptic curves over $\mathbf {Q}$ and entanglement fields
HTML articles powered by AMS MathViewer

by Jackson S. Morrow HTML | PDF

Math. Comp. 88 (2019), 2389-2421 Request permission

Abstract:

Let $E$ be an elliptic curve defined over $\mathbf {Q}$ without complex multiplication. For each prime $\ell$, there is a representation $\rho _{E,\ell }\colon \operatorname {Gal}(\overline {\mathbf {Q}}/\mathbf {Q}) \rightarrow \operatorname {GL}_2(\mathbf {Z}/\ell \mathbf {Z})$ that describes the Galois action on the $\ell$-torsion points of $E$. Building on recent work of Rouse–Zureick-Brown and Zywina, we find models for composite level modular curves whose rational points classify elliptic curves over $\mathbf {Q}$ with simultaneously non-surjective, composite images of Galois. We also provably determine the rational points on almost all of these curves. Finally, we give an application of our results to the study of entanglement fields.

References

Clemens Adelmann, The decomposition of primes in torsion point fields, Lecture Notes in Mathematics, vol. 1761, Springer-Verlag, Berlin, 2001. MR 1836119, DOI 10.1007/b80624
Jennifer S. Balakrishnan, Netan Dogra, J. Steffen Müller, Jan Tuitman, and Jan Vonk, Explicit Chabauty-Kim for the split Cartan modular curve of level $13$, Preprint (November 15, 2017). https://arxiv.org/abs/1711.05846.
Barinder S. Banwait and John E. Cremona, Tetrahedral elliptic curves and the local-global principle for isogenies, Algebra Number Theory 8 (2014), no. 5, 1201–1229. MR 3263141, DOI 10.2140/ant.2014.8.1201
Burcu Baran, An exceptional isomorphism between modular curves of level 13, J. Number Theory 145 (2014), 273–300. MR 3253304, DOI 10.1016/j.jnt.2014.05.017
Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, DOI 10.1006/jsco.1996.0125
Julio Brau and Nathan Jones, Elliptic curves with $2$-torsion contained in the $3$-torsion field, Proc. Amer. Math. Soc. 144 (2016), no. 3, 925–936. MR 3447646, DOI 10.1090/proc/12786
Nils Bruin, Chabauty methods using elliptic curves, J. Reine Angew. Math. 562 (2003), 27–49. MR 2011330, DOI 10.1515/crll.2003.076
Nils Bruin, The arithmetic of Prym varieties in genus 3, Compos. Math. 144 (2008), no. 2, 317–338. MR 2406115, DOI 10.1112/S0010437X07003314
Nils Bruin and Michael Stoll, The Mordell-Weil sieve: proving non-existence of rational points on curves, LMS J. Comput. Math. 13 (2010), 272–306. MR 2685127, DOI 10.1112/S1461157009000187
Claude Chabauty, Sur les points rationnels des courbes algébriques de genre supérieur à l’unité, C. R. Acad. Sci. Paris 212 (1941), 882–885 (French). MR 4484
Robert F. Coleman, Effective Chabauty, Duke Math. J. 52 (1985), no. 3, 765–770. MR 808103, DOI 10.1215/S0012-7094-85-05240-8
Kevin R. Coombes and David R. Grant, On heterogeneous spaces, J. London Math. Soc. (2) 40 (1989), no. 3, 385–397. MR 1053609, DOI 10.1112/jlms/s2-40.3.385
J. E. Cremona and M. P. Lingham, Finding all elliptic curves with good reduction outside a given set of primes, Experiment. Math. 16 (2007), no. 3, 303–312. MR 2367320
William Duke, Elliptic curves with no exceptional primes, C. R. Acad. Sci. Paris Sér. I Math. 325 (1997), no. 8, 813–818 (English, with English and French summaries). MR 1485897, DOI 10.1016/S0764-4442(97)80118-8
E. Victor Flynn and Joseph L. Wetherell, Covering collections and a challenge problem of Serre, Acta Arith. 98 (2001), no. 2, 197–205. MR 1831612, DOI 10.4064/aa98-2-9
Carl Friedrich Gauss, Disquisitiones arithmeticae, Yale University Press, New Haven, Conn.-London, 1966. Translated into English by Arthur A. Clarke, S. J. MR 0197380
Aaron Greicius, Elliptic curves with surjective adelic Galois representations, Experiment. Math. 19 (2010), no. 4, 495–507. MR 2778661, DOI 10.1080/10586458.2010.10390639
S. Gurak, Minimal polynomials for Gauss circulants and cyclotomic units, Pacific J. Math. 102 (1982), no. 2, 347–353. MR 686555
Emmanuel Halberstadt, Sur la courbe modulaire $X_{\ssize \text {nd\'ep}}(11)$, Experiment. Math. 7 (1998), no. 2, 163–174 (French, with English and French summaries). MR 1677158
Marc Hindry and Joseph H. Silverman, Diophantine geometry, Graduate Texts in Mathematics, vol. 201, Springer-Verlag, New York, 2000. An introduction. MR 1745599, DOI 10.1007/978-1-4612-1210-2
Nathan Jones, Almost all elliptic curves are Serre curves, Trans. Amer. Math. Soc. 362 (2010), no. 3, 1547–1570. MR 2563740, DOI 10.1090/S0002-9947-09-04804-1
Eric Katz, Joseph Rabinoff, and David Zureick-Brown, Diophantine and tropical geometry, and uniformity of rational points on curves, Algebraic geometry: Salt Lake City 2015, Proc. Sympos. Pure Math., vol. 97, Amer. Math. Soc., Providence, RI, 2018, pp. 231–279. MR 3821174
Nicholas M. Katz, Galois properties of torsion points on abelian varieties, Invent. Math. 62 (1981), no. 3, 481–502. MR 604840, DOI 10.1007/BF01394256
Serge Lang, Elliptic functions, 2nd ed., Graduate Texts in Mathematics, vol. 112, Springer-Verlag, New York, 1987. With an appendix by J. Tate. MR 890960, DOI 10.1007/978-1-4612-4752-4
The LMFDB Collaboration, The l-functions and modular forms database, with http://www.lmfdb.org, 2013. [Online; accessed 16 September 2013].
B. Mazur, Rational points on modular curves, Modular functions of one variable, V (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976) Lecture Notes in Math., Vol. 601, Springer, Berlin, 1977, pp. 107–148. MR 0450283
William McCallum and Bjorn Poonen, The method of Chabauty and Coleman, Explicit methods in number theory, Panor. Synthèses, vol. 36, Soc. Math. France, Paris, 2012, pp. 99–117 (English, with English and French summaries). MR 3098132
Jackson S. Morrow, Electronic transcript of computations for the manuscript “Composite images of Galois for elliptic curves over $\mathbf {Q}$ & Entanglement fields”, 2017. Available at https://github.com/jmorrow4692/CompositeLevelandEntanglemets.
Kenneth A. Ribet, Galois action on division points of Abelian varieties with real multiplications, Amer. J. Math. 98 (1976), no. 3, 751–804. MR 457455, DOI 10.2307/2373815
Jeremy Rouse and David Zureick-Brown, Electronic transcript of computations for the paper “Elliptic curves over $\mathbf {Q}$ and 2-adic images of Galois”. Available at http://users.wfu.edu/rouseja/2adic/.
Jeremy Rouse and David Zureick-Brown, Elliptic curves over $\Bbb Q$ and 2-adic images of Galois, Res. Number Theory 1 (2015), Paper No. 12, 34. MR 3500996, DOI 10.1007/s40993-015-0013-7
K. Rubin and A. Silverberg, Mod $2$ representations of elliptic curves, Proc. Amer. Math. Soc. 129 (2001), no. 1, 53–57. MR 1694877, DOI 10.1090/S0002-9939-00-05539-8
Jean-Pierre Serre, Propriétés galoisiennes des points d’ordre fini des courbes elliptiques, Invent. Math. 15 (1972), no. 4, 259–331 (French). MR 387283, DOI 10.1007/BF01405086
Samir Siksek, Chabauty for symmetric powers of curves, Algebra Number Theory 3 (2009), no. 2, 209–236. MR 2491943, DOI 10.2140/ant.2009.3.209
Joseph H. Silverman, The arithmetic of elliptic curves, 2nd ed., Graduate Texts in Mathematics, vol. 106, Springer, Dordrecht, 2009. MR 2514094, DOI 10.1007/978-0-387-09494-6
Alexei Skorobogatov, Torsors and rational points, Cambridge Tracts in Mathematics, vol. 144, Cambridge University Press, Cambridge, 2001. MR 1845760, DOI 10.1017/CBO9780511549588
Michael Stoll, Independence of rational points on twists of a given curve, Compos. Math. 142 (2006), no. 5, 1201–1214. MR 2264661, DOI 10.1112/S0010437X06002168
Andrew V. Sutherland and David Zywina, Modular curves of genus zero and prime-power level, Algebra Number Theory, to appear.
Joseph Loebach Wetherell, Bounding the number of rational points on certain curves of high rank, ProQuest LLC, Ann Arbor, MI, 1997. Thesis (Ph.D.)–University of California, Berkeley. MR 2696280
David Zywina, Elliptic curves with maximal Galois action on their torsion points, Bull. Lond. Math. Soc. 42 (2010), no. 5, 811–826. MR 2721742, DOI 10.1112/blms/bdq039
David Zywina, Hilbert’s irreducibility theorem and the larger sieve, arXiv preprint arXiv:1011.6465, 2010.
David Zywina, On the surjectivity of mod $\ell$ representations associated to elliptic curves, preprint, 2011.
David Zywina, On the possible images of the mod $\ell$ representations associated to elliptic curves over $\mathbf {Q}$, 2015. Available at http://www.math.cornell.edu/~zywina/papers/PossibleImages/index.html.