AMS :: Mathematics of Computation

Numerical modular symbols for elliptic curves
HTML articles powered by AMS MathViewer

Math. Comp. 87 (2018), 2393-2423

DOI: https://doi.org/10.1090/mcom/3274

Published electronically: November 2, 2017

PDF | Request permission

Abstract:

We present a detailed analysis of how to implement the computation of modular symbols for a given elliptic curve by using numerical approximations. This method turns out to be more efficient than current implementations as the conductor of the curve increases.

References

Amod Agashe, Kenneth Ribet, and William A. Stein, The Manin constant, Pure Appl. Math. Q. 2 (2006), no. 2, Special Issue: In honor of John H. Coates., 617–636. MR 2251484, DOI 10.4310/PAMQ.2006.v2.n2.a11
Stefan Behnel, Robert Bradshaw, Craig Citro, Lisandro Dalcin, Dag Sverre Seljebotn, and Kurt Smith, Cython: The best of both worlds, Computing in Science Engineering 13 (2011), no. 2, 31–39, http://cython.org/.
Leo I. Bluestein, A linear filtering approach to the computation of the discrete Fourier transform, IEEE Northeast Electronics Research and Engineering Meeting 10 (1968), 218–219.
Wieb Bosma, John Cannon, Claus Fieker, and Allan Steel, Handbook of Magma Function, 2.19-6 ed., 2013.
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
Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin, 1993. MR 1228206, DOI 10.1007/978-3-662-02945-9
J. E. Cremona, Algorithms for modular elliptic curves, 2nd ed., Cambridge University Press, Cambridge, 1997. MR 1628193
J. E. Cremona, The eclib package, version 20150827, available at https://github.com/JohnCremona/eclib, 2015.
The Sage Developers, Sagemath, the Sage Mathematics Software System (Version 7.2), 2016, available from http://www.sagemath.org.
V. G. Drinfel′d, Two theorems on modular curves, Funkcional. Anal. i Priložen. 7 (1973), no. 2, 83–84 (Russian). MR 318157
Bas Edixhoven, On the Manin constants of modular elliptic curves, Arithmetic algebraic geometry (Texel, 1989) Progr. Math., vol. 89, Birkhäuser Boston, Boston, MA, 1991, pp. 25–39. MR 1085254, DOI 10.1007/978-1-4612-0457-2_{3}
Dorian Goldfeld, On the computational complexity of modular symbols, Math. Comp. 58 (1992), no. 198, 807–814. MR 1122069, DOI 10.1090/S0025-5718-1992-1122069-5
Grigor Grigorov, Andrei Jorza, Stefan Patrikis, William A. Stein, and Corina Tarniţǎ, Computational verification of the Birch and Swinnerton-Dyer conjecture for individual elliptic curves, Math. Comp. 78 (2009), no. 268, 2397–2425. MR 2521294, DOI 10.1090/S0025-5718-09-02253-4
Nicholas J. Higham, Accuracy and stability of numerical algorithms, 2nd ed., Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2002. MR 1927606, DOI 10.1137/1.9780898718027
H. Iwaniec, On the error term in the linear sieve, Acta Arith. 19 (1971), 1–30. MR 296043, DOI 10.4064/aa-19-1-1-30
Ju. I. Manin, Parabolic points and zeta functions of modular curves, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 19–66 (Russian). MR 314846
B. Mazur and P. Swinnerton-Dyer, Arithmetic of Weil curves, Invent. Math. 25 (1974), 1–61. MR 354674, DOI 10.1007/BF01389997
B. Mazur, J. Tate, and J. Teitelbaum, On $p$-adic analogues of the conjectures of Birch and Swinnerton-Dyer, Invent. Math. 84 (1986), no. 1, 1–48. MR 830037, DOI 10.1007/BF01388731
The PARI Group, Bordeaux, PARI/GP, version 2.8.0, 2016, available from http://pari.math.u-bordeaux.fr/.
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
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
William A. Stein and Helena A. Verrill, Cuspidal modular symbols are transportable, LMS J. Comput. Math. 4 (2001), 170–181. MR 1901355, DOI 10.1112/S146115700000084X
William Stein and Christian Wuthrich, Algorithms for the arithmetic of elliptic curves using Iwasawa theory, Math. Comp. 82 (2013), no. 283, 1757–1792. MR 3042584, DOI 10.1090/S0025-5718-2012-02649-4
Glenn Stevens, Arithmetic on modular curves, Progress in Mathematics, vol. 20, Birkhäuser Boston, Inc., Boston, MA, 1982. MR 670070
Glenn Stevens, Stickelberger elements and modular parametrizations of elliptic curves, Invent. Math. 98 (1989), no. 1, 75–106. MR 1010156, DOI 10.1007/BF01388845
Joseph L. Wetherell et al., The pari script modsym.gp, available at http://pari.math.u-bordeaux.fr/Scripts/modsym.gp., 2002.
Christian Wuthrich, On the integrality of modular symbols and Kato’s Euler system for elliptic curves, Doc. Math. 19 (2014), 381–402. MR 3178244
Christian Wuthrich, Sage trac ticket # 21046: Numerical modular symbols for elliptic curves, https://trac.sagemath.org/ticket/21046, 2016.