Theta functions, fourth moments of eigenforms, and the sup-norm problem. I (Q6994702)

The main purpose of the article under review is to give sharp point-wise bounds, and sup norms, in the weight-aspect on fourth moments of modular forms on arithmetic hyperbolic surfaces associated to Eichler orders. The main result is\N\NTheorem 1.1. Let the arithmetic lattice \(\Gamma < \mathrm{SL}_2(\mathbb{R})\) be the unit norm elements of an Eichler order in an indefinite quaternion algebra over \(\mathbb{Q}\) and \(\{f_j\}_j \subset S^{\mathrm{new}}_m(\Gamma)\) be an orthonormal (with respect to the invariant probability measure) basis of Hecke newforms of weight \(m > 4\). Then, there is a constant \(A \geq 1\), such that for any \(\varepsilon > 0\), there is a constant \(C_\varepsilon\) for which we have \N\[\N\sum_j y^{2m} |f_j(z)|^4 \leq C_\varepsilon \, \mathrm{covol}(\Gamma)^A m^{1+\varepsilon} \left(1 + m^{-1/2} \mathrm{ht}_\Gamma(z)^2\right),\N\]\Nwhere \(\mathrm{ht}_\Gamma(z) = 1\) if \(\Gamma\) is co-compact and\N\[\N\mathrm{ht}_\Gamma(z) = \max_{\gamma \in \mathrm{SL}_2(\mathbb{Z})} \Im(\gamma z)\N\]\Nif \(\Gamma < \mathrm{SL}_2(\mathbb{Z})\). Furthermore, we have \N\[\N\sum_j \|f_j\|_4^4 \leq C_\varepsilon \, \mathrm{covol}(\Gamma)^A m^{1+\varepsilon}. \N\]\N\textit{H. Xia} [J. Number Theory 124, No. 2, 325--327 (2007; Zbl 1121.11038)] proved a sharp sup-norm bound Hecke holomorphic cusp forms for the modular group. The result below generalizes it to compact arithmetic subgroups of \(\text{PSL}(2,\mathbb{R})\).\N\NCorollary 1.2. Let \(\Gamma < \mathrm{SL}_2(\mathbb{R})\) be as above with the additional assumption of being co-compact (if and only if \(B(\mathbb{Q})\) is non-split) and \(f \in S^{\mathrm{new}}_m(\Gamma)\) a Hecke newform of weight \(m > 4\). Then, there is a constant \(A \geq 1\), such that for any \(\varepsilon > 0\), there is a constant \(C_\varepsilon\) for which we have \N\[\N\sup_{z \in \mathbb{H}} y^{m/2} |f(z)| \leq C_\varepsilon \, \mathrm{covol}(\Gamma)^A m^{1/4+\varepsilon} \|f\|_2.\N\]\NThe method of proof relies on the theta correspondence. The main advantages of this approach is that instead of looking at an amplified second moment, they are able to bound a fourth moment sharply and it works for co-compact lattices equally well as it does for non-co-compact lattices.