On representations of finite groups in the space of Siegel modular forms and theta series (Q583263): Difference between revisions

Let p be a prime. A representation \(\pi_ k^{(m)}\) of the symplectic group Sp(m) over the finite field \({\mathbb{Z}}/p{\mathbb{Z}}={\mathbb{F}}_ p\) is realized in the space of Siegel modular forms of genus m, of level p and of weight k. In the \(m=1\) case, Hecke discovered the difference of multiplicities of two specific irreducible representations in \(\pi_ k^{(m)}\) is equal to the class number of the imaginary quadratic field \({\mathbb{Q}}(\sqrt{-p})\) if \(p\equiv 3 mod 4\), \(p>3\), \(k\geq 2\). Further explanation was done by means of ``eingliedrig forms''. The present paper tries to find a similar explanation in the case when \(m=2\) and level p. Here the reviewer briefly describes the main result. We set \(G=Sp(2,{\mathbb{F}}_ p)\). A Borel subgroup B of G, parabolic subgroups P and \(P'\) of G which contain B are introduced. Let \(\theta_ 9,\theta_{11},\theta_{12},\theta_{13}\) be irreducible representations of G introduced by \textit{B. Srinivasan} [Trans. Am. Math. Soc. 131, 488-525 (1968; Zbl 0213.30401)]. These representations arise as components of the induced representation of G from B or P. Let \(\phi\) : Sp(2,\({\mathbb{Z}})\to G\) be the canonical homomorphism and \(\Gamma_ P=\phi^{-1}(P)=\Gamma_ 0^{(2)}(p)\). For an irreducible representation \(\rho\) of G, let \(m_ k(\rho)\) denote the multiplicity with which \(\rho\) occurs in \(\pi_ k^{(2)}(p)\). The author defines the notion of eingliedrig (resp. zweigliedrig) for \(F\in S^ 0_ k(\Gamma_ P)\), the space of cusp new forms for the Siegel modular group \(\Gamma_ P\) of degree 2 and level p. The author's intention which is described above is partially realized as a theorem. Theorem 2.8. Assume \(S_ k(Sp(2,{\mathbb{Z}}))=\{0\}\). Then \[ m_ k(\theta_ 9)-m_ k(\theta_{11})=\dim_{{\mathbb{C}}}<\theta_ 9- eingliedrig\quad forms>-\dim_{{\mathbb{C}}}<\theta_{11}-eingliedrig\quad forms>. \] In the rest of the paper, the author gives (i) a construction of \(\theta_{11}\)-eingliedrig forms, (ii) numerical examples of the basis, the dimensionality, the decomposition into Hecke operator eigensubspaces of the space \(S_ k(\Gamma_ 0^{(2)}(p))\), (iii) two conjectures concerning the nature of \(\theta_{11}\)-eingliedrig (resp. \(\theta_ 9\)-eingliedrig) form F in \(S_ k(\Gamma_ 0^{(2)}(p))\).