On Siegel modular forms. Part I. (Q4029671)

The author studies the ring of Siegel modular forms of small genus \(A(\Gamma_ g)\). Some of the results contained in the paper are classical, but they are obtained in a simpler way. The method used in this paper is similar to Igusa's going down process [\textit{cf. J. Igusa}, Am. J. Math. 86, 392-412 (1964; Zbl 0133.33301)]. The main difference between the two processes is the starting point. Whenever Igusa begins from the ring of classical Thetanullwerte \(\mathbb{C}[\vartheta_ m(\tau)]\), Runge uses the ring \(\mathbb{C}\bigl[\vartheta {\alpha \brack 0}(2\tau)\bigr]\). Then acting with finite groups, he obtains Poincaré series and generators of the ring of modular forms relative to \(\Gamma_ g\) and some related subgroups for \(g=1\) and 2. In a forthcoming paper the author will get these results in the genus 3 case, this will be possible since, as he remarks, in this case the ring \(\mathbb{C}\bigl[ \vartheta {\alpha \brack 0}(2\tau)\bigr]\) is integrally closed. As a consequence of this fact, the author proves that \(A(\Gamma_ 3)\) is Cohen-Macaulay. Finally, let \({\mathcal A}_{2,4}\) be the moduli space of abelian varieties with level 2 theta structure, the reviewer proves in [Moduli space of ppav with level 2 (theta) structure, Am. J. Math. (to appear)]\ that the map defined from the \(\vartheta {\alpha \brack 0}(2\tau)\) is injective; using this result the author proves the injectivity of a double covering (\(g\) even) of this moduli space.