2022/06/04 by Alexander P. Mangerel, Mangerel, Alexander P.
Mathematics · #Advanced Algebra and Geometry #Analytic Number Theory Research #FOS: Mathematics #Limits and Structures in Graph Theory #Number Theory (math.NT)
paper · pdf · doi:10.48550/arxiv.2206.01947
openalex publication_date 2022/06/04 · openalex created_date 2022/06/13 · openalex updated_date 2026/07/28
Let f be a non-CM Hecke eigencusp form of level 1 and fixed weight, and let \λf(n)\n be its sequence of normalized Fourier coefficients. We show that if K/ ℚ is any number field, and NK denotes the collection of integers representable as norms of integral ideals of K, then a positive proportion of the positive integers n ∈ NK yield a sign change for the sequence \λf(n)\n ∈ NK. More precisely, for a positive proportion of n ∈ NK ∩ [1,X] we have λf(n)λf(n') < 0 where n' is the first element of NK greater than n for which λf(n') ≠ 0. For example, for K = ℚ(i) and NK = \m2+n2 : m,n ∈ ℤ\ the set of sums of two squares, we obtain ≫f X/√(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äki and Radziwiłł 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 ≠ 0 there are ≫f,ε X1/2-ε sign changes for λf along the sequence of integers of the form a + m2 + n2 ≤ X.