Effective mass equidistribution conjecture for holomorphic Hecke forms

Let ΓSL2(Z)\Gamma\subseteq \operatorname{SL}_2(\operatorname{\mathbb{Z}}) be a Fuchsian group of the first kind, let fSk(Γ)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 gC0(Γ\H)g\in C_0^\infty(\Gamma\backslash\operatorname{\mathbb{H}}),

μf(g)ν~(g)kδgWT,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.

Sources & referencesView supporting material

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.