20
$\begingroup$

Let $ \chi $ be a character on the field $ F_p $, and fix some $a \in F_p $. We define a Gauss sum to be: $g_a (\chi) = \sum_{t\in F_p}\chi(t)\zeta^{at}$ where $\zeta$ is a primitive $p^{th}$ root of unity.

What is the intuition behind this definition?

$\endgroup$
12
$\begingroup$

One explanation is given in this math.SE answer. In the language of that answer, you want to describe the unique quadratic subfield of $\mathbb{Q}(\zeta_p)$. Since it's quadratic, it's generated by the square root of some rational, so the Galois group acts by multiplication by $-1$ on it. Therefore you want to find an element of $\mathbb{Q}(\zeta_p)$ such that the Galois group $(\mathbb{Z}/p\mathbb{Z})^{\ast}$ acts by multiplication by $-1$ on it, and up to a constant that element is a Gauss sum (for the quadratic character). Gauss sums with respect to more general characters have a similar relationship to actions of the Galois group.

$\endgroup$
17
$\begingroup$

When you say $\chi$ is a character of the field $F_p$, you really mean it is a character of the group $F_p^\times$. Any (multiplicative) character $\chi$ on $F_p^\times$ can be extended to a function on $F_p$ by setting $\chi(0) = 0$, and with this convention $\chi$ as a function on $F_p$ is totally multiplicative. Fixing a choice of nontrivial $p$th root of unity $\zeta$, any function $f \colon F_p \rightarrow {\mathbf C}$ has a Fourier transform ${\mathcal F}f \colon F \rightarrow {\mathbf C}$ given by $({\mathcal F}f)(a) = \sum_{t \in F_p} f(t)\overline{\zeta^{at}}$. So the Gauss sum $g_a(\chi)$ is essentially the Fourier transform at $a$ of the function $\chi$ (as a function on $F$). For more on this, see exercise 7 on page 16 at http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/charthy.pdf

Another intuition (besides the idea that a Gauss sum of a character is basically the Fourier transform of that character, viewed as a function on the additive group $F_p$) is that a Gauss sum is a discrete analogue of the Gamma function. See pp. 56--58 of Koblitz's book "$p$-adic Analysis: A Short Course on Recent Work" for a table illustrating this analogy (including the idea that a Jacobi sum is like the Beta function).

$\endgroup$
5
$\begingroup$

They are the discrete Fourier transform of the character $\chi$ (which presumably is a multiplicative character -- like the quadratic symbol, no?). This allows one to express $\chi$ as a sum of exponentials.

$\endgroup$

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.