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

Hauptartikel: Lie-Gruppe

Eine Lie-Gruppe G {\displaystyle 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 g {\displaystyle {\mathfrak {g}}} kann auf kanonische Weise mit dem Tangentialraum im neutralen Element der Lie-Gruppe G {\displaystyle G} identifiziert werden:

g T e G {\displaystyle {\mathfrak {g}}\simeq T_{e}G} .

Adjungierte Darstellungen

Sei G {\displaystyle G} eine Lie-Gruppe mit Lie-Algebra g {\displaystyle {\mathfrak {g}}} .

Konjugation

Definiere die Konjugation mit einem Element g G {\displaystyle g\in G} durch

c g : G G h g h g 1   h G . {\displaystyle {\begin{aligned}c_{g}\colon G&\to G\\h&\mapsto ghg^{-1}\quad \forall \ h\in G.\end{aligned}}}

und definiere außerdem

C : G Aut ( G ) g c g {\displaystyle {\begin{aligned}C\colon G&\to \operatorname {Aut} (G)\\g&\mapsto c_{g}\end{aligned}}}

Ad-Funktion

Definition Ad(g)

Für jedes g G {\displaystyle g\in G} definieren wir die Ableitung von c g {\displaystyle c_{g}} im Punkt e {\displaystyle e} , dem neutralen Element der Gruppe, durch

Ad ( g ) : T e G T c g ( e ) G x Ad ( g ) ( x ) := D e c g ( x ) , x T e G . {\displaystyle {\begin{aligned}\operatorname {Ad} (g):T_{e}G&\to T_{c_{g}(e)}G\\x&\mapsto \operatorname {Ad} (g)(x):=D_{e}c_{g}(x),\quad x\in T_{e}G.\end{aligned}}}

D e {\displaystyle D_{e}} bezeichnet den Differentialoperator an der Stelle e {\displaystyle e} .

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

g = T e G T c g ( e ) G = T e G = g {\displaystyle {\mathfrak {g}}=T_{e}G\rightarrow T_{c_{g}(e)}G=T_{e}G={\mathfrak {g}}}

da c g ( e ) = e {\displaystyle c_{g}(e)=e} und somit ist Ad ( g ) {\displaystyle \operatorname {Ad} (g)} ein Element aus GL ( g ) {\displaystyle \operatorname {GL} ({\mathfrak {g}})} .

Definition Ad

Die adjungierten Abbildungen definieren eine Darstellung der Gruppe

Ad : G GL ( g ) g Ad ( g ) ,   g G {\displaystyle {\begin{aligned}\operatorname {Ad} \colon G&\rightarrow \operatorname {GL} ({\mathfrak {g}})\\g&\mapsto \operatorname {Ad} (g),\quad \forall \ g\in G\end{aligned}}}

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

ad-Funktion

Ebenfalls als adjungierte Darstellung bezeichnet wird die Ableitung von Ad {\displaystyle \operatorname {Ad} }

ad : g g l ( g ) x ad ( x ) := D e Ad ( x ) {\displaystyle {\begin{aligned}\operatorname {ad} \colon {\mathfrak {g}}&\to {\mathfrak {gl}}({\mathfrak {g}})\\x&\mapsto \operatorname {ad} (x):=D_{e}\operatorname {Ad} (x)\end{aligned}}}

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

ad ( X ) ( Y ) = [ X , Y ] {\displaystyle \operatorname {ad} (X)(Y)=\left[X,Y\right]}

für alle X , Y g {\displaystyle X,Y\in {\mathfrak {g}}} .

Häufig nützt man auch folgende Notation

ad : x ad x {\displaystyle \operatorname {ad} \colon x\mapsto \operatorname {ad} _{x}}

und

ad X ( Y ) = [ X , Y ] , X , Y g . {\displaystyle \operatorname {ad} _{X}(Y)=\left[X,Y\right],\qquad X,Y\in {\mathfrak {g}}.}

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

Explizite Beschreibung

Für Matrizengruppen, d. h. abgeschlossene Untergruppen von GL ( n , C ) {\displaystyle \operatorname {GL} (n,\mathbb {C} )} , lässt sich auch die adjungierte Darstellung der Lie-Gruppe explizit beschreiben: nach der kanonischen Identifizierung von g {\displaystyle {\mathfrak {g}}} mit einer Teilmenge von g l ( n , C ) Mat ( n , C ) {\displaystyle {\mathfrak {gl}}(n,\mathbb {C} )\simeq \operatorname {Mat} (n,\mathbb {C} )} gilt

Ad ( g ) ( X ) = g X g 1 {\displaystyle \operatorname {Ad} (g)(X)=gXg^{-1}}

für alle g G , X g {\displaystyle g\in G,X\in {\mathfrak {g}}} .

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