Théorème de Witt

En algèbre, le théorème de Witt est un résultat sur lequel s'appuie toute la théorie des formes quadratiques. Il permet en effet de classifier les formes quadratiques sur un corps Modèle:Math donné et fonde la définition du groupe de Witt de Modèle:Math. À proprement parler il existe plusieurs énoncés qui sont qualifiés de théorèmes de Witt : pour préciser, on les appelle théorèmes de décomposition, d'extension et d'annulation de Witt. Dans ce faisceau de résultats, obtenus par Ernst Witt en 1937, c'est le théorème d'annulation qui est le plus souvent appelé le théorème de Witt.

Les théorèmes de Witt

Énoncés

On considère un corps Modèle:Math de caractéristique différente de 2. Un espace quadratique Modèle:Math est un espace vectoriel sur Modèle:Math muni d'une forme quadratique. Les deux théorèmes fondamentaux de Witt s'énoncent

Pour énoncer le théorème de décomposition qui en résulte, on rappelle d'abord brièvement le vocabulaire des sous-espaces remarquables d'un espace quadratique Modèle:Math. Le radical (ou noyau) de Modèle:Math est l'orthogonal de Modèle:Math. Un sous-espace est dit anisotrope si Modèle:Math ne s'y annule qu'en 0. En sens inverse, on considère le modèle le plus simple d'espace isotrope. Il s'agit du plan hyperbolique, c'est-à-dire un sous-espace de dimension 2 sur lequel la forme quadratique induite admet, dans une certaine base, une écriture de la forme $q_P(x,y)=xy$ (ou, dans une autre base $q_P(X,Y)=\frac{1}{2}(X^2-Y^2)$).

Commentaires

Une première étape couramment employée est de constater que tout supplémentaire du radical est en somme directe orthogonale avec lui. Dès lors, quitte à travailler en restriction à un tel supplémentaire, on peut se contenter d'étudier les formes quadratiques non dégénérées. Ceci explique quelques différences de formulation dans les énoncés des théorèmes, selon que les auteurs se placent ou non dans le cas de formes quadratiques non dégénérées. Dans ce cadre, le théorème d'annulation peut être démontré par récurrence sur la dimension de Modèle:Math, en faisant intervenir une transformation de Householder.

Le théorème d'extension peut être renforcé, en imposant que l'image d'un certain supplémentaire orthogonal de Modèle:Math soit un certain supplémentaire orthogonal de son image. On démontre facilement que cette version renforcée est équivalente au théorème d'annulation. Dans le théorème de décomposition, l'existence de la décomposition peut être obtenue par des moyens élémentaires, ce sont les propriétés d'invariance qui découlent de l'un des deux autres théorèmes.

Conséquences

Quitte à mettre à part le radical, on se limite aux formes quadratiques non dégénérées.

Pour une forme quadratique donnée

Selon le théorème de décomposition de Witt, il est possible d'associer à une forme quadratique Modèle:Math trois composantes bien définies : le radical, la partie hyperbolique et la partie anisotrope (éventuellement réduite à l'espace nul). Les deux premières sont totalement décrites par leur dimension. On définit donc l'indice de Witt Modèle:Math=Modèle:Math comme le nombre de plans hyperboliques qui engendrent la partie hyperbolique. Dans le cas non dégénéré il peut aussi être défini comme la dimension du plus grand sous-espace totalement isotrope.

Ces éléments permettent par exemple de retrouver le théorème d'inertie de Sylvester classifiant les formes quadratiques réelles.

Groupe et anneau de Witt

On peut s'intéresser aux classes d'isomorphismes des parties anisotropes de toutes les formes quadratiques. Les opérations de somme directe orthogonale et de produit tensoriel passent au quotient dans la relation d'équivalence utilisée. L'ensemble Modèle:Math des classes d'équivalence possède donc des lois internes $\oplus$, avec pour élément neutre l'espace nul, et $\otimes$.

Résultats voisins

Il est possible d'énoncer un analogue du théorème d'extension de Witt pour les espaces vectoriels symplectiques, c'est-à-dire quand on a affaire à une forme bilinéaire alternée plutôt que symétrique. Pour la plupart des auteurs, la forme symplectique est aussi supposée non dégénérée. En utilisant ce vocabulaire, lorsque l'on a deux espaces symplectiques qui sont isométriques, toute injection isométrique d'un sous-espace vectoriel du premier dans le second se prolonge en une isométrie. Cette fois le résultat vaut même si le corps est de caractéristique 2.

En termes de décomposition, la situation est alors très simple : il n'existe que la composante hyperbolique. En fait deux espaces symplectiques de même dimension sont isométriques.

Bibliographie

• Modèle:Serre1
• Pete Clark, University of Georgia, Quadratic Forms : Witt's Theory
• Sunil K. Chebolu, Dan McQuillan, Ján Mináč, Witt's cancellation theorem seen as a cancellation