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.

Baker–Akhiezer function for the deformed root system BC(l,1) and bispectrality

Baker-Akhiezer function for the deformed root system $BC(l,1)$ and bispectrality

Chalykh's Baker-Akhiezer functions as eigenfunctions of the integer-ray integrable systems

A basic triad in Macdonald theory

Algebraic de Rham theorem and Baker-Akhiezer function

Bifurcation Measures and Quadratic Rational Maps

Maximal Slicing for Puncture Evolutions of Schwarzschild and Reissner-Nordström Black Holes

On Borel–de Siebenthal Representations

KMS Dirichlet forms, coercivity and super-bounded Markovian semigroups on von Neumann algebras

Separation of variables for A2 Ruijsenaars model and new integral representation for A2 Macdonald polynomials

On the slice spectral sequence for quotients of norms of Real bordism

Macdonald Duality and the proof of the Quantum Q-system conjecture

Singular curves and Baker-Akhiezer functions

Some Analytic Aspects of Automorphic Forms on GL(2) of Minimal Type

Deformed Kazhdan-Lusztig elements and Macdonald polynomials

The $BC_{1}$ Elliptic model: algebraic forms, hidden algebra $sl(2)$, polynomial eigenfunctions

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

Spectral Meromorphic Operators and Nonlinear Systems

Baxter operators in Ruijsenaars hyperbolic system II. Bispectral wave functions

Moduli spaces of quadratic differentials: Abel-Jacobi map and deformation