Abstract:Let $W$ be a smooth test function with compact support in $(0,\infty)$. Conditional on the Generalized Riemann Hypothesis for Hecke $L$-functions over $\mathbb{Q}(\omega)$, we prove that $$\sum_{p \equiv 1 \pmod{3}} \frac{1}{2 \sqrt{p}} \cdot \Big ( \sum_{x \pmod{p}} e^{2\pi i x^3 / p} \Big ) W \Big ( \frac{p}{X} \Big ) \sim \frac{(2\pi)^{2/3}}{3 \Gamma(\tfrac 23)} \int_{0}^{\infty} W(x) x^{-1/6} dx \cdot \frac{X^{5/6}}{\log X},$$ as $X \rightarrow \infty$ and $p$ runs over primes. This explains a well-known numerical bias in the distribution of cubic Gauss sums first observed by Kummer in 1846 and confirms (conditionally on the Generalized Riemann Hypothesis) a conjecture of Patterson from 1978.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about a deviation phenomenon in cubic Gauss sums, specifically to verify Patterson's conjecture. This problem was first observed by Kummer in 1846. He found that there is a deviation in the distribution of cubic exponential sums, which indicates that the distribution of the angle \(\theta_p\) is not uniform. In 1978, Patterson proposed a revised conjecture, which explained this deviation phenomenon and was consistent with new numerical data.
The main objective of the paper is to prove Patterson's conjecture under the premise that the Generalized Riemann Hypothesis (GRH) holds. Specifically, the paper proves the following formula:
\[
\sum_{\substack{p \leq X \\ p \equiv 1 \pmod{3}}} \frac{S(p)}{2\sqrt{p}} \cdot W\left(\frac{p}{X}\right) \sim \frac{(2\pi)^{2/3}}{3\Gamma\left(\frac{2}{3}\right)} \int_0^\infty W(x)x^{-1/6} \, dx \cdot \frac{X^{5/6}}{\log X},
\]
where \(W\) is a smooth function with compact support on \((0, \infty)\), \(S(p) = \sum_{n = 1}^{p - 1} e\left(\frac{n^3}{p}\right)\), \(e(x)=e^{2\pi i x}\), and \(p\) represents prime numbers congruent to 1 modulo 3.
In addition, the paper also explores some important by - products of cubic Gauss sums, such as the explicit level - aspect Voronoi summation formula and the improved cubic large sieve, and shows that Heath - Brown's cubic large sieve is optimal under GRH, thus refuting the common view that the cubic large sieve can be further improved.
In conclusion, through strict mathematical derivations, this paper solves the important problem regarding the deviation of cubic Gauss sums under the assumption of GRH and verifies Patterson's conjecture.