Computing the Mazur and Swinnerton-Dyer critical subgroup of elliptic curves
Author:
Hao Chen
Journal:
Math. Comp. 85 (2016), 2499-2514
MSC (2010):
Primary 11G05
DOI:
https://doi.org/10.1090/mcom3057
Published electronically:
December 9, 2015
MathSciNet review:
3511290
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: Let $E$ be an optimal elliptic curve defined over $\mathbb {Q}$. The critical subgroup of $E$ is defined by Mazur and Swinnerton-Dyer as the subgroup of $E(\mathbb {Q})$ generated by traces of branch points under a modular parametrization of $E$. We prove that for all rank two elliptic curves with conductor smaller than 1000, the critical subgroup is torsion. First, we define a family of critical polynomials attached to $E$ and develop two algorithms to compute such polynomials. We then give a sufficient condition for the critical subgroup to be torsion in terms of the factorization of critical polynomials. Finally, a table of critical polynomials is obtained for all elliptic curves of rank two and conductor smaller than 1000, from which we deduce our result.
- Scott Ahlgren and Ken Ono, Weierstrass points on $X_0(p)$ and supersingular $j$-invariants, Math. Ann. 325 (2003), no. 2, 355–368. MR 1962053, DOI 10.1007/s00208-002-0390-9
- Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor, On the modularity of elliptic curves over $\mathbf Q$: wild 3-adic exercises, J. Amer. Math. Soc. 14 (2001), no. 4, 843–939. MR 1839918, DOI 10.1090/S0894-0347-01-00370-8
- Daniel Bump, Solomon Friedberg, and Jeffrey Hoffstein, Nonvanishing theorems for $L$-functions of modular forms and their derivatives, Invent. Math. 102 (1990), no. 3, 543–618. MR 1074487, DOI 10.1007/BF01233440
- Hao Chen, Computing Fourier expansion of $\Gamma _0(N)$ newforms at non-unitary cusps, in preparation.
- J. E. Cremona, Elliptic curve data, http://www.maths.nott.ac.uk/personal/jec/ftp/data/INDEX.html.
- Christophe Delaunay, Formes modulaires et invariants de courbes elliptiques définies sur $\mathbb {Q}$, Thèse de doctorat, Université Bordeaux 1 (décembre 2002).
- Christophe Delaunay, Critical and ramification points of the modular parametrization of an elliptic curve, J. Théor. Nombres Bordeaux 17 (2005), no. 1, 109–124 (English, with English and French summaries). MR 2152214
- Benedict H. Gross and Don B. Zagier, Heegner points and derivatives of $L$-series, Invent. Math. 84 (1986), no. 2, 225–320. MR 833192, DOI 10.1007/BF01388809
- Gérard Ligozat, Courbes modulaires de genre $1$, Supplément au Bull. Soc. Math. France, Tome 103, no. 3, Société Mathématique de France, Paris, 1975 (French). Bull. Soc. Math. France, Mém. 43. MR 0417060
- Kurt Mahler, On the coefficients of transformation polynomials for the modular function, Bull. Austral. Math. Soc. 10 (1974), 197–218. MR 354556, DOI 10.1017/S0004972700040831
- T. Mulders and A. Storjohann, Certified dense linear system solving, J. Symbolic Comput. 37 (2004), no. 4, 485–510. MR 2093448, DOI 10.1016/j.jsc.2003.07.004
- B. Mazur and P. Swinnerton-Dyer, Arithmetic of Weil curves, Invent. Math. 25 (1974), 1–61. MR 354674, DOI 10.1007/BF01389997
- W. A. Stein et al., Sage Mathematics Software (Version 6.4), The Sage Development Team, 2014, http://www.sagemath.org.
- William Stein, Algebraic number theory, a computational approach, https://github.com/williamstein/ant.
- Yifan Yang, Defining equations of modular curves, Adv. Math. 204 (2006), no. 2, 481–508. MR 2249621, DOI 10.1016/j.aim.2005.05.019
Retrieve articles in Mathematics of Computation with MSC (2010): 11G05
Retrieve articles in all journals with MSC (2010): 11G05
Additional Information
Hao Chen
Affiliation:
Department of Mathematics, University of Washington, Seattle, Washington 98115
Email:
chenh123@uw.edu
Received by editor(s):
January 17, 2015
Received by editor(s) in revised form:
March 1, 2015, and March 18, 2015
Published electronically:
December 9, 2015
Article copyright:
© Copyright 2015
Hao Chen