Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément. Si ces opérations de groupe — multiplication et inversion — sont continues, on obtient un groupe continu. Si en plus, ces opérations de groupes sont différentiables, il s'agit d'un groupe de Lie. Les groupes de Lie sont nommés ainsi en l'honneur du mathématiciennorvégienSophus Lie, qui les introduisit afin d'étudier certaines propriétés des équations différentielles.
La théorie des groupes de Lie décrit la symétrie continue en mathématiques. En physique théorique (par exemple dans la théorie des quarks), son importance s'est affirmée au cours du XXe siècle.
Exemples simples
Addition de deux vecteurs dans le plan
Plan
Le plan, c'est-à-dire l'espace euclidien de dimension 2 peut être considéré comme un groupe de Lie. C'est une variété (localement, l'espace ressemble à l'espace euclidien de dimension 2) et un groupe. Comme le montre la figure à droite, l'opération de groupe est l'addition de deux points (que l'on considère alors comme des vecteurs). L'inverse d'un vecteur (x, y) est le vecteur (-x, -y). Ces deux opérations sont différentiables.
Le cercle unité où chaque point est repéré par un angle avec l'axe des abscisses.
Cercle
Un cercle, par exemple le cercle unité, est un groupe de Lie dans le sens suivant. C'est une variété : localement, le cercle ressemble à une droite, c'est-à-dire un espace euclidien de dimension 1. D'autre part, il s'agit d'un groupe. En effet, chaque point est paramétré par un anglet avec l'axe des abscisses. L'opération d'addition de deux points correspond à additionner les angles. L'inverse d'un point d'angle t avec l'axe des abscisses, est le point d'angle -t avec l'axe des abscisses.
Histoire
Sophus Lie lui-même considérait que la théorie des « groupes continus » (au sens actuel de groupes topologiques) était née lors de l'hiver 1873-1874, mais le biographe Hawkins suggère que la théorie est née des recherches effectuées par Lie durant les quatre années précédentes (de 1869 à 1873)[1].
Une partie des idées initiales de Lie furent développées en collaboration avec Felix Klein, qu'il rencontrait quotidiennement durant les jours d'octobre des années 1869 à 1872, à Berlin d'abord, puis Paris, Göttingen et Erlangen.
Les résultats de Lie furent publiés dans des journaux norvégiens lors de la décennie 1870, et son œuvre 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, lequel fut publié en trois volumes sous le titre Theorie der Transformationsgruppen, en 1888, 1890 et 1893.
G, munie de deux fonctionsG×G → G (multiplication) et G → G (inversion), est un groupe (c'est-à-dire possède une loi associative, non nécessairement commutative, avec un élément neutre, chaque élément ayant un symétrique) ;
les applications de multiplication et d'inversion sont analytiques réelles (respectivement complexes).
Il est également possible de définir un groupe de Lie comme une variété différentielle munie d'opérations de groupe seulement différentiables, ou même seulement continues. Cette définition est équivalente à la précédente et est une interprétation du cinquième 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 une 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.
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 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 couple d'élément g et h de G, on a : (où on note la valeur du champ de vecteurs X au point a).
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 de Lie réelle ou complexe, dont le crochet est le crochet de champs de vecteurs. La naturalité signifie exactement que tout morphisme f:M → N entre variétés induit un morphisme d'algèbres de Lie f* : I(N) → I(M). En particulier, pour M = N = G, on dispose d'automorphismes (Lg)* de l'algèbre de Lie I(G). L'ensemble des points fixes communs à tous ces automorphismes (Lg)* est une sous-algèbre de Lie de I(G), notée . Ses éléments sont les 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 (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 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, le produit du groupe de Lie lu dans la carte locale f est au second ordre :
où B est une application bilinéaire et antisymétrique. La structure d'algèbre de Lie sur TeG est donnée par
Dans la première présentation, tout vecteur X de est par définition un champ de vecteurs 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 e de G. Plus précisément, il existe une unique fonction c : ℝ → G dont la dérivée est donnée par et telle que c(0) = e.
Elle possède la propriété remarquable suivante : pour tous s et t.
Si l'on note, pour v = Xe, , une reparamétrisation incluant la variable t montre que .
On peut alors vérifier
Cette fonction est également appelée fonction exponentielle et relie l'algèbre de Lie au groupe de Lie G. Elle définit un difféomorphisme entre un voisinage de 0 dans et un voisinage de e dans G. Toutefois, en général, l'application exponentielle n'est passurjective, ni injective.
Un sous-groupe à un paramètre de G est une application différentiable c : ℝ → G vérifiant l'identité (*) ci-dessus. À tout sous-groupe à un paramètre c est associé un unique élément X de vérifiant : .
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 correspond un groupe de Lie simplement connexeG, unique à isomorphisme près. De plus cet isomorphisme est uniquement déterminé par l'isomorphisme d'algèbres de Lie associé. Tout groupe de Lie connexe dont l'algèbre de Lie est isomorphe à se réalise comme quotient de G par un sous-groupe normaldiscret.
Un groupe de Lie connexe est dit simple, semi-simple, résoluble, nilpotent ou abélien 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.
Homomorphismes et isomorphismes
Morphisme de groupe de Lie
Si G et H sont deux groupes de Lie (tous deux réels ou complexes), alors un morphisme de groupes de Lie f : G → H est un morphisme de groupes qui est également une fonction analytique (il suffit en fait que f soit continue).
La composition de deux morphismes de groupes de Lie est un morphisme de groupes de Lie et la classe de tous les groupes de Lie est une catégorie. Deux groupes de Lie sont dits isomorphes s'il existe entre eux un morphisme bijectif dont la réciproque est également un morphisme.
Soient G et H deux groupes de Lie, et f : G → H un morphisme de groupes de Lie. Alors il existe un unique morphisme d'algèbre de Lie : de l'algèbre de Lie associée à G dans celle associée à H, telle que, pour tout champ de vecteurs X invariant à gauche dans G, on ait, pour tout t :
De plus, si f est un isomorphisme, aussi[3]. Vue comme application de TeG dans TeH, n'est autre que la différentielle de f calculée en l'élément neutre de G.
Exemples
Groupes de Lie réels (groupes de Lie classiques)
Dans le tableau ci-dessous, la notion A* désigne la matrice adjointe d'une matrice A.
Matrices carrées complexes de traces nulles A vérifiant A = –A*, le crochet de Lie étant le commutateur
n² – 1
Quaternions de module 1 munis de la multiplication, également noté
Simple ; simplement connexe, compact ; topologiquement une sphère, isomorphe à et
Quaternions de partie réelle nulle, le crochet de Lie étant le produit vectoriel ; Isomorphe aux vecteurs réels de dimension 3, également isomorphe à , est un revêtement double de
Matrices quaternioniques carrées A vérifiant A = –A*, le crochet de Lie étant le commutateur
n(2n + 1)
Groupes de Lie complexes
Les dimensions sont données sur ℂ. (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.)
(en) Thomas Hawkins, Emergence of the Theory of Lie Groups : An Essay in the History of Mathematics, 1869-1926, Springer, , 566 p. (ISBN978-0-387-98963-1, lire en ligne)
(en) John M. Lee, Introduction to Smooth Manifolds, Springer, coll. « GTM » (no 218), (lire en ligne)
Rached Mneimné et Frédéric Testard, Introduction à la théorie des groupes de Lie classiques [détail des éditions]
(en) Claude Chevalley, Theory of Lie groups I, PUP,
José María Almira, José Luis Guijarro et Martine Joulia (Trad.), L'exploitation de la symétrie : Lie, Barcelone, RBA Coleccionables, , 159 p. (ISBN978-84-473-9887-4)