Satz vom höchsten Gewicht

In der Mathematik ist der Satz vom höchsten Gewicht ein auf Elie Cartan zurückgehender grundlegender Lehrsatz der Darstellungstheorie. Er besagt, dass endlichdimensionale Darstellungen von Lie-Algebren oder Lie-Gruppen durch ihr höchstes Gewicht eindeutig bestimmt sind.

Verwendete Begriffe

Sei $𝔤$ eine Lie-Algebra, $𝔥$ eine Cartan-Unteralgebra und $\pi :𝔤\to 𝔤𝔩(V)$ eine Darstellung. Eine lineare Abbildung

$\lambda :𝔥\to ℂ$

heißt Gewicht von $\pi$, wenn der Gewichtsraum

$V_{\lambda }=\{v\in V:\pi (h)v=\lambda (h)v\mathrm{\forall }h\in 𝔥\}$

nicht nur aus dem Nullvektor besteht.

Die Wurzeln $R$ der Lie-Algebra sind definiert wie folgt. Zu $\alpha \in 𝔥$ definiere ${\alpha }^{\vee }\in {𝔥}^{*}$ durch

${\alpha }^{\vee }(x)=2\frac{B(x,\alpha )}{B(\alpha ,\alpha )}\mathrm{\forall }x\in 𝔥$,

wobei $B$ die Killing-Form ist. Dann ist $\alpha$ genau dann eine Wurzel, wenn ${\alpha }^{\vee }$ ein Gewicht der adjungierten Darstellung $ad:𝔤\to 𝔤𝔩(V)$ ist.

Nach Wahl einer Weyl-Kammer ${𝔥}^{+}$ kann man die Menge der positiven Wurzeln definieren durch

$R^{+}:=\{\alpha \in R:{\alpha }^{\vee }(x)>0\mathrm{\forall }x\in {𝔥}^{+}\}$.

Dies erlaubt die Definition einer Teilordnung auf den Gewichten einer gegebenen Darstellung durch

$\lambda \le \mu ⟺\lambda (\alpha )\le \mu (\alpha )\mathrm{\forall }\alpha \in R^{+}$.

Ein Gewicht heißt ein höchstes Gewicht, wenn es kein größeres Gewicht bzgl. dieser Teilordnung gibt.

Weiterhin heißt eine lineare Abbildung $\lambda \in {𝔥}^{*}$ ein integrales Element, wenn

$\lambda (\alpha )\in \mathbb{Z}\mathrm{\forall }\alpha \in R$

gilt. Es heißt ein dominantes integrales Element, wenn

$\lambda (\alpha )\in \mathbb{N}\mathrm{\forall }\alpha \in R^{+}$

ist.

Satz vom höchsten Gewicht

Sei $𝔤$ eine halbeinfache komplexe Lie-Algebra. Im Folgenden seien alle Darstellungen endlich-dimensional. Dann besagt der Satz vom höchsten Gewicht:

1. Jede irreduzible Darstellung hat ein eindeutiges höchstes Gewicht.
2. Zwei irreduzible Darstellungen mit demselben höchsten Gewicht sind äquivalent.
3. Das höchste Gewicht einer irreduziblen Darstellung ist ein dominantes integrales Element.
4. Jedes dominante integrale Element ist das höchste Gewicht einer irreduziblen Darstellung.

Beispiele

sl(2,C)

Eine Cartan-Unteralgebra von $𝔰𝔩(2,ℂ)$ ist $𝔥=\{\left(\begin{array}{cc}\lambda & 0\\ 0& -\lambda \end{array}\right):\lambda \in ℂ\}$, als positive Wurzel kann man $\alpha =\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$ wählen. Für jedes $n\in \mathbb{N}$ hat man ein dominantes integrales Element ${\lambda }_n$ gegeben durch die Abbildung

${\lambda }_n(\alpha )=n$.

Dieses entspricht der bekannten $n$-dimensionalen irreduziblen Darstellung (siehe Darstellungstheorie der sl(2,C)) als $Sy{m}^{n-1}(V)$, wobei $V$ die definierende 2-dimensionale Darstellung von $𝔰𝔩(2,ℂ)$ bezeichnet.

sl(3,C)

Eine Cartan-Unteralgebra von $𝔰𝔩(3,ℂ)$ ist

$𝔥=\{\left(\begin{array}{ccc}{\lambda }_1& 0& 0\\ 0& {\lambda }_2& 0\\ 0& 0& {\lambda }_3\end{array}\right):{\lambda }_1,{\lambda }_2,{\lambda }_3\in ℂ:{\lambda }_1+{\lambda }_2+{\lambda }_3=0\}$,

als positive Wurzeln kann man ${\alpha }_1=\left(\begin{array}{ccc}1& 0& 0\\ 0& -1& 0\\ 0& 0& 0\end{array}\right)$ und ${\alpha }_2=\left(\begin{array}{ccc}0& 0& 0\\ 0& 1& 0\\ 0& 0& -1\end{array}\right)$ wählen. Für jedes Paar $(m,n)\in \mathbb{N}\times \mathbb{N}$ hat man ein dominantes integrales Element ${\lambda }_{m,n}$ gegeben durch die Abbildung

${\lambda }_{m,n}({\alpha }_1)=m,{\lambda }_{m,n}({\alpha }_2)=n$.

Die zugehörige Darstellung ${\pi }_{m,n}$ ist eine Unterdarstellung von $Sy{m}^m(V)\otimes Sy{m}^n(V^{*})$, wobei $V$ die definierende 3-dimensionale Darstellung von $𝔰𝔩(3,ℂ)$ bezeichnet. Genauer stimmt ${\pi }_{m,n}$ mit $Ker({\iota }_{m,n})$ überein für die durch

${\iota }_{m,n}(v_1\dots v_m\otimes v_1^{*}\dots v_n^{*})=\sum _{i,j}{v}_j^{*}(v_i)v_1\dots \widehat{v_i}\dots v_m\otimes v_1^{*}\dots \widehat{v_j^{*}}\dots v_n^{*}$

definierte Kontraktion.

Darstellungen von Lie-Gruppen

Jeder Darstellung einer Lie-Gruppe kann man eine Darstellung ihrer Lie-Algebra zuordnen, siehe Darstellung (Lie-Algebra)#Von Lie-Gruppen-Darstellungen induzierte Darstellungen. Insbesondere kann man auch für Darstellungen von Lie-Gruppen ein höchstes Gewicht definieren.

Irreduzible, endlich-dimensionale Darstellungen einer kompakten, zusammenhängenden (nicht notwendig halbeinfachen) Lie-Gruppe werden durch ihr höchstes Gewicht klassifiziert. Auch dieser Sachverhalt wird häufig als Satz vom höchsten Gewicht bezeichnet.

Literatur

• Brian Hall: Lie groups, Lie algebras, and representations. An elementary introduction. Second edition. Graduate Texts in Mathematics, 222. Springer, Cham 2015. ISBN 978-3-319-13466-6