Computing weight \(2\) modular forms of level \(p^2\) (with an appendix by B. Gross). (English) Zbl 1093.11027

Pacetti, Ariel; Rodriguez Villegas, Fernando

Math. Comput. 74, No. 251, 1545-1557 (2005).

The authors describe an effectively computable Hecke stable subspace \(V_0\) of the space \(V\) of modular forms of weight 2 and level \(p^2\), where \(p\equiv3\bmod4\) is a prime, with \(V_0\) containing the space of modular forms with CM by the ring of integers in \({\mathbb Q}(\sqrt{- p})\). The space \(V_0\) is constructed using Brandt matrices associated to ideal classes of an order (of index \(p\) in the maximal order) in the quaternion algebra over \({\mathbb Q}\) ramified at \(p\) and at \(\infty\). The total space \(V\) has dimension that grows proportionally to \(p^2\), while \(V_0\) has dimension that grows proportionally to \(p\). Thus introducing \(V_0\) allows one to compute effectively with a Hecke stable subspace of smaller dimension than \(V\).
Three tables are also presented, one consisting of dimensions and the other two matching various subspaces of \(V_0\) to their corresponding abelian varieties. An appendix by B. Gross proves that the space of CM modular forms of weight 2 and level \(p^2\) injects into the space \(V_0\); it makes use of the local and global Jacquet-Langlands correspondence.

Reviewer: Solomon Friedberg (Chestnut Hill)

MSC:

11F11	Holomorphic modular forms of integral weight
11E20	General ternary and quaternary quadratic forms; forms of more than two variables
11Y99	Computational number theory
11F25	Hecke-Petersson operators, differential operators (one variable)

Keywords:

modular form of weight 2; Brandt matrix

Software:

Magma

References:

[1]	M. Eichler, Lectures on modular correspondences, Bombay, Tata Institute of Fundamental Research, 1955-56.
[2]	Benedict H. Gross, Arithmetic on elliptic curves with complex multiplication, Lecture Notes in Mathematics, vol. 776, Springer, Berlin, 1980. With an appendix by B. Mazur. · Zbl 0433.14032
[3]	Magma computational algebra system http://magma.maths.usyd.edu.au/magma/. · Zbl 1222.11001
[4]	PARI-GP http://www.parigp-home.de/.
[5]	David R. Kohel, Hecke module structure of quaternions, Class field theory — its centenary and prospect (Tokyo, 1998) Adv. Stud. Pure Math., vol. 30, Math. Soc. Japan, Tokyo, 2001, pp. 177 – 195. · Zbl 1040.11044
[6]	Arnold Pizer, Theta series and modular forms of level \?²\?, Compositio Math. 40 (1980), no. 2, 177 – 241. · Zbl 0416.10021
[7]	Arnold Pizer, An algorithm for computing modular forms on \Gamma \(_{0}\)(\?), J. Algebra 64 (1980), no. 2, 340 – 390. · Zbl 0433.10012 · doi:10.1016/0021-8693(80)90151-9
[8]	A. Pacetti and F. Rodriguez-Villegas, www.ma.utexas.edu/users/villegas/cnt/cnt.html.
[9]	Jean-Pierre Serre, Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Études Sci. Publ. Math. 54 (1981), 323 – 401 (French). · Zbl 0496.12011
[10]	Marie-France Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics, vol. 800, Springer, Berlin, 1980 (French). · Zbl 0422.12008