Kernels for products of \(L\)-functions (Q393950)

Let \(S_k(\Gamma)\) denote the complex vector space of holomorphic weight \(k\) cusp forms for \(\Gamma= \mathrm{SL}(2,\mathbb{Z})\), where \(k\) is an positive even integer. Moreover, let \(B_k\) denote the unique bases of \(S_k\) consisting of Hecke eigenforms, normalized to have the first Fourier coefficient \(1\). For \(f \in B_k\) consider the associated completed \(L\)-series \[ L^*(f,s) = \int_0^\infty f(iy) \, y^{s-1} \, dy, \] which is an entire function (in \(s\)). For \(f,g\in S_k\) let \[ \langle f,g \rangle = \int_{\Gamma \backslash \mathbb{H}} f(z) \, \overline{g(z)} \, y^{k-2} dxdy \] denote the Petersson inner product where \(\mathbb{H}\) denotes the upper complex half plane. Recall the weight \(k\) holomorphic Eisenstein series \(E_k\). The Petterson inner product can be extended to (products of) Eisenstein series. \textit{R. A. Rankin} [Proc. Lond. Math. Soc. (3) 2, 198--217 (1952; Zbl 0049.33904)] and \textit{D. Zagier} [Lect. Notes Math. 627, 105--169 (1977; Zbl 0372.10017)] respectively showed the following relations between Eisensten series, cusp forms \(f\) and \(L\)-series: \[ \langle E_{k_1} E_{k_2},f \rangle = C_{k_1,k_2} \, L^*(f,1) \, L^*(f,k_2) \] with \(k_1+k_2 =k \) and \[ \langle [E_{k_1}, E_{k_2}]_n, f \rangle C_{k_1,k_2} \, L^*(f,n+1) \, L^*(f,n+k_2) \] with \(k_1+k_2+n =k\). \(C_{k_1,k_2}\) and \(C_{k_1,k_2,n}\) are known constants depending only on \(k_1\), \(k_2\) (and \(n\)). The \([E_{k_1}, E_{k_2}]_n\) denotes the Rankin-Cohen bracket of index \(n\). The authors extend above results. They introduce a \textit{completed holomorphic double Eisenstein series} \(E^*_{s,k-s}\) and discuss its properties. The first main result is the following Theorem. Let \(k \geq 6\) be even. The series \(E^\star_{s,k-s}(z,w)\) has an analytic continuation to all \(s,w \in \mathbb{C}\) and as a function of \(z\) is always in \(S_k(\Gamma)\). For any \(f \in B_k\), we have \[ \langle E^\star_{s,k-s}(\cdot,w),f \rangle = L^*(f,s) \, L^*(f,w). \] Next, they extend \textit{Manin}'s periods theorem [The periods of modular forms and p-adic Hecke series, Mat. Sb., N. Ser. 92(134), 378-401 (1973; Zbl 0293.14007)] to arbitrary \(s\) instead of the usual periods cases \(s \in \{1,\dots, k-1\}\). At last the authors prove similar theorem as the one stated above for the case of (non-holomorphic) Maass cusp forms using \textit{completed non-holomorphic double Eisenstein series}.