The dimension of the space of Siegel-Eisenstein series of weight one (Q938273)

Let \(p\) be an odd prime, \(g\geq 2\), \(\Gamma^g=\mathrm{Sp}(g,\mathbb{Z})\), and \(\Gamma^g(p)\) be the principal subgroup of \(\Gamma^g\) of level \(p\). Furthermore, let \(E_1^0\left(\Gamma^g(p)\right)\) denote the space of Siegel-Eisenstein series of weight \(1\) on \(\Gamma^g(p)\), a certain subspace (defined on p. 192) of a complement of the space of cusp forms. The main result of the paper under review (Theorem 3.1) states that if \(g\geq 2\), then \[ \dim E_1^0\left(\Gamma^g(p)\right)=\begin{cases} \frac{1}{2}(p^g+1) & p \equiv 3\pmod 4 \\ 0 & p\equiv 1\pmod 4 .\end{cases} \] The author's proof relies heavily on the representation theory of the finite group \(\mathrm{Sp}(g,\mathbb{F}_p)\) and, in particular, includes the case \(g=2\). Note that if \(g\geq 3\), then Theorem B of \textit{J.-S. Li} [Geom. Funct. Anal. 6, No. 3, 512--555 (1996; Zbl 0863.11033)] also implies Theorem 3.1 of the paper under review.