Groupe de Lie

En mathématiques, un groupe de Lie est un groupe qui est continu, c'est-à-dire que chaque élément du groupe peut être approché d'aussi près qu'on veut par une suite d'autres éléments du groupe.

Catégories :

Groupe de Lie - Physique quantique - Structure algébrique topologique

Source image : www.futura-sciences.com
Cette image est un résultat de recherche de Google Image. Elle est peut-être réduite par rapport à l'originale et/ou protégée par des droits d'auteur.

Page(s) en rapport avec ce sujet :

C'est avec ces relations qu'on peut s'assurer que l'algèbre de Lie d'un groupe de Lie est bien tex2html_wrap_inline13330 une algèbre de Lie... (source : cpt.univ-mrs)
Un exempleelementaire est le groupe additif (C, +). Un exemple essentiel de groupe de Lie est le groupe GL n. (C) des matrices n × n inversibles complexes.... (source : books.google)
un groupe de Lie est dit semi- simple s'il n'admet pas de sous- groupe ablien distingu non dis- cret. Exemples. -. S Ln (R). (matrices de d6terminant... (source : springerlink)

En mathématiques, un groupe de Lie est un groupe qui est continu, c'est-à-dire que chaque élément du groupe peut être approché d'aussi près qu'on veut par une suite d'autres éléments du groupe. Un groupe de Lie est en fait légèrement plus qu'un groupe continu : il est en plus lisse, et on peut faire du calcul différentiel dessus. Ces groupes sont appelés ainsi en l'honneur du mathématicien norvégien Sophus Lie, qui les introduisit afin d'étudier certaines propriétés des équations différentielles.

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 soit née des recherches effectuées par Lie durant les quatre années précédentes (de 1869 à 1873).

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 en premier lieu, 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.

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 ainsi qu'aux travaux d'Hermann Weyl sur les représentations des groupes de Lie compacts.

La théorie des groupes de Lie fut exposée méthodiquement 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, pourvue de deux fonctions G×G $\rightarrow$ G (multiplication) et G $\rightarrow$ G (inversion), est un groupe ;
les applications de multiplication et d'inversion sont différentiables ou holomorphes.

Il est aussi envisageable de définir un groupe de Lie comme une variété différentielle pourvue d'opérations de groupe uniquement continues. Cette définition est équivalente à la précédente et est une interprétation du 5^e problème de Hilbert.

La dimension d'un groupe de Lie est définie comme sa dimension comme variété.

Il existe aussi une notion analogue de Groupe de Lie p-adique quand 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.

Des premiers exemples simples

Un exemple simple est le groupe des matrices de rotation 2×2, noté SO (2, $\mathbb R$ ) : $\begin{bmatrix} \cos \lambda & -\sin \lambda \\ \sin \lambda & \cos \lambda \end{bmatrix}.$

Il est paramétré par un seul angle λ : sa variété est par conséquent 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 λ+μ.

À l'inverse, $\mathbb Z$ n'est pas un groupe continu, car il n'y a aucun élément entre 1 et 2.

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 aussi habituellement 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 $\rightarrow$ H est un homomorphisme de groupe qui est aussi 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 l'ensemble des 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 aussi un homomorphisme.

La classe des groupes de Lie réels ou complexes de dimension n identifiés à isomorphisme près est un ensemble.

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

Il est envisageable 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 à pourvur 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 sert à désigner un groupe de Lie réel ou complexe de dimension n. Pour g un élément de G, l'application L_g : G $\rightarrow$ G définie par L_g (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 quand pour tout élément g de G, on a : L_g (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 pourvu d'une structure naturelle d'algèbre Lie réel ou complexe, dont le crochet est le crochet de champs de vecteurs. La naturalité veut dire précisément que tout morphisme f :M $\rightarrow$ N entre variétés réelles ou complexes induit un morphisme d'algèbres de Lie f_*I (M) $\rightarrow$ I (N). Surtout, pour M = N = G, on dispose d'automorphisme d'algèbres de Lie L_{g *} :I (G) $\rightarrow$ I (G). Surtout, la totalité des points fixes communs à l'ensemble des difféomorphismes L_{g *} 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 T_eG l'espace tangent en e à G, e désignant l'élément neutre de G. L'application $\left\{\begin{matrix} I(G) \rightarrow T_eG \\ X \mapsto X_e \end{matrix}\right.$ (où X_e 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 par conséquent, via cet isomorphisme, en une structure d'algèbre de Lie sur l'espace vectoriel T_eG

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 T_eG est donnée par :

[X, Y] = 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 exactement, il existe une unique fonction c : $\mathbb R \rightarrow$ G dont la dérivée est donnée par :

$c' (t) = X [c (t) ]$

[e q . 1]

et $c (0) = 1$

Elle possède la propriété remarquable suivante :

$c (s + t) = c (s). c (t)$ $[e q . 2]$

pour tous s et t.

On peut écrire : $e v = c (1)$

Une reparamétrisation incluant la variable $t$ montre

$c (t) = e t v$ $[e q . 3]$

On peut vérifier : $c (0) = 1$ ; $d (c (t) ) / d t = v e t v$ ; $d (c (0) ) / d t = X [c (0) ] = v$ .

Cette fonction est aussi nommé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. Cependant, généralement, l'application exponentielle n'est pas surjective.

Un sous-groupe à un paramètre de G est une application différentiable c $\mathbb R \rightarrow$ G vérifiant l'identité $e q . 2$ ci-dessus. À tout sous-groupe à un paramètre c est associé un unique élément X de g vérifiant : $c (t) = e t v$ .

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. Qui plus est cet isomorphisme est seulement 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 uniquement si son algèbre de Lie associée possède la propriété de même nom. Surtout, la classification des algèbres de Lie semi-simples donne une classification des groupes de Lie simplement connexes et semi-simples.

Groupes de Lie réels

Groupe de Lie	Description	Propriétés	Algèbre de Lie	Description	Dimension
$\mathbb Rˆn$	Espace euclidien pourvu de l'addition	Abélien; Simplement connexe, non compact	$\mathbb Rˆn$	Le crochet de Lie est nul	n
$\mathbb Rˆ*$	Nombres réels non nuls pourvus 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 pourvus de la multiplication	Abélien; Simplement connexe, non compact	$\mathbb R$	Le crochet de Lie est nul	1
$Sˆ1=\mathbb R/\mathbb{Z}$	Nombres complexes de module 1 pourvus 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²
$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
$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$ pourvu 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
$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 + A^TJ = 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.

Groupe de Lie	Description	Propriétés	Algèbre de Lie	Description	Dimension
$\mathbb Cˆn$	Espace euclidien pourvu de l'addition	Abélien; Simplement connexe, non compact	$\mathbb Cˆn$	Le crochet de Lie est nul	n
$\mathbb Cˆ*$	Nombres complexes non nuls pourvus 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²
$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)
$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^TJ=0 où J est la matrice antisymétrique standard	2n (2n+1)
$U\left(n\right)$	Groupe unitaire : matrices unitaires n×n complexes	Non simplement connexe, compact; Isomorphe à S¹ 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$ .

Groupe de Lie	Description	Propriétés	Algèbre de Lie	Description	Dimension
$\mathbb{H}ˆ{*}$	Quaternions non nuls pourvus de la multiplication	Simplement connexe, non compact	$\mathbb{H}$	Quaternions, le crochet de Lie étant le commutateur	4
$\mathbb Sˆ3$	Quaternions de module 1 pourvus de la multiplication, aussi 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{H})$	Quaternions de partie réelle nulle, le crochet de Lie étant le produit vectoriel; Isomorphe aux vecteurs réels de dimension 3, aussi 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 (2n + 1)

Groupes de Lie exceptionnels

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

Sites externes

Site du Projet Atlas de résolution des représentations des groupes de Lie (National Science Foundation, American Institute of Mathematics)

Bibliographie

Rached Mneimné et Frédéric Testard, Introduction à la théorie des groupes de Lie classiques, Hermann, 2005.
Roger Godement, Introduction à la théorie des groupes de Lie, Springer, 2004.

Recherche sur Amazone (livres) :

Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Groupe_de_Lie.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 13/04/2009.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.