Large values of exponential sums with multiplicative coefficients
Andrew Granville, Youness Lamzouri
Abstract
In 1977 Montgomery and Vaughan gave tight bounds for exponential sums of the form $\sum_{n\leq x}f(n)e(nα)$ where $f$ is a $1$-bounded multiplicative function and $α\in\mathbb R$, close to the conjectured $\ll \frac{x}{\sqrt{q}}+ \frac{x}{\log x}$ where $α$ is best approximated by $|α-a/q|\leq 1/(qx)$, showing their results to be ``best-possible'' by observing that the first part of their bound is more-or-less attained when $f(n)=χ(n), α=\frac aq$ where $χ$ is a primitive character mod $q$, and the second part when $f(p)=e(-αp)$ for all large primes $p$. La Bretèche and Granville proved that when $α$ lies on a major arc the exponential sum is significantly smaller unless $f$ ``pretends to be'' $χ(n)n^{it}$ for some character $χ$ and real number $|t|<\log x$; and herein we prove that when $α$ lies on a minor arc, the exponential sum is significantly smaller unless $f(p)$ pretends to be $e(-hpα)$ for primes $p\leq x$ for some bounded integer $h$. We also study exponential sums $\sum_{n\leq x, P^+(n)\leq y} f(n) e(nα)$ restricted to $y$-smooth (or $y$-friable) integers $n$. We conjecture that this sum is $\ll \frac{Ψ(x, y)}{\sqrt{q}}+ \frac{\sqrt{xy}}{\log x} $ in a wide range of parameters, show that if true this is best possible, and prove an upper bound in a wide range that is only slightly weaker than the conjecture. Finally we study the logarithmically weighted exponential sums $\sum_{n\leq x} \frac{f(n)}{n} e(nα)$. We conjecture that this sum is $\ll \frac{\log x}{\sqrt{q}}+\log q$ in a wide range of parameters, show that if true this is best possible, and prove an upper bound in a wide range that is only slightly weaker than the conjecture. Along the way, we will prove various technical results about multiplicative functions which may be of use elsewhere.