Effective mass equidistribution conjecture for holomorphic Hecke forms

Let Γ⊆SL⁡2(Z⁡)\Gamma\subseteq \operatorname{SL}_2(\operatorname{\mathbb{Z}}) be a Fuchsian group of the first kind, let f∈Sk(Γ)f\in S_k(\Gamma) be a normalized Hecke cusp form, and let μf\mu_f be its associated probability measure. Let ν~\widetilde{\nu} denote the uniform probability measure on Γ\H⁡\Gamma\backslash\operatorname{\mathbb{H}}, and let ∥⋅∥WT,2\lVert\cdot\rVert_{W^{T,2}} be the Sobolev norm on that surface. Effective mass equidistribution conjecture. There exist δ>0\delta>0 and T<∞T<\infty such that, for every g∈C0∞(Γ\H⁡)g\in C_0^\infty(\Gamma\backslash\operatorname{\mathbb{H}}),

∣μf(g)−ν~(g)∣≪k−δ∥g∥WT,2.\left\lvert\mu_f(g)-\widetilde{\nu}(g)\right\rvert\ll k^{-\delta}\lVert g\rVert_{W^{T,2}}.

This strengthens mass equidistribution by requiring a polynomial rate of convergence in the weight. The paper proves such an effective statement for almost all Hecke forms in suitable short weight intervals, with any exponent δ<1/2\delta<1/2, but not for every form.

References

Primary source

Steven Creech, “Cancellation in Sums of Hecke Eigenvalues Over Quadratic Polynomials and Mass Equidistribution”, arXiv:2508.18666 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.