Large sums of Hecke eigenvalues of holomorphic cusp forms

Abstract

Let $f$ be a Hecke cusp form of weight $k$ for the full modular group, and let $\{{\lambda }_f(n){\}}_{n\ge 1}$ be the sequence of its normalized Fourier coefficients. Motivated by the problem of the first sign change of ${\lambda }_f(n)$, we investigate the range of $x$ (in terms of $k$) for which there are cancellations in the sum $S_f(x)={\sum }_{n\le x}{\lambda }_f(n)$. We first show that $S_f(x)=o(x\log x)$ implies that ${\lambda }_f(n)<0$ for some $n\le x$. We also prove that $S_f(x)=o(x\log x)$ in the range $\log x/\log \log k\to \infty$ assuming the Riemann hypothesis for $L(s,f)$, and furthermore that this range is best possible unconditionally. More precisely, we establish the existence of many Hecke cusp forms $f$ of large weight $k$, for which $S_f(x){\gg }_{A}x\log x$, when $x=(\log k{)}^A.$ Our results are $G{L}_2$ analogues of work of Granville and Soundararajan for character sums, and could also be generalized to other families of automorphic forms.

arXiv comment19 pages, submitted