Satz von Lie

Vorlage:Dieser Artikel 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 $ℂ$-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 $ℂ$-Vektorraum mit Dimension $\mathrm{d}\mathrm{i}\mathrm{m}V=n>0$. Der Körper $ℂ$ 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 \dots \subset V_n=V$ von Unterräumen mit $\mathrm{d}\mathrm{i}\mathrm{m}{V}_i=i$ für alle $i=0,\dots ,n$.

Des Weiteren bezeichne $𝔤𝔩(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 𝔤𝔩(V)$ eine auflösbare Lie-Algebra. Dann gibt es für $L$ einen gemeinsamen Eigenvektor.

Genauer bedeutet das, dass es einen Vektor $v\ne 0$ aus $V$ gibt, so dass $xv$ für jedes $x\in L$ ein Vielfaches von $v$ ist, insbesondere ist $ℂ\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 𝔤𝔩(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 \dots \subset V_n=V$ gibt mit $x{V}_i\subset V_i$ für alle $x\in L$ und $i=0,\dots ,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\le i<n$ bereits konstruiert, so ist

$\phi :L\to 𝔤𝔩(V/V_i),\phi (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 $\phi (L)\subset 𝔤𝔩(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+ℂ\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 \dots \subset V_n=V$ eine Fahne wie in der zweiten Formulierung, so kann man mittels Basisergänzungssatz eine Basis $v_1,\dots ,v_n$ von $V$ konstruieren, so dass $v_1,\dots ,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 $x{V}_i\subset V_i$ obere Dreiecksmatrizen. Wir haben daher:

• Eine auflösbare Lie-Algebra $L\subset 𝔤𝔩(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 𝔤𝔩(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 𝔤𝔩(V)$ eine auflösbare Lie-Algebra, so gibt es eine Fahne $L_0=\{0\}\subset L_1\subset \dots \subset L$ von Idealen.

Zum Beweis beachte man, dass das Bild der adjungierten Darstellung eine auflösbare Lie-Algebra in $𝔤𝔩(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\to 𝔤𝔩(V)$ eine irreduzible Darstellung, so ist mit $L$ auch $\pi (L)\subset 𝔤𝔩(V)$ auflösbar, hat also nach obigem Satz von Lie einen gemeinsamen Eigenvektor $v=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