Computing Quadratic Points on Modular Curves $X_0(N)$

In this paper we improve on existing methods to compute quadratic points on modular curves and apply them to successfully find all the quadratic points on all modular curves $X_0(N)$ of genus up to $8$, and genus up to $10$ with $N$ prime, for which they were previously unknown. The values of $N$ we consider are contained in the set \[ \mathcal{L}=\{58, 68, 74, 76, 80, 85, 97, 98, 100, 103, 107, 109, 113, 121, 127 \}.\] We obtain that all the non-cuspidal quadratic points on $X_0(N)$ for $N\in \mathcal{L}$ are CM points, except for one pair of Galois conjugate points on $X_0(103)$ defined over $\mathbb{Q}(\sqrt{2885})$. We also compute the $j$-invariants of the elliptic curves parametrised by these points, and for the CM points determine their geometric endomorphism rings.

[1]  Barinder S. Banwait,et al.  Cyclic isogenies of elliptic curves over fixed quadratic fields , 2022, 2206.08891.

[2]  Borna Vukorepa.  Isogenies over quadratic fields of elliptic curves with rational $j$-invariant , 2022, 2203.10672.

[3]  S. Chidambaram,et al.  Rational points on hyperelliptic Atkin-Lehner quotients of modular curves and their coverings , 2022, Research in Number Theory.

[4]  P. L. Clark,et al.  The least degree of a CM point on a modular curve , 2022, Journal of the London Mathematical Society.

[5]  Filip Najman,et al.  Quadratic points on bielliptic modular curves , 2021, 2112.03226.

[6]  Irmak Balccik,et al.  Growth of Odd Torsion Over Imaginary Quadratic Fields of Class Number 1 , 2021, 2111.11399.

[7]  Shiva Chidambaram,et al.  Quadratic Chabauty for Atkin–Lehner quotients of modular curves of prime level and genus 4, 5, 6 , 2021, Acta Arithmetica.

[8]  Philippe Michaud-Jacobs.  Fermat’s Last Theorem and modular curves over real quadratic fields , 2021, Acta Arithmetica.

[9]  Jennifer S. Balakrishnan,et al.  Quadratic Chabauty for modular curves: algorithms and examples , 2021, Compositio Mathematica.

[10]  Philippe Michaud-Rodgers.  Quadratic points on non-split Cartan modular curves , 2020, International Journal of Number Theory.

[11]  Jennifer S. Balakrishnan,et al.  Two Recent p-adic Approaches Towards the (Effective) Mordell Conjecture , 2019, Arithmetic L-Functions and Differential Geometric Methods.

[12]  J. Box.  Quadratic points on modular curves with infinite Mordell-Weil group , 2019, Math. Comput..

[13]  Jennifer S. Balakrishnan,et al.  Explicit Coleman integration for curves , 2017, Math. Comput..

[14]  W. Stein,et al.  Torsion points on elliptic curves over number fields of small degree , 2016, Algebra & Number Theory.

[15]  S. Siksek,et al.  Fermat's Last Theorem over some small real quadratic fields , 2014, 1407.4435.

[16]  Filip Najman,et al.  Hyperelliptic modular curves $X_0(n)$ and isogenies of elliptic curves over quadratic fields , 2014, 1406.0655.

[17]  David Krumm.  Quadratic points on modular curves , 2013 .

[18]  M. Stoll,et al.  The Mordell-Weil sieve : proving non-existence of rational points on curves , 2009, 0906.1934.

[19]  S. Siksek.  Chabauty for symmetric powers of curves , 2009 .

[20]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[21]  Loïc Merel,et al.  Bornes pour la torsion des courbes elliptiques sur les corps de nombres , 1996 .

[22]  Rick Miranda,et al.  Algebraic Curves and Riemann Surfaces , 1995 .

[23]  S. Kamienny,et al.  Torsion points on elliptic curves andq-coefficients of modular forms , 1992 .

[24]  Joe W. Harris,et al.  Bielliptic curves and symmetric products , 1991 .

[25]  F. Momose.  Rational points on the modular curves X + 0 ( N ) , 1987 .

[26]  Don Zagier,et al.  Heegner points and derivatives ofL-series , 1986 .

[27]  M. A. Kenku.  On the Modular Curves X0(125), X1(25), X1(49) , 1981 .

[28]  B. Mazur,et al.  Rational isogenies of prime degree , 1978 .

[29]  Barry Mazur,et al.  Modular curves and the eisenstein ideal , 1977 .

[30]  F. Momose,et al.  Torsion points on elliptic curves defined over quadratic fields , 1975, Nagoya Mathematical Journal.

[31]  Josep González,et al.  Hyperelliptic parametrizations of Q-curves , 2019 .

[32]  Noam D. Elkies,et al.  On Elliptic K-curves , 2004 .

[33]  Steven D. Galbraith,et al.  Equations for modular curves , 1996 .