Bounds for eigenforms on arithmetic hyperbolic 3-manifolds (Q272926): Difference between revisions

The paper considers the problem of bounding the \(L^\infty\)-norm of Hecke-Maaß cuspidal newforms on certain noncompact arithmetic hyperbolic \(3\)-manifolds, which may be viewed as a special case of the restriction problem with the cycles reduced to points. For the motivation, possible applications, historical remarks and the state-of-the-art of the problems regarding the limiting behavior of the eigenfunctions of the Laplace operator on a Riemannian manifold, as well as its relation to the quantum unique ergodicity (QUE) conjecture, bounds for \(L^p\)-norms, and restriction problems, see the very inspiring introduction of the present paper. The setting for the main results is the following. Let \(\mathbb{H}^3\) be the hyperbolic upper half-space. Let \(K=\mathbb{Q}(i)\) be the Gaußian number field with \(\mathcal{O}_K=\mathbb{Z}[i]\) the ring of Gaußian integers. Given \(N\), a square-free Gaußian integer, consider the congruence subgroup \[ \Gamma_0(N)=\left\{\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in \mathrm{SL}_2(\mathcal{O}_K)\,:\, N\mid c \right\}, \] which acts on \(\mathbb{H}^3\). The quotient \(\Gamma_0(N)\backslash\mathbb{H}^3\) is a noncompact arithmetic hyperbolic \(3\)-manifold. Its volume \(V\) satisfies \[ V\asymp |N|^{2+o(1)}. \] Let \(\phi\) be a Hecke-Maaß cuspidal newform on \(\Gamma_0(N)\backslash\mathbb{H}^3\) of level \(N\) and the Laplacian eigenvalue \(\lambda\). Let \[ T=\max\{1,|t|\}\asymp 1+\sqrt{\lambda}, \] where \(t=\sqrt{\lambda-1}\) is a spectral parameter. The main results are improvements of the bound \[ \|\phi\|_\infty\ll_\varepsilon T(TV)^\varepsilon, \] for the \(L^\infty\)-norm of \(\phi\) in terms of volume \(V\) and the spectral parameter \(T\), which is an analogue of the general bound for an \(L^2\)-normalized eigenfunction for the Laplace operator on a compact Riemannian manifold (see e.g.~ [\textit{H. Donnelly}, J. Funct. Anal. 187, No. 1, 247--261 (2001; Zbl 0991.58006); \textit{C. D. Sogge}, J. Funct. Anal. 77, No. 1, 123--138 (1988; Zbl 0641.46011)]). The obtained improvement in the volume aspect is \[ \|\phi\|_\infty\ll_\varepsilon TV^{-1/6}(TV)^\varepsilon, \] in the eigenvalue aspect \[ \|\phi\|_\infty\ll_\varepsilon T^{5/6}(TV)^\varepsilon, \] and, as a consequence, the hybrid bound in both aspects is \[ \|\phi\|_\infty\ll_\varepsilon (TV^{1/2})^{-1/9}T(TV)^\varepsilon. \] The method of proof is to use the arithmetic amplification of \textit{H. Iwaniec} and \textit{P. Sarnak} [Ann. Math. (2) 141, No. 2, 301--320 (1995; Zbl 0833.11019)]. The technical heart of the paper is a certain Diophantine problem, which arises from the amplified pretrace formula on the geometric side after inserting a suitable test function.