The spaces of Siegel cusp forms of degree two and the representation of \(\mathrm{Sp}(2,\mathbb F_ p)\) (Q1063055)

Let \(\mathfrak S_ g\) be the Siegel upper half space of degree \(g\) and let \(\Gamma_ g(\ell)\) be the principal congruence subgroup of \(\mathrm{Sp}(g,\mathbb Z)\) of level \(\ell\). Let \(S_ k(\Gamma_ g(\ell))\) be the space of Siegel cusp forms of weight \(k\) with respect to \(\Gamma_ g(\ell)\). \(\Gamma_ g(\ell)\) acts on \(S_ k(\Gamma_ g(\ell))\) by \((Mf)(M\cdot Z)=\det (CZ+D)^ k f(Z)\), where \(Z\in\mathfrak S_ g\), \(f\in S_ k(\Gamma_ g(\ell))\), \(M\cdot Z=(AZ+B)(CZ+D)^{-\ell}\) and \(\left( \begin{matrix} A\\ C\end{matrix} \begin{matrix} B\\ D\end{matrix} \right)\in \Gamma_ g(\ell)\). From this action, a representation of \(\Gamma_ g(1)/\Gamma_ g(\ell)\simeq \mathrm{Sp}(g,\mathbb Z/\ell \mathbb Z)\) is defined. In this paper, in the case when \(\ell =p\) a prime number and \(g=2\), the author gives a formula for \(m(\theta_ 9)+m(\theta_{10})- m(\theta_{11})-m(\theta_{12})\) in terms of an elementary rational function of \(p\)th root of unity and the Legendre symbol, where \(m(\theta_ i)\) is the multiplicity of the irreducible representation \(\theta_ i\) of \(\mathrm{Sp}(2,\mathbb Z/p\mathbb Z)\).