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.

New and old Saito-Kurokawa lifts classically via $L^2$ norms and bounds on their supnorms: level aspect

The sup-norm problem for newforms of large level on $\operatorname{PGL}(n)$

Bounds on Fourier coefficients and global sup-norms for Siegel cusp forms of degree 2

Orthant-Strictly Monotonic Norms, Generalized Top-k and k-Support Norms and the L0 Pseudonorm

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

Petersson norms of Borcherds theta lifts to O(1, 8n+1) with applications to injectivity and sup-norm bounds

Level numbers of a bounded linear operator between normed linear spaces-II

The sup-norm problem beyond the newform

$L^\infty$-sizes of the spaces Siegel cusp forms of degree $n$ via Poincaré series

On the local $L^2$-Bound of the Eisenstein Series

Lifted codes and the multilevel construction for constant dimension codes

L^2 -Extension of Adjoint Bundles and Kollár’s Conjecture

Certain L2-norms on automorphic representations of SL(2)

On the formula for the norms of Miyawaki lifts

$L^2$-extension indices, sharper estimates and curvature positivity

Norm estimates and asymptotic faithfulness of the quantum $SU(n)$ representations of the mapping class groups

Goresky–Pardon Lifts of Chern Classes and Associated Tate Extensions

New norm and numerical radius bounds

Sharpening the gap between $L^{1}$ and $L^{2}$ norms

A note on the spaces of Eisenstein series on general congruence subgroups

Extreme values of $L$-functions of newforms