The evaluation of Gauss sums for characters of 2-power order
type: Item
instance of: scholarly article
title: The evaluation of Gauss sums for characters of 2-power order
zbMATH Open document ID: 1030.11067
DOI: 10.1016/S0022-314X(02)00123-3
author: D. Massart
published in: Journal of Number Theory
publication date: 2003-06-25T00:00:00Z
review text: Let \(p\) be a prime number, \(N \geq 2\) a positive integer not divisible by \(p\), \(k= \text{ord}_{N}(p)\) the order of \(p\) in \(( \mathbb{Z}/N \mathbb{Z})^{*}\), and \( \chi\) a multiplicative character of order \(N\) of the finite field \(F_{p^{k}}\). For \(1 \leq r \leq N-1\) and \(1 \leq v \leq p-1\) the Gauss sum \(g( \chi^{r},v)\) related to \( \chi^{r}\) and \(v\) is defined by \[ G( \chi^{r},v)= \sum_{x \in F_{p^{r}}} \chi(x) \zeta_{p}^{v Tr(x)}, \] where \( \zeta_{p}= \exp(2 \pi i/p)\) and \(Tr\) is the trace map from \(F_{p^{k}}\) onto \(F_{p}\). In a number of cases the Gauss sums \(G( \chi^{r},v)\) were determined up to complex conjugation. The authors consider the special case \(N=2^{t}\) not investigated earlier. Since \(G( \chi^{r},v)= \overline{ \chi^{r}(v)}G( \chi^{r},1)\) it suffices to consider the sum \(G( \chi^{r})=G( \chi^{r},1)\). The arguments of the paper can be shortly described as follows. To evaluate \(G( \chi^{r})\) the authors study the tower of fields \[ \mathbb{Q} \subset \mathbb{Q}(i\sqrt{2}) \subset \mathbb{Q}( \zeta_{N}) \subset \mathbb{Q}( \zeta_{N}, \zeta_{p}), \] where \( \zeta_{N}= \exp(2 \pi i/N)\), and then apply Stickelberger's theorem on prime decomposition of Gauss sums. Clearly, \(G( \chi^{r}) \in \mathbb{Q}( \zeta_{N}, \zeta_{p})\). In the cyclotomic field \( \mathbb{Q}( \zeta_{N})\) the principal ideal \((p)\) can be written as \( { \mathfrak {p}}_{1}{ \mathfrak{p}}_{2}\). Given a prime ideal \({ \mathfrak{p}}_{1}\) in the ring of integers \( \mathfrak{O}( \zeta_{N})\) of \( \mathbb{Q}( \zeta_{N})\) one can identify \( \mathfrak{O}( \zeta_{N})/{ \mathfrak{p}}_{1}\) with \(F_{p^{k}}\), where \(k= \text{ord}_{N}(p)= \phi(N)/2=2^{t-1}\). If \(p \equiv 3 \pmod 8\) and \(N=2^{t}\) with \(t \geq 3\), firstly the authors prove that \(G( \chi)/i \sqrt{p} \in \mathbb{Q}(i \sqrt{2})\). Then they show that up to sign \[ G( \chi)=i \sqrt{p} \cdot p^{2^{t-3}-1}(a+ib \sqrt{2}), \] where \(a,b \in \mathbb{Z}\) are determined from…
Mathematics Subject Classification ID: 11T24
Mathematics Subject Classification ID: 11L05
zbMATH DE Number: 1934775
zbMATH Keywords: finite fields
zbMATH Keywords: Gauss sums
MaRDI profile type: Publication
cites work: Q4382830
cites work: Calculation of certain Gauss sums
cites work: Quadratic Gauss sums
cites work: Q4068575
cites work: Hasse-Davenport curves, Gauss sums, and weight distributions of irreducible cyclic codes
full work available at URL: s0022-314x(02)00123-3
OpenAlex ID: W2008684373
Recommended article: Q5472247
Recommended article: Evaluation of Gauss Sums for 2-Power Order in Index 4
Recommended article: Q4351518
Recommended article: Q4302251
Recommended article: Gauss sums over finite fields of order $2^n$
Recommended article: Gauss sums for O⁻(2n,q)
Recommended article: Q4526407
Recommended article: Gauss sums for O⁺(2n,q)
Recommended article: A character sum evaluation and Gaussian hypergeometric series
Recommended article: Gauss sums for orthogonal groups over a finite field of characteristic two
description: scientific article; zbMATH DE number 1934775