Twisted moments of \(L\)-functions and spectral reciprocity (Q2631594)

Let \(q,\ell\) be distinct odd primes. The article under review establishes a reciprocity formula between the spectrum of the Laplacian on \(\Gamma_0(q)\backslash\mathcal{H}\) and that on \(\Gamma_0(\ell)\backslash\mathcal{H}\). Fix an automorphic form \(F\) on \(\mathrm{SL}_3(\mathbb{Z})\). For any cusp form \(f\) on a congruence subgroup of \(\mathrm{SL}_2(\mathbb{Z})\), one associates the degree \(2\) \(L\)-function \(L(w,f)\) and the degree \(6\) \(L\)-function \(L(s,f\times F)\). The reciprocity formula relates sums of the degree \(8\) product \(L(s,f\times F)L(w,f)\) over \(f\) of level \(q\) to sums over \(f\) of level \(\ell\). With respect to a certain specialisation of \(s\) and \(F\), one obtains a reciprocity for the twisted fourth moment of central \(L\)-values \(L(1/2,f)\). The reciprocity formula has several applications, including subconvexity bounds and an upper bound for the fifth moment of automorphic \(L\)-functions. These applications are a consequence of trading the level for the forms for the twisting Hecke eigenvalue. A key step in proving the reciprocity formula is an additive reciprocity result, which is viewed as a local-to-global principle.