## Journal of the Mathematical Society of Japan

### Computations of spaces of Siegel modular cusp forms

#### Abstract

Simple homomorphisms to elliptic modular forms are defined on the ring of Siegel modular forms and linear relations on the Fourier coefficients of Siegel modular forms are implied by the codomains of these homomorphisms. We use the linear relations provided by these homomorphisms to compute the Siegel cusp forms of degree $n$ and weight $k$ in some new cases: $(n,k)=(4,14)$, $(4,16)$, $(5,8)$, $(5,10)$, $(6,8)$. We also compute enough Fourier coefficients using this method to determine the Hecke eigenforms in the nontrivial cases. We also put the open question of whether our technique always succeeds in a precise form. As a partial converse we prove that the Fourier series of Siegel modular forms are characterized among all formal series by the codomain spaces of these homomorphisms and a certain boundedness condition.

#### Article information

Source
J. Math. Soc. Japan, Volume 59, Number 1 (2007), 185-222.

Dates
First available in Project Euclid: 25 May 2007

https://projecteuclid.org/euclid.jmsj/1180135507

Digital Object Identifier
doi:10.2969/jmsj/1180135507

Mathematical Reviews number (MathSciNet)
MR2302669

Zentralblatt MATH identifier
1114.11045

#### Citation

POOR, Cris; YUEN, David S. Computations of spaces of Siegel modular cusp forms. J. Math. Soc. Japan 59 (2007), no. 1, 185--222. doi:10.2969/jmsj/1180135507. https://projecteuclid.org/euclid.jmsj/1180135507

#### References

• S. Böcherer and S. Raghavan, On Fourier coefficients of Siegel modular forms, J. Reine Angew. Math., 384 (1988), 80–101.
• U. Christian, Selberg's Zeta, L, and Eisenstein series, Lecture Notes in Math., 1030, Springer Verlag, Berlin Heidelberg New York, 1983.
• W. Duke and Ö. Imamo\=glu, Siegel Modular Forms of Small Weight, Math. Ann., 308 (1997), 525–534.
• M. Eichler, Über die Anzahl der linear unabhängigen Siegelschen Modulformen von gegebenem Gewicht, Math. Ann., 213 (1975), 281–291.
• V. A. Erokhin, Theta series of even unimodular $24$-dimensional lattices, LOMI, 86 (1979), 82–93, also in JSM 17 (1981), 1999–2008.
• V. A. Erokhin, Theta series of even unimodular lattices, LOMI, 199 (1981), 59–70, also in JSM 25 (1984), 1012–1020.
• E. Freitag, Siegelsche Modulfunktionen, Grundlehren der mathematischen Wissenschaften, 254, Springer Verlag, Berlin, 1983.
• J. I. Igusa, Schottky's invariant and quadratic forms, Christoffel Symp., Birkhäuser Verlag, 1981.
• T. Ikeda, On the lifting of elliptic cusp forms to Siegel cusp forms of degree $2n$, Annals Math., 154 (2001), 641–681.
• T. Ikeda, Lifting of Siegel Cusp Forms, unpublished notes.
• H. Klingen, Introductory lectures on Siegel modular forms, Cambridge studies in Advanced mathematics, 20, Cambridge University Press, Cambridge, 1990.
• G. Nebe and B. Venkov, On Siegel modular forms of weight $12$, J. Reine und Angew. Mathematik, 531 (2001), 49–60.
• G. Nipp, Quaternary Quadratic Forms, Computer Generated Tables, Springer-Verlag, New York, 1991.
• M. Ozeki, On a property of Siegel theta-series, Math. Ann., 228 (1977), 249–258.
• C. Poor and D. Yuen, Authors' website: math.lfc.edu/$\sim$yuen/comp.
• C. Poor and D. Yuen, Dimensions of Spaces of Siegel Modular Forms of Low Weight in Degree Four, Bull. Austral. Math. Soc., 54 (1996), 309–315.
• C. Poor and D. Yuen, Linear dependence among Siegel Modular Forms, Math. Ann., 318 (2000), 205–234.
• C. Poor and D. Yuen, Restriction of Siegel Modular Forms to Modular Curves, Bull. Austral. Math. Soc., 65 (2002), 239–252.
• C. Poor and D. Yuen, Slopes of integral lattices, J. Number Theory, 100 (2003), 363–380.
• R. Salvati-Manni, Modular forms of the fourth degree (Remark on a paper of Harris and Morrison), Classification of irregular varieties, Lecture Notes in Math., 1515, Springer-Verlag, Berlin, 1992.
• E. Witt, Eine Identität zwischen Modulformen zweiten Grades, Abh. Math. Sem. Hans. Univ., 14 (1941), 323–337.