En mathématiques, un groupe de Lie compact est un groupe de Lie (réel ou complexe) qui, en tant que groupe topologique, est un groupe compact. Un groupe de Lie réel compact admet une métrique riemannienne invariante par translations à droite et à gauche. La classification des groupes de Lie complexes compacts est connue : ils sont tous commutatifs.
Pour tout groupe de Lie réel connexe G, toute structure euclidienne sur l'espace tangent de G en l'élément neutre induit par transport des structures une unique métrique riemannienne sur G invariante par translation à gauche. Si le groupe n'est pas commutatif, cette métrique n'a aucune raison d'être invariante par translation à droite.
Si et sont les multiplications à gauche et à droite par g et par g−1, par définition, la différentielle en l'élément neutre de est . Via la correspondance précédente, les métriques riemanniennes biinvariantes sur G correspondent exactement aux structures euclidiennes sur invariantes par la représentation adjointe.
L'existence d'une structure euclidienne invariante par la représentation adjointe découle précisément des considérations générales sur les représentations.
Pour une telle métrique riemannienne, les multiplications à gauche et à droite sont des isométries riemanniennes. Les sous-groupes à un paramètres sont les géodésiques de G passant par l'élément neutre. Comme G est compact, le théorème de Hopf-Rinow implique l'existence d'une géodésique de l'élément neutre à n'importe quel élément de G. Ainsi :
Remarquons qu'un groupe de Lie connexe est divisible si (et seulement si[1] !) son application exponentielle est surjective.
Groupe de Lie complexe compact
Un groupe de Lie compact complexe G est commutatif.
La représentation adjointe de G est une application holomorphe. Comme G est une variété complexe compacte, l'application ad est constante, égale à sa valeur en l'élément neutre. Par suite, le crochet de Lie sur son algèbre de Lie est trivial donc la loi de groupe est commutative.
Les groupes de Lie complexes compacts G de dimension 1 sont les quotients de C par ses réseaux. Un réseau de C est un sous-groupe additif discret de rang 2.
Référence
↑(en) M. McCrudden, « On nth roots and infinitely divisible elements in a connected Lie group », Math. Proc. Cambridge Philos. Soc., vol. 89, no 2, , p. 293-299 (DOI10.1017/S0305004100058175).