English

Expository notes on Spectral Reciprocity with Explicit Transform

Number Theory 2025-12-19 v2

Abstract

We assemble three basic analytic inputs -- the Kuznetsov trace formula on SL2(Z)\mathrm{SL}_2(\mathbb Z) with explicit continuous spectrum, the GL3\mathrm{GL}_3 Voronoi formula, and tt-aspect second-moment bounds for L(1/2+it,φ)L(1/2+it,\varphi) -- into a single framework for a smoothed GL3\mathrm{GL}_3 spectral average. For a fixed Hecke-Maass cusp form φ\varphi on SL3(Z)\mathrm{SL}_3(\mathbb Z), we evaluate a weight-00 spectral average of L(1/2,φ×fj)L(1/2,\varphi\times f_j) over the GL2\mathrm{GL}_2 Maass spectrum. In the Kuznetsov normalization where the diagonal transform has density ttanh(πt)t\tanh(\pi t), the diagonal contributes exactly 2H0[h]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 GL3\mathrm{GL}_3 tt-aspect. The argument is organized into a sequence of steps: normalizations and approximate functional equations, insertion into Kuznetsov, Voronoi summation on GL3\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.

Keywords

Cite

@article{arxiv.2512.12118,
  title  = {Expository notes on Spectral Reciprocity with Explicit Transform},
  author = {Haonan Gu},
  journal= {arXiv preprint arXiv:2512.12118},
  year   = {2025}
}
R2 v1 2026-07-01T08:23:06.712Z