Year: 2026
Type: preprint
Abstract: Let $\mathcal{H}_k$ denote the set of normalized holomorphic Hecke cusp forms of weight $k$ for the full modular group $ \mathrm{SL}_2(\mathbb Z)$. For each $f\in\mathcal{H}_k$, let $λ_f(n)$ denote the corresponding eigenvalue of the normalized Hecke operator $T_n$. We prove nontrivial upper bounds for \[\sum_{f \in \mathcal{H}_k}ω_f \left|\sum_{n \leq x} λ_f(n)\right|^{2q},\] where $k$ is a positive even integer, $1\leqslant x\leqslant k$, $0\leqslant q \leqslant 1$ and $ ω_f = \frac{Γ(k-1)} {(4π)^{k-1}\langle f,f\rangle} = \frac{2π^2} {(k-1)L(1,\mathrm{Sym}^2 f)}. $ Our estimates match the conjecturally sharp upper bound for $1\leqslant x\leqslant k^{0.99}$. In particular, whenever both $x$ and $k/x$ tend to infinity with $k$, we obtain \[\sum_{f \in \mathcal{H}_k}ω_f \left|\sum_{n \leq x} λ_f(n)\right|=o(\sqrt{x}).\] We also prove upper bounds for low moments of sums of Hecke eigenvalues associated with Hecke--Maass cusp forms for $\mathrm{SL}_2(\mathbb Z)$. We study these sums through the probabilistic model proposed by Cogdell--Michel. We also determine the order of magnitude of low moments of this probabilistic model, which is equivalent to determining the order of magnitude of low moments of Hecke eigenvalue sums in the limit.
Source: arXiv (Cornell University)
Authors: Xu, Max Wenqiang, Zheng, Junren
Institutions: Université de Montréal, Tsinghua University
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213341830