No label defined (Q4249713)

Let \(\Gamma< \text{SL} (2,\mathbb{R})\) be a cofinite subgroup such that \(\infty\) is a cusp of \(\Gamma\) with normalized generator \(\binom {1\;1}{0\;1}\) of the stabilizer \(\Gamma_\infty\). Assume that \(F\) is either (a) a holomorphic cusp form of even integral weight \(2k\) on \(\Gamma\), or (b) a Maaß cusp form of weight zero on \(\Gamma\). \(F\) has a Fourier expansion at \(\infty\) of the form \[ F(z)= \sum a_n|n|^{k-\frac 12} W(nz) \qquad (\text{Im }z>0) \] where \(W(z)= \exp 2\pi iz\) in case (a) and where \(W(z)\) is given in terms of the Bessel function \(K_{ir}\) in case (b). The aim of the paper under review is to provide a uniform way of estimating the Fourier coefficients \(a_n\) in the cases (a) and (b). Recent results on the estimation of \(a_n\) are surveyed in the introduction. The author's approach to the problem is based on a study of Rankin-Selberg convolutions. This leads to the following bound for the Fourier coefficients: \[ a_n= O(|n|^{\frac 38+ \varepsilon}). \] This bound is worse than Good's estimate \[ a_n= O(n^{\frac 13+ \varepsilon}) \] for the case (a) but new in the case (b). Reviewer's remarks: (1) In the case (b), the analogue of Good's estimate namely \[ a_n= O(|n|^{\frac 13+ \varepsilon}) \] has just been proved [see \textit{J. Bernstein} and \textit{A. Reznikov}, Ann. Math. (2) 150, 329-352 (1999) (see the following review Zbl 0934.11023)]. (2) The expansion of Maaß wave forms in polar coordinates is also contained in Section 2 of the reviewer's work in [Math. Ann. 203, 295-330 (1973; Zbl 0254.10023)]. For the entire collection see [Zbl 0910.00037].