Liesche Sätze

In der Mathematik stellen die Lie’schen Sätze, benannt nach Sophus Lie, den Zusammenhang zwischen Lie-Gruppen und Lie-Algebren her.

Eine Lie-Gruppe ${\displaystyle G}${\displaystyle G} ist eine differenzierbare Mannigfaltigkeit, die zusätzlich die Struktur einer Gruppe besitzt, so dass die Gruppenverknüpfung und die Inversion beliebig oft differenzierbar sind.

Die Lie-Algebra einer Lie-Gruppe ist der Vektorraum der links-invarianten Vektorfelder mit dem Kommutator als Lie-Klammer. Die Lie-Algebra ${\displaystyle {\mathfrak {g}}}${\displaystyle {\mathfrak {g}}} kann auf kanonische Weise mit dem Tangentialraum im neutralen Element der Lie-Gruppe ${\displaystyle G}${\displaystyle G} identifiziert werden:

${\displaystyle {\mathfrak {g}}\simeq T_{e}G}${\displaystyle {\mathfrak {g}}\simeq T_{e}G}.

Satz (Dritter Lie’scher Satz, auch Satz von Lie-Cartan): Für jede endlich-dimensionale reelle Lie-Algebra ${\displaystyle {\mathfrak {g}}}${\displaystyle {\mathfrak {g}}} gibt es eine einfach zusammenhängende Lie-Gruppe ${\displaystyle G}${\displaystyle G}, deren Lie-Algebra ${\displaystyle {\mathfrak {g}}}${\displaystyle {\mathfrak {g}}} ist.

Satz (Zweiter Lie’scher Satz): Seien ${\displaystyle G,H}${\displaystyle G,H} Lie-Gruppen mit Lie-Algebren ${\displaystyle {\mathfrak {g}},{\mathfrak {h}}}${\displaystyle {\mathfrak {g}},{\mathfrak {h}}} und sei ${\displaystyle G}${\displaystyle G} einfach zusammenhängend. Dann gibt es zu jedem Lie-Algebren-Homomorphismus ${\displaystyle f\colon {\mathfrak {g}}\to {\mathfrak {h}}}${\displaystyle f\colon {\mathfrak {g}}\to {\mathfrak {h}}} einen eindeutigen Lie-Gruppen-Homomorphismus ${\displaystyle F\colon G\to H}${\displaystyle F\colon G\to H} mit ${\displaystyle f=D_{e}F}${\displaystyle f=D_{e}F}.

Der erste Lie’sche Satz ist eine rein lokale Aussage, die die Wirkung einer Lie-Gruppe auf sich selbst in lokalen Koordinaten als Lösung gewisser Differentialgleichungen mit analytischen Koeffizienten beschreibt.^[1]

Auch der dritte Lie’sche Satz war von Sophus Lie ursprünglich nur in einer lokalen Version bewiesen worden, die hier zitierte globale Form geht auf Élie Cartan zurück.

Im dritten Lie’schen Satz erhält man neben der einfach zusammenhängenden Lie-Gruppe ${\displaystyle G}${\displaystyle G} noch weitere (nicht einfach zusammenhängende) Lie-Gruppen mit Lie-Algebra ${\displaystyle {\mathfrak {g}}}${\displaystyle {\mathfrak {g}}} als Faktorgruppe ${\displaystyle G/D}${\displaystyle G/D}, wobei ${\displaystyle D\subset Z(G)}${\displaystyle D\subset Z(G)} eine diskrete Untergruppe des Zentrums von ${\displaystyle G}${\displaystyle G} ist.

• Gilmore, Robert: Lie groups, Lie algebras, and some of their applications. Reprint of the 1974 original. Robert E. Krieger Publishing Co., Inc., Malabar, FL, 1994. ISBN 0-89464-759-8
• Hilgert, Joachim; Neeb, Karl-Hermann: Structure and geometry of Lie groups. Springer Monographs in Mathematics. Springer, New York, 2012. ISBN 978-0-387-84793-1
• W. Van Est: Une démonstration de E. Cartan du troisième théorème de Lie. Actions Hamiltoniennes des groupes, troisième théorème de Lie, travail en cours, Volume 27, Hermann Paris, 1987.

• Lie's three theorems in nLab
• Robert Bryant: Cartan's generalization of Lie's third theorem (PDF; 106 kB)
• Johannes Ebert: Lie's third theorem, after Cartan-van Elst

1. ↑ Lie theorem Encyclopedia of Mathematics

• Satz (Mathematik)
• Theorie der Lie-Gruppen