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.

An $L^p$-spectral multiplier theorem with sharp $p$-specific regularity bound on Heisenberg type groups

An -Spectral Multiplier Theorem with Sharp p-Specific Regularity Bound on Heisenberg Type Groups

Spectral multipliers on Métivier groups

A sharp multiplier theorem for solvable extensions of Heisenberg and related groups

Some Liouville Type Theorems for the P-Sub-Laplacian on the Group of Heisenberg Type

Singular integrals on $ax+b$ hypergroups and an operator-valued spectral multiplier theorem

A Sobolev estimate for radial $L^p$-multipliers on a class of semi-simple Lie groups

$L^p$-$L^q$ Fourier multipliers and Hausdorff-Young-Paley inequalities on Riemannian symmetric spaces of noncompact type

$L^p -L^q$ boundedness of Fourier multipliers on quantum Euclidean spaces

A Hörmander-Mikhlin theorem for high rank simple Lie groups

The $L^p$-spectrum of the Laplacian on forms over warped products and Kleinian groups

Growth estimates to subelliptic p-Laplace equations on Heisenberg group

$L^{p}$-$L^{q}$ boundedness of Fourier multipliers on Fundamental domains of Lattices in $\mathbb{R}^d$

Bilinear Spectral Multipliers on Heisenberg Groups

Sharp spectral multipliers for Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates

Dynamics of $L^p$-Multiplier for $p\leq 2$ on Harmonic Manifolds of Purely Exponential Volume Growth

$L^p$-$L^q$ estimate of the Fourier multipliers on noncommutative spaces

The Hörmander Multiplier Theorem, I: the Linear Case Revisited

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

The local geometry of idempotent Schur multipliers

On the L^p Spectrum of Laplacians on Graphs