Abstract:Let $\mathbb{M}$ be the group of multiplicative characters of a finite field $\mathbb{F}$, and let $\mathbb{J}(\alpha, \beta)$ be the Jacobi sum, for $\alpha, \beta \in \mathbb{M}$. We observe that the function $\mathbb{J} \colon \mathbb{M} \times \mathbb{M} \to \mathbf{C}$ satisfies three elementary properties. We show that these properties (very nearly) characterize Jacobi sums: if $M$ is an arbitrary non-trivial finite abelian group and $J \colon M \times M \to \mathbf{C}$ is a function satisfying these properties then $M$ is naturally the group of multiplicative characters of a finite field and $J$ is the Jacobi sum.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to characterize Jacobi sums through three basic properties. Specifically, the author Andrew Snowden studied the multiplicative character group \(M\) over a finite field and the corresponding Jacobi sum \(J(\alpha, \beta)\), and observed that the function \(J: M\times M\rightarrow\mathbb{C}\) satisfies the following three basic properties:
1. **Symmetry**: For all \(\alpha, \beta\in M\), we have
\[
J(\alpha, \beta)=J(\beta, \alpha).
\]
2. **Composite property**: Define an auxiliary function \(J^{*}(\alpha, \beta)=-\delta(\alpha)-\delta(\beta)+J(\alpha, \beta)\), where \(\delta(\alpha)\) represents 1 when \(\alpha\) is the trivial character and 0 otherwise. Then for all \(\alpha, \beta, \gamma\in M\), we have
\[
J^{*}(\alpha, \beta)J^{*}(\alpha\beta, \gamma)=J^{*}(\alpha, \beta\gamma)J^{*}(\beta, \gamma).
\]
3. **Convolution property**: For all \(\alpha_1, \alpha_2, \alpha_3, \alpha_4\in M\), we have
\[
\sum_{\beta\in M}J(\alpha_1\beta, \alpha_2\beta^{-1})J(\alpha_3\beta, \alpha_4\beta^{-1})=J(\alpha_1\alpha_4, \alpha_2\alpha_3).
\]
The author's main goal is to prove that these properties (almost) completely characterize Jacobi sums. Specifically, if \(M\) is any non - trivial finite commutative group, and \(J: M\times M\rightarrow\mathbb{C}\) satisfies the above three properties, then \(M\) is naturally the multiplicative character group of some finite field, and \(J\) is the Jacobi sum on this finite field.
The core theorem of the paper shows that, given a Jacobi function \(J\) that satisfies the above properties, a unique finite - field structure \(F\) can be constructed such that \(J\) is exactly the Jacobi sum on this finite field. This provides a new perspective for understanding Jacobi sums and shows the importance of these properties in algebraic structures.