On Shimura lifting of modular forms (Q5954670)

For positive integers \(k\) and \(N\) with \(4\mid N\), let \({\mathcal M}= M_{k+\frac 12} (N,\chi)\) be the space of modular forms on \(\Gamma_0(N)\) of half integral weight \(k+\frac 12\) and character \(\chi\bmod N\). \textit{G. Shimura} [Ann. Math. (2) 97, 440-481 (1973; Zbl 0266.10022)] first constructed maps which lift cusp forms in \({\mathcal M}\) to cusp forms of even weight \(2k\), level \(\frac 12 N\) and character \(\chi^2\). The domain of the lifting maps was extended to all of \({\mathcal M}\) by \textit{A. van Asch} [Math. Ann. 262, 77-89 (1983; Zbl 0508.10015)] if \(N/4\) is prime and \(\chi\) is real, and by \textit{D. Y. Pei} [Southeastern Asian Bull. Math. 15, 49-55 (1991; Zbl 0734.11032)] if \(N/4\) is square free and \(\chi\) is real. In the paper under review the Shimura liftings are extended to all of \({\mathcal M}\) for arbitrary \(N\) and \(\chi\) under the sole assumption that \(k\geq 2\). The author constructs a complement of the subspace of cusp forms in \({\mathcal M}\) for which he gives a basis consisting of products of the Jacobi theta-function of weight \(\frac 12\) and certain Eisenstein series of weight \(k\). (The bulk of the paper deals with Eisenstein series.) Then he shows that the liftings of each basis function are indeed modular forms if suitable constants are added. An application concerns theta series of quadratic forms in an odd number of variables. In another application one finds relations among certain divisor sum functions and special values of \(L\)-series.