Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2505.07651 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915351748411392 |
|---|---|
| author | Mangerel, Alexander P. |
| author_facet | Mangerel, Alexander P. |
| contents | Let $g \geq 3$ be fixed and odd, and for large $q$ let $χ$ be a primitive Dirichlet character modulo $q$ of order $g$. Conditionally on GRH we improve the existing upper bounds in the Pólya-Vinogradov inequality for $χ$, showing that $$ M(χ) := \max_{t \geq 1} \left|\sum_{n \leq t} χ(n) \right| \ll \sqrt{q} \frac{(\log\log q)^{1-δ_g} (\log\log\log\log\log q)^{δ_g}}{(\log\log\log q)^{1/4}}, $$ where $δ_g := 1-\tfrac{g}π\sin(π/g)$. Furthermore, we show unconditionally that there is an infinite sequence of order $g$ primitive characters $χ_j$ modulo $q_j$ for which $$ M(χ_j) \gg \sqrt{q_j} \frac{(\log\log q_j)^{1-δ_g} (\log\log\log\log\log q_j)^{δ_g}}{(\log\log\log q_j)^{1/4}}, $$ so that our GRH bound is sharp up to the implicit constant. This improves on previous work of Granville and Soundararajan, of Goldmakher, and of Lamzouri and the author. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_07651 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Sharp bounds for maximal sums of odd order Dirichlet characters Mangerel, Alexander P. Number Theory Let $g \geq 3$ be fixed and odd, and for large $q$ let $χ$ be a primitive Dirichlet character modulo $q$ of order $g$. Conditionally on GRH we improve the existing upper bounds in the Pólya-Vinogradov inequality for $χ$, showing that $$ M(χ) := \max_{t \geq 1} \left|\sum_{n \leq t} χ(n) \right| \ll \sqrt{q} \frac{(\log\log q)^{1-δ_g} (\log\log\log\log\log q)^{δ_g}}{(\log\log\log q)^{1/4}}, $$ where $δ_g := 1-\tfrac{g}π\sin(π/g)$. Furthermore, we show unconditionally that there is an infinite sequence of order $g$ primitive characters $χ_j$ modulo $q_j$ for which $$ M(χ_j) \gg \sqrt{q_j} \frac{(\log\log q_j)^{1-δ_g} (\log\log\log\log\log q_j)^{δ_g}}{(\log\log\log q_j)^{1/4}}, $$ so that our GRH bound is sharp up to the implicit constant. This improves on previous work of Granville and Soundararajan, of Goldmakher, and of Lamzouri and the author. |
| title | Sharp bounds for maximal sums of odd order Dirichlet characters |
| topic | Number Theory |
| url | https://arxiv.org/abs/2505.07651 |