First moments of Rankin-Selberg convolutions of automorphic forms on GL(2)

From MaRDI portal
Publication:1983160



Abstract: We obtain a first moment formula for Rankin-Selberg convolution L-series of holomorphic modular forms or Maass forms of arbitrary level on GL(2), with an orthonormal basis of Maass forms. One consequence is the best result to date, uniform in level, spectral value and weight, for the equality of two Maass or holomorphic cusp forms if their Rankin-Selberg convolutions with the orthonormal basis of Mass forms uj is equal at the center of the critical strip for sufficiently many uj. The main novelty of our approach is the new way the error terms are treated. They are brought into an exact form that provides optimal estimates for the first moment case, and also provide a basis for an extension to second moments, which will appear in another work.


Let \(\phi\) be a holomorphic cusp form (resp. Maass form) of weight \(k\in\mathbb{Z}_{>0}\) (resp. \(0\)). The first moment to which the title of this article refers has the form: \begin{align*} &\sum_{j}\frac{h(r_j)}{\cosh(\pi r_j)}\rho_j(n)\mathcal{L}(\phi\times\bar{u_j})\\ +&\sum_{\mathfrak{a}}\frac{1}{4\pi}\int_{-\infty}^{\infty}\frac{h(r)}{\cosh(\pi r)}\tau(1/2+ir,n)\mathcal{L}_{\mathfrak{a}}(s,ir,\phi)dr, \end{align*} in which \(\{u_j\}_{j\geq1}\) (resp. \(\{E_{\mathfrak{a}}(z,s)\}_{\mathfrak{a}}\)) form an orthonormal basis for the cuspidal part of \(L^2(\Gamma_0(M)\backslash\mathcal{H})\) (resp. are the Eisenstein series at the cusps), \(r_j\) is related to the eigenvalue of \(u_j\), \(n\) is a positive integer, \(\rho_j(n)\) (resp. \(\tau_{\mathfrak{a}}(1/2+ir,n)\)) is the \(n\)th Fourier coefficient of \(u_j(z)\) (resp. \(E_{\mathfrak{a}}(z,1/2+ir)\)), and \(\mathcal{L}(s,\phi\times u_j)\) and \(\mathcal{L}_{\mathfrak{a}}(s,ir,\phi)\) are Rankin-Selberg convolutions. It is established that the first moment above is equal to the sum of a main term and an error term, in which the latter are related to shited Dirichlet series. As a consequence it is shown that, if \(\phi_1,\phi_2\) are normalized newforms of even weight, or Maass forms of weight \(0\), and \(\mathcal{L}(1/2,\phi_1\times u_j)=\mathcal{L}(1/2,\phi_2\times u_j)\) for sufficiently many \(j\), then \(\phi_1=\phi_2\).



Cites work



Describes a project that uses

Uses Software






This page was built for publication: First moments of Rankin-Selberg convolutions of automorphic forms on \(\mathrm{GL}(2)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1983160)