Satz vom höchsten Gewicht

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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

[Bearbeiten | Quelltext bearbeiten]

Sei eine Lie-Algebra, eine Cartan-Unteralgebra und eine Darstellung. Eine lineare Abbildung

heißt Gewicht von , wenn der Gewichtsraum

nicht nur aus dem Nullvektor besteht.

Die Wurzeln der Lie-Algebra sind definiert wie folgt. Zu definiere durch

,

wobei die Killing-Form ist. Dann ist genau dann eine Wurzel, wenn ein Gewicht der adjungierten Darstellung ist.

Nach Wahl einer Weyl-Kammer kann man die Menge der positiven Wurzeln definieren durch

.

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

.

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

Weiterhin heißt eine lineare Abbildung ein integrales Element, wenn

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

ist.

Satz vom höchsten Gewicht

[Bearbeiten | Quelltext bearbeiten]

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.

Eine Cartan-Unteralgebra von ist , als positive Wurzel kann man wählen. Für jedes hat man ein dominantes integrales Element gegeben durch die Abbildung

.

Dieses entspricht der bekannten -dimensionalen irreduziblen Darstellung (siehe Darstellungstheorie der sl(2,C)) als , wobei die definierende 2-dimensionale Darstellung von bezeichnet.

Eine Cartan-Unteralgebra von ist

,

als positive Wurzeln kann man und wählen. Für jedes Paar hat man ein dominantes integrales Element gegeben durch die Abbildung

.

Die zugehörige Darstellung ist eine Unterdarstellung von , wobei die definierende 3-dimensionale Darstellung von bezeichnet. Genauer stimmt mit überein für die durch

definierte Kontraktion.

Darstellungen von Lie-Gruppen

[Bearbeiten | Quelltext bearbeiten]

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.

  • 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