Théorie des invariants

En mathématiques, la théorie des invariants, initiée et développée en particulier par Arthur Cayley, James Joseph Sylvester, Charles Hermite, Paul Gordan et de nombreux autres mathématiciens, est l'étude des invariants des formes algébriques (de façon équivalente, des tenseurs symétriques) pour les actions de groupe lors des transformations linéaires. À la fin du XIX^e siècle, elle est au centre d'un important effort de recherche lorsqu'il apparaît qu'elle pourrait être la clé de voûte en algorithmique (en compétition avec d'autres formulations mathématiques de l'invariance de la symétrie). Malgré un travail acharné, elle n'a pas tenu ses promesses, mais a permis de développer plusieurs autres disciplines. Au XXI^e siècle, les groupes symétriques et les fonctions symétriques, l'algèbre commutative, les espaces de modules et les représentations des groupes de Lie en sont les descendants les plus féconds.

Invariants en géométrie classique

La plupart des invariants des géométries classiques (distances, angles, birapport, volume) sont, à un paramètre près, des fonctions polynomiales invariantes pour un groupe classique et ont des analogues sur des corps commutatifs plus généraux. Par exemple, dans un espace affine euclidien, la fonction qui associe à deux points le carré de leur distance est polynomiale, invariante par le groupe des isométries. La théorie des invariants consiste, pour une action de groupe donnée, à dresser une liste de fonctions polynomiales élémentaires invariantes pour le groupe considéré, desquelles toute autre fonction polynomiale invariante se déduit.

On peut citer les exemples suivants :

• Pour le groupe symétrique permutant n nombres $x_{1},\dots ,x_{n}$, les polynômes symétriques élémentaires sont invariants, et tout polynôme en $x_{1},\dots ,x_{n}$ invariant par le groupe symétrique est une expression algébrique de ces fonctions élémentaires.
• Pour le groupe orthogonal agissant dans un espace euclidien, le produit scalaire est invariant, et toute fonction de plusieurs vecteurs polynomiale en les composantes de ces vecteurs et invariante par le groupe est une expression algébrique du produit scalaire de ces vecteurs.
• Pour le groupe spécial orthogonal agissant dans un espace euclidien orienté, le produit scalaire et le produit mixte sont invariants, et toute fonction de plusieurs vecteurs polynomiale en les composantes de ces vecteurs et invariante par le groupe est une expression algébrique du produit scalaire et du produit mixte de ces vecteurs.
• Pour le groupe spécial linéaire agissant sur un espace vectoriel de dimension finie n et sur son dual, le déterminant de n vecteurs ou de n formes linéaires, ainsi que le produit $\varphi (x)$ d'une forme linéaire appliquée à un vecteur sont des invariants du groupe, et toute fonction de vecteurs ou de formes linéaires polynomiale en les composantes de ces vecteurs ou de ces formes linéaires est une expression algébrique de ces déterminants et de ces produits.

Mêlant action de groupe et expression algébrique, cette théorie est directement basée sur celle des groupes algébriques classiques.

Voir aussi

Article connexe

Théorie géométrique des invariants (en)

Liens externes et bibliographie

• Jean Dieudonné, La théorie des invariants au XIX^e siècle, Séminaire Nicolas Bourbaki 1970-71, exposé n° 395
• (en) Hanspeter Kraft et Claudio Procesi, Classical Invariant Theory, a Primer
• Herman Weyl, The classical groups, Princeton University Press, (huitième édition, 1973)