Abstract
In the 1960's Igusa [I] described the graded ring of Siegel modular forms of degree 2. In the sequel a few more concrete examples of graded rings of modular forms with respect to paramodular groups or Hermitian modular groups were given, e.g. by Freitag [F], Aoki and Ibukiyama [AI] or Dern and Krieg [DK].
Moreover Freitag and Hermann [FH] investigated some modular varieties of low dimension. In particular they discussed the modular variety where denotes the extended modular group of degree 2 over the Hurwitz quaternions. They described it as a major problem to determine the graded ring of modular forms in terms of generators and relations.
In this paper we determine this graded ring completely. Surprisingly it turns out to be a polynomial ring in 7 algebraically independent indeterminates given by Siegel-Eisenstein series of weight up to 24. The proof consists of applications of the results by Freitag and Hermann [FH] and the results on Hermitian modular forms with respect to in [DK]. Additionally we have to put more emphasis on the commutator subgroup of the modular group calculated in [KW] and have to find new descriptions of the Borcherds products constructed in [FH]. Finally we consider the theta series from [FH]. We show that 6 generators can also be chosen as polynomials in these theta series, where one additionally needs the Siegel-Eisenstein series of weight 6.
Similar content being viewed by others
References
Aoki, H., Ibukiyama, T.: Simple graded rings of Siegel modular forms, differential operators and Borcherds products. Int. J. Math. 16, 249–279 (2005)
Bachoc, C., Nebe, G.: Classification of two genera of 32-dimensional lattices of rank 8 over the Hurwitz order. Exp. Math. 6, 151–162 (1997)
Burkhardt, H.: Untersuchungen aus dem Gebiet der hyperelliptischen Modulfunctionen II, III. Math. Ann. 38, 161-224 (1890), Math. Ann. 40, 313–343 (1892)
Coble, A.: Point sets and allied Cremona groups III. Trans. Amer. Math. Soc. 18, 331–372 (1917)
Dern, T., Krieg, A.: Graded rings of Hermitian modular forms of degree 2. Manuscr. Math. 110, 251–272 (2003)
Freitag, E.: Modulformen zweiten Grades zum rationalen und Gaußschen Zahlkörper. Sitzungsber. Heidelb. Akad. Wiss., Math.-Naturwiss. Kl. 3–49 (1967)
Freitag, E., Hermann, C.F.: Some Modular Varieties of Low Dimension. Adv. Math. 152, 203–287 (2000)
Freitag, E., Salvati Manni, R.: Modular forms for the even unimodular lattice of signature (2, 10). Preprint, Heidelberg, 2005
Freitag, E., Salvati Manni, R.: Some Modular Varieties of Low Dimension II. Preprint, Heidelberg, 2005
Hunt, B.: The Geometry of some Arithmetic Quotients. Lect. Notes Math. 1637, Springer-Verlag, Berlin-Heidelberg-New York, 1996
Igusa, J.-I.: On Siegel modular forms of genus two (II). Am. J. Math. 86, 392–412 (1964)
Klöcker, I.: Modular Forms for the Orthogonal Group O(2,5). PhD thesis, Aachen, 2005 (to appear)
Krieg, A.: Modular Forms on Half-Spaces of Quaternions. Lect. Notes Math 1143, Springer-Verlag, Berlin-Heidelberg-New York, 1985
Krieg, A.: The Maaß Space on the Half-Space of Quaternions of Degree 2. Math. Ann. 276, 675–686 (1987)
Krieg, A.: The Maaß Space and Hecke Operators. Math. Z. 204, 527–550 (1990)
Krieg, A.: The Maaß Spaces for Hermitian Modular Forms of Degree 2. Math. Ann. 289, 663–681 (1991)
Krieg, A.: The Maaß space for the non-trivial multiplier system over the Hurwitz quaternions. Arch. Math. 70, 211–218 (1998)
Krieg, A., Walcher, S.: Multiplier systems for the modular group on the 27-dimensional exceptional domain. Comm. Algebra 26, 1409–1417 (1998)
Nagaoka, S.: Eisenstein series on quaternion half-space. J. Fac. Sci. Technol., Kinki Univ. 28, 41–48 (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Krieg, A. The graded ring of quaternionic modular forms of degree 2. Math. Z. 251, 929–942 (2005). https://doi.org/10.1007/s00209-005-0840-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-005-0840-7