Satz von Weyl (Lie-Algebra)

Der Satz von Weyl, benannt nach Hermann Weyl, ist ein wichtiger Satz aus der Theorie der Lie-Algebren. Er besagt im Wesentlichen, dass man endlichdimensionale Darstellungen halbeinfacher Lie-Algebren aus irreduziblen zusammensetzen kann, sofern der Grundkörper algebraisch abgeschlossen ist und die Charakteristik 0 hat.

Begriffe

Eine Darstellung einer Lie-Algebra $L$ über einem Vektorraum $V$ ist ein Lie-Algebren-Homomorphismus von $\pi :L\to \mathrm{g}\mathrm{l}(V)$, wobei letzteres die allgemeine lineare Lie-Algebra über $V$ bezeichnet, d. h. die Menge aller linearen Operatoren mit der Kommutator-Klammer als Verknüpfung. Die Dimension des Vektorraums heißt auch Dimension der Darstellung. Ein Untervektorraum $W\subset V$ heißt invariant, falls $\pi (x)w\in W$ für alle $x\in L,w\in W$. Invariante Unterräume sind deshalb interessant, weil ${\pi }_W:L\to \mathrm{g}\mathrm{l}(W),{\pi }_W(x):=\pi (x){|}_W$ wieder eine Darstellung ist. Man hat stets die sogenannten trivialen invarianten Unterräume $W=\{0\}$ und $W=V$; gibt es nur diese, so nennt man die Darstellung irreduzibel, denn sie kann nicht durch weitere invariante Unterräume vereinfacht (reduziert) werden. Eine Darstellung $\pi :L\to \mathrm{g}\mathrm{l}(V)$ heißt nun vollständig reduzibel, falls es vom Nullvektorraum verschiedene, invariante Unterräume $W_1,\dots ,W_n$, so dass $V=W_1\oplus \dots \oplus W_n$ die direkte Summe dieser Unterräume ist und jede Darstellung ${\pi }_{W_i}$ irreduzibel ist. Vollständig reduzible Darstellungen können also in ihre irreduziblen Bestandteile zerlegt werden. Daher sind Sätze, die die vollständige Reduzibilität von Darstellungen sichern, sehr wichtig, insbesondere dann, wenn man alle irreduziblen Darstellungen kennt.

Formulierung des Satzes

Jede endlichdimensionale Darstellung einer halbeinfachen Lie-Algebra über einem algebraisch abgeschlossenen Körper der Charakteristik 0 ist vollständig reduzibel.

Ein Beweis für $ℂ$-Lie-Algebren findet sich im unten angegebenen Lehrbuch von Hilgert und Neeb, dort wird dieser Satz auf das sogenannte Lemma von Whitehead über das Verschwinden gewisser Kohomologie-Gruppen zurückgeführt. Ein Beweis, der Kohomologie-Theorie vermeidet, findet sich bei Humphreys.

Positive Charakteristik

Der Satz von Weyl wird falsch für Charakteristik $p>0$. Ist $𝕂$ ein solcher Körper, so betrachte die Lie-Algebra

$L={\mathrm{s}\mathrm{l}}_2(𝕂)$,

die bekanntlich von

$e=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),f=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right),h=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$

erzeugt wird. Für $p\ge 3$ ist diese Lie-Algebra einfach, insbesondere also halbeinfach.

Weiter sei $V:=𝕂[x,y]$ der Vektorraum der Polynome in zwei Unbestimmten. Durch die Formeln

$\pi (e)(v):=x\cdot \frac{\partial v}{\partial y},\pi (f)(v):=y\cdot \frac{\partial v}{\partial x},\pi (h)(v):=x\cdot \frac{\partial v}{\partial x}-y\cdot \frac{\partial v}{\partial y}$    (für $v\in V$)

wird eine unendlichdimensionale Darstellung $\pi :L\to \mathrm{g}\mathrm{l}(V)$ definiert. Da die so definierte Operation von $L$ die Grade der Polynome unverändert lässt, sind die von den homogenen Polynomen $x^k{y}^{n-k},k=0,\dots n$ erzeugten Unterräume $V_n$ invariant. Man kann nun zeigen, dass die endlich-dimensionale Darstellung ${\pi }_{V_p}:L\to \mathrm{g}\mathrm{l}(V_p)$ nicht vollständig reduzibel ist. In der Tat ist der von $x^p$ und $y^p$ erzeugte Unterraum $W\subset V_p$ invariant, denn ${\pi }_W$ ist die Nulldarstellung, da die Ableitungen den Faktor $p$ erzeugen, was für Körper der Charakteristik $p$ der Multiplikation mit 0 gleichkommt, und es gibt keine invarianten, direkten Summanden von $W$ in $V_p$. Daher ist der Satz von Weyl hier nicht gültig.

Siehe auch

• Satz von Maschke für eine analoge Situation in der Gruppentheorie.