## Gauss sum (with sign) through algebra

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $p$ be an odd prime, and $\zeta$ a primitive $p$-th root of unity over a field of characteristic $0$.

Let $G = \sum\limits_{j=0}^{p-1} \zeta^{j\left(j-1\right)/2}$ be the standard Gauss sum for $p$. (An alternative definition for $G$ is $G = \sum\limits_{j=1}^{p-1}\left(\frac{j}{p}\right)\zeta^j$, where the bracketed fraction denotes the Legendre symbol.) Denote by $k$ the element of $\left\lbrace 0,1,...,p-1\right\rbrace$ satisfying $16k\equiv -1\mod p$.

Then, $\prod\limits_{i=1}^{\left(p-1\right) /2}\left(1-\zeta^i\right) = \zeta^k G$.

Question: Can we prove this identity purely algebraically, with no recourse to geometry and analysis?

If we can, then we obtain an easy algebraic proof for the value - including the sign - of the Gauss sum $G$, since both the modulus and the argument of $\prod\limits_{i=1}^{\left(p-1\right) /2}\left(1-\zeta^i\right)$ are easy to find (mainly the argument - it's a matter of elementary geometry).

Note that my "algebraically" allows combinatorics, but I am somewhat skeptical in how far combinatorics alone can solve this. Of course, we can formulate the question so that it asks for the number of subsets of $\left\lbrace 1,2,...,\frac{p-1}{2}\right\rbrace$ whose sum has a particular residue $\mod p$, but whether this will bring us far... On the other hand, $q$-binomial identities might be of help, since $\prod\limits_{i=1}^{\left(p-1\right) /2}\left(1-\zeta^i\right)$ is a $\zeta$-factorial.

I am pretty sure things like this must have been done some 100 years ago.

-

Just a pedantic point.  When $\zeta$ is an arbitrary primitive $p$-th root of $1$, there is no sense in talking about the sign of $G(\zeta)=\sum_{x=1}^{p-1}\left(x\over p\right)\zeta^x$, for the sign of $G(\zeta)$ changes if we replace $\zeta$ by $\zeta^u$, whenever $u$ is prime to $p$ and such that $\left(u\over p\right)=-1$.  You can talk about the sign only when $\zeta$ is a specific primitive $p$-th root of $1$, such as $e^{2i\pi\over p}$, where $i$ is a 4-th root of $1$ in $\bf C$. – Chandan Singh Dalawat Sep 21 at 2:14
Right, thank you. My $G$ is not the standard Gauss sum for $p$ but one of its two versions. – darij grinberg Sep 21 at 3:30

## 3 Answers

Have you seen this blog post of mine? Summary: Use Geoff's argument to prove this up to a sign; then use $p$-adic arguments to nail down the sign.

-

1
Thanks - a brilliant answer! (And no, for some reason I have not been following sbseminar; I believe it is because the last times I checked it, it was too much about analysis.) This really ought to be a PDF rather than a blog post (think of the people who want to print this out; also think of the ugliness of Wordpress's latex.php generated formulas). Also, I have posted a comment with some minor errors you might want to fix. – darij grinberg Aug 19 2011 at 18:00

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

(restored slightly simplified version of earlier post). How about: $1- \zeta^{p-1} = -\zeta^{-1}(1-\zeta)$. Doing likewise for $\zeta^{2},\ldots,\zeta^{\frac{p-1}{2}}$, and setting $\alpha = \prod_{i=1}^{\frac{p-1}{2}} (1- \zeta^{i}),$ we see that $\bar{\alpha} = (-1)^{\frac{p-1}{2}} \bar{\zeta}^{\frac{p^2-1}{8}} \alpha.$ Hence we have `$$p = \prod_{i=1}^{p-1}(1- \zeta^i) = (-1)^{\frac{p-1}{2}} \bar{\zeta}^{\frac{p^2-1}{8}}\prod_{i=1}^{\frac{p-1}{2}} (1- \zeta^{i})^{2}.$$`

-
Now we have to rule out the "false" square roots... – darij grinberg Aug 19 2011 at 16:10

1
I would have called your post redundant if David Speyer had repeated your calculation. David did not do that, he referred to it. Now that you have removed the calculation, I ask that you restore it so that David's (and your) answer has more impact. Gerhard "Ask Me About System Design" Paseman, 2011.08.19 – Gerhard Paseman Aug 19 2011 at 21:52

1
OK, Gerhard, I will do that. The calculation is repeated in the blog linked to, but I agree there is a slight non-sequitur. – Geoff Robinson Aug 19 2011 at 22:21
Thank you Geoff. I like it enough that I will give it my fourth vote. Gerhard "Ask Me About System Design" Paseman, 2011.08.19 – Gerhard Paseman Aug 19 2011 at 22:35

A few historical remarks about algebraic determinations of the sign of the quadratic gaussian sum might not be out of order.

The proof in David's post was first given by Kronecker, according to Hasse's Vorlesungen. The only analytic ingredient is the determination of the sign of the sin function. This proof is reproduced in Fröhlich and Taylor, Algebraic Number Theory, pp. 228--231.

A different algebraic proof, using the same analytic ingredient, was given by Schur and can be found in Borevich and Shafarevich, Number Theory, pp. 349--353.

Hasse's Vorlesungen also contain a proof by Mordell in which the analytic ingredient is replaced by the fact that if a polynomidal $f\in{\mathbf Z}[T]$ has opposite signs at $a,b\in{\mathbf R}$, then it has a root between $a$ and $b$. This can be proved using the purely algebraic theory of Artin and Schreier.

If you are looking for a proof using more analysis, not less, see Rohrlich's survey on Root Numbers in Arithmetic of L-functions, pp. 353--448.

Addendum. A nice (if somewhat dated) survey on The determination of Gauss sums can be found in the BAMS 5 (1981), 107-129. I learnt there that the proof attributed by Hasse to Kronecker actually goes back to Cauchy. New proofs are still being given; see for example Gurevich, Hadani, and Howe, Quadratic reciprocity and the sign of the Gauss sum via the finite Weil representation. Int. Math. Res. Not. IMRN 2010, no. 19, 3729–3745, available here.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 47, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9208301901817322, "perplexity_flag": "head"}