zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Gauss and Jacobi sums. (English) Zbl 0906.11001
Canadian Mathematical Society Series of Monographs and Advanced Texts. New York, NY: John Wiley & Sons. xi, 583 p. £45.50 (1998).

This fascinating book celebrating the descendants of Gauss’s sum n=0 k-1 e 2πimn 2 /k is obviously a labour of love. Discoveries involving Gauss sums mark some of the most beautiful and path-breaking moments in the history of mathematics – quadratic reciprocity, primes in arithmetic progressions, theta functions and much more. The theme of the book is the classical Gauss sum and related exponential and character sums. These are examined systematically, evaluated explicitly and applied to a wide range of concrete problems in number theory.

Chapter 1 is an account of the basic properties of the Gauss sum

τ k (χ)= n=1 k-1 χ(n)e 2πin/k ,

where χ is a Dirichlet character modulo k. It includes Odoni’s reduction theorem showing how to evaluate sums with a prime power modulus and many proofs of Gauss’s theorem

n=0 p-1 n pe 2πin/p = n=0 p-1 e 2πin 2 /p =pifp1mod4ipifp3mod4·

Chapters 2 and 3 treat the Jacobi sum

J(χ,ψ)= n χ(n)ψ(1-n)·

This sum is evaluated explicitly for many small orders (the order is the least common multiple of the orders of the characters χ and ψ) and linked to k-th power residuacity and the so-called cyclotomic numbers. For example, for a prime modulus p with a primitive root g and a character χ of order 6 with χ(g)=e πi/3 , J(χ 2 ,χ 2 )=r 3 +is 3 3, where r 3 and s 3 are integers such that r 3 2 +3s 3 2 =4p, r 3 -1mod3, s 3 0mod3 and 3s 3 (2g (p-1)/3 +1)r 3 modp.

Chapter 4 takes up the explicit evaluation of Gauss sums of small order. For example, for prime modulus p and a character χ of order 6, τ p (χ 2 ) 3 =pJ(χ 2 ,χ 2 ). Kummer calculated Argτ p (χ 2 ) for primes up to 100 and conjectured that it had a certain non-uniform distribution. This was finally disproved by D. R. Heath-Brown and S. J. Patterson [J. Reine Angew. Math. 310, 111-130 (1979; Zbl 0412.10028)] – the distribution is uniform. Another fascinating story surrounds the evaluation of the ambiguous cube root, which was settled by C. R. Matthews [Invent. Math. 52, 163-185 (1979; Zbl 0397.10031)]: τ p (χ 2 )=1 2p 1/3 (r 3 +is 3 3)H(χ 2 ), where r 3 and s 3 are defined above and H is Cassels’ product defined initially as a product of values of the Weierstrass elliptic functions. These deep results involving elliptic curves and automorphic functions are beyond the scope of the book but illustrate how the study of Gauss sums is still a thriving area of contemporary research.

Chapters 5, 6 and 7 show how the evaluations of Gauss sums and cyclotomy can be used to determine the existence and non-existence of n-th power residue difference sets for small n, congruences for binomial coefficients such as r 3 -3f fmodp, where p=6f+1 and r 3 is defined above, and residuacity results such as the fact that 2 is a cubic residue modp if and only if 2|r 3 . Explicit congruences for binomial coefficients modulo p 2 are derived in Chapter 9 by invoking the Gross-Koblitz formula for the p-adic gamma function. Chapter 10 contains the application to the number of solutions of diagonal equations of the type α 1 x 1 k 1 ++α n x n k n =α over finite fields.

Chapter 11 takes up algebraic topics: Stickelberger’s congruence for the Gauss sum, the Davenport-Hasse product formula and the Gross-Koblitz formula. These are applied to obtain more subtle congruences and to determine the weight distribution of certain cyclic codes. Chapters 8 and 14 treat higher reciprocity laws by elementary means – the cubic and quartic laws and rational laws, culminating in the Eisenstein reciprocity law for prime powers.

Each chapter is lovingly crafted. Each contains a variety of problems, some routine and some which the authors refer to as ‘fairly difficult’. Each chapter also has a historical summary with extensive references. Yet more ideas are described under the heading of research problems. The prerequisites are few; the book could serve as a text for a course in topics in number theory in various ways as well as being a valuable research reference. There are even some hints of the ubiquity of Gauss sums in other fields of mathematics.


MSC:
11-02Research monographs (number theory)
11L05Gauss and Kloosterman sums
11L10Jacobsthal and Brewer sums; other complete character sums
11R18Cyclotomic extensions
11T71Algebraic coding theory; cryptography
11-03Historical (number theory)
11T24Other character sums and Gauss sums
11T22Cyclotomy
11D61Exponential diophantine equations
11B65Binomial coefficients, etc.
11A15Power residues, reciprocity