Satz von Lie

Der Satz von Lie, benannt nach Sophus Lie, ist ein mathematischer Satz aus der Theorie der Lie-Algebren. Er sichert die Existenz eines gemeinsamen Eigenvektors für alle Elemente einer auflösbaren Lie-Algebra über einem vom Nullraum verschiedenen, endlichdimensionalen $\mathbb {C}$-Vektorraum und daraus ergibt sich, dass eine solche Lie-Algebra zu einer Teilalgebra der oberen Dreiecksmatrizen isomorph ist.

Bezeichnungen

In diesem Artikel sei $V$ ein endlichdimensionaler $\mathbb {C}$-Vektorraum mit Dimension $\mathrm {dim} \,V\,=n>0$. Der Körper $\mathbb {C}$ der komplexen Zahlen kann durch einen beliebigen algebraisch abgeschlossenen Körper der Charakteristik 0 ersetzt werden, was in den folgenden Formulierungen aber unterbleibt. Eine Fahne in $V$ ist eine aufsteigende Kette $V_{0}=\{0\}\subset V_{1}\subset V_{2}\subset \ldots \subset V_{n}=V$ von Unterräumen mit $\mathrm {dim} \,V_{i}\,=i$ für alle $i=0,\ldots ,n$.

Des Weiteren bezeichne ${\mathfrak {gl}}(V)$ die allgemeine lineare Lie-Algebra über $V$. Für eine Lie-Algebra $L$ seien die sogenannten abgeleiteten Lie-Algebren $L^{(i)}$ rekursiv definiert durch $L^{(0)}:=L$ und $L^{(i 1)}:=[L^{(i)},L^{(i)}]$, wobei letzteres für den von allen Produkten $[x,y],x,y\in L^{(i)}$ erzeugten Unterraum stehe. Eine Lie-Algebra heißt auflösbar, wenn es ein $i\in \mathbb {N}$ mit $L^{(i)}=\{0\}$ gibt. Ein verwandter Begriff ist die Nilpotenz. Man definiert rekursiv $L^{0}:=L$ und $L^{i 1}:=[L^{i},L]$ und nennt eine Lie-Algebra nilpotent, wenn es ein $i$ mit $L^{i}=\{0\}$ gibt. Da offenbar $L^{(i)}\subset L^{i}$, folgt die Auflösbarkeit aus der Nilpotenz, die Umkehrung gilt im Allgemeinen nicht.

Erste Formulierung des Satzes

• Es sei $L\subset {\mathfrak {gl}}(V)$ eine auflösbare Lie-Algebra. Dann gibt es für $L$ einen gemeinsamen Eigenvektor.

Genauer bedeutet das, dass es einen Vektor $v\neq 0$ aus $V$ gibt, so dass $xv$ für jedes $x\in L$ ein Vielfaches von $v$ ist, insbesondere ist $\mathbb {C} \cdot v$ für jedes $x\in L$ ein invarianter Unterraum, das heißt, er wird von $x$ in sich abgebildet.

Zweite Formulierung des Satzes

• Es sei $L\subset {\mathfrak {gl}}(V)$ eine auflösbare Lie-Algebra. Dann gibt es eine $L$-invariante Fahne.

Das bedeutet genauer, dass es eine Fahne $V_{0}=\{0\}\subset V_{1}\subset V_{2}\subset \ldots \subset V_{n}=V$ gibt mit $xV_{i}\subset V_{i}$ für alle $x\in L$ und $i=0,\ldots ,n$. Diese Formulierung verschärft die erste, denn offenbar ist jeder Vektor aus $V_{1}\setminus \{0\}$ ein gemeinsamer Eigenvektor.

Umgekehrt konstruiert man die Fahne der zweiten Formulierung wie folgt mittels Induktion aus der ersten. Der Induktionsanfang ist $V_{0}=\{0\}$. Hat man $V_{i}$ für $0\leq i<n$ bereits konstruiert, so ist

$\varphi :L\rightarrow {\mathfrak {gl}}(V/V_{i}),\quad \varphi (x)(v V_{i}):=xv V_{i}$

wegen der $L$-Invarianz von $V_{i}$ eine wohldefinierte Darstellung von $L$ auf dem Quotientenraum $V/V_{i}$, und dieser ist wegen $i<n$ nicht der Nullraum. Dann ist $\varphi (L)\subset {\mathfrak {gl}}(V/V_{i})$ als homomorphes Bild einer auflösbaren Lie-Algebra wieder auflösbar und auf Grund der ersten Formulierung gibt es einen gemeinsamen Eigenvektor $w V_{i}\in V/V_{i}$. Setzt man nun $V_{i 1}=V_{i} \mathbb {C} \cdot w$, so rechnet man leicht nach, dass dieser Unterraum $L$-invariant ist, womit die induktive Konstruktion beendet ist.

Folgerungen

Als erste wichtige Folgerung kann man auflösbare Lie-Algebren mit oberen Dreiecksmatrizen in Verbindung bringen. Ist $V_{0}=\{0\}\subset V_{1}\subset V_{2}\subset \ldots \subset V_{n}=V$ eine Fahne wie in der zweiten Formulierung, so kann man mittels Basisergänzungssatz eine Basis $v_{1},\ldots ,v_{n}$ von $V$ konstruieren, so dass $v_{1},\ldots ,v_{i}$ für jedes $i$ eine Basis von $V_{i}$ ist. Stellt man die Elemente $x\in L$ bzgl. dieser Basis als Matrizen dar, so erhält man wegen $xV_{i}\subset V_{i}$ obere Dreiecksmatrizen. Wir haben daher:

• Eine auflösbare Lie-Algebra $L\subset {\mathfrak {gl}}(V)$ ist isomorph zu einer Unteralgebra der Lie-Algebra der oberen Dreieckmatrizen.

Wie oben erwähnt sind nilpotente Lie-Algebren auflösbar, wobei die Umkehrung im Allgemeinen nicht gilt. Daher ist folgende Aussage auf den ersten Blick überraschend:

• Ist $L\subset {\mathfrak {gl}}(V)$ eine auflösbare Lie-Algebra, so ist $L^{(1)}=[L,L]$ nilpotent.

Nach der ersten Folgerung ist $L$ isomorph zu einer Unteralgebra der oberen Dreiecksmatrizen. Da ein Kommutator zweier oberer Dreiecksmatrizen eine strikte obere Dreiecksmatrix ist, das heißt die Diagonalelemente sind sämtlich 0, ist $L^{(1)}=[L,L]$ isomorph zu einer Unteralgebra der nilpotenten Lie-Algebra der strikten oberen Dreiecksmatrizen und daher selbst nilpotent.

Als weitere Folgerung kann man in einer auflösbaren Lie-Algebra eine Fahne von Idealen konstruieren:

• Ist $L\subset {\mathfrak {gl}}(V)$ eine auflösbare Lie-Algebra, so gibt es eine Fahne $L_{0}=\{0\}\subset L_{1}\subset \ldots \subset L$ von Idealen.

Zum Beweis beachte man, dass das Bild der adjungierten Darstellung eine auflösbare Lie-Algebra in ${\mathfrak {gl}}(L)$ ist. Dort gibt es nach obigem Satz von Lie eine invariante Fahne, und die invarianten Unterräume von $L$ sind Ideale. Eine solche Kette von Idealen nennt man eine Hölder-Reihe der Lie-Algebra.

• Jede irreduzible Darstellung einer auflösbaren Lie-Algebra ist eindimensional.

Ist $\pi :L\rightarrow {\mathfrak {gl}}(V)$ eine irreduzible Darstellung, so ist mit $L$ auch $\pi (L)\subset {\mathfrak {gl}}(V)$ auflösbar, hat also nach obigem Satz von Lie einen gemeinsamen Eigenvektor $v\not =0$. Der von $v$ aufgespannte eindimensionale Unterraum ist dann invariant, muss also wegen der Irreduzibilität mit $V$ übereinstimmen, und das ist die Behauptung.

Andere Grundkörper

Der Satz von Lie ist ebenfalls richtig fūr Vektorräume über algebraisch abgeschlossenen Körpern der Charakteristik Null. Dagegen gibt es Gegenbeispiele für Vektorräume über den reellen Zahlen oder über Körpern positiver Charakteristik.

Literatur

• Joachim Hilgert, Karl-Hermann Neeb: Lie-Gruppen und Lie-Algebren, Vieweg (1999), ISBN 3-528-06432-3, Kapitel II, §2: Nilpotente und auflösbare Lie-Algebren
• James E. Humphreys: Introduction to Lie Algebras and Representation Theory, Springer-Verlag (1972), ISBN 0-387-90052-7, Kapitel 4.1: Lie's Theorem