Expository notes on Spectral Reciprocity with Explicit Transform

TL;DR

This paper develops a unified analytic framework combining trace formulas, Voronoi summation, and second-moment bounds to analyze spectral averages of Rankin-Selberg L-functions on GL(3) and GL(2).

Contribution

It introduces a novel integrated approach that combines multiple analytic tools to evaluate spectral averages of L-functions with power savings, advancing understanding of automorphic forms.

Findings

Bound the off-diagonal and continuous spectrum with power savings.

Explicit evaluation of the diagonal and Eisenstein contributions.

Unified framework for spectral averages with improved bounds.

Abstract

We assemble three basic analytic inputs -- the Kuznetsov trace formula on $\mathrm{SL}_2(\mathbb Z)$ with explicit continuous spectrum, the $\mathrm{GL}_3$ Voronoi formula, and $t$-aspect second-moment bounds for $L(1/2+it,\varphi)$ -- into a single framework for a smoothed $\mathrm{GL}_3$ spectral average. For a fixed Hecke-Maass cusp form $\varphi$ on $\mathrm{SL}_3(\mathbb Z)$, we evaluate a weight-$0$ spectral average of $L(1/2,\varphi\times f_j)$ over the $\mathrm{GL}_2$ Maass spectrum. In the Kuznetsov normalization where the diagonal transform has density $t\tanh(\pi t)$, the diagonal contributes exactly $2\mathcal H_0[h]$; the off-diagonal and the continuous spectrum are bounded with power savings consistent with the currently best unconditional second-moment bounds in the $\mathrm{GL}_3$ $t$-aspect. The argument is organized into a sequence of steps: normalizations and approximate functional equations, insertion into Kuznetsov, Voronoi summation on $\mathrm{GL}_3$, a bilinear estimate for the off-diagonal, evaluation of the diagonal and the Eisenstein contribution, moment refinements and parameter optimization, and finally plateau-smooth spectral windows and standard generalizations.