Bounding the sup-norm of automorphic forms (Q1774014)

Let \(\mathbb H\) be the upper half-plane, let \(\Gamma\) be a Fuchsian subgroup of the first kind of \(\text{PSL}_2({\mathbb R})\), and let \(M=\Gamma\setminus {\mathbb H}\). Assume the compactification of \(M\) has genus \(g_M>0.\) Let \(\{f_1,\ldots,f_{g_M}\}\) be an orthonormal basis of cusp forms of weight \(2\) with respect to \(\Gamma\), normalized to have \(L^2\)-norm equal to 1. Assume \(M\) is a finite degree cover of the hyperbolic Riemann surface \(M_0=\Gamma_0\setminus{\mathbb H}\). The main result is \[ \sup_{z\in{\mathbb H}}\sum_{j=1}^{g_M}\text{Im}(z)^2| f_j(z)| ^2=O_{M_0}(1). \] Corollary: Let \(f_H\) be a new form for \(\Gamma_0(N)\), which is Hecke-normalized, i.e. the first Fourier coefficient in its \(q\)-expansion is 1. For any \(\varepsilon>0\) it holds \[ \sup_{z\in{\mathbb H}}| \text{Im}(z)f_H(z)| =O_{\varepsilon} (N^{\frac{1}{2}+\varepsilon}). \] This corollary reproves theorem A from \textit{A. Abbes} and \textit{E. Ullmo} [Duke Math. J. 80, No. 2, 295--307 (1995; Zbl 0895.14007)]. The authors speculate that the optimal bound is of the form \[ \sup_{z\in{\mathbb H}}| \text{Im}(z)f_H(z)| =O_{\varepsilon}(N^{\varepsilon}). \]