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.

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

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

Es seien ${\displaystyle V}${\displaystyle V} ein endlichdimensionaler Vektorraum über einem Körper der Charakteristik 0 und ${\displaystyle L}${\displaystyle L} eine Lie-Unteralgebra von ${\displaystyle {\mathfrak {gl}}(V)}${\displaystyle {\mathfrak {gl}}(V)}. Dann sind folgende Aussagen äquivalent:^{[1] [2] [3] [4]}

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

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

• ${\displaystyle L}${\displaystyle L} ist auflösbar.
• ${\displaystyle \mathrm {Spur} ((\mathrm {ad} ,円x)(\mathrm {ad} ,円y))=0}${\displaystyle \mathrm {Spur} ((\mathrm {ad} ,円x)(\mathrm {ad} ,円y))=0} für alle ${\displaystyle x\in [L,L]}${\displaystyle x\in [L,L]} und ${\displaystyle y\in L}${\displaystyle y\in L}.

Ist nämlich ${\displaystyle L}${\displaystyle L} auflösbar, so auch das homomorphe Bild ${\displaystyle \mathrm {ad} (L)}${\displaystyle \mathrm {ad} (L)} und wegen ${\displaystyle \mathrm {ad} ([L,L])=[\mathrm {ad} (L),\mathrm {ad} (L)]}${\displaystyle \mathrm {ad} ([L,L])=[\mathrm {ad} (L),\mathrm {ad} (L)]} folgt die genannte Bedingung aus obigem Satz. Ist umgekehrt die Bedingung erfüllt, so folgt aus obigem Satz, dass ${\displaystyle \mathrm {ad} (L)\subset {\mathfrak {gl}}(L)}${\displaystyle \mathrm {ad} (L)\subset {\mathfrak {gl}}(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 ${\displaystyle L}${\displaystyle L}.

Verwendet man die Definition der Killing-Form ${\displaystyle \kappa (x,y):=\mathrm {Spur} ((\mathrm {ad} ,円x)(\mathrm {ad} ,円y))}${\displaystyle \kappa (x,y):=\mathrm {Spur} ((\mathrm {ad} ,円x)(\mathrm {ad} ,円y))}, so kann die Bedingung in obigem Korollar auch kurz als ${\displaystyle \kappa ([L,L],L)=0}${\displaystyle \kappa ([L,L],L)=0} geschrieben werden.

Für eine endlichdimensionale Lie-Algebra ${\displaystyle L}${\displaystyle L} über einem Körper der Charakteristik 0 sind folgende Aussagen äquivalent:^{[5] [6]}

• ${\displaystyle L}${\displaystyle L} ist halbeinfach.
• Die Killing-Form auf ${\displaystyle L}${\displaystyle L} ist nicht-ausgeartet.

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 ${\displaystyle K=\mathbb {Z} /p\mathbb {Z} }${\displaystyle K=\mathbb {Z} /p\mathbb {Z} } für eine Primzahl ${\displaystyle p\geq 5}${\displaystyle p\geq 5} und ${\displaystyle W}${\displaystyle W} die Witt-Algebra ${\displaystyle K^{p}}${\displaystyle K^{p}} mit kanonischer Basis ${\displaystyle e_{n},n\in K}${\displaystyle e_{n},n\in K} und Produkt ${\displaystyle [e_{i},e_{j}]:=(i-j)e_{i+j},,円i,j\in K}${\displaystyle [e_{i},e_{j}]:=(i-j)e_{i+j},,円i,j\in K}, so ist ${\displaystyle W}${\displaystyle W} eine einfache Lie-Algebra, deren Killing-Form 0 ist.^[7] Damit ist ${\displaystyle W}${\displaystyle 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 ${\displaystyle W}${\displaystyle W} nicht-degeneriert sein, sie verschwindet aber identisch.

1. ↑ Joachim Hilgert, Karl-Hermann Neeb: Lie-Gruppen und Lie-Algebren, Vieweg, 1999, ISBN 3-528-06432-3
2. ↑ James E. Humphreys: Introduction to Lie Algebras and Representation Theory, Berlin, New York: Springer-Verlag (1972), ISBN 978-0-387-90053-7, Kapitel II, 4.3: Cartan's Criterion
3. ↑ Arthur A. Sagle, Ralph Walde: Introduction to Lie groups and Lie algebras, Academic Press (1973), ISBN 0-080-87366-9, Satz 12.16
4. ↑ Anthony W. Knapp: Lie Groups Beyond an Introduction, Birkhäuser (2002), ISBN 0-8176-4259-5, Satz 1.46.
5. ↑ Arthur A. Sagle, Ralph Walde: Introduction to Lie groups and Lie algebras, Academic Press (1973), ISBN 0-080-87366-9, Satz 12.17
6. ↑ Anthony W. Knapp: Lie Groups Beyond an Introduction, Birkhäuser (2002), ISBN 0-8176-4259-5, Satz 1.45
7. ↑ Dmitriy Rumynin: Modular Lie Algebras, Lecture Notes 2010

• Satz (Mathematik)
• Theorie der Lie-Algebren