Siegel modular forms of degree 2 over rings (Q1011655)

The ring of Siegel modular forms of degree \(2\) over any ring in which \(6\) is invertible is shown to have the expected structure: it is generated by the Eisenstein series \(E_4\) and \(E_6\) and cusp forms \(\chi_{10}\), \(\chi_{12}\) and \(\chi_{35}\) with weights given by the subscripts. The proofs follow the methods of Nagaoka for mod~\(p\) modular forms, based on the definition of Siegel modular forms as sections of powers of the Hodge bundle on moduli of abelian varieties.