Computing systems of Hecke eigenvalues associated to Hilbert modular forms
Authors:
Matthew Greenberg and John Voight
Journal:
Math. Comp. 80 (2011), 1071-1092
MSC (2010):
Primary 11F46, 11G18
DOI:
https://doi.org/10.1090/S0025-5718-2010-02423-8
Published electronically:
September 30, 2010
MathSciNet review:
2772112
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues associated to Hilbert modular forms over a totally real field $F$.
- Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, DOI https://doi.org/10.1006/jsco.1996.0125
- Henri Carayol, Sur la mauvaise réduction des courbes de Shimura, Compositio Math. 59 (1986), no. 2, 151–230 (French). MR 860139
- J. E. Cremona, Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields, Compositio Math. 51 (1984), no. 3, 275–324. MR 743014
- J. E. Cremona, Algorithms for modular elliptic curves, 2nd ed., Cambridge University Press, Cambridge, 1997. MR 1628193
- John Cremona, The elliptic curve database for conductors to 130000, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 4076, Springer, Berlin, 2006, pp. 11–29. MR 2282912, DOI https://doi.org/10.1007/11792086_2
- J. E. Cremona and M. P. Lingham, Finding all elliptic curves with good reduction outside a given set of primes, Experiment. Math. 16 (2007), no. 3, 303–312. MR 2367320
- Henri Darmon, Integration on $\scr H_p\times \scr H$ and arithmetic applications, Ann. of Math. (2) 154 (2001), no. 3, 589–639. MR 1884617, DOI https://doi.org/10.2307/3062142
- Henri Darmon and Samit Dasgupta, Elliptic units for real quadratic fields, Ann. of Math. (2) 163 (2006), no. 1, 301–346. MR 2195136, DOI https://doi.org/10.4007/annals.2006.163.301
- Henri Darmon and Robert Pollack, Efficient calculation of Stark-Heegner points via overconvergent modular symbols, Israel J. Math. 153 (2006), 319–354. MR 2254648, DOI https://doi.org/10.1007/BF02771789
- Pierre Deligne, Travaux de Shimura, Séminaire Bourbaki, 23ème année (1970/71), Exp. No. 389, Springer, Berlin, 1971, pp. 123–165. Lecture Notes in Math., Vol. 244 (French). MR 0498581
- Lassina Dembélé, An algorithm for modular elliptic curves over real quadratic fields, Experiment. Math. 17 (2008), no. 4, 427–438. MR 2484426
- Lassina Dembélé, Quaternionic Manin symbols, Brandt matrices, and Hilbert modular forms, Math. Comp. 76 (2007), no. 258, 1039–1057. MR 2291849, DOI https://doi.org/10.1090/S0025-5718-06-01914-4
- 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, DOI https://doi.org/10.1007/978-3-540-79456-1_25
- L. Dieulefait, L. Guerberoff, A. Pacetti, Proving modularity for a given elliptic curve over an imaginary quadratic field, Math. Comp. 79 (2010), 1145–1170.
- S. Donnelly and J. Voight, Tables of Hilbert modular forms and elliptic curves over totally real fields, in preparation.
- M. Eichler, Grenzkreisgruppen und kettenbruchartige Algorithmen, Acta Arith. 11 (1965), 169–180 (German). MR 228436, DOI https://doi.org/10.4064/aa-11-2-169-180
- 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, DOI https://doi.org/10.1007/BFb0054850
- Eberhard Freitag, Hilbert modular forms, Springer-Verlag, Berlin, 1990. MR 1050763
- Matthew Greenberg, Stark-Heegner points and the cohomology of quaternionic Shimura varieties, Duke Math. J. 147 (2009), no. 3, 541–575. MR 2510743, DOI https://doi.org/10.1215/00127094-2009-017
- Haruzo Hida, On abelian varieties with complex multiplication as factors of the Jacobians of Shimura curves, Amer. J. Math. 103 (1981), no. 4, 727–776. MR 623136, DOI https://doi.org/10.2307/2374049
- Haruzo Hida, On $p$-adic Hecke algebras for ${\rm GL}_2$ over totally real fields, Ann. of Math. (2) 128 (1988), no. 2, 295–384. MR 960949, DOI https://doi.org/10.2307/1971444
- Haruzo Hida, $p$-adic automorphic forms on Shimura varieties, Springer Monographs in Mathematics, Springer-Verlag, New York, 2004. MR 2055355
- Haruzo Hida, Hilbert modular forms and Iwasawa theory, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 2006. MR 2243770
- H. Jacquet and R. P. Langlands, Automorphic forms on ${\rm GL}(2)$, Lecture Notes in Mathematics, Vol. 114, Springer-Verlag, Berlin-New York, 1970. MR 0401654
- M. Kirschmer and J. Voight, Algorithmic enumeration of ideal classes for quaternion orders, submitted.
- Ju. I. Manin, Parabolic points and zeta functions of modular curves, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 19–66 (Russian). MR 0314846
- Yozô Matsushima and Goro Shimura, On the cohomology groups attached to certain vector valued differential forms on the product of the upper half planes, Ann. of Math. (2) 78 (1963), 417–449. MR 155340, DOI https://doi.org/10.2307/1970534
- Takeshi Saito, Hilbert modular forms and $p$-adic Hodge theory, Compos. Math. 145 (2009), no. 5, 1081–1113. MR 2551990, DOI https://doi.org/10.1112/S0010437X09004175
- Matthias Schütt, On the modularity of three Calabi-Yau threefolds with bad reduction at 11, Canad. Math. Bull. 49 (2006), no. 2, 296–312. MR 2226253, DOI https://doi.org/10.4153/CMB-2006-031-9
- Goro Shimura, The special values of the zeta functions associated with Hilbert modular forms, Duke Math. J. 45 (1978), no. 3, 637–679. MR 507462
- Goro Shimura, Construction of class fields and zeta functions of algebraic curves, Ann. of Math. (2) 85 (1967), 58–159. MR 204426, DOI https://doi.org/10.2307/1970526
- Goro Shimura, Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan, vol. 11, Princeton University Press, Princeton, NJ, 1994. Reprint of the 1971 original; Kanô Memorial Lectures, 1. MR 1291394
- C. M. Skinner and A. J. Wiles, Residually reducible representations and modular forms, Inst. Hautes Études Sci. Publ. Math. 89 (1999), 5–126 (2000). MR 1793414
- 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
- William A. Stein and Mark Watkins, A database of elliptic curves—first report, Algorithmic number theory (Sydney, 2002) Lecture Notes in Comput. Sci., vol. 2369, Springer, Berlin, 2002, pp. 267–275. MR 2041090, DOI https://doi.org/10.1007/3-540-45455-1_22
- Richard Taylor, On Galois representations associated to Hilbert modular forms, Invent. Math. 98 (1989), no. 2, 265–280. MR 1016264, DOI https://doi.org/10.1007/BF01388853
- Marie-France Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics, vol. 800, Springer, Berlin, 1980 (French). MR 580949
- 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
- John Voight, Shimura curves of genus at most two, Math. Comp. 78 (2009), no. 266, 1155–1172. MR 2476577, DOI https://doi.org/10.1090/S0025-5718-08-02163-7
- J. Voight, Identifying the matrix ring: algorithms for quaternion algebras and quadratic forms, submitted.
Retrieve articles in Mathematics of Computation with MSC (2010): 11F46, 11G18
Retrieve articles in all journals with MSC (2010): 11F46, 11G18
Additional Information
Matthew Greenberg
Affiliation:
University of Calgary, 2500 University Drive NW, Calgary, AB, T2N 1N4, Canada
MR Author ID:
696586
Email:
mgreenbe@math.ucalgary.ca
John Voight
Affiliation:
Department of Mathematics and Statistics, University of Vermont, 16 Colchester Ave, Burlington, Vermont 05401
MR Author ID:
727424
ORCID:
0000-0001-7494-8732
Email:
jvoight@gmail.com
Received by editor(s):
April 24, 2009
Received by editor(s) in revised form:
February 19, 2010
Published electronically:
September 30, 2010
Article copyright:
© Copyright 2010
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.