An analogue of the Bombieri-Vinogradov theorem for Fourier coefficients of cusp forms
type: Item
instance of: scholarly article
title: An analogue of the Bombieri-Vinogradov theorem for Fourier coefficients of cusp forms
zbMATH Open document ID: 1430.11057
author: Ratnadeep Acharya
published in: Mathematische Zeitschrift
publication date: 2018-03-21T00:00:00Z
review text: In this work, the author considered the problem of analogues of the Bombieri-Vinogradov Theorem and the Barban-Davenport-Halberstam theorem on primes in arithmetic progressions for Fourier coefficients of cusp forms. For this reason, he set theree functions \[ D_{f}(X;q,a) =\sum_{n\leq X,\ n\equiv a(q)}\lambda_{f}(n)-\frac{1}{\phi (q)}\sum_{n\leq X,\ (n,q)=1}\lambda_{f}(n), \] \[ P_{f}(X;q,a) =\sum_{p\leq X,\ p\equiv a(q)}\lambda_{f}(p)-\frac{1}{\phi (q)}\sum_{p\leq X,\ (p,q)=1}\lambda_{f}(p),\ p\text{ is prime} \] and \[ D_{f}^{\ast}(X;q,a)=\sum_{p\leq X,\ n\equiv a(q)}\lambda_{f}(n)\Lambda (n)-\frac{1}{\phi (q)}\sum_{n\leq X,\ (n,q)=1}\lambda_{f}(p)\Lambda (n) \] and stated an analogue of the classical Bombieri-Vinogradov Theorem, namely, \textbf{Theorem 1.1} Given any \(B>0\), there exists \(C=C(B)>0\) such that \[\sum_{q\leq Q}\max_{(a,q)=1}|D_{f}^{\ast}(X;q,a)|\ll X(\log X)^{-C},\] where \(Q=X^{\frac{1}{2}}(\log X)^{-B}\). Also he stated an analogous to the classical Barban-Davenport-Halberstam Theorem, namely, \textbf{Theorem 1.2} Given any \(B>0\), there exists a constant \(C(B)>0\) such that \[ \sum_{q\leq Q}\sum_{(a,q)=1}|P_{f}(X;q,a)|^{2}\ll X^{2}\exp (-B(\log X)^{\frac{1}{2}}), \] if \(Q=X\exp (-C(\log X)^{\frac{1}{2}})\). Further he obtained the following theorem which treated the case where the inner sums are not restricted over primes. \textbf{Theorem 1.3} For every \(\varepsilon >0\) and some \(C>0\), \[ \sum_{q\leq Q}\sum_{(a,q)=1}|D_{f}(X;q,a)|^{2}\ll X(Q+X^{\frac{11}{12}+\varepsilon})(\log Q)^{C}. \] It is clear to replace the divisor function by Fourier coefficients of a fixed cusp form \(f\) and one can \[ S(X):=\sum_{n\leq X}\Lambda (n)\lambda_{f}(n-a), \] where \(a\) is any integer. Also set \[ S_{0}(X):=\sum_{p\leq X}\lambda_{f}(p)\tau (p-1). \] Then from Theorem 1.1 he obtained that \textbf{Theorem 1.4} For the set \(S_{0}(X)\), \[S_{0}(X)\ll \frac{X\log (\log X)}{\sqrt{\log X}},\] where the implied constant depends only on \(f\).
reviewed by: Ahmet Tekcan
Mathematics Subject Classification ID: 11F30
Mathematics Subject Classification ID: 11N37
zbMATH DE Number: 6851615
zbMATH Keywords: Bombieri-Vinogradov theorem
zbMATH Keywords: arithmetic progressions
zbMATH Keywords: Fourier coefficients
zbMATH Keywords: cusp forms
MaRDI profile type: Publication
full work available at URL: s00209-017-1875-2
OpenAlex ID: W2599584455
cites work: La conjecture de Weil. I
cites work: Strong orthogonality between the Möbius function, additive characters and Fourier coefficients of cusp forms
cites work: Footnote to the Titchmarsh-Linnik Divisor Problem
cites work: Q4853473
cites work: Q4846158
cites work: Summation Formulae for Coefficients of L-functions
cites work: Q4830109
cites work: Functoriality for the exterior square of 𝐺𝐿₄ and the symmetric fourth of 𝐺𝐿₂
cites work: On a variance of Hecke eigenvalues in arithmetic progressions
cites work: Q5719475
cites work: Topics in multiplicative number theory
cites work: On an analogue of Titchmarsh’s divisor problem for holomorphic cusp forms
cites work: Q4152617
DOI: 10.1007/S00209-017-1875-2
description: scientific article; zbMATH DE number 6851615