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.

The Markoff and Lagrange spectra on the Hecke group H4

On General 2-dimensional Lattice Spectra: Closedness, Hall's Ray, and Examples

On the homotopy type of L-spectra of the integers

The Slice Spectral Sequence of a C_4-equivariant Height-4 Lubin-Tate Theory

Real Orientations of Lubin-Tate Spectra

On the spectra of P- and P0-matrices

Quadratic Lagrange spectrum: I

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

Explicit spectral gap for Hecke congruence covers of arithmetic Schottky surfaces

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

On the classical Lagrange and Markov spectra: new results on the local dimension and the geometry of the difference set

The Residual Spectrum of $F_4$ Arising from Degenerate Eisenstein Series

Hecke operators and analytic Langlands correspondence for curves over local fields

Comparing Hecke Coefficients of Automorphic Representations

The spectrum of the Vladimirov sub-Laplacian on the compact Heisenberg group

Positive Hausdorff Dimensional Spectrum for the Critical Almost Mathieu Operator

The Spectral Hecke Algebra

The Twelfth Moment of Hecke $L$-Functions in the Weight Aspect

On the $\mathrm{Sp}_{2n}$-distinguished automorphic spectrum of $\mathrm{U}_{2n}$

On spectra of Hankel operators on the polydisc

Hecke eigenvalues in p-modular representations of unramified U(2,1)