Période de Gauss

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques et plus précisément en arithmétique modulaire, une période de Gauss est une certaine sorte de somme de racines de l'unité. Les périodes de Gauss permettent des calculs explicites dans les corps cyclotomiques, en relation avec la théorie de Galois et l'analyse harmonique sur un groupe abélien fini. Elles sont à la base de la théorie classique appelée cyclotomie.

Elle furent introduites par le mathématicien allemand Carl Friedrich Gauss et furent à la base de sa théorie de constructions à la règle et au compas. Par exemple, la construction du polygone à 17 cotés qui fit sa réputation dépendait de l'algèbre de telles périodes, dont

$2 \cos \left(\frac{2\pi}{17}\right)$

est un exemple lorsqu'elle est écrite sous la forme

$\zeta + \zeta^{16}\,$

avec

$\zeta = \exp \left(\frac{2\pi i}{17}\right)$ .

Sommaire

1 Définitions générales
2 Exemple
3 Sommes de Gauss
4 Lien de parenté entre les périodes et les sommes

[modifier] Définitions générales

En général, pour un nombre entier donné n > 1, les périodes de Gauss sont les sommes de diverses racines primitives n-ièmes de 1, ou en d'autres mots, diverses sommes de termes

$\zeta^a\,$

où

$\zeta = \exp\left(\frac{2\pi i}{n}\right)\,$

et a est un nombre entier avec (a, n) = 1. Il existe une telle période P pour chaque sous-groupe H du groupe

$G = (\mathbb{Z}/n\mathbb{Z})^\times$

du résidus inversibles modulo n, et pour chaque orbite O de H agissant sur les racines primitives n-ièmes, par exponentiation. C’est-à-dire, nous pouvons faire la définition

$P = P(O)\,$

est la somme de

$\zeta^a\,$

dans l'orbite O.

Une autre forme de cette définition peut être établie en terme de trace de corps. Nous avons

$P = \mathbf{Tr}_{\mathbb{Q}(\zeta) / L} (\zeta^j)$

pour un certain sous-corps L de $\mathbb{Q}(\zeta)\,$ et un certain j premier avec n. Ici, pour correspondre à la forme précédente de la définition, on prend H comme étant le groupe de Galois de $\mathbb{Q}(\zeta)\backslash L\,$ , sous l'identification

$\mathbb{Q}(\zeta)/\mathbb{Q} = (\mathbb{Z}/n\mathbb{Z})^\times$

fournie en choisissant $\zeta\,$ comme notre racine de l'unité de référence.

[modifier] Exemple

La situation est la plus simple lorsque n est un nombre premier p > 2. Dans ce cas, G est cyclique d'ordre $p - 1\,$ , et possède un sous-groupe H d'ordre d pour chaque facteur d de $p - 1\,$ . Par exemple, nous pouvons prendre H d'index deux. Dans ce cas, H est constitué des résidus quadratiques modulo p. Par conséquent, un exemple d'une période de Gauss est

$P = \zeta + \zeta^4 + \zeta^9 + \cdots$

sommée sur $\frac{(p - 1)}{2}\,$ termes. Il existe aussi une période P* réalisée avec les exposants des résidus non quadratiques. Il est facile de voir que nous avons

$P + P^* = -1\,$

puisque le coté gauche de l'équation ajoute toutes les racines primitives p-ièmes de 1. Nous savons aussi, à partir de la définition de la trace, que P est lié à une extension quadratique de $\mathbb{Q}\,$ . Par conséquent, comme Gauss le connaissait, P satisfait à une équation quadratique à coefficients entiers. Élever au carré P comme une somme conduit à un problème de comptage, concernant combien de résidus quadratiques sont suivis par des résidus quadratiques, qui peut être résolu par des méthodes élémentaires (comme nous dirions maintenant, calculer une fonction zeta locale, pour une courbe qui est une conique). Ceci donne le résultat :

$(P - P^*)^2 = p\,$ ou $- p\,$ , pour $p = 4m + 1\,$ ou $p = 4m + 3\,$ respectivement.

Ceci, par conséquent, nous donne l'information précise à propos du corps quadratique relié à $\mathbb{Q}(\zeta)\,$ . (ceci pourrait être déduit aussi par des arguments de ramification en théorie algébrique des nombres; voir Entier quadratique).

Comme il l'a montré, la racine carrée correcte à prendre est la positive (resp. i fois le réel positif), dans les deux cas.

[modifier] Sommes de Gauss

Article détaillé : Somme de Gauss.

Les périodes de Gauss sont reliées intimement à une autre classe de sommes de racines de l'unité, maintenant généralement appelée sommes de Gauss (quelquefois sommes gaussiennes). La quantité

$P - P^*\,$

qui est apparu ci-dessus est l'exemple non-trivial le plus simple. On observe qu'elle peut aussi être écrite

$\sum \chi(a)\zeta^a\,$

où $\chi(a)\,$ ici représente le symbole de Legendre (a/p), et que la somme est prise sur les classes de résidus modulo p. Le cas général des sommes de Gauss remplace ce choix pour $\chi\,$ par n'importe quel caractère de Dirichlet modulo n, la somme étant prise sur les classes de résidus modulo n (avec la convention usuelle $\chi(a) = 0\,$ si (a,n) > 1).

Ces quantités sont douées d'ubiquité en théorie des nombres; par exemple, elle apparaissent significativement dans les équations fonctionnelles des fonctions L. (Les sommes de Gauss sont, dans un sens, le corps fini analogue à la fonction gamma).

[modifier] Lien de parenté entre les périodes et les sommes

Article détaillé : Analyse harmonique sur un groupe abélien fini.

La relation avec les périodes de Gauss vient de l'observation suivante : l'ensemble des a modulo n pour lequel $\chi(a)\,$ prend une valeur donnée est une orbite O du type introduit plus tôt. Les sommes de Gauss peuvent, par conséquent, être écrites comme des combinaisons linéaires des périodes de Gauss, avec les coefficients $\chi(a)\,$ ; la réciproque est également vraie, comme une conséquence des relations d'orthogonalité (cf le paragraphe Algèbre du groupe de l'article Caractère d'un groupe fini) pour le groupe $(\mathbb{Z} \backslash n\mathbb{Z})^\times\,$ . En d'autres mots, les deux ensembles de quantités sont l'un l'autre des transformations de Fourier. Les périodes de Gauss sont liées dans des corps plus petits, en général, puisque les valeurs du $\chi(a)\,$ lorsque n est un nombre premier p sont les (p - 1)-ièmes racines de l'unité. D'autre part, les propriétés algébriques des sommes de Gauss sont plus facile à transposer.