Groupe de Lie

Infos
Un groupe de Lie est un groupe — au sens mathématique — continu (c'est-à-dire dont chaque élément est infinitésimalement proche d'au moins un autre élément). Un exemple simple est le groupe des matrices de rotation 2×2, noté SO(2, \mathbb R) : \begin \cos \lambda & -\sin \lambda \\ \sin \lambda & \cos \lambda \end. Il est paramétré par un seul angle λ : sa variété est donc unidimensionnelle (un cercle). C'est bien un groupe car l'inverse d'un élément de pa
Groupe de Lie

Un groupe de Lie est un groupe — au sens mathématique — continu (c'est-à-dire dont chaque élément est infinitésimalement proche d'au moins un autre élément). Un exemple simple est le groupe des matrices de rotation 2×2, noté SO(2, \mathbb R) : \begin \cos \lambda & -\sin \lambda \\ \sin \lambda & \cos \lambda \end. Il est paramétré par un seul angle λ : sa variété est donc unidimensionnelle (un cercle). C'est bien un groupe car l'inverse d'un élément de paramètre λ est donné par l'élément de paramètre −λ et le produit des éléments de paramètres λ et μ est donné par l'élément de paramètre λ+μ. Plus précisément en mathématiques, un groupe de Lie est une variété différentielle réelle ou complexe munie d'une structure de groupe, les opérations sur ce groupe devant également être différentiables ou holomorphes. Le concept fut introduit par le mathématicien norvégien Sophus Lie en 1888 afin d'étudier certaines propriétés des équations différentielles, et il est couramment utilisé en physique quantique. Un analogue algébrique existe, il s'agit des groupes algébriques (des variétés algébriques munies d'une structure de groupe). Comme exemples de groupes de Lie, on peut citer l'espace euclidien \mathbb R^n (muni de l'addition vectorielle ordinaire comme opération de groupe) ou, de façon plus caractéristique, le groupe GL_n(\mathbb) des matrices inversibles (selon la multiplication matricielle) et certains de ses sous-groupes comme le groupe SO(3) des rotations dans un espace de dimension 3. \mathbb Z n'est pas un groupe continu, car il n'y a aucun élément entre 1 et 2.

Histoire

Sophus Lie lui-même considérait que la théorie des groupes continus était née lors de l'hiver 1873-1874, mais le biographe Hawkins suggère que la théorie est née des recherches de Lie pendant les quatre années qui précèdent (de 1869 à 1873). Une partie des idées initiales de Lie furent développées en collaboration avec Felix Klein, qu'il rencontrait tous les jours d'octobre 1869 à 1872, d'abord à Berlin, puis à Paris, Gőttingen et Erlangen. Les résultats de Lie furent publiés dans des journaux norvégiens lors de la décennie de 1870, et son oeuvre gagna rapidement le reste de l'Europe. En 1884, un jeune mathématicien allemand, Friedrich Engel travailla avec Lie à la création d'un exposé systématique de la théorie des groupes continus, qui fut publié en trois volumes sous le titre Theorie der Transformationsgruppen, en 1888, 1890 et 1893. Un développement important de la théorie fut ensuite réalisé par Wilhelm Killing. La généralisation par Elie Cartan, mena à la classification des algèbres de Lie semi-simples et aux travaux d'Hermann Weyl sur les représentations des groupes de Lie compacts. La théorie des groupes de Lie fut exposée systématiquement dans le langage mathématique moderne par Claude Chevalley.

Définitions

Une structure algébrique G est un groupe de Lie réel ou complexe lorsque :
- G est une variété différentiable réelle ou complexe ;
- G, munie de deux fonctions G×G\rightarrowG (multiplication) et G\rightarrowG (inversion), est un groupe ;
- les applications de multiplication et d'inversion sont différentiables ou holomorphes. Il est également possible de définir un groupe de Lie comme une variété différentielle munie d'opérations de groupe seulement continues. Cette définition est équivalente à la précédente et est une interprétation du 5 problème de Hilbert. La dimension d'un groupe de Lie est définie comme sa dimension en tant que variété. Il existe également un notion analogue de Groupe de Lie p-adique lorsque la variété différentielle sous-jacente est remplacée par un ensemble analytique p-adique. Ce sera le cas, par exemple, du groupe des points p-adiques d'un groupe algébrique.

Propriétés

Types de groupes de Lie

Les groupes de Lie sont classables selon leur propriétés algébriques (abélien, simple, semisimple, résoluble, nilpotent), ou bien topologiques (connexe, simplement connexe, compact). Ils sont également usuellement classés en 4 groupes, représentés dans le tableau d'exemples plus bas :
- Groupes de Lie réels, basés sur le groupe \mathbb R
- Groupes de Lie complexes, basés sur le groupe \mathbb C
- Groupes de Lie quaternioniques, basés sur le groupe des quaternions \mathbb H
- Groupes de Lie exceptionnels

Homomorphismes et isomorphismes

Si G et H sont deux groupes de Lie (tous deux réels ou complexes), alors un homomorphisme de groupes de Lie f : G\rightarrowH est un homomorphisme de groupe qui est également une fonction différentiable ou holomorphe (il suffit en fait que f soit continue). La composition de deux homomorphismes de groupes de Lie est un homomorphisme de groupes de Lie et la classe de tous les groupes de Lie est une catégorie dont les flèches sont les homomorphismes de groupes de Lie. Deux groupes de Lie sont dit isomorphes s'il existe entre eux un homomorphisme bijectif dont la réciproque est également un homomorphisme. La classe des groupes de Lie réels ou complexe de dimension n identifiés à isomorphisme près est un ensemble.

Algèbre de Lie associée à un groupe de Lie

Il est possible d'associer naturellement à tout groupe de Lie G une algèbre de Lie. Il existe deux manières équivalentes d'introduire cette algèbre de Lie. L'une consiste à introduire un espace de champs de vecteurs sur G, la seconde consiste à munir l'espace tangent en l'élément neutre d'un crochet de Lie, dérivant de l'expression locale de la loi interne de G.

Comme algèbre de champs de vecteurs

G désigne un groupe de Lie réel ou complexe de dimension n. Pour g un élément de G, l'application Lg : G\rightarrowG définie par Lg(f) = gf est un difféomorphisme de la variété réelle ou complexe sous-jacente à G. Un champ de vecteurs X sur G est dit invariant à gauche lorsque pour tout élément g de G, on a : TLg(X) = X. Pour toute variété différentielle réelle ou complexe M, l'espace vectoriel réel ou complexe des champs de vecteurs sur M, noté I(M), est muni d'une structure naturelle d'algèbre Lie réel ou complexe, dont le crochet est le crochet de champs de vecteurs. La naturalité signifie exactement que tout morphisme f:M\rightarrowN entre variétés réelles ou complexes induit un morphisme d'algèbres de Lie f
-I(M)\rightarrowI(N). En particulier, pour M = N = G, on dispose d'automorphisme d'algèbres de Lie Lg
-:I(G)\rightarrowI(G). En particulier, l'ensemble des points fixes communs à tous les difféomorphismes Lg
- est une sous-algèbre de Lie de I(G), notée g. Ses éléments sont dits des champs de vecteurs invariants à gauche sur G.

Comme espace tangent

Soit TeG l'espace tangent en e à G, e désignant l'élément neutre de G. L'application \left\\begin I(G) \rightarrow T_eG \\ X \mapsto X_e \end\right. (où Xe est la valeur de X en l'élément neutre) est un isomorphisme linéaire. La structure d'algèbre de Lie de g se transporte donc, via cet isomorphisme, en une structure d'algèbre de Lie sur l'espace vectoriel TeG Cette structure peut se définir directement. Supposons donnée f une carte locale de G en l'élément neutre e avec f(e)=0, alors, l'application produit lue dans la carte locale f est au second ordre près : f(f-1(a).f-1(b))=a+b+B(a, b)+... où B est une forme bilinéaire antisymétrique. La structure d'algèbre de Lie sur Te'G est donnée par : :=B(X, Y).

Application exponentielle

Dans la première présentation, tout vecteur X de g est par définition un vecteur invariant à gauche sur G. L'invariance à gauche implique que son flot est globalement défini. L'exponentielle de X est définie comme l'image au temps 1 de l'élément neutre. Plus précisément, il existe une unique fonction c : \mathbb R \rightarrowG dont la dérivée est donnée par : :c'(t) = X . et c(0) = 1 Elle possède la propriété remarquable suivante : :c(s + t) = c(s).c(t) pour tous s et t. On peut écrire : e^v = c(1) Une reparamétrisation incluant la variable t montre :c(t) = e^ On peut vérifier : c(0) = 1 ; d(c(t))/dt = v e^ ; d(c(0))/dt = X = v . Cette fonction est également appelée fonction exponentielle et relie l'algèbre de Lie g au groupe de Lie G. Elle définit un difféomorphisme entre un voisinage de 0 dans g et un voisinage de e dans G. Toutefois, en général, l'application exponentielle n'est pas surjective. Un sous-groupe à un paramètre de G est une application différentiable c \mathbb R \rightarrowG vérifiant l'identité eq.2 ci-dessus. À tout sous-groupe à un paramètre c est associé un unique élément X de g vérifiant : c(t) = e^.

Classification algébrique des groupes de Lie

Plusieurs groupes de Lie peuvent partager la même algèbre de Lie associée. Cependant, à toute algèbre de Lie g correspond un groupe de Lie simplement connexe G, unique à isomorphisme près. De plus cet isomorphisme est uniquement déterminé par l'isomorphisme d'algèbre de Lie associé. Tout groupe de Lie connexe dont l'algèbre de Lie est isomorphe à g se réalise comme quotient de G par un sous-groupe normal discret. Un groupe de Lie connexe est simple, semisimple, résoluble, nilpotent ou abélien si et seulement si son algèbre de Lie associée possède la propriété de même nom. En particulier, la classification des algèbres de Lie semi-simples donne une classification des groupes de Lie simplement connexes et semi-simples.

Exemples

Groupes de Lie réels

| border="0" align="center" style="border: 1px solid
-999; background-color:
-FFFFFF" |-align="center" bgcolor="
-CCCCCC" ! Groupe de Lie ! Description ! Propriétés ! Algèbre de Lie ! Description ! Dimension |- | \mathbb R^n || Espace euclidien muni de l'addition || Abélien; Simplement connexe, non compact || \mathbb R^n || Le crochet de Lie est nul || n |-----bgcolor="
-EFEFEF" | \mathbb R^
- || Nombres réels non nuls munis de la multiplication || Abélien; Non connexe, non compact || \mathbb R || Le crochet de Lie est nul || 1 |- | \mathbb R^
-_+ || Nombres réels strictement positifs munis de la multiplication || Abélien; Simplement connexe, non compact || \mathbb R || Le crochet de Lie est nul || 1 |-----bgcolor="
-EFEFEF" | S^1=\mathbb R/\mathbb || Nombres complexes de module 1 munis de la multiplication || Abélien; Connexe, non simplement connexe, compact || \mathbb R || Le crochet de Lie est nul || 1 |- | GL(n, \mathbb R) || Groupe général linéaire : matrices réelles n×
n inversibles || Non connexe, non compact || \mathcal M_n(\mathbb R) || Matrices n×n, le crochet de Lie étant le commutateur || n² |-----bgcolor="
-EFEFEF" | GL^(n, \mathbb R) || matrices réelles n×
n à déterminant positif || Simplement connexe, non compact || \mathcal M_n(\mathbb R) || Matrices n×n, le crochet de Lie étant le commutateur || n² |- | SL(n, \mathbb R) || Groupe spécial linéaire : matrices réelles de déterminant 1 || Simplement connexe, non compact si n > 1 || sl(n, \mathbb R) || Matrices carrées de trace nulle, le crochet de Lie étant le commutateur || n²-1 |-----bgcolor="
-EFEFEF" | O(n, \mathbb R) || Groupe orthogonal : matrices orthogonales réelles || Non connexe, compact || so(n, \mathbb R) || Matrices antisymétriques carrées réelles, le crochet de Lie étant le commutateur; so(3, \mathbb R) est isomorphe à su\left(2\right) et \mathbb R^3 muni du produit vectoriel || n(
n - 1)/2 |- | SO(n, \mathbb R) || Groupe spécial orthogonal : matrices orthogonales réelles de déterminant 1 || Simple et semisimple pour n=3 et n≥5; Connexe, compact, non simplement connexe pour n≥2 || so(n, \mathbb R) || Matrices antisymétriques carrées réelles, le crochet de Lie étant le commutateur || n(n - 1)/2 |-----bgcolor="
-EFEFEF" | Spin\left(n\right) || Groupe Spin || Simple et semisimple pour n=3 et n≥5; Simplement connexe, compact || so(n, \mathbb R) || Matrices antisymétriques carrées réelles, le crochet de Lie étant le commutateur || n(
n - 1)/2 |- | Sp(2n, \mathbb R) || Groupe symplectique : matrices symplectiques réelles || Simple, semisimple; Non compact || sp(2n, \mathbb R) || Matrices réelles satisfaisant JA + AT
'J = 0 où J est la matrice antisymétrique standard || n(2n + 1) |

Groupes de Lie complexes

Les dimensions sont données sur \mathbb C (sauf pour les groupes unitaires où elles sont données sur \mathbb R). Tout groupe ou algèbre de Lie complexe peut être vu comme un groupe ou une algèbre de Lie réel de dimension double. | border="0" align="center" style="border: 1px solid
-999; background-color:
-FFFFFF" |-align="center" bgcolor="
-CCCCCC" ! Groupe de Lie ! Description ! Propriétés ! Algèbre de Lie ! Description ! Dimension |- | \mathbb C^n || Espace euclidien muni de l'addition || Abélien; Simplement connexe, non compact || \mathbb C^n || Le crochet de Lie est nul || n |-----bgcolor="
-EFEFEF" | \mathbb C^
- || Nombres complexes non nuls munis de la multiplication || Abélien; Non simplement connexe, non compact || \mathbb C || Le crochet de Lie est nul || 1 |- | GL(n, \mathbb C) || Groupe général linéaire : matrices complexes n×
n inversibles || Simplement connexe, non compact; Isomorphe à \mathbb C^
- pour n=1 || \mathcal M_n(\mathbb C) || Matrices n×
n, le crochet de Lie étant le commutateur || 2n² |-----bgcolor="
-EFEFEF" | SL(n, \mathbb C) || Groupe spécial linéaire : matrices complexes de déterminant 1 || Simple, semisimple; Simplement connexe, non compact pour n≥2 || sl(n, \mathbb C) || Matrices carrées de trace nulle, le crochet de Lie étant le commutateur || 2(
n²-1) |- | O(n, \mathbb C) || Groupe orthogonal : Matrices orthogonales complexes || Non connexe, non compact pour n≥2 || so(n, \mathbb C) || matrices antisymétriques carrées complexes, le crochet de Lie étant le commutateur || n(n-1) |-----bgcolor="
-EFEFEF" | SO(n, \mathbb C) || Groupe spécial orthogonal : matrices orthogonales complexes de déterminant 1 || Simple et semisimple pour n=3 et n≥5; Non simplement connexe, non compact pour n≥2 || so(n, \mathbb C) || Matrices antisymétriques carrées complexes, le crochet de Lie étant le commutateur || n(
n-1) |- | Sp(2n, \mathbb C) || Groupe symplectique : matrices symplectiques complexes || Simple et semisimple; Non compact || sp(2n, \mathbb C) || Matrices complexes satisfaisant JA+A'T'J=0 où J est la matrice antisymétrique standard || 2n(2n+1) |-----bgcolor="
-EFEFEF" | U\left(n\right) || Groupe unitaire : matrices unitaires n×
n complexes || Non simplement connexe, compact; Isomorphe à S1 pour n=1 || u\left(n\right) || Matrices carrées complexes A vérifiant A=-A
-, le crochet de Lie étant le commutateur || n² |- | SU\left(n\right) || Groupe spécial unitaire : matrices unitaires complexes n×
n de déterminant 1 || Simple et semisimple pour n≥2; Simplement connexe, compact || su\left(n\right) || Matrices carrées complexes de traces nulles A vérifiant A=-A
-, le crochet de Lie étant le commutateur || n²-1 |

Groupes de Lie quaternioniques

Les dimensions sont données sur \mathbb R. | border="0" align="center" style="border: 1px solid
-999; background-color:
-FFFFFF" |-align="center" bgcolor="
-CCCCCC" ! Groupe de Lie ! Description ! Propriétés ! Algèbre de Lie ! Description ! Dimension |- | \mathbb^ || Quaternions non nuls munis de la multiplication || Simplement connexe, non compact || \mathbb || Quaternions, le crochet de Lie étant le commutateur || 4 |-----bgcolor="
-EFEFEF" | \mathbb S^3 || Quaternions de module 1 munis de la multiplication, également noté Sp\left(1\right) || Simple, semisimple; Simplement connexe, compact; Topologiquement une sphère, isomorphe à SU\left(2\right) et Spin\left(3\right) || Im(\mathbb) || Quaternions de partie réelle nulle, le crochet de Lie étant le produit vectoriel; Isomorphe aux vecteurs réels de dimension 3, également isomorphe à su\left(2\right) et so\left(3\right) || 3 |- | Sp\left(n\right) || Groupe compact symplectique : matrices unitaires n×
n quaternioniques || Simple, semisimple; Compact, simplement connexe || sl\left(n\right) || Matrices quaternioniques carrées A vérifiant A=-A
-, le crochet de Lie étant le commutateur || n(2
n'' + 1) |

Groupes de Lie exceptionnels

On répertorie 5 Groupes de Lie dits exceptionnels, notés respectivement E6, E7, E8, F4 & G2

Voir aussi

===
Sujets connexes
Algèbre de Lie   Application moment   Bijection   Claude Chevalley   Commutateur (opérateur)   Connexité (mathématiques)   Continuité   Crochet de Lie   Difféomorphisme   Différentielle   E6 (mathématiques)   E7 (mathématiques)   E8 (mathématiques)   Ensemble   Espace euclidien   Espace homogène   Espace tangent   F4 (mathématiques)   Felix Klein   Fonction holomorphe   G2 (mathématiques)   Groupe (mathématiques)   Groupe Spin   Groupe abélien   Groupe algébrique   Groupe général linéaire   Groupe nilpotent   Groupe orthogonal   Groupe résoluble   Groupe simple   Groupe spécial unitaire   Groupe symplectique   Groupe unitaire   Hermann Weyl   Isomorphisme   Mathématiques   Matrice (mathématiques)   Matrice antisymétrique   Matrice orthogonale   Matrice symplectique   Matrice unitaire   Nombre complexe   Nombre réel   Physique quantique   Problèmes de Hilbert   Produit vectoriel   Quaternion   Représentation   Représentation coadjointe   Rotation   Sophus Lie   Sous-groupe à un paramètre   Théorie des catégories   Trace (algèbre)   Variété algébrique   Variété différentielle  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^