No label defined (Q3976504)

Suppose that \(\phi\) is a Maaß cusp form for \(\Gamma=\mathrm{PSL}(2,\mathbb{Z})\) on the upper half plane \(H\). Then if \(\Delta=y^2(\partial^2/\partial x^2+\partial^2/\partial y^2)\) we have \(-\Delta\phi=\lambda\phi\) for some eigenvalue \(\lambda\), \(\phi\in L^2(\Gamma\backslash H)\). We have the Fourier expansion as a periodic function of \(x\): \[ \phi(x+iy)=\sum_{n\neq 0} a_n \sqrt y K_{ir}(2\pi ny)e^{2\pi inx},\quad\lambda = \frac14+ r^ 2. \] Usually the author looks at even or odd eigenfunctions (as functions of \(x\)). Assume \(\phi\) is an eigenfunction of all the Hecke operators (see \textit{A. Terras} [Harmonic analysis on symmetric spaces and applications. I. New York etc.: Springer-Verlag (1985; Zbl 0574.10029)], for the definition). Normalize to have \(a_1=1\). Then \(a_{pq}=a_p a_q\), if \(p\), \(q\) are relatively prime. We can form the \(L\)-series \(L(s,\phi)=\sum^ \infty_{n=1} a_n n^{-s}\), \(\Re s>1\). It can be shown to have an Euler product. If \(\phi\) and \(\psi\) are two Maaß cusp forms with Fourier coefficients \(a_n\) and \(b_n\), respectively, the author looks for criteria that imply \(\phi=\psi\) and finds 5 such criteria. We list 3 of them: 1) There is \(\delta<1\) so that \(\sum^ \infty_{p=1} |a_p - b_p|^2/p^\delta <\infty\). 2) If \(\phi\) and \(\psi\) have the same Laplace eigenvalue \(\lambda\) and \(|a_n - b_n|^2<\pi\sqrt 3/ 4\sqrt \lambda\) for \(n<2\sqrt \lambda/ \pi\sqrt 3\). 3) (Under the ``Generalized Riemann Hypothesis'' for the Rankin-Selberg \(L\)-functions.) If there is a constant \(C\) such that for \(\lambda_\phi=r^2_\phi + \tfrac14\), with \(m=r_\phi+r_\psi\), we have \(a_n=b_n\) for \(n < C(\log m)^4\). Here the Rankin-Selberg \(L\)-function is \(L(s,\phi,\psi)=\sum^\infty_{n=1} a_n\overline{b_n}n^{-s}\), \(\Re s>1\). The short proof of 1) uses analogs of methods of \textit{H. Jacquet}, \textit{I. I. Piatetski-Shapiro} and \textit{J. A. Shalika} [Am. J. Math. 105, 367--464 (1983; Zbl 0525.22018)]. The proof of 2) requires an analog of a method of \textit{W. Roelcke} [S.-Ber. Heidelberg. Akad. Wiss., Math.-Naturwiss. Kl. 1953/55, No. 4, 1--109 (1956; Zbl 0072.30101)], involving Rayleigh quotients. The proof of 3) mimics some standard techniques from prime number theory. [For the entire collection see Zbl 0734.00015.]