alphaFeedback
PDF

WorksMathematics

Quantum Variance for Hecke–Maass Cusp Forms on the Vertical Geodesic

Publication details
License
CC BY 4.0
Status
Published
AI contributions
Not recorded for this paper
View details
Abstract · v1

Let X=PSL2(Z)\HX=\mathrm{PSL}_2(\mathbb Z)\backslash\mathbb H, and let {uj}\{u_j\} be an orthonormal basis of even Hecke–Maass cusp forms on XX with Laplace eigenvalues 1/4+tj21/4+t_j^2. For a real-valued ψ∈Cc∞(0,∞)ψ\in C_c^\infty(0,\infty), define μj(ψ)=∫0∞ψ(y)∣uj(iy)∣2 dyy,M(ψ)=6π∫0∞ψ(y) dyy. μ_j(ψ)=\int_0^\inftyψ(y)|u_j(iy)|^2\,\frac{dy}{y}, \qquad M(ψ)=\frac6π\int_0^\inftyψ(y)\,\frac{dy}{y}. For T≥2T\ge2, 1≤U≤T1\le U\le T, and every ε>0\varepsilon>0, we prove ∑uj evenT<tj≤T+UL(1,sym2uj)∣μj(ψ)−M(ψ)∣2≪ψ,εT1+ε. \sum_{\substack{u_j\ {\rm even}\\T<t_j\le T+U}} L(1,\mathrm{sym}^2u_j)|μ_j(ψ)-M(ψ)|^2 \ll_{ψ,\varepsilon}T^{1+\varepsilon}. As a consequence, for fixed 0<θ≤10<θ\le1, 0<η<θ/20<η<θ/2, and every ε>0\varepsilon>0, if Tθ≤U≤TT^θ\le U\le T, then all but Oψ,θ,η,ε ⁣(T1+2η+ε) O_{ψ,θ,η,\varepsilon} \!\left(T^{1+2η+\varepsilon}\right) of the even forms with T<tj≤T+UT<t_j\le T+U satisfy μj(ψ)=M(ψ)+O(T−η)μ_j(ψ)=M(ψ)+O(T^{-η}). In particular, the exceptional proportion tends to zero in this short spectral interval.

Review conversation

Reviews are not available for this work yet.