Kompakte Gruppe

Kompakte Gruppen sind in der Mathematik topologische Gruppen, deren Topologie kompakt ist. Kompakte Gruppen verallgemeinern endliche Gruppen mit der diskreten Topologie und viele Eigenschaften lassen sich übertragen. Für kompakte Gruppen gibt es eine gut verstandene Darstellungstheorie.

Im Folgenden setzen wir voraus, dass alle topologischen Gruppen Hausdorffräume sind.

Kompakte Lie-Gruppen Bearbeiten

Die Lie-Gruppen bilden eine Klasse topologischer Gruppen und für kompakte Lie-Gruppen existiert eine besonders gut entwickelte Theorie. Grundlegende Beispiele kompakter Lie-Gruppen sind:^[1]

die Kreisgruppe $\mathbb {T} =S^{1}$ und die Torusgruppen $\mathbb {T} ^{n}=\mathbb {T} \times \ldots \times \mathbb {T}$
die orthogonalen Gruppen $\mathrm {O} (n)$ und die speziellen orthogonalen Gruppen $\mathrm {SO} (n)$ sowie deren Überlagerungen und die Spin-Gruppen $\mathrm {Spin} (n)$
die unitären Gruppen $\mathrm {U} (n)$ und die speziellen unitären Gruppen $\mathrm {SU} (n)$
die symplektischen Gruppen $\mathrm {Sp} (n)$
die kompakten Formen der exzeptionellen Lie-Gruppen $G_{2}$ , $F_{4}$ , $E_{6}$ , $E_{7}$ und $E_{8}$ .

Das Klassifikationstheorem für kompakte Lie-Gruppen besagt, dass diese Liste bis auf endliche Erweiterungen und Überlagerungsgruppen vollständig ist (und bereits Redundanzen enthält). Diese Klassifikation wird im nachfolgenden Absatz näher beschrieben.

Klassifikation Bearbeiten

Für eine gegebene kompakte Lie-Gruppe $G$ sei $G_{0}$ die Zusammenhangskomponente der Eins, diese ist ein zusammenhängender Normalteiler. Die Quotientengruppe $G/G_{0}$ ist die Gruppe $\pi _{0}(G)$ der Komponenten, die wegen der Kompaktheit von $G$ endlich sein muss. Wir haben damit eine endliche Erweiterung:

1\to G_{0}\to G\to \pi _{0}(G)\to 1.

Für zusammenhängende, kompakte Lie-Gruppen haben wir folgendes Resultat:^[2]

Satz: Jede zusammenhängende, kompakte Lie-Gruppe ist (bis auf Isomorphie) der Quotient des Produktes einer zusammenhängenden, einfach zusammenhängenden, kompakten Lie-Gruppe und einer Torusgruppe nach einer endlichen zentralen Untergruppe.

Damit kann die Klassifikation der zusammenhängenden Lie-Gruppen im Prinzip auf die Kenntnis der kompakten, zusammenhängenden, einfach zusammenhängenden Lie-Gruppen und ihrer Zentren zurückgeführt werden. (Für weitere Informationen über das Zentrum siehe den unten stehenden Abschnitt „Fundamentalgruppe und Zentrum“.)

Jede einfach zusammenhängende, kompakte Lie-Gruppe ist das Produkt einfach zusammenhängender, kompakter und einfacher Gruppen, von denen jede zu genau einer aus der folgenden Aufzählung isomorph ist:

die kompakte, symplektische Gruppe $\mathrm {Sp} (n),n\geq 1$
die spezielle, unitäre Gruppe $\mathrm {SU} (n),n\geq 3$
die Spin-Gruppe $\mathrm {Spin} (n),n\geq 7$
eine der exzeptionellen Gruppen $G_{2}$ , $F_{4}$ , $E_{6}$ , $E_{7}$ oder $E_{8}$ .

Die Bedingungen an $n$ wurden gestellt, um Isomorphismen zwischen den Gruppen der Liste auszuschließen. Für jede dieser Gruppen ist das Zentrum bekannt. Die Klassifikation erfolgt über zugeordnete Wurzelsysteme (für einen festen maximalen Torus, siehe unten), die ihrerseits mittels Dynkin-Diagrammen klassifiziert werden können.

Die Klassifikation der einfach zusammenhängenden, kompakten Lie-Gruppen ist dasselbe wie die Klassifikation der komplexen, halbeinfachen Lie-Algebren. Ist nämlich $K$ eine einfach zusammenhängende, kompakte Lie-Gruppe, so ist die Komplexifizierung der zugehörigen Lie-Algebra halbeinfach. Umgekehrt hat jede komplexe halbeinfache Lie-Algebra eine reelle Form, die isomorph zu einer einfach zusammenhängenden, kompakten Lie-Gruppe ist.

Maximale Tori und Wurzelsysteme Bearbeiten

Die Hauptidee in der Untersuchung einer zusammenhängenden, kompakten Lie-Gruppe $K$ ist das Konzept des maximalen Torus, eine Untergruppe $T$ , die isomorph zu einem Produkt mehrerer Kopien von $S^{1}$ ist, und in keiner weiteren Untergruppe dieser Art enthalten ist. Ein typisches Beispiel ist die Untergruppe $T$ der Diagonalmatrizen in $K=\mathrm {SU} (n)$ . Der sogenannte Satz vom maximalen Torus ist ein grundlegendes Resultat, nach dem jedes Element aus $K$ in einem maximalen Torus liegt und je zwei maximale Tori zueinander konjugiert sind.

Ein maximaler Torus in einer zusammenhängenden, kompakten Lie-Gruppe spielt eine ähnliche Rolle wie die Cartan-Unteralgebra einer komplexen, halbeinfachen Lie-Algebra. Insbesondere kann man nach Wahl eines maximalen Torus $T\subset K$ ganz ähnlich wie in der Theorie der halbeinfachen Lie-Algebren ein Wurzelsystem und eine Weyl-Gruppe definieren.^[3] Diese Strukturen spielen dann eine wesentliche Rolle in der Klassifikation der zusammenhängenden, kompakten Lie-Gruppen (wie oben beschrieben) und in ihrer Darstellungstheorie (siehe unten).

In der Klassifikation der einfach zusammenhängenden, kompakten Lie-Gruppen treten folgende Wurzelsysteme auf:^[4]

Die spezielle unitäre Gruppe $\mathrm {SU} (n)$ gehört zum Wurzelsystem $A_{n-1}$ .
Die ungerade Spin-Gruppe $\mathrm {Spin} (2n+1)$ gehört zum Wurzelsystem $B_{n}$ .
Die kompakte, symplektische Gruppe $\mathrm {Sp} (n)$ gehört zum Wurzelsystem $C_{n}$ .
Die gerade Spin-Gruppe $\mathrm {Spin} (2n)$ gehört zum Wurzelsystem $D_{n}$ .
Die exzeptionellen, kompakten Lie-Gruppen gehören zu den fünf exzeptionellen Wurzelsystemen $G_{2}$ , $F_{4}$ , $E_{6}$ , $E_{7}$ oder $E_{8}$ .

Fundamentalgruppe und Zentrum Bearbeiten

Es ist wichtig, von einer zusammenhängenden, kompakten Lie-Gruppe zu wissen, ob sie einfach zusammenhängend ist, und falls nicht, ihre Fundamentalgruppe zu bestimmen. Für kompakte Lie-Gruppen gibt es dazu zwei grundlegende Ansätze. Der erste betrifft die klassischen, kompakten Gruppen $\mathrm {SU} (n)$ , $\mathrm {U} (n)$ , $\mathrm {SO} (n)$ und $\mathrm {Spin} (n)$ und verwendet Induktion nach $n$ . Der zweite Ansatz greift auf die Wurzelsysteme zurück und funktioniert für alle zusammenhängenden, kompakten Lie-Gruppen.

In obiger Klassifikation ist es weiterhin wichtig, das Zentrum der zusammenhängenden, kompakten Lie-Gruppe zu kennen. Die Zentren der klassischen Gruppen können leicht „per Hand“ berechnet werden, in den meisten Fällen handelt es sich einfach um geeignete Vielfache der Identität. Die Gruppe $\mathrm {SO} (2)$ bildet hier eine Ausnahme, da sie als abelsche Gruppe mit ihrem Zentrum übereinstimmt, das daher Elemente enthält, die nicht Vielfaches der Identität sind. Zum Beispiel besteht das Zentrum von $\mathrm {SU} (n)$ aus den $n$ -ten Einheitswurzeln mal der Identität, das ist eine zyklische Gruppe der Ordnung $n$ .

Im Allgemeinen kann das Zentrum mittels des Wurzelsystems und dem Kern der Exponentialabbildung des maximalen Torus beschrieben werden.^[5] Diese allgemeine Methode zeigt beispielsweise, dass die einfach zusammenhängende, kompakte Gruppe zum exzeptionellen Wurzelsystem $G_{2}$ triviales Zentrum hat. Damit ist die kompakte $G_{2}$ -Gruppe eines der wenigen Beispiele kompakter Lie-Gruppen, die gleichzeitig einfach zusammenhängend sind und triviales Zentrum haben, die anderen sind $F_{4}$ und $E_{8}$ .

Weitere Beispiele Bearbeiten

Zu den kompakten Gruppen, die keine Lie-Gruppen sind und daher nicht die Struktur einer Mannigfaltigkeit haben, zählen das Solenoid und die additive Gruppe $\mathbb {Z} _{p}$ der p-adischen ganzen Zahlen und daraus konstruierte Gruppen. In der Tat ist jede proendliche Gruppe kompakt. Dies bedeutet, dass Galois-Gruppen kompakt sind, ein grundlegendes Resultat der Theorie algebraischer Erweiterungen endlichen Grades.

Pontrjagin-Dualität liefert ein reiches Arsenal an kommutativen, kompakten Gruppen. Diese sind die Dualgruppen diskreter kommutativen Gruppen.

Das haarsche Maß Bearbeiten

Kompakte Gruppen tragen ein haarsches Maß,^[6] das sowohl bzgl. Links- als auch Rechts-Tranlsationen invariant ist, denn die modulare Funktion bildet die Gruppe auf eine kompakte Untergruppe von $\mathbb {R} ^{+}$ ab, muss also konstant gleich 1 sein. Mit anderen Worten, kompakte Gruppen sind unimodular. Daher kann das haarsche Maß leicht auf ein Wahrscheinlichkeitsmaß normiert werden, wie etwa $\mathrm {d} \theta /2\pi$ auf der Kreisgruppe.

Ein solches haarsches Maß kann in vielen Fällen leicht berechnet werden. Das haarsche Maß auf den orthogonalen Gruppen war schon Adolf Hurwitz bekannt, und im Falle von Lie-Gruppen kann es als invariante Differentialform beschrieben werden. In proendlichen Gruppen gibt es viele Untergruppen mit endlichem Index, sodass das haarsche Maß einer Nebenklasse gleich dem reziproken Wert des Index ist. Daher können Integrale bzgl. des haarschen Maßen oft direkt berechnet werden, was in der Zahlentheorie oft Anwendung findet.

Ist $K$ eine kompakte Gruppe mit dem haarschen Maß $m$ , so liefert der Satz von Peter-Weyl eine Zerlegung des Hilbertraums $L^{2}(K,m)$ als orthogonale Summe endlichdimensionaler Unterräume, auf denen die Gruppe als irreduzible Matrixdarstellung operiert.

Darstellungstheorie Bearbeiten

Die Darstellungstheorie einer kompakten Gruppe (nicht notwendigerweise eine Lie-Gruppe und auch nicht notwendigerweise zusammenhängend) wurde durch den Satz von Peter-Weyl begründet.^[7] Hermann Weyl baute dies auf Basis der maximalen Tori zu einer detaillierten Charakter-Theorie aus.^[8] Die daraus entstandene weylsche Charakterformel war ein einflussreiches Resultat für die Mathematik des zwanzigsten Jahrhunderts. Die Kombination des Satzes von Peter-Weyl und der weylschen Charakterformel führte Weyl zu einer vollständigen Klassifikation der Darstellungen zusammenhängender Lie-Gruppen, die im nachfolgenden Abschnitt beschrieben wird.

Aus Weyls Arbeit und dem Satz von Cartan über Lie-Gruppen erhält man einen Überblick über die Darstellungstheorie kompakter Gruppen $G$ . Nach dem Satz von Peter-Weyl liegen die Bilder der irreduziblen, unitären Darstellungen $\rho$ von $G$ in den unitären Gruppen (endlicher Dimension) und sind wegen Kompaktheit abgeschlossene Untergruppen der unitären Gruppe. Nach dem Satz von Cartan muss das Bild $\mathrm {Im} (\rho )$ eine Lie-Untergruppe der unitären Gruppe sein. Wenn $G$ selbst keine Lie-Gruppe ist, muss $\rho$ einen nicht-trivialen Kern haben. Auf diese Weise kann man ein inverses System von endlichdimensionalen unitären Darstellungen mit immer kleiner werdendem Kern konstruieren, sodass $G$ schließlich mit einem inversen Limes kompakter Lie-Gruppen identifiziert wird, $G$ ist somit eine Pro-Lie-Gruppe. Dass man so im Limes eine treue Darstellung von $G$ erhält, ist eine weitere Folgerung aus dem Satz von Peter-Weyl.

Der unbekannte Teil der Darstellungstheorie kompakter Gruppen wird so, grob gesprochen, auf die komplexe Darstellungstheorie endlicher Gruppen zurückgeführt. Diese Theorie ist zwar sehr umfangreich, aber qualitativ gut verstanden.

Darstellungstheorie einer zusammenhängenden, kompakten Lie-Gruppe Bearbeiten

Einige einfäche Fälle der Darstellungstheorie kompakter Lie-Gruppen können per Hand berechnet werden, so etwa die Darstellungen der Rotationsgruppe $\mathrm {SO} (3)$ oder der speziellen unitären Gruppen $\mathrm {SU} (2)$ und $\mathrm {SU} (3)$ . Siehe auch die dazu parallele Darstellungstheorie der Lie-Algebren.

In diesem Paragraphen betrachten wir eine feste, zusammenhängende, kompakte Lie-Gruppe $K$ und einen darin fest gewählten maximalen Torus.

Darstellungstheorie von T Bearbeiten

Da $T$ kommutativ ist, wissen wir nach dem Lemma von Schur, dass eine irreduzible Darstellung $\rho$ von $T$ eindimensional sein muss:

\rho \colon T\rightarrow \mathrm {GL} (1)=\mathbb {C} ^{*}

.

Da $T$ zusätzlich kompakt ist, muss $\rho$ sogar nach $S^{1}\subset \mathbb {C} ^{*}$ abbilden.

Zur konkreten Beschreibung dieser Darstellungen sei ${\mathfrak {t}}$ die Lie-Algebra von $T$ und wir schreiben Punkte $h\in T$ als

h=e^{H},\quad H\in {\mathfrak {t}}

Bezüglich solcher Koordinaten nimmt $\rho$ die Form

\rho (e^{H})=e^{\mathrm {i} \lambda (H)}

für ein lineares Funktional $\lambda$ auf ${\mathfrak {t}}$ . Da die Exponentialabbildung $H\mapsto e^{H}$ nicht injektiv ist, definiert nicht jedes lineare Funktional auf diese Weise eine Abbildung $T\rightarrow S^{1}$ . Sei nämlich $\Gamma$ der Kern der Exponentialabbildung

\Gamma =\{H\in {\mathfrak {t}}\mid e^{2\pi H}=\mathrm {Id} \}

,

wobei $\mathrm {Id}$ das neutrale Element von $T$ sei (wir haben hier die Exponentialabbildung mit dem Faktor $2\pi$ skaliert, um ihn an anderen Stellen zu vermeiden). Dann muss $\lambda$ , um vermöge obiger Formel eine wohldefinierte Abbildung $\rho$ zu ergeben, die Bedingung

\lambda (H)\in \mathbb {Z} ,\quad H\in \Gamma

erfüllen, wobei $\mathbb {Z}$ die Menge der ganzen Zahlen sei.^[9] Ein lineares Funktional, das diese Bedingung erfüllt, heißt ein analytisch ganzzahliges Element. Diese Ganzzahligkeitsbedingung korrespondiert, wenn auch nicht in allen Details, zu analogen Ganzzahligkeitsbedingungen aus der Theorie der halbeinfachen Lie-Algebren.^[10]

Schauen wir uns den einfachsten Fall $T=S^{1}$ , die Menge der komplexen Zahlen $e^{\mathrm {i} \theta }$ vom Betrag 1, an. Die zugehörige Lie-Algebra ist die Menge der rein-imaginären Zahlen $H=\mathrm {i} \theta ,\,\theta \in \mathbb {R}$ und der Kern der (skalierten) Exponentialabbildung besteht aus den Zahlen $\mathrm {i} n,\,n\in \mathbb {Z}$ . Ein lineares Funktional $\lambda$ nimmt auf all diesen Zahlen genau dann ganzzahlige Werte an, wenn es von der Form $\lambda (\mathrm {i} \theta )=k\theta$ ist für eine ganze Zahl $k$ . Die zugehörigen irreduziblen Darstellungen sind in diesem Fall

\rho (e^{\mathrm {i} \theta })=e^{\mathrm {i} k\theta },\quad k\in \mathbb {Z}

Darstellungstheorie von K Bearbeiten

Sei nun $\Sigma$ eine endlichdimensionale, irreduzible Darstellung von $K$ (über $\mathbb {C}$ ). Dann betrachten wir die Einschränkung von $\Sigma$ auf $T$ . Diese ist zwar nicht irreduzibel (außer wenn $\Sigma$ eindimensional ist), zerfällt aber in eine direkte Summe irreduzibler Darstellungen von $T$ . (Beachte, dass irreduzible Darstellungen mehrfach, man sagt mit Multiplizität, vorkommen können). Nun wird jede irreduzible Darstellung von $T$ nach Obigem durch ein lineares Funktional $\lambda$ beschrieben. Jedes solche $\lambda$ , das wenigstens einmal in der Zerlegung der Einschränkung von $\Sigma$ auf $T$ vorkommt, heißt ein Gewicht von $\Sigma$ . Die in der Darstellungstheorie von $K$ verfolgte Strategie ist nun die Klassifikation der irreduziblen Darstellungen mittels ihrer Gewichte.

Wir beschreiben nun kurz die zur Formulierung des Satzes benötigten Strukturen. Wir benötigen den Begriff des Wurzelsystems von $K$ (relativ zum gewählten Torus $T$ ). Die Konstruktion dieses Wurzelsystems $R\subset {\mathfrak {t}}$ verläuft ähnlich wie die Konstruktion in der Theorie der komplexen, halbeinfachen Lie-Algebren. Genauer sind die Gewichte von $\Sigma$ die von 0 verschiedenen Gewichte der adjungierten Gruppenaktion von $T$ auf der komplexifizierten Lie-Algebra von $K$ . Das Wurzelsystem $R$ hat die üblichen Eigenschaften eines Wurzelsystems mit der Ausnahme, dass die Elemente von $R$ nicht ganz ${\mathfrak {t}}$ aufspannen.^[11] Wir wählen dann eine Basis $\Delta$ von $R$ und sagen, dass ein ganzzahliges Element $\lambda$ dominant ist, wenn $\lambda (\alpha )\geq 0$ für alle $\alpha \in \Delta$ . Schließlich sagen wir, dass ein Gewicht höher als ein anderes ist, wenn die Differenz als Linearkombination von Elementen aus $\Delta$ mit nicht-negativen Koeffizienten ausgedrückt werden kann.

Die irreduziblen, endlichdimensionalen Darstellungen von $K$ werden dann in Analogie zur Theorie der Darstellungen halbeinfacher Lie-Algebren durch den Satz vom höchsten Gewicht klassifiziert.^[12] Dieser besagt:

(1) Jede irreduzible Darstellung hat ein höchstes Gewicht.

(2) Das höchste Gewicht ist stets ein dominantes, analytisch ganzzahliges Element.

(3) Zwei irreduzible Darstellungen mit demselben höchsten Gewicht sind isomorph.

(4) Jedes dominante, analytisch ganzzahlige Element tritt als das höchste Gewicht einer irreduziblen Darstellung auf.

Dieser Satz vom höchsten Gewicht für Darstellungen von $K$ ist fast derselbe wir für halbeinfache Lie-Algebren, allerdings mit einer wichtigen Ausnahme: Die Konzepte des ganzzahligen Elements sind verschieden. Die Gewichte $\lambda$ einer Darstellung $\Sigma$ sind analytisch ganzzahlig im oben beschriebenen Sinne. Jedes analytisch ganzzahlige Element ist auch ganzzahlig im Lie-Algebra-Sinne, aber nicht umgekehrt.^[13] Dieses Phänomen spiegelt die Tatsache wider, dass nicht jede Darstellung der zugehörigen Lie-Algebra ${\mathfrak {k}}$ von einer Gruppendarstellung von $K$ herrührt. Ist aber andererseits $K$ einfach zusammenhängend, so ist die Menge der mögliche höchsten Gewichte im Gruppensinn dieselbe wie die Menge der möglichen höchsten Gewichte im Sinne der Lie-Algebren.^[14]

Die weylsche Charakterformel Bearbeiten

Ist $\Pi \colon K\rightarrow \mathrm {GL} (V)$ eine Darstellung von $K$ , so ist der Charakter die durch

\chi \colon K\rightarrow \mathbb {C} :\quad x\mapsto \mathrm {Spur} (\Pi (x))

definierte Funktion, wobei $\mathrm {Spur}$ die Spurabbildung ist. Es ist leicht zu sehen, dass der Charakter eine Klassenfunktion ist, das heißt, es gilt

\chi (xyx^{-1})=\chi (y)

für alle

x,y\in K

.

Daher ist $\chi$ bereits durch seine Einschränkung auf $T$ bestimmt.

Die Untersuchung der Charaktere ist ein wichtiger Bestandteil der Darstellungstheorie kompakter Gruppen. Ein entscheidendes Resultat, das ein Korollar zum Satz von Peter-Weyl ist, besagt, dass die Charaktere eine Orthonormalbasis der quadratintegrablen Klassenfunktionen auf $K$ bilden. Ein zweites Schlüsselergebnis ist die weylsche Charakterformel, die eine explizite Formel für die Charaktere, genauer für die Einschränkungen der Charaktere auf $T$ , mittels des höchsten Gewichtes der Darstellung liefert.

In der eng damit zusammenhängenden Darstellungstheorie halbeinfacher Lie-Algebren ist die weylsche Charakterformel ein zusätzliches Resultat, das nach dem Klassifikationstheorem bewiesen wird. In Weyls Analyse der kompakten Gruppen hingegen ist die Charakterformel ein wesentlicher Teil der Klassifikation selbst. Insbesondere wird der schwierigste Teil des Beweises, nämlich, dass jedes dominante, analytisch ganzzahlige Gewicht von einer Darstellung herkommt, ganz anders bewiesen als die übliche Lie-Algebren-Konstruktion mittels Verma-Moduln. Weyls Ansatz baut auf dem Satz von Peter-Weyl und einem analytischen Beweis der Charakterformel auf.^[15] Schließlich werden die irreduziblen Darstellungen von $K$ im Raum der stetigen Funktionen auf $K$ realisiert.

Der Fall der SU(2) Bearbeiten

Zur Verdeutlichung des bisher Gesagten betrachten wir den Fall der unitären Gruppe $\mathrm {SU} (2)$ . Die Darstellungen werden üblicherweise vom Standpunkt der Lie-Algebra betrachtet, aber hier nehmen wir die Gruppensichtweise ein. Als maximalen Torus wählen wir die Menge der Matrizen

{\begin{pmatrix}e^{\mathrm {i} \theta }&0\\0&e^{-\mathrm {i} \theta }\end{pmatrix}},\quad \theta \in \mathbb {R}

.

Wie oben im Abschnitt Darstellungstheorie von T diskutiert, werden auch hier die analytisch ganzzahligen Elemente durch ganze Zahlen repräsentiert, sodass die dominanten, analytisch ganzzahligen Elemente die nicht-negativen ganzen Zahlen $m$ sind. Die allgemeine Theorie liefert uns also für jedes $m$ eine irreduzible Darstellung von $\mathrm {SU} (2)$ mit höchstem Gewicht $m$ .

Der Charakter, der Informationen zur Darstellung kodiert, ist nach der weylschen Charakterformel durch

\chi ({\begin{pmatrix}e^{\mathrm {i} \theta }&0\\0&e^{-\mathrm {i} \theta }\end{pmatrix}})={\frac {\sin((m+1)\theta )}{\sin(\theta )}}

gegeben. Dies können wir auch wie folgt auch als Summe von Exponentialfunktionen schreiben:

\chi ({\begin{pmatrix}e^{\mathrm {i} \theta }&0\\0&e^{-\mathrm {i} \theta }\end{pmatrix}})=e^{\mathrm {i} m\theta }+e^{\mathrm {i} (m-2)\theta }+\dotsb +e^{-\mathrm {i} (m-2)\theta }+e^{-\mathrm {i} m\theta }.

(Wenn man die Formel für die endliche geometrische Reihe auf diesen Ausdruck anwendet, kann man daraus wieder die zuerst genannte Formel gewinnen.) Von diesem letzten Ausdruck und der weylschen Charakterformel kann man ablesen, dass die Gewichte dieser Darstellung

m,m-2,\dotsc ,-(m-2),-m

sind, jedes mit Multiplizität 1. Die Gewichte sind die ganzen Zahlen, die in den Exponenten obiger Summe auftreten, ihre Multiplizitäten sind die Koeffizienten der zugehörigen Exponentialterme. Da wir also insgesamt $m+1$ Gewichte mit Multiplizität 1 haben, ist die Dimension der Darstellung gleich $m+1$ . Dies zeigt, wie man Informationen über die Darstellungen gewinnen kann, die man üblicherweise aus Berechnungen in Lie-Algebren erhält.

Dualität Bearbeiten

Das Thema, wie man eine Gruppe aus ihrer Darstellungstheorie zurückgewinnen kann, wird in der sogenannten Tannaka-Krein-Dualität behandelt.

Von kompakten zu nicht-kompakten Gruppen Bearbeiten

Der Einfluss der Theorie der kompakten Gruppen auf nicht-kompakte Gruppen wurde von Weyl in seinem sogenannten unitären Trick ausformuliert. Innerhalb einer halbeinfachen Lie-Gruppe sitzt eine maximale, kompakte Untergruppe, und die Darstellungstheorie der halbeinfachen Lie-Gruppen, wie sie in weiten Teilen von Harish-Chandra entwickelt wurde, macht intensiv Gebrauch von der Einschränkung einer Darstellung auf eine solche Untergruppe, wo dann die Charakter-Theorie von Weyl angewendet werden kann.

Siehe auch Bearbeiten

Einzelnachweise Bearbeiten

↑ Hall 2015, Abschnitt 1.2
↑ Bröcker 1985, Kapitel V, Abschnitte 7 und 8
↑ Hall 2015, Kapitel 11
↑ Hall 2015 Abschnitt 7.7
↑ Hall 2015, Abschnitt 13.8
↑ André Weil: L’intégration dans les groupes topologiques et ses applications, Actualités Scientifiques et Industrielles, Band 869, Hermann-Verlag 1941
↑ F. Peter, H. Weyl: Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe, Math. Ann. (1927), Band 97, Seiten 737–755
↑ Hall 2015, Teil III
↑ Hall 2015, Satz 12.9
↑ Hall 2015, Abschnitt 12.2
↑ Hall 2015, Abschnitt 11.7
↑ Hall 2015, Abschnitt 12
↑ Hall 2015, Abschnitt 12.2
↑ Hall 2015, Korollar 13.20
↑ Hall 2015, Abschnitte 12.4 and 12.5

Literatur Bearbeiten

Theodor Bröcker, Tammo tom Dieck: Representations of Compact Lie Groups, Graduate Texts in Mathematics 98, Springer-Verlag (1985), ISBN 978-3-642-05725-0
Brian C. Hall: Lie Groups, Lie Algebras, and Representations An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer-Verlag (2015), ISBN 978-3-319-13466-6
Karl A. Hofmann, Sidney A. Morris: The structure of compact groups, de Gruyter (1998), ISBN 3-11-015268-1

[1] Hall 2015, Abschnitt 1.2

[2] Bröcker 1985, Kapitel V, Abschnitte 7 und 8

[3] Hall 2015, Kapitel 11

[4] Hall 2015 Abschnitt 7.7

[5] Hall 2015, Abschnitt 13.8

[6] André Weil: L’intégration dans les groupes topologiques et ses applications, Actualités Scientifiques et Industrielles, Band 869, Hermann-Verlag 1941

[7] F. Peter, H. Weyl: Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe, Math. Ann. (1927), Band 97, Seiten 737–755

[8] Hall 2015, Teil III

[9] Hall 2015, Satz 12.9

[10] Hall 2015, Abschnitt 12.2

[11] Hall 2015, Abschnitt 11.7

[12] Hall 2015, Abschnitt 12

[13] Hall 2015, Abschnitt 12.2

[14] Hall 2015, Korollar 13.20

[15] Hall 2015, Abschnitte 12.4 and 12.5

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]