Adjungierte Darstellung

In der Mathematik spielen die adjungierten Darstellungen von Lie-Gruppen und Lie-Algebren eine wichtige Rolle in Differentialgeometrie, Darstellungstheorie und Mathematischer Physik.

Lie-Gruppen und Lie-Algebren

Vorlage:Hauptartikel Eine Lie-Gruppe $G$ ist eine differenzierbare Mannigfaltigkeit, die zusätzlich die Struktur einer Gruppe besitzt, so dass die Gruppenverknüpfung und die Inversion beliebig oft differenzierbar sind.

Die Lie-Algebra einer Lie-Gruppe ist der Vektorraum der links-invarianten Vektorfelder mit dem Kommutator als Lie-Klammer. Die Lie-Algebra $𝔤$ kann auf kanonische Weise mit dem Tangentialraum im neutralen Element der Lie-Gruppe $G$ identifiziert werden:

$𝔤\simeq T_{e}G$.

Adjungierte Darstellungen

Sei $G$ eine Lie-Gruppe mit Lie-Algebra $𝔤$.

Konjugation

Definiere die Konjugation mit einem Element $g\in G$ durch

$\begin{array}{cc}{c}_g:G& \to G\\ h& \mapsto gh{g}^{-1}\mathrm{\forall }h\in G.\end{array}$

und definiere außerdem

$\begin{array}{cc}C:G& \to \mathrm{Aut}(G)\\ g& \mapsto c_g\end{array}$

Ad-Funktion

Definition Ad(g)

Für jedes $g\in G$ definieren wir die Ableitung von $c_g$ im Punkt $e$, dem neutralen Element der Gruppe, durch

$\begin{array}{cc}\mathrm{Ad}(g):T_{e}G& \to T_{c_g(e)}G\\ x& \mapsto \mathrm{Ad}(g)(x):=D_e{c}_g(x),x\in T_{e}G.\end{array}$

$D_e$ bezeichnet den Differentialoperator an der Stelle $e$.

Das ist eine lineare Abbildung vom Tangentialraum an der Stelle des neutralen Elementes in sich selber

$𝔤=T_{e}G\to T_{c_g(e)}G=T_{e}G=𝔤$

da $c_g(e)=e$ und somit ist $\mathrm{Ad}(g)$ ein Element aus $\mathrm{GL}(𝔤)$.

Definition Ad

Die adjungierten Abbildungen definieren eine Darstellung der Gruppe

$\begin{array}{cc}\mathrm{Ad}:G& \to \mathrm{GL}(𝔤)\\ g& \mapsto \mathrm{Ad}(g),\mathrm{\forall }g\in G\end{array}$

welche ein Lie-Gruppen-Homomorphismus ist und adjungierte Darstellung genannt wird.

ad-Funktion

Ebenfalls als adjungierte Darstellung bezeichnet wird die Ableitung von $\mathrm{Ad}$

$\begin{array}{cc}\mathrm{ad}:𝔤& \to 𝔤𝔩(𝔤)\\ x& \mapsto \mathrm{ad}(x):=D_e\mathrm{Ad}(x)\end{array}$

welche ein Lie-Algebren-Homomorphismus ist. Dies entspricht dem Anwenden der Lie-Klammer

$\mathrm{ad}(X)(Y)=[X,Y]$

für alle $X,Y\in 𝔤$.

Häufig nützt man auch folgende Notation

$\mathrm{ad}:x\mapsto {\mathrm{ad}}_x$

und

${\mathrm{ad}}_X(Y)=[X,Y],X,Y\in 𝔤.$

Weil es nach den Lie’schen Sätzen zu jeder endlich-dimensionalen reellen Lie-Algebra $𝔤$ eine bis auf Isomorphismus eindeutige einfach zusammenhängende Lie-Gruppe $G$ mit $T_{e}G=𝔤$ gibt, lässt sich die adjungierte Darstellung $\mathrm{ad}$ für jede solche Lie-Algebra definieren.

Explizite Beschreibung

Für Matrizengruppen, d. h. abgeschlossene Untergruppen von $\mathrm{GL}(n,ℂ)$, lässt sich auch die adjungierte Darstellung der Lie-Gruppe explizit beschreiben: nach der kanonischen Identifizierung von $𝔤$ mit einer Teilmenge von $𝔤𝔩(n,ℂ)\simeq \mathrm{Mat}(n,ℂ)$ gilt

$\mathrm{Ad}(g)(X)=gX{g}^{-1}$

für alle $g\in G,X\in 𝔤$.

Literatur

• Arvanitoyeorgos, Andreas: An introduction to Lie groups and the geometry of homogeneous spaces. Translated from the 1999 Greek original and revised by the author. Student Mathematical Library, 22. American Mathematical Society, Providence, RI, 2003. ISBN 0-8218-2778-2
• Hall, Brian C.: Lie groups, Lie algebras, and representations. An elementary introduction. Graduate Texts in Mathematics, 222. Springer-Verlag, New York, 2003. ISBN 0-387-40122-9
• Knapp, Anthony W.: Lie groups beyond an introduction. Second edition. Progress in Mathematics, 140. Birkhäuser Boston, Inc., Boston, MA, 2002. ISBN 0-8176-4259-5