Abstract:Let $g$ be a Hecke-Maass cusp form on the modular surface ${\rm SL}_2(\mathbb{Z})\backslash\mathbb{H}$, namely an $L^2$-normalised nonconstant Laplacian eigenfunction on ${\rm SL}_2(\mathbb{Z})\backslash\mathbb{H}$ that is additionally a joint eigenfunction of every Hecke operator. We prove the $L^4$-norm bound $\|g\|_4\ll_{\varepsilon}\lambda_g^{3/304+\varepsilon}$, where $\lambda_g$ denotes the Laplacian eigenvalue of $g$, which improves upon Sogge's $L^4$-norm bound $\|g\|_4\ll\lambda_g^{1/16}$ for Laplacian eigenfunctions on a compact Riemann surface by more than a six-fold power-saving. Via interpolation, this yields $L^p$-norm bounds for Hecke-Maass cusp forms that are power-saving improvements on Sogge's bounds for all $p>2$. Our paper marks the first improvement of Sogge's result on the modular surface. Furthermore, these methods yield for compact arithmetic surfaces the best $L^4$-norm bound to date. Via the Watson-Ichino triple product formula, bounds for the $L^4$-norm of $g$ are reduced to bounds for certain mixed moments of $L$-functions. We bound these using two forms of spectral reciprocity. The first is a form of ${\rm GL}_3\times{\rm GL}_2\leftrightsquigarrow{\rm GL}_4\times{\rm GL}_1$ spectral reciprocity, which relates a ${\rm GL}_2$ moment of ${\rm GL}_3\times{\rm GL}_2$ Rankin-Selberg $L$-functions to a ${\rm GL}_1$ moment of ${\rm GL}_4\times{\rm GL}_1$ Rankin-Selberg $L$-functions; this can be seen as a cuspidal analogue of Motohashi's formula relating the fourth moment of the Riemann zeta function to the third moment of central values of Hecke $L$-functions. The second is a form of ${\rm GL}_4\times{\rm GL}_2\leftrightsquigarrow{\rm GL}_4\times{\rm GL}_2$ spectral reciprocity, which is a cuspidal analogue of a formula of Kuznetsov for the fourth moment of central values of Hecke $L$-functions.

Spectral Bounds on Hyperbolic 3-Manifolds: Associativity and the Trace Formula

Bounds on spectral gaps of Hyperbolic spin surfaces

Automorphic Spectra and the Conformal Bootstrap

Spectral estimate for the Laplace-Beltrami operator on the hyperbolic half-plane

Hyperbolic 3-manifolds with uniform spectral gap for coclosed 1-forms

Spectral geometry on manifolds with fibred boundary metrics I: Low energy resolvent

Spectral estimates on hyperbolic surfaces and a necessary condition for observability of the heat semigroup on manifolds

Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds

Spectral Gap Estimates on Conformally Flat Manifolds

Discreteness of spectrum for the $\overline\partial$-Neumann Laplacian on manifolds of bounded geometry

Bakry-Èmery, Hardy, and Spectral Gap Estimates on Manifolds with Conical Singularities

Spectral Asymptotics of Elliptic Operators on Manifolds

The Laplace spectrum on conformally compact manifolds

Spectral gaps, critical exponents and representations of negatively curved groups

Lower bounds for volumes and orthospectra of hyperbolic manifolds with geodesic boundary

On the essential spectra of submanifolds in the hyperbolic space

$L^p$-spectral theory for the Laplacian on forms

Topology of the Dirac equation on spectrally large three-manifolds

$L^p$-Norm Bounds for Automorphic Forms via Spectral Reciprocity

Elementary spectral invariants and quantitative closing lemmas for contact three-manifolds

Length orthospectrum of convex bodies on flat tori