Quadratic points on bielliptic modular curves

Najman, Filip; Vukorepa, Borna

doi:10.1090/mcom/3805

Quadratic points on bielliptic modular curves
HTML articles powered by AMS MathViewer

by Filip Najman and Borna Vukorepa HTML | PDF

Math. Comp. 92 (2023), 1791-1816 Request permission

Abstract:

Bruin and Najman [LMS J. Comput. Math. 18 (2015), pp. 578–602], Ozman and Siksek [Math. Comp. 88 (2019), pp. 2461–2484], and Box [Math. Comp. 90 (2021), pp. 321–343] described all the quadratic points on the modular curves of genus $2\leq g(X_0(n)) \leq 5$. Since all the hyperelliptic curves $X_0(n)$ are of genus $\leq 5$ and as a curve can have infinitely many quadratic points only if it is either of genus $\leq 1$, hyperelliptic or bielliptic, the question of describing the quadratic points on the bielliptic modular curves $X_0(n)$ naturally arises; this question has recently also been posed by Mazur.

We answer Mazur’s question completely and describe the quadratic points on all the bielliptic modular curves $X_0(n)$ for which this has not been done already. The values of $n$ that we deal with are $n=60$, $62$, $69$, $79$, $83$, $89$, $92$, $94$, $95$, $101$, $119$ and $131$; the curves $X_0(n)$ are of genus up to $11$. We find all the exceptional points on these curves and show that they all correspond to CM elliptic curves. The two main methods we use are Box’s relative symmetric Chabauty method and an application of a moduli description of $\mathbb {Q}$-curves of degree $d$ with an independent isogeny of degree $m$, which reduces the problem to finding the rational points on several quotients of modular curves.

References

B. S. Banwait, Explicit isogenies of prime degree over quadratic fields, preprint, available at arXiv:2101.02673.
Francesc Bars, Bielliptic modular curves, J. Number Theory 76 (1999), no. 1, 154–165. MR 1688168, DOI 10.1006/jnth.1998.2343
Josha Box, Quadratic points on modular curves with infinite Mordell-Weil group, Math. Comp. 90 (2021), no. 327, 321–343. MR 4166463, DOI 10.1090/mcom/3547
J. Box, S. Gajović, and P. Goodman, Cubic and quartic points on modular curves using generalised symmetric Chabauty, to appear in Int. Math. Res. Not. IMRN, available at arXiv:2102.08236v2.
Peter Bruin and Filip Najman, Hyperelliptic modular curves $X_0(n)$ and isogenies of elliptic curves over quadratic fields, LMS J. Comput. Math. 18 (2015), no. 1, 578–602. MR 3389884, DOI 10.1112/S1461157015000157
Peter Bruin and Filip Najman, A criterion to rule out torsion groups for elliptic curves over number fields, Res. Number Theory 2 (2016), Paper No. 3, 13. MR 3501016, DOI 10.1007/s40993-015-0031-5
Pete L. Clark, Tyler Genao, Paul Pollack, and Frederick Saia, The least degree of a CM point on a modular curve, J. Lond. Math. Soc. (2) 105 (2022), no. 2, 825–883. MR 4400938, DOI 10.1112/jlms.12518
J. E. Cremona and Filip Najman, $\Bbb Q$-curves over odd degree number fields, Res. Number Theory 7 (2021), no. 4, Paper No. 62, 30. MR 4314224, DOI 10.1007/s40993-021-00270-0
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, 1973, pp. 143–316 (French). MR 0337993
Maarten Derickx, Anastassia Etropolski, Mark van Hoeij, Jackson S. Morrow, and David Zureick-Brown, Sporadic cubic torsion, Algebra Number Theory 15 (2021), no. 7, 1837–1864. MR 4333666, DOI 10.2140/ant.2021.15.1837
M. Derickx, S. Kamienny, W. Stein, and M. Stoll, Torsion points on elliptic curves over number fields of small degree, Algebra Number Theory, to appear, arXiv:1707.00364.
Noam D. Elkies, On elliptic $K$-curves, Modular curves and abelian varieties, Progr. Math., vol. 224, Birkhäuser, Basel, 2004, pp. 81–91. MR 2058644
Jordan S. Ellenberg, Galois representations attached to $\Bbb Q$-curves and the generalized Fermat equation $A^4+B^2=C^p$, Amer. J. Math. 126 (2004), no. 4, 763–787. MR 2075481, DOI 10.1353/ajm.2004.0027
Josep González, Equations of bielliptic modular curves, JP J. Algebra Number Theory Appl. 27 (2012), no. 1, 45–60. MR 3086199
Joe Harris and Joe Silverman, Bielliptic curves and symmetric products, Proc. Amer. Math. Soc. 112 (1991), no. 2, 347–356. MR 1055774, DOI 10.1090/S0002-9939-1991-1055774-0
S. Kamienny, Torsion points on elliptic curves and $q$-coefficients of modular forms, Invent. Math. 109 (1992), no. 2, 221–229. MR 1172689, DOI 10.1007/BF01232025
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
M. A. Kenku, On the modular curves $X_{0}(125)$, $X_{1}(25)$ and $X_{1}(49)$, J. London Math. Soc. (2) 23 (1981), no. 3, 415–427. MR 616546, DOI 10.1112/jlms/s2-23.3.415
M. A. Kenku and F. Momose, Torsion points on elliptic curves defined over quadratic fields, Nagoya Math. J. 109 (1988), 125–149. MR 931956, DOI 10.1017/S0027763000002816
V. A. Kolyvagin and D. Yu. Logachëv, Finiteness of the Shafarevich-Tate group and the group of rational points for some modular abelian varieties, Algebra i Analiz 1 (1989), no. 5, 171–196 (Russian); English transl., Leningrad Math. J. 1 (1990), no. 5, 1229–1253. MR 1036843
Samuel Le Fourn and Pedro Lemos, Residual Galois representations of elliptic curves with image contained in the normaliser of a nonsplit Cartan, Algebra Number Theory 15 (2021), no. 3, 747–771. MR 4261100, DOI 10.2140/ant.2021.15.747
B. Mazur, A question about quadratic points on $X_0(N)$, available at https://people.math.harvard.edu/~mazur/papers/2021.07.20.Scorecard.pdf.
B. Mazur, Modular curves and the Eisenstein ideal, Inst. Hautes Études Sci. Publ. Math. (1977), pp. 33–186 (1978).
B. Mazur, Rational isogenies of prime degree (with an appendix by D. Goldfeld), Invent. Math. 44 (1978), no. 2, 129–162. MR 482230, DOI 10.1007/BF01390348
Loïc Merel, Bornes pour la torsion des courbes elliptiques sur les corps de nombres, Invent. Math. 124 (1996), no. 1-3, 437–449 (French). MR 1369424, DOI 10.1007/s002220050059
Fumiyuki Momose, Rational points on the modular curves $X^+_0(N)$, J. Math. Soc. Japan 39 (1987), no. 2, 269–286. MR 879929, DOI 10.2969/jmsj/03920269
Fumiyuki Momose, Isogenies of prime degree over number fields, Compositio Math. 97 (1995), no. 3, 329–348. MR 1353278
Filip Najman, Complete classification of torsion of elliptic curves over quadratic cyclotomic fields, J. Number Theory 130 (2010), no. 9, 1964–1968. MR 2653208, DOI 10.1016/j.jnt.2009.12.008
Filip Najman, Isogenies of non-CM elliptic curves with rational $j$-invariants over number fields, Math. Proc. Cambridge Philos. Soc. 164 (2018), no. 1, 179–184. MR 3733245, DOI 10.1017/S0305004117000160
Ekin Ozman and Samir Siksek, Quadratic points on modular curves, Math. Comp. 88 (2019), no. 319, 2461–2484. MR 3957901, DOI 10.1090/mcom/3407
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
William Arthur Stein, Explicit approaches to modular abelian varieties, ProQuest LLC, Ann Arbor, MI, 2000. Thesis (Ph.D.)–University of California, Berkeley. MR 2701042
William Stein, Modular forms, a computational approach, Graduate Studies in Mathematics, vol. 79, American Mathematical Society, Providence, RI, 2007. With an appendix by Paul E. Gunnells. MR 2289048, DOI 10.1090/gsm/079
Antonela Trbović, Torsion groups of elliptic curves over quadratic fields $\Bbb Q(\sqrt {d})$, $0<d<100$, Acta Arith. 192 (2020), no. 2, 141–153. MR 4042408, DOI 10.4064/aa180725-8-1
Jacques Vélu, Isogénies entre courbes elliptiques, C. R. Acad. Sci. Paris Sér. A-B 273 (1971), A238–A241 (French). MR 294345
Lawrence C. Washington, Elliptic curves, 2nd ed., Discrete Mathematics and its Applications (Boca Raton), Chapman & Hall/CRC, Boca Raton, FL, 2008. Number theory and cryptography. MR 2404461, DOI 10.1201/9781420071474
H. Yoo, The rational torsion of $J_0(n)$, preprint, available at arXiv:2106.01020.