Abstract:We prove a general independent equidistribution result for Gauss sums associated to $n$ monomials in $r$ variable multiplicative characters over a finite field, which generalizes several previous equidistribution results for Gauss and Jacobi sums. As an application, we show that any relation satisfied by these Gauss sums must be a combination of the conjugation relation $G(\chi)G(\overline\chi)=\pm q$, Galois conjugation invariance and the Hasse-Davenport product formula.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
The main purpose of this paper is to study the distribution and independence of Gauss sums over finite fields. Specifically, the author attempts to prove a general independent equidistribution result for polynomial Gauss sums related to multiplicative characters. This result generalizes several previous equidistribution theorems regarding Gauss sums and Jacobi sums.
#### Main problems
1. **Equidistribution results**:
- The author attempts to prove that for any given \( r \)-dimensional vector and multiple multiplicative characters, the associated Gauss sums are independent and uniformly distributed on the unit circle under specific conditions.
2. **Relational expressions**:
- The author also explores the possible relationships among these Gauss sums and proves that any such relationship can be expressed as a combination of conjugate relations, Galois invariance, and the Hasse - Davenport product formula.
#### Specific formulas and conclusions
- **Definition of Gauss sums**:
\[
G(\chi) := -\sum_{t \in k^\times} \chi(t) \psi(t)
\]
where \( \chi \) is a multiplicative character and \( \psi \) is an additive character.
- **Main theorem (Theorem 1)**:
- Let \( r \) be a positive integer, \( n\geq1 \), fix \( n \) non - zero \( r \)-tuples \( a_1,\ldots,a_n\in\mathbb{Z}^r \), and \( n \) multiplicative characters \( \eta_1,\ldots,\eta_n: k^\times\to\mathbb{C}^\times \), and \( n \) elements \( t_1,\ldots,t_n\in(k^\times)^r \).
- For each \( m\geq1 \), let \( T_m \) be the set of \( r \)-tuple multiplicative characters on \( k_m \), and \( S_m\subseteq T_m \) be the subset of \( \chi \) such that \( \eta_i\chi^{a_i}\neq1 \).
- Then as \( m\to\infty \), the set \( \{\Phi_m(\chi)|\chi\in S_m\} \) becomes equidistributed on \( (S^1)^n \) with respect to the Haar measure, where
\[
\Phi_m(\chi)=\left(q^{-m/2}\chi(t_1)G_m(\eta_1\chi^{a_1}),\ldots,q^{-m/2}\chi(t_n)G_m(\eta_n\chi^{a_n})\right).
\]
- **Corollary (Corollary 1)**:
- When \( r = 1 \) and \( a_i=(1) \), Katz's result [Kat88, Chapter 9] is recovered.
- **Other corollaries**:
- These include equidistribution results for Jacobi sums and extensions in the case of fixing certain characters.
Through these results, the author shows the independence and equidistribution properties of Gauss sums in the multivariate case and proves that all relationships satisfying "almost all" characters can be expressed by basic identities. This not only deepens our understanding of Gauss sums but also provides a theoretical basis for further research.