Congruences of elliptic curves arising from nonsurjective mod $N$ Galois representations
HTML articles powered by AMS MathViewer
- by Sam Frengley;
- Math. Comp. 92 (2023), 409-450
- DOI: https://doi.org/10.1090/mcom/3770
- Published electronically: August 25, 2022
- HTML | PDF | Request permission
Abstract:
We study $N$-congruences between quadratic twists of elliptic curves. If $N$ has exactly two distinct prime factors we show that these are parametrised by double covers of certain modular curves. In many, but not all cases, the modular curves in question correspond to the normaliser of a Cartan subgroup of $\operatorname {GL}_2(\mathbb {Z}/N\mathbb {Z})$. By computing explicit models for these double covers we find all pairs $(N, r)$ such that there exist infinitely many $j$-invariants of elliptic curves $E/\mathbb {Q}$ which are $N$-congruent with power $r$ to a quadratic twist of $E$. We also find an example of a $48$-congruence over $\mathbb {Q}$. We make a conjecture classifying nontrivial $(N,r)$-congruences between quadratic twists of elliptic curves over $\mathbb {Q}$.
Finally, we give a more detailed analysis of the level $15$ case. We use elliptic Chabauty to determine the rational points on a modular curve of genus $2$ whose Jacobian has rank $2$ and which arises as a double cover of the modular curve $X(\mathrm {ns\,} 3^+, \mathrm {ns\,} 5^+)$. As a consequence we obtain a new proof of the class number $1$ problem.
References
- Burcu Baran, A modular curve of level 9 and the class number one problem, J. Number Theory 129 (2009), no. 3, 715–728. MR 2488598, DOI 10.1016/j.jnt.2008.09.013
- Burcu Baran, Normalizers of non-split Cartan subgroups, modular curves, and the class number one problem, J. Number Theory 130 (2010), no. 12, 2753–2772. MR 2684496, DOI 10.1016/j.jnt.2010.06.005
- 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
- Nils Bruin and Kevin Doerksen, The arithmetic of genus two curves with $(4,4)$-split Jacobians, Canad. J. Math. 63 (2011), no. 5, 992–1024. MR 2866068, DOI 10.4153/CJM-2011-039-3
- Jennifer Balakrishnan, Netan Dogra, J. Steffen Müller, Jan Tuitman, and Jan Vonk, Explicit Chabauty-Kim for the split Cartan modular curve of level 13, Ann. of Math. (2) 189 (2019), no. 3, 885–944. MR 3961086, DOI 10.4007/annals.2019.189.3.6
- J. Balakrishnan, N. Dogra, J. Steffen Müller, J. Tuitman, and J. Vonk, Quadratic Chabauty for modular curves: algorithms and examples, E-prints, arXiv:2101.01862, 2021. $\uparrow$
- Yuri Bilu, Pierre Parent, and Marusia Rebolledo, Rational points on $X^+_0(p^r)$, Ann. Inst. Fourier (Grenoble) 63 (2013), no. 3, 957–984 (English, with English and French summaries). MR 3137477, DOI 10.5802/aif.2781
- 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, Some ternary Diophantine equations of signature $(n,n,2)$, Discovering mathematics with Magma, Algorithms Comput. Math., vol. 19, Springer, Berlin, 2006, pp. 63–91. MR 2278923, DOI 10.1007/978-3-540-37634-7_{3}
- Imin Chen and Chris Cummins, Elliptic curves with nonsplit mod 11 representations, Math. Comp. 73 (2004), no. 246, 869–880. MR 2031412, DOI 10.1090/S0025-5718-03-01562-X
- John E. Cremona and Nuno Freitas, Global methods for the symplectic type of congruences between elliptic curves, Rev. Mat. Iberoam. 38 (2022), no. 1, 1–32. MR 4382462, DOI 10.4171/rmi/1269
- Imin Chen, On Siegel’s modular curve of level $5$ and the class number one problem, J. Number Theory 74 (1999), no. 2, 278–297. MR 1671653, DOI 10.1006/jnth.1998.2320
- Zexiang Chen, Families of elliptic curves with the same mod 8 representations, Math. Proc. Cambridge Philos. Soc. 165 (2018), no. 1, 137–162. MR 3811549, DOI 10.1017/S0305004117000354
- H. B. Daniels, Á. Lozano-Robledo, and J. S. Morrow, Towards a classification of entanglements of Galois representations attached to elliptic curves, Algebra Number Theory, to appear, arXiv:2105.02060, 2021. $\uparrow$
- V. Dose, G. Lido, and P. Mercuri, Automorphisms of Cartan modular curves of prime and composite level, E-prints, arXiv:2005.09009, 2021. $\uparrow$
- P. Deligne and M. Rapoport, Les schémas de modules de courbes elliptiques, Modular functions of one variable, II (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) Lecture Notes in Math., Vol. 349, Springer, Berlin-New York, 1973, pp. 143–316 (French). MR 337993
- Tom Fisher, The Hessian of a genus one curve, Proc. Lond. Math. Soc. (3) 104 (2012), no. 3, 613–648. MR 2900238, DOI 10.1112/plms/pdr039
- Tom Fisher, On families of 7- and 11-congruent elliptic curves, LMS J. Comput. Math. 17 (2014), no. 1, 536–564. MR 3356045, DOI 10.1112/S1461157014000059
- T. Fisher, On families of 13-congruent elliptic curves, E-prints, arXiv:1912.10777, 2019. $\uparrow$
- Tom Fisher, Explicit moduli spaces for congruences of elliptic curves, Math. Z. 295 (2020), no. 3-4, 1337–1354. MR 4125692, DOI 10.1007/s00209-019-02392-9
- T. Fisher, On pairs of 17-congruent elliptic curves, E-prints, arXiv:2106.02033, 2021. $\uparrow$
- S. Frengley, Github repository, https://github.com/SamFrengley/quadratic-twist-type-congruences.git, 2021. $\uparrow$
- 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, DOI 10.1080/10586458.1998.10504366
- E. Halberstadt, Calculs explicites sur les courbes modulaires, https://hal.archives-ouvertes.fr/hal-03149641, February 2021, Les présentes notes constituent une introduction élémentaire aux courbes modulaires. $\uparrow$
- Kurt Heegner, Diophantische Analysis und Modulfunktionen, Math. Z. 56 (1952), 227–253 (German). MR 53135, DOI 10.1007/BF01174749
- Emmanuel Halberstadt and Alain Kraus, Sur la courbe modulaire $X_E(7)$, Experiment. Math. 12 (2003), no. 1, 27–40 (French, with French summary). MR 2002672, DOI 10.1080/10586458.2003.10504710
- Serge Lang, Introduction to modular forms, Grundlehren der Mathematischen Wissenschaften, No. 222, Springer-Verlag, Berlin-New York, 1976. MR 429740
- Gérard Ligozat, Courbes modulaires de niveau $11$, Modular functions of one variable, V (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976) Lecture Notes in Math., Vol. 601, Springer, Berlin-New York, 1977, pp. 149–237 (French). MR 463118
- The LMFDB Collaboration, The L-functions and modular forms database, http://www.lmfdb.org, Online; Accessed May 2022. $\uparrow$
- Á. Lozano-Robledo, Galois representations attached to elliptic curves with complex multiplication, Algebra Number Theory, 16 (2022) 777–837, arXiv:1809.02584. $\uparrow$
- Bjorn Poonen, Edward F. Schaefer, and Michael Stoll, Twists of $X(7)$ and primitive solutions to $x^2+y^3=z^7$, Duke Math. J. 137 (2007), no. 1, 103–158. MR 2309145, DOI 10.1215/S0012-7094-07-13714-1
- K. Rubin and A. Silverberg, Families of elliptic curves with constant mod $p$ representations, Elliptic curves, modular forms, & Fermat’s last theorem (Hong Kong, 1993) Ser. Number Theory, I, Int. Press, Cambridge, MA, 1995, pp. 148–161. MR 1363500
- J. Rouse, A. V. Sutherland, and D. Zureick-Brown, $\ell$-Adic images of Galois for elliptic curves over $\mathbb {Q}$, Forum Math. Sigma,To appear, E-prints, arXiv:2106.11141, 2021. $\uparrow$
- J. Rouse, A. V. Sutherland, and D. Zureick-Brown, Github repository, https://github.com/AndrewVSutherland/ell-adic-galois-images, 2021, Accessed May 2022. $\uparrow$
- 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
- J. Rouse and D. Zureick-Brown, Images of the 2-adic Galois representation attached to elliptic curves, https://users.wfu.edu/rouseja/2adic/index.html, 2015, Accessed May 2022. $\uparrow$
- Jean-Pierre Serre, Lectures on the Mordell-Weil theorem, 3rd ed., Aspects of Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1997. Translated from the French and edited by Martin Brown from notes by Michel Waldschmidt; With a foreword by Brown and Serre. MR 1757192, DOI 10.1007/978-3-663-10632-6
- Carl Ludwig Siegel, Zum Beweise des Starkschen Satzes, Invent. Math. 5 (1968), 180–191 (German). MR 228465, DOI 10.1007/BF01425549
- Joseph H. Silverman, Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 151, Springer-Verlag, New York, 1994. MR 1312368, DOI 10.1007/978-1-4612-0851-8
- Alice Silverberg, Explicit families of elliptic curves with prescribed mod $N$ representations, Modular forms and Fermat’s last theorem (Boston, MA, 1995) Springer, New York, 1997, pp. 447–461. MR 1638488
- 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
- Andrew V. Sutherland and David Zywina, Modular curves of prime-power level with infinitely many rational points, Algebra Number Theory 11 (2017), no. 5, 1199–1229. MR 3671434, DOI 10.2140/ant.2017.11.1199
- D. Zywina, On the possible images of the mod $\ell$ representations associated to elliptic curves over $\mathbb {Q}$, E-prints, arXiv:1508.07660, 2015. $\uparrow$
- D. Zywina, Possible indices for the Galois image of elliptic curves over $\mathbb {Q}$, E-prints, arXiv:1508.07663, 2015. $\uparrow$
Bibliographic Information
- Sam Frengley
- Affiliation: University of Cambridge, DPMMS, Centre for Mathematical Sciences, Wilberforce Road, Cambridge CB3 0WB, United Kingdom
- Email: stf32@cam.ac.uk
- Received by editor(s): November 17, 2021
- Received by editor(s) in revised form: June 2, 2022
- Published electronically: August 25, 2022
- Additional Notes: The author was financially supported by the Woolf Fisher and Cambridge Trusts.
- © Copyright 2022 American Mathematical Society
- Journal: Math. Comp. 92 (2023), 409-450
- MSC (2020): Primary 11G05; Secondary 11F80
- DOI: https://doi.org/10.1090/mcom/3770
- MathSciNet review: 4496970