The decomposition of the spaces of cusp forms of half-integral weight and trace formula of Hecke operators (Q1120616)

Let k be a positive integer and N a positive integer divisible by 4. We denote by \(S(k+,N,\chi)\) the space of cusp forms with weight \(k+\), level N and character \(\chi\), where \(\chi\) is an even character modulo N. For a primitive form F of \(S(2k,N/2,\chi^ 2)\), we define a subspace \(S(k+,N,\chi;F)\) consisting of all functions f in \(S(k+,N,\chi)\) such that f \(| T(p^ 2)=\lambda_ F(p)f\) for all prime numbers \(p\nmid N\). Here \(T(p^ 2)\) is the Hecke operator on \(S(k+,N,\chi)\) and \(\{\lambda_ F(p)\}\) is the system of eigenvalues of F with respect to the Hecke operator T(p) on \(S(2k,N/2,\chi^ 2).\) The main result of this paper is to prove the relation: \[ trace(T_{k+,N,\chi}(n^ 2)| S(k+,N,\chi))=trace(T_{2k,N/2}(n)| S(\quad 2k,N/2)) \] \[ +\sum_ 1\Lambda (N,L_ 0)\quad trace([W(L_ 0)]_{2k} T_{2k,2^{\mu - 1}L_ 0L_ 1}(n) | S(2k,2^{\mu -\quad 1}L_ 0L_ 1)), \] where k is an integer \(\geq 2\), WT(n) is a certain linear operator. Similar results are obtained for the cases (i) \(k\geq 2\) and \(N=4M\), (ii) \(k=3/2\). The quantity \(\Lambda (n,L_ 0)\) is arithmetically defined by means of N and \(\chi\).