Bounded Exponential Sums with Multiplicative Coefficients

We investigate when the exponential sum $S_f(x,\alpha ):={\sum }_{n\le x}f(n)\mathrm{e}(n\alpha )$ is bounded, for a multiplicative function $f$ and $\alpha \in \mathbb{R}$. We show that under natural assumptions, $S_f(x,\alpha )$ is bounded only when $f$ is very close to a twisted Dirichlet character $\chi (n)n^{it}$. We obtain sharper classification results for functions that are completely multiplicative or take only finitely many values, including a complete classification in the case when $f$ is completely multiplicative and $\alpha$ is irrational. We also prove a stronger classification under the assumption that the sum is bounded for a positive measure set of $\alpha$.