User:Virginia-American/Sandbox/Gaussian Period

Given a positive integer n > 2, Gaussian periods are certain sums of the nth roots of unity. They were basic to Gauss's analysis of the cyclotomic polynomial, (now known as the classical theory of cyclotomy), and, more generally, permit explicit calculations in cyclotomic fields,[1] in relation both with Galois theory and with harmonic analysis (discrete Fourier transform). Gauss sums, a type of exponential sum, are closely related.

Definition

edit

Gauss's development

edit

Gauss defines 'periods' in Section VII of the Disquisitiones Arithmeticae.[2] In this section he is working under the assumption that the underlying integer n is a (positive odd) prime number.

This implies that there is a primitive root, g, (mod n). (That is, the powers g, g2, g3, ... gn − 1 ≡ 1 (mod n) are all distinct (mod n) and thus are the residue classes 1, 2, ..., n − 1 (mod n) in a different order.)

Now let r be any primitive nth root of unity, (that is, rn = 1, but the powers r, r2, r3, ..., rn − 1 are all distinct and none of them is equal to one). Now 1 is a root of xn − 1 = 0, and dividing by x − 1 gives

 

Gauss sets

   and defines   to be its set of zeroes.

Since X is of degree n − 1, and the n − 1 distinct numbers r, r2, r3, ..., rn − 1are all zeroes of X,

 

and

 

From the properties of the primitive root g, we also have

 

and in general, if λ is not dvisible by n,

 


Next, let e be any divisor of n − 1:       and set       so that    

Then, for any integer λ, Gauss defines the period (f, λ) of length f to be the set (multiset if n divides λ) of f numbers

 

Gauss notes that[3] if       then       and that     He states that       if λ is not a multiple of n, but that       is a multiset of f ones.

He shows that (f, λ) is independent of the choice of primitive root.

He also notes that       is a disjoint union of e periods of length f (where, as always, n = ef + 1):

 

Modern treatments

edit

Gauss's development of the theory of periods is a bit confusing at first, because he uses the same symbol for both the set and the sum of the numbers in the set.[4][5] Most modern authors[6] define the periods as sums and don't mention the sets at all. Using the same notation as in the preceding section (n = ef + 1 is an odd prime, g is a primitive root (mod n), r is a primitive nth root of unity, λ an arbitrary integer), some authors[7] simply define the period of length f as the sum:

 

Others[8] employ a different notation. Let   denote the automorphism of the cyclotomic field   that sends   to   (this is called a conjugation), and use exponential notation to denote iterating it:

    etc. Note that   is the identity, and that the exponents can be taken (mod n).


Then, given e and f as above, define the e periods of length f as:

 

Note that the subscripts may be taken (mod e), and that unlike the periods denoted by (f, λ), the names (not the values) of the periods depend on the primitive root. (i.e., picking a different primitive root may permute some of the ηi s.)

Let   denote the index of a (mod n) relative to the primitive root g (sometimes called the discrete logarithm):

 

Then the above construction can be summarized as[9]

 

Examples

edit

n = 3, g = 2

edit

There are two periods of length 1

 

and one period of length 2

 

n = 5, g = 2

edit

There are 4 periods of length 1

 

2 periods of length 2

 

and 1 period of length 4

 

n = 7, g = 3

edit

There are 6 periods of length 1

 

3 periods of length 2

 

2 periods of length 3

 


and 1 period of length 6

 

n = 11, g = 2

edit

There are 10 periods of length 1

 

5 periods of length 2

 

2 periods of length 5

 


and 1 period of length 10

 

n = 13, g = 2

edit

There are 12 periods of length 1

 

6 periods of length 2

 

4 periods of length 3

 

3 periods of length 4

 


2 periods of length 6

 


and 1 period of length 12

 

Basic sums

edit

Every period is a sum of shorter periods

edit

If the length f = a b, a period of length f is the sum of b periods of length a, or of a periods of length b.

Denote the length of a period with a superscript, e.g. for n = 13,

 

Then for example, for n = 13,

 

In fact, the periods may be arranged in a tree, where the one on the left is the sum of those to the right:

 

Invariance under certain automorphisms

edit

Any polynomial in an nth root of unity r may be reduced to one hose degree is less than n by using the identities  

Product of two periods

edit

The product of two periods of length f is a linear expression in the perids of length f with integer coefficients.[10]

Period polynomial

edit

The periods of length f are the roots of an eth degree polynomial with integer coefficients.[11] This polynomial is irrdeucible over the rationals.[12]

For any n, the n − 1 periods of length 1 are the roots of the cyclotomic polynomial

 

Similarly, for any n, the period of length n − 1 is −1.



Gaussian periods have a rich theory. Some of the simplest results are that the summation

 

is zero if k does not divide n, and is equal to k if k divides n. Given a Dirichlet character χ mod k, the Gauss sum associated with χ is

 

For the special case of   the principal Dirichlet character, the Gauss sum reduces to the Ramanujan sum:

 

where μ is the Möbius function.

General theory

edit

In general, given an integer n > 1, the Gaussian periods are sums of various primitive n-th roots of 1, or in other words various sums of terms

 

where

 

and a is an integer with (a, n) = 1. There is one such period P for each subgroup H of the group

 

of invertible residues modulo n, and for each orbit O of H acting on the primitive n-th roots, by exponentiating. That is, we can make the definition

 

is the sum of the

 

in the orbit O.

Another form of this definition can be stated in terms of the field trace. We have

 

for some subfield L of Q(ζ) and some j coprime to n. Here to correspond to the previous form of definition one takes H to be the Galois group of Q(ζ)/L, under the identification

 

provided by choosing ζ as our reference root of unity.

Example

edit

The situation is simplest when n is a prime number p > 2. In that case G is cyclic of order p − 1, and has one subgroup H of order d for every factor d of p − 1. For example, we can take H of index two. In that case H consists of the quadratic residues modulo p. Therefore an example of a Gaussian period is

 

summed over (p − 1)/2 terms. There is also a period P* made up with exponents the quadratic non-residues. It is easy to see that we have

 

since the LHS adds all the primitive p-th roots of 1. We also know, from the trace definition, that P lies in a quadratic extension of Q. Therefore, as Gauss knew, P satisfies a quadratic equation with integer coefficients. Squaring P as a sum leads to a counting problem, about how many quadratic residues are followed by quadratic residues, that can be solved by elementary methods (as we would now say, it computes a local zeta-function, for a curve that is a conic). This gives the result that

(PP*)2 = p or −p, for p = 4m + 1 or 4m + 3 respectively.

This therefore gives us the precise information about which quadratic field lies in Q(ζ). (That could be derived also by ramification arguments in algebraic number theory; see quadratic field.)

As he eventually showed, the correct square root to take is the positive (resp. i times positive real) one, in the two cases. Thus the explicit value is given by

 

Gauss sums

edit

The Gaussian periods are intimately related to another class of sums of roots of unity, now generally called Gauss sums (sometimes Gaussian sums). The quantity

PP*

that occurred above is the simplest non-trivial example. One observes that it may be written also

 

where χ(a) here stands for the Legendre symbol (a/p), and the sum is taken over residue classes modulo p. The general case of Gauss sums replaces this choice for χ by any Dirichlet character modulo n, the sum being taken over residue classes modulo n (with the usual convention that χ(a) = 0 if (a,n) > 1).

These quantities are ubiquitous in number theory; for example they occur significantly in the functional equations of L-functions. (Gauss sums are in a sense the finite field analogues of the gamma function.)

Relationship of periods and sums

edit

The relation with the Gaussian periods comes from the observation that the set of a modulo n at which χ(a) takes a given value is an orbit O of the type introduced earlier. Gauss sums can therefore be written as linear combinations of Gaussian periods, with coefficients χ(a); the converse is also true, as a consequence of the orthogonality relations for the group (Z/nZ)×. In other words, the two sets of quantities are each other's Fourier transforms. The Gaussian periods lie in smaller fields, in general, since the values of the χ(a) when n is a prime p are (p − 1)-th roots of unity. On the other hand the algebraic properties of Gauss sums are easier to handle.

See also

edit

Notes

edit
  1. ^ "Periods are of importance not only in the rather minor application of the preceding section [optimizing the calculation norms in cyclotomic number fields] but also in a vast range of applications in number theory and linear algebra ...", Edwards, Fermat's Last Theorem p. 108
  2. ^ D.A., Art 343
  3. ^ D.A., Art. 344
  4. ^ DA, Art. 344
  5. ^ PDF by H.K. Sorensen
  6. ^ e.g., Cox, Edwards, Hardy & Wright
  7. ^ Cox, pp. 85 ff.
  8. ^ Edwards, pp. 107 ff.
  9. ^ Davenport, pp. 18–21
  10. ^ Edwards p. ...
  11. ^ D.A. art ...
  12. ^ D.A. art ...

References

edit

The Disquisitiones Arithmeticae has been translated from Gauss's Latin into English and German. The German edition includes all of his papers on number theory: the six proofs of quadratic reciprocity, the determination of the sign of the Gauss sum, the investigations into biquadratic reciprocity, and unpublished notes.

References to the Disquisitiones are of the form D.A., Art nnn.

  • Gauss, Carl Friedrich; Clarke, Arthur A. (translator into English) (1986), Disquisitiones Arithemeticae (Second, corrected edition), New York: Springer, ISBN 0387962549 {{citation}}: |first2= has generic name (help)
  • Gauss, Carl Friedrich; Maser, H. (translator into German) (1965), Untersuchungen uber hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (Second edition), New York: Chelsea, ISBN 0-8284-0191-8 {{citation}}: |first2= has generic name (help)
  • Cox, David A. (1989), Primes of the form x2 + n y2, New York: Wiley, ISBN 0-471-50654-0
edit

http://www.henrikkragh.dk/hom/episoder/lecturenotes/GaussCyclotomy200102a.pdf

xxCategory:Galois theory xxCategory:Cyclotomic fields xxCategory:Euclidean plane geometry

xxca:Període de Gauss xxfr:Période de Gauss