1
$\begingroup$

We can sums over multiplicative Dirichlet characters $\sum\limits_{N<n<M}\chi(n)$ using the Polya Vinogradov inequality by $\ll \sqrt{p}\log\,p .$ Is there a similar estimate when we sum over primitive roots modulo q, where q is a fixed integer: $$\sum\limits_{\substack{N<n<M\\ (n,q)=1}}e^{2\pi i \frac{n}{q}}$$

$\endgroup$
5
  • 3
    $\begingroup$ No; consider what happens with $N=1$ and $M=q/100$. $\endgroup$
    – Lucia
    Mar 8 '18 at 3:04
  • $\begingroup$ Hi, I do not understand what you mean. $\endgroup$
    – Claus
    Mar 8 '18 at 3:25
  • $\begingroup$ You say "primitive roots", but your sum is over all reduced residue classes; is that what you mean? $\endgroup$ Mar 8 '18 at 7:42
  • 1
    $\begingroup$ Lucia meant that for $0<\frac{n}{q}<1/100$ we have $\mathrm{Re}\,e^{\frac{2\pi i n}{q}}=\cos\left(\frac{2\pi i n}{q}\right)>\cos\left(\frac{\pi}{50}\right)$ and thus for $M=q/100, N=1$ the real part of your sum is at least $\cos\left(\frac{\pi}{50}\right)\#\{N<n<M: (n,q)=1\}$, i.e. you don't have any nontrivial estimate (up to some constant). $\endgroup$ Mar 8 '18 at 8:02
  • 1
    $\begingroup$ Also, unlike in the case of Dirichlet characters, your sum may be not bounded uniformly in $M$ and $N$, because the "complete" sum (with $N=0, M=q$) equals $\mu(q)$, which can be nonzero $\endgroup$ Mar 8 '18 at 8:43
4
$\begingroup$

The standard approach would use the Möbius function: \begin{align*} \sum_{\substack{N<n<M\\ (n,q)=1}}e^{2\pi i n/q} &= \sum_{N<n<M}e^{2\pi i n/q} \sum_{d\mid(n,q)} \mu(d) \\ &= \sum_{d\mid q} \mu(d) \sum_{\substack{N<n<M \\ d\mid n}}e^{2\pi i n/q} \\ &= \sum_{d\mid q} \mu(d) \sum_{N/d<m<M/d}e^{2\pi i m/(q/d)}. \end{align*} The inner sum is now a geometric series which can be evaluated exactly or approximated in standard ways....

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.