Sign Changes of Fourier Coefficients of Cusp Forms at Norm Form Arguments

TL;DR

This paper proves that a positive proportion of integers that are norms from a number field cause sign changes in Fourier coefficients of certain cusp forms, with explicit bounds and improvements over previous results.

Contribution

It establishes new lower bounds on sign changes of Fourier coefficients at norm form integers, extending results to sums of two squares and utilizing recent advances in multiplicative function analysis.

Findings

Positive proportion of norm form integers induce sign changes in Fourier coefficients.

For sums of two squares, the number of sign changes is at least proportional to X/√log X.

Sign changes along shifted sums of two squares are also established with bounds involving X^{1/2 - ε}.

Abstract

Let $f$ be a non-CM Hecke eigencusp form of level 1 and fixed weight, and let $\{\lambda_f(n)\}_n$ be its sequence of normalized Fourier coefficients. We show that if $K/ \mathbb{Q}$ is any number field, and $\mathcal{N}_K$ denotes the collection of integers representable as norms of integral ideals of $K$, then a positive proportion of the positive integers $n \in \mathcal{N}_K$ yield a sign change for the sequence $\{\lambda_f(n)\}_{n \in \mathcal{N}_K}$. More precisely, for a positive proportion of $n \in \mathcal{N}_K \cap [1,X]$ we have $\lambda_f(n)\lambda_f(n') < 0$ where $n'$ is the first element of $\mathcal{N}_K$ greater than $n$ for which $\lambda_f(n') \neq 0$. For example, for $K = \mathbb{Q}(i)$ and $\mathcal{N}_K = \{m^2+n^2 : m,n \in \mathbb{Z}\}$ the set of sums of two squares, we obtain $\gg_f X/\sqrt{\log X}$ such sign changes, which is best possible (up to the implicit constant) and improves upon work of Banerjee and Pandey. Our proof relies on recent work of Matom\"{a}ki and Radziwi\l\l{} on sparsely-supported multiplicative functions, together with some technical refinements of their results due to the author. In a related vein, we also consider the question of sign changes along shifted sums of two squares, for which multiplicative techniques do not directly apply. Using estimates for shifted convolution sums among other techniques, we establish that for any fixed $a \neq 0$ there are $\gg_{f,\epsilon} X^{1/2-\epsilon}$ sign changes for $\lambda_f$ along the sequence of integers of the form $a + m^2 + n^2 \leq X$.