Evaluating modular forms on Shimura curves

Nelson, Paul

doi:10.1090/S0025-5718-2015-02943-3

Evaluating modular forms on Shimura curves

Author: Paul D. Nelson
Journal: Math. Comp. 84 (2015), 2471-2503
MSC (2010): Primary 11F11, 11Y40; Secondary 11F27
DOI: https://doi.org/10.1090/S0025-5718-2015-02943-3
Published electronically: January 23, 2015
MathSciNet review: 3356036
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a newform, as specified by its Hecke eigenvalues, on a Shimura curve . We describe a method for evaluating . The most interesting case is when arises as a compact quotient of the hyperbolic plane, so that classical -expansions are not available. The method takes the form of an explicit, rapidly-convergent formula that is well-suited for numerical computation. We apply it to the problem of computing modular parametrizations of elliptic curves, and illustrate with some numerical examples.

An important ingredient is a new method for numerically computing
Petersson inner products, which may be of independent interest.

[1] A. O. L. Atkin and J. Lehner, Hecke operators on Γ₀(𝑚), Math. Ann. 185 (1970), 134–160. MR 268123, https://doi.org/10.1007/BF01359701
[2] Andrew R. Booker, Andreas Strömbergsson, and Akshay Venkatesh, Effective computation of Maass cusp forms, Int. Math. Res. Not. , posted on (2006), Art. ID 71281, 34. MR 2249995, https://doi.org/10.1155/IMRN/2006/71281
[3] Henri Carayol, Sur la mauvaise réduction des courbes de Shimura, Compositio Math. 59 (1986), no. 2, 151–230 (French). MR 860139
[4] Henri Darmon and Robert Pollack, Efficient calculation of Stark-Heegner points via overconvergent modular symbols, Israel J. Math. 153 (2006), 319–354. MR 2254648, https://doi.org/10.1007/BF02771789
[5] Henri Darmon and Victor Rotger, Algebraic cycles and Stark-Heegner points, http://www-ma2.upc.edu/vrotger/docs/AWS2011/aws.pdf, 2011.
[6] Lassina Dembélé, Quaternionic Manin symbols, Brandt matrices, and Hilbert modular forms, Math. Comp. 76 (2007), no. 258, 1039–1057. MR 2291849, https://doi.org/10.1090/S0025-5718-06-01914-4
[7] Lassina Dembélé and Steve Donnelly, Computing Hilbert modular forms over fields with nontrivial class group, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 5011, Springer, Berlin, 2008, pp. 371–386. MR 2467859, https://doi.org/10.1007/978-3-540-79456-1_25
[8] Noam D. Elkies, Heegner point computations, Algorithmic number theory (Ithaca, NY, 1994) Lecture Notes in Comput. Sci., vol. 877, Springer, Berlin, 1994, pp. 122–133. MR 1322717, https://doi.org/10.1007/3-540-58691-1_49
[9] Noam D. Elkies, Shimura curve computations, Algorithmic number theory (Portland, OR, 1998) Lecture Notes in Comput. Sci., vol. 1423, Springer, Berlin, 1998, pp. 1–47. MR 1726059, https://doi.org/10.1007/BFb0054850
[10] Dorian Goldfeld, The Gauss class number problem for imaginary quadratic fields, Heegner points and Rankin 𝐿-series, Math. Sci. Res. Inst. Publ., vol. 49, Cambridge Univ. Press, Cambridge, 2004, pp. 25–36. MR 2083209, https://doi.org/10.1017/CBO9780511756375.004
[11] I. S. Gradshteyn and I. M. Ryzhik, Table of integrals, series, and products, 7th ed., Elsevier/Academic Press, Amsterdam, 2007. Translated from the Russian; Translation edited and with a preface by Alan Jeffrey and Daniel Zwillinger; With one CD-ROM (Windows, Macintosh and UNIX). MR 2360010
[12] Matthew Greenberg, Heegner point computations via numerical 𝑝-adic integration, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 4076, Springer, Berlin, 2006, pp. 361–376. MR 2282936, https://doi.org/10.1007/11792086_26
[13] Matthew Greenberg, Heegner points and rigid analytic modular forms, ProQuest LLC, Ann Arbor, MI, 2006. Thesis (Ph.D.)–McGill University (Canada). MR 2710023
[14] Matthew Greenberg and John Voight, Computing systems of Hecke eigenvalues associated to Hilbert modular forms, Math. Comp. 80 (2011), no. 274, 1071–1092. MR 2772112, https://doi.org/10.1090/S0025-5718-2010-02423-8
[15] Benedict H. Gross and Don B. Zagier, Heegner points and derivatives of 𝐿-series, Invent. Math. 84 (1986), no. 2, 225–320. MR 833192, https://doi.org/10.1007/BF01388809
[16] Bryan J. Birch and Nelson M. Stephens, Computation of Heegner points, Modular forms (Durham, 1983) Ellis Horwood Ser. Math. Appl.: Statist. Oper. Res., Horwood, Chichester, 1984, pp. 13–41. MR 803360
[17] Benedict H. Gross, Kolyvagin’s work on modular elliptic curves, 𝐿-functions and arithmetic (Durham, 1989) London Math. Soc. Lecture Note Ser., vol. 153, Cambridge Univ. Press, Cambridge, 1991, pp. 235–256. MR 1110395, https://doi.org/10.1017/CBO9780511526053.009
[18] Paul E. Gunnells and Dan Yasaki, Hecke operators and Hilbert modular forms, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 5011, Springer, Berlin, 2008, pp. 387–401. MR 2467860, https://doi.org/10.1007/978-3-540-79456-1_26
[19] Michael Harris and Stephen S. Kudla, The central critical value of a triple product 𝐿-function, Ann. of Math. (2) 133 (1991), no. 3, 605–672. MR 1109355, https://doi.org/10.2307/2944321
[20] Roman Holowinsky, Sieving for mass equidistribution, Ann. of Math. (2) 172 (2010), no. 2, 1499–1516. MR 2680498
[21] Henryk Iwaniec, Spectral methods of automorphic forms, 2nd ed., Graduate Studies in Mathematics, vol. 53, American Mathematical Society, Providence, RI; Revista Matemática Iberoamericana, Madrid, 2002. MR 1942691
[22] Henryk Iwaniec and Emmanuel Kowalski, Analytic number theory, American Mathematical Society Colloquium Publications, vol. 53, American Mathematical Society, Providence, RI, 2004. MR 2061214
[23] Dimitar Jetchev, Kristin Lauter, and William Stein, Explicit Heegner points: Kolyvagin’s conjecture and non-trivial elements in the Shafarevich-Tate group, J. Number Theory 129 (2009), no. 2, 284–302. MR 2473878, https://doi.org/10.1016/j.jnt.2008.05.007
[24] David R. Kohel and Helena A. Verrill, Fundamental domains for Shimura curves, J. Théor. Nombres Bordeaux 15 (2003), no. 1, 205–222 (English, with English and French summaries). Les XXIIèmes Journées Arithmetiques (Lille, 2001). MR 2019012
[25] P. D. Nelson, A. Pitale, and A. Saha, Bounds for Rankin-Selberg integrals and quantum unique ergodicity for powerful levels, ArXiv e-prints, May 2012.
[26] P. D. Nelson, Computing on Shimura curves II: Implementing the Shimizu lifting, Appendix C of the notes Periods and special values of -functions, http://swc.math.arizona.edu/aws/2011/2011PrasannaNotesProject.pdf, 2011.
[27] Arnold Pizer, An algorithm for computing modular forms on Γ₀(𝑁), J. Algebra 64 (1980), no. 2, 340–390. MR 579066, https://doi.org/10.1016/0021-8693(80)90151-9
[28] K. Prasanna, Computing on Shimura curves I: Expansions at CM points, Appendix B of the notes Periods and special values of -functions, http://swc.math.arizona.edu/aws/2011/2011PrasannaNotesProject.pdf, 2011.
[29] Hideo Shimizu, On zeta functions of quaternion algebras, Ann. of Math. (2) 81 (1965), 166–193. MR 171771, https://doi.org/10.2307/1970389
[30] Hideo Shimizu, Theta series and automorphic forms on 𝐺𝐿₂, J. Math. Soc. Japan 24 (1972), 638–683. MR 333081, https://doi.org/10.2969/jmsj/02440638
[31] Goro Shimura, Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan, No. 11. Iwanami Shoten, Publishers, Tokyo; Princeton University Press, Princeton, N.J., 1971. Kanô Memorial Lectures, No. 1. MR 0314766
[32] 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
[33] W.A. Stein et al., Sage Mathematics Software (Version 4.1.1), The Sage Development Team, 2009. http://www.sagemath.org.
[34] Marie-France Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics, vol. 800, Springer, Berlin, 1980 (French). MR 580949
[35] J. Voight and J. Willis, Computing power series expansions of modular forms, ArXiv e-prints, April 2012.
[36] John Voight, Computing CM points on Shimura curves arising from cocompact arithmetic triangle groups, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 4076, Springer, Berlin, 2006, pp. 406–420. MR 2282939, https://doi.org/10.1007/11792086_29
[37] John Voight, Computing fundamental domains for Fuchsian groups, J. Théor. Nombres Bordeaux 21 (2009), no. 2, 469–491 (English, with English and French summaries). MR 2541438
[38] John Voight, Computing automorphic forms on Shimura curves over fields with arbitrary class number, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 6197, Springer, Berlin, 2010, pp. 357–371. MR 2721432, https://doi.org/10.1007/978-3-642-14518-6_28
[39] Thomas Crawford Watson, Rankin triple products and quantum chaos, ProQuest LLC, Ann Arbor, MI, 2002. Thesis (Ph.D.)–Princeton University. MR 2703041
[40] Shouwu Zhang, Heights of Heegner points on Shimura curves, Ann. of Math. (2) 153 (2001), no. 1, 27–147. MR 1826411, https://doi.org/10.2307/2661372