Cartan-Kriterium

Das auf Élie Cartan zurückgehende Cartan-Kriterium ist ein mathematischer Satz aus der Theorie der Lie-Algebren, der ein Kriterium für die Auflösbarkeit einer Lie-Algebra darstellt. Das sich daraus ergebende Kriterium für Halbeinfachheit wird oft ebenfalls Cartan-Kriterium genannt. Manche Autoren sprechen daher genauer vom Cartan-Kriterium für Auflösbarkeit und vom Cartan-Kriterium für Halbeinfachheit.

Definitionen

Für einen endlichdimensionalen Vektorraum $V$ bezeichne $\mathrm{S}\mathrm{p}\mathrm{u}\mathrm{r}(x)$ die Spur des Endomorphismus $x$ auf $V$ und $𝔤𝔩(V)$ die allgemeine lineare Lie-Algebra über $V$, das ist die Lie-Algebra aller Endomorphismen mit der Kommutatorklammer.

Für eine Lie-Algebra $L$ bezeichne $L^{(1)}:=[L,L]$ die von allen Kommutatoren $[x,y],x,y\in L$ erzeugte Lie-Unteralgebra von $L$. Das kann man iterieren, indem man $L^{(n+1)}:=[L^{(n)},L^{(n)}]$ definiert. Eine Lie-Algebra $L$ heißt auflösbar, falls es ein $n\in \mathbb{N}$ mit $L^{(n)}=\{0\}$ gibt. Schließlich sei $\mathrm{a}\mathrm{d}:L\to 𝔤𝔩(L)$ die adjungierte Darstellung, die jedes $x\in L$ auf den Endomorphismus $\mathrm{a}\mathrm{d}x:L\to L,y\mapsto [x,y]$ abbildet.

Cartan-Kriterium für Auflösbarkeit

Es seien $V$ ein endlichdimensionaler Vektorraum über einem Körper der Charakteristik 0 und $L$ eine Lie-Unteralgebra von $𝔤𝔩(V)$. Dann sind folgende Aussagen äquivalent:

• $L$ ist auflösbar.
• $\mathrm{S}\mathrm{p}\mathrm{u}\mathrm{r}(xy)=0$ für alle $x\in [L,L]$ und $y\in L$.

Korollar zum Satz

Für eine endlichdimensionale Lie-Algebra $L$ über einem Körper der Charakteristik 0 sind folgende Aussagen äquivalent:

• $L$ ist auflösbar.
• $\mathrm{S}\mathrm{p}\mathrm{u}\mathrm{r}((\mathrm{a}\mathrm{d}x)(\mathrm{a}\mathrm{d}y))=0$ für alle $x\in [L,L]$ und $y\in L$.

Ist nämlich $L$ auflösbar, so auch das homomorphe Bild $\mathrm{a}\mathrm{d}(L)$ und wegen $\mathrm{a}\mathrm{d}([L,L])=[\mathrm{a}\mathrm{d}(L),\mathrm{a}\mathrm{d}(L)]$ folgt die genannte Bedingung aus obigem Satz. Ist umgekehrt die Bedingung erfüllt, so folgt aus obigem Satz, dass $\mathrm{a}\mathrm{d}(L)\subset 𝔤𝔩(L)$ auflösbar ist. Da der Kern der adjungierten Darstellung das Zentrum der Lie-Algebra ist und dieses als abelsche Lie-Algebra trivialer Weise auflösbar ist, folgt insgesamt die Auflösbarkeit von $L$.

Verwendet man die Definition der Killing-Form $\kappa (x,y):=\mathrm{S}\mathrm{p}\mathrm{u}\mathrm{r}((\mathrm{a}\mathrm{d}x)(\mathrm{a}\mathrm{d}y))$, so kann die Bedingung in obigem Korollar auch kurz als $\kappa ([L,L],L)=0$ geschrieben werden.

Cartan-Kriterium für Halbeinfachheit

Für eine endlichdimensionale Lie-Algebra $L$ über einem Körper der Charakteristik 0 sind folgende Aussagen äquivalent:

• $L$ ist halbeinfach.
• Die Killing-Form auf $L$ ist nicht-ausgeartet.

Bemerkungen

Das oben vorgestellte Cartan-Kriterium für Auflösbarkeit wird dazu verwendet, das ebenfalls auf Cartan zurückgehende Kriterium für Halbeinfachheit zu beweisen, es wird aber nicht von allen Autoren so bezeichnet. Die unten genannten Lehrbücher von Humphreys oder Hilgert-Neeb nennen das Kriterium für Auflösbarkeit einfach das Cartan-Kriterium und schreiben das Halbeinfachheitskriterium nicht ausdrücklich Cartan zu, während beispielsweise die Autoren Sagle-Walde oder Knapp die hier vorgestellten Satzbezeichnungen verwenden.

Die Kriterien gelten nicht im Falle positiver Charakteristik des Grundkörpers. Ist $K=\mathbb{Z}/p\mathbb{Z}$ für eine Primzahl $p\ge 5$ und $W$ die Witt-Algebra $K^p$ mit kanonischer Basis $e_n,n\in K$ und Produkt $[e_i,e_j]:=(i-j)e_{i+j},i,j\in K$, so ist $W$ eine einfache Lie-Algebra, deren Killing-Form 0 ist. Damit ist $W$ für beide Kriterien ein Gegenbeispiel: Wäre das Cartan-Kriterium für Auflösbarkeit hier richtig, wäre die Bedingung wegen des Verschwindens der Killing-Form trivialer Weise erfüllt und die Algebra müsste auflösbar sein, sie ist aber einfach. Wäre das Cartan-Kriterium für Halbeinfachheit hier gültig, so müsste die Killing-Form der einfachen und somit halbeinfachen Algebra $W$ nicht-degeneriert sein, sie verschwindet aber identisch.