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 Moment Formulae for $GL(3)\times GL(2)$ $L$-functions I: The Cuspidal Case

Spectral Moment Formulae for $GL(3)\times GL(2)$ $L$-functions II: The Eisenstein Case

Spectral Moment Formulae for $GL(3)\times GL(2)$ $L$-functions III: The Twisted Case

Moments of symmetric square L-functions on GL(3)

Moments of $L$-functions via the relative trace formula

Kuznetsov, Petersson and Weyl on $GL(3)$, II: The generalized principal series forms

Mixed moments of $\rm GL(2)$ and symmetric square $L$-functions

Spectral reciprocity for $\mathrm{GL}(n)$ and simultaneous non-vanishing of central $L$-values

On a Rankin-Selberg integral of the L-function for $\widetilde{SL}_2\times GL_2$

The second moment of the $GL_3$ standard $L$-function on the critical line

Rankin-Selberg convolutions for $\mathrm{GL}(n)\times \mathrm{GL}(n)$ and $\mathrm{GL}(n)\times \mathrm{GL}(n-1)$ for principal series representations

Relative Trace Formula, Subconvexity and Quantitative Nonvanishing of Rankin-Selberg $L$-functions for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$

On A Generalization of Motohashi's Formula

Density theorems for $\text{GL}_n$ via Rankin-Selberg $L$-functions

Relative Trace Formula And Simultaneous Nonvanishing for GL_3 x GL_2 and GL_3 x GL_1 L-functions

A zero-density estimate for $L$-functions associated with $\rm GL(3)$ Hecke--Maass cusp forms

Special values of $L$-functions for $\mathrm{GL}_5 \times \mathrm{GL}_4$

Uniform bounds for $\rm GL(3) \times GL(2)$ $L$-functions

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

Strong Hybrid Subconvexity for Twisted Selfdual $\mathrm{GL}_3$ $L$-Functions

Bessel Periods on $U(2,1) \times U(1,1)$, Relative Trace Formula and Non-Vanishing of Central $L$-values