Groupe de Witt

Considérons un corps commutatif k. Tous les espaces vectoriels considérés ici seront implicitement supposés de dimension finie. On dit que deux formes bilinéaires symétriques sont équivalentes si on peut obtenir l'une à partir de l'autre en additionnant 0 ou plusieurs copies d'un plan hyperboliqueEspace hyperbolique (forme bilinéaire symétrique non dégénérée en dimension 2 avec un vecteur de norme nulle). Le théorème de Witt garantit qu'il s'agit bien d'une relation d'équivalence.

Le groupe de Witt sur k est le groupe abélien des classes d'équivalence des formes bilinéaires symétriques non dégénérées, avec la première loi qui correspond à la somme orthogonale directe des formes. Dans ce groupe, tout élément d'ordre fini a pour ordre une puissance de 2. La hauteur du corps k est définie comme l'exposant du sous-groupe de torsion de son groupe de Witt. (Si le niveau du corps est fini, la hauteur est son double[1].)

Le groupe de Witt sur k peut être enrichi d'une structure d'anneau commutatif, en utilisant le produit tensoriel de deux formes bilinéaires pour la seconde loi. Cet anneau est parfois appelé l'anneau de Witt sur k, bien que le terme d'anneau de Witt est aussi parfois utilisé pour désigner un anneau complètement différent : celui des vecteurs de Witt.

Deux corps commutatifs sont dits Witt-équivalents si leurs anneaux de Witt sont isomorphes. Deux corps de nombres K et L sont Witt-équivalents si et seulement s'il existe une bijection T entre K et L et un isomorphisme de groupes t entre leurs groupes des inversibles modulo les carrés (en), qui préserve les symboles de Hilbert de degré 2. Dans ce cas, le couple (T, t) est appelé une équivalence réciproque ou une équivalence des symboles de Hilbert de degré 2. Plusieurs variantes et extensions de ces conditions ont été étudiées ; voir les références pour plus de précisions.

Les groupes de Witt peuvent être définis de la même manière pour les formes antisymétriques, et pour les formes quadratiques, ou plus généralement les formes ε-quadratiques (en), sur n'importe quel anneau R.

Les groupes résultants (et leurs généralisations) forment le L-groupe ${\displaystyle L^{2k}(R)}$ symétrique de dimension paire, et le L-groupe ${\displaystyle L_{2k}(R)}$ quadratique de dimension paire. Les L-groupes quadratiques sont 4-périodiques, où ${\displaystyle L_{0}(R)}$ est le groupe de Witt des formes (symétriques) (1)-quadratiques, et ${\displaystyle L_{2}(R)}$ est le groupe de Witt des formes (antisymétriques) (-1)-quadratiques ; les L-groupes symétriques ne sont pas 4-périodiques sur tous les anneaux, d'où le fait qu'ils produisent une généralisation un peu moins exacte.

Les L-groupes sont des objets essentiels en théorie de la chirurgie, et forment l'un des trois termes de la suite exacte de chirurgie (en).

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Witt group » (voir la liste des auteurs).
• (en) A. Czogała, « Higher degree tame Hilbert-symbol equivalence of number fields », dans Abh. Math. Sem. Univ. Hamburg, vol. 69, 1999, p. 175-185
• Serge Lang, Algèbre [détail des éditions]
• (de) E. Witt, « Theorie der quadratischen Formen in beliebigen Körpern », dans J. reine angew. Math, vol. 176, 1937, p. 31-44
• (en) A. V. Mikhalev, A. I. Nemytov et V. L. Popov, « Witt ring », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)