On Siegel modular forms of level \(p\) and their properties mod \(p\) (Q981664)

The authors show (under a mild condition) that all Siegel modular forms of level \(p\) and weight \(2\) are congruent modulo \(p\) to level one modular forms of level \(p+1\). This extends \textit{J.-P. Serre's} result: elliptic modular forms of weight \(2\) for \(\Gamma_0(p)\) are congruent modulo \(p\) to level one modular forms of weight \(p+1\) [Modular Functions of one Variable III, Proc. Int. Summer School, Univ. Antwerp 1972, Lect. Notes Math. 350, 191--268 (1973; Zbl 0277.12014)]. To obtain these results they construct Siegel modular forms of level \(p\) which are congruent to \(1\) such that their Fourier expansions at the cusps different from \(\infty\) are as good as possible modulo \(p\).