Darstellungstheorie (Gruppentheorie) - LinkFang.de





Darstellungstheorie (Gruppentheorie)


Die hier beschriebene Darstellungstheorie ist ein Teilgebiet der Mathematik, das auf der Gruppentheorie aufbaut und ein Spezialfall der eigentlichen Darstellungstheorie ist, die sich mit Darstellungen von Algebren beschäftigt.

Die Grundidee ist, die Elemente einer Gruppe durch Transformationen bestimmter mathematischer Objekte darzustellen.

Eine Darstellung [math]\rho[/math] einer Gruppe [math]G[/math], auch Gruppendarstellung, ist ein Homomorphismus von [math]G[/math] in die Automorphismengruppe [math]\operatorname{Aut}(W)[/math] einer gegebenen Struktur [math]W[/math]. Die Gruppenverknüpfung in [math]G[/math] entspricht dem Hintereinanderausführen von Automorphismen in [math]W[/math]:

[math]\rho(gh) = \rho(g) \rho(h)[/math]

Eine lineare Darstellung ist eine Darstellung durch Automorphismen eines Vektorraums [math]V[/math]. Eine lineare Darstellung ist somit ein Homomorphismus von [math]G[/math] in die allgemeine lineare Gruppe [math]\operatorname{GL}(V)[/math]. Wenn [math]V[/math] ein [math]n[/math]-dimensionaler Vektorraum über einem Körper [math]K[/math] ist, dann besteht die Darstellung dementsprechend aus invertierbaren [math]n \times n[/math]-Matrizen mit Koeffizienten aus [math]K[/math]. Die Vektorraumdimension [math]n[/math] heißt Grad der Darstellung.

Oft wird der Begriff „Darstellung“ im engeren Sinn von lineare Darstellung verwendet; eine Darstellung durch beliebige Automorphismen heißt dann Realisierung.

→ Formal und auch nach der Bezeichnung gehört die Permutationsdarstellung zu den hier definierten Darstellungen einer Gruppe: Hier ist die Struktur [math]W[/math] eine endliche Menge, deren Automorphismengruppe also die Menge ihrer bijektiven Selbstabbildungen. Damit ist der Homomorphismus eine Gruppenoperation, auch die linearen Darstellungen sind spezielle Gruppenoperationen. Siehe zu Permutationsdarstellungen, die trotz des formalen Zusammenhangs keine Untersuchungsgegenstände der Darstellungstheorie sind, den Artikel Permutationsgruppe.

Glossar

  • Eine Darstellung heißt treu, wenn der Darstellungshomomorphismus injektiv ist, wenn also verschiedene Gruppenelemente stets durch verschiedene Transformationen dargestellt werden.
  • Die triviale Darstellung [math]\mathbf{1}\colon G \rightarrow \operatorname{GL}_1(K)=K^*[/math] mit [math]g \mapsto 1[/math] (für alle [math]g \in G[/math]) ist im Allgemeinen nicht treu.
  • Zwei lineare Darstellungen [math]\rho_1, \rho_2[/math] heißen äquivalent, wenn ihre Matrizen ähnlich sind, also die gleiche lineare Abbildung für unterschiedliche Basen darstellen; das heißt, wenn es eine invertierbare Matrix [math]S[/math] gibt, sodass für alle Gruppenelemente [math]g[/math] gilt: [math]\rho_1(g) = S \rho_2(g) S^{-1}[/math].
  • Tritt in einem Kontext nur eine Darstellung [math]\rho[/math] auf, so schreibt man statt [math]\rho(g)(v)[/math] oft nur [math]gv[/math].
  • Sei V ein [math]\mathbb{C}[/math]-Vektorraum. Die Darstellung [math]\rho \colon G \rightarrow \operatorname{GL}(V)[/math] heißt unitär, wenn auf [math]V[/math] eine [math]G[/math]-invariante, positiv definite Norm [math]\beta = \langle \cdot , \cdot \rangle[/math] existiert, d. h., wenn für [math]\beta[/math] gilt: [math]\langle v,w \rangle = \bigl\langle \rho(g)(v),\rho(g)(w) \bigr\rangle = \langle gv,gw \rangle[/math] für alle [math]g\in G[/math] und für alle [math]v,w \in V[/math].
  • Sei [math]\rho \colon G \rightarrow GL_K(V)[/math] eine Darstellung der Gruppe [math]G[/math] auf dem [math]K[/math]-Vektorraum [math]V[/math]. Ein Unterraum [math]U \subseteq V [/math] heißt [math]G[/math]-invariant (genauer: [math]\rho[/math]-invariant), falls gilt: [math]\rho(g)(U)=gU \subseteq U[/math] für alle [math]g \in G[/math].
  • Die Darstellung [math]\rho[/math] (bzw. der Darstellungsraum [math]V[/math]) heißt irreduzibel, falls es nur die beiden trivialen [math]G[/math]-invarianten Unterräume [math]0\ (=\{0\})[/math] und [math]V\ (\neq 0)[/math] von [math]V[/math] gibt. (Eine Hauptaufgabe der Darstellungstheorie ist die Klassifikation irreduzibler Darstellungen.) Insbesondere im nicht-halbeinfachen Fall und in der Betrachtungsweise als Moduln werden solche Darstellungen auch einfach genannt.
  • Ist [math]\rho[/math] nicht irreduzibel, so heißt [math]\rho[/math] reduzibel.
  • Ist [math]\rho[/math] eine direkte Summe von irreduziblen Darstellungen von G, so heißt [math]\rho[/math] vollständig reduzibel. Insbesondere ist jede irreduzible Darstellung vollständig reduzibel.
  • Lässt sich [math]\rho[/math] nicht in eine nichttriviale direkte Summe von (nicht notwendigerweise irreduziblen) Darstellungen zerlegen, so heißt [math]\rho[/math] unzerlegbar, ansonsten zerlegbar. (Man beachte, dass nur im Fall [math]\operatorname{char}(K) \nmid \left| G \right|[/math] „irreduzibel“ und „unzerlegbar“ nach dem Satz von Maschke identisch sind.)
  • Ist [math]\rho \colon G \rightarrow \operatorname{GL}_K(V)[/math] eine Darstellung, dann bezeichnet man als Zentrum [math]Z(\rho)[/math] von [math]\rho[/math] die Menge der KG-Endomorphismen von [math]V[/math], also [math]Z(\rho)=\operatorname{End}_{KG}(V)=\{f \in \operatorname{End}_K(V)\ | \ f \circ \rho (g) = \rho (g) \circ f \text{ für alle } g \in G \} [/math]. Ist [math]\rho[/math] eine Matrixdarstellung, also [math]\rho \colon G \rightarrow \operatorname{GL}_n(K), \ g \mapsto R_g [/math], dann gilt: [math]Z(\rho)=\{A \in M_n(K) \ | \ A \cdot R_g=R_g \cdot A \text{ für alle } g \in G \} [/math]. Nach dem Lemma von Schur ist das Zentrum für irreduzible Darstellungen ein Schiefkörper. Die Umkehrung gilt im Falle eines Körpers [math]K[/math] von Charakteristik [math]0[/math] und einer endlichen Gruppe [math]G[/math] auch, sodass [math]Z(\rho)[/math] genau dann ein Schiefkörper ist, wenn [math]\rho[/math] irreduzibel ist.

Anwendungen

Lineare Darstellungen ermöglichen es, Eigenschaften einer Gruppe mit den Mitteln der linearen Algebra zu untersuchen. Das ist nützlich, weil die Lineare Algebra, im Gegensatz zur Gruppentheorie, ein kleines, abgeschlossenes und bestens verstandenes Gebiet ist.

Darstellungen endlicher Gruppen ermöglichen es in der Molekülphysik und Kristallographie, die Auswirkungen vorhandener Symmetrien auf messbare Eigenschaften eines Materials mit Hilfe eines rezeptmäßigen Kalküls zu bestimmen.

Beispiel

Sei [math]G[/math] die zyklische Gruppe [math]C_3[/math], also die Menge [math]\{0,1,2\}[/math] mit der Addition modulo [math]3[/math] als Gruppenverknüpfung.

Die Abbildung [math]\tau\colon G \to \C[/math], die den Gruppenelementen [math]g[/math] Potenzen [math]\tau(g) = u^g[/math] der komplexen Zahl [math]u = e^{\frac{2\pi i}{3}}[/math] zuordnet, ist eine treue lineare Darstellung vom Grad [math]1[/math]. Der Gruppeneigenschaft [math]g^3 = e[/math] entspricht die Eigenschaft [math]u^3 = 1[/math]. Die durch die Darstellung erzeugte multiplikative Gruppe [math]\tau(C_3) = \{1, u, u^2\}[/math] ist isomorph zur dargestellten Gruppe [math]C_3[/math].

Eine solche Isomorphie liegt ebenfalls vor bei der treuen linearen Darstellung vom Grad 2, die gegeben ist als

[math] \rho(0)=\begin{bmatrix} 1 & 0 \\ 0 & 1 \\ \end{bmatrix}, \qquad \rho(1)=\begin{bmatrix} 1 & 0 \\ 0 & u \\ \end{bmatrix}, \qquad \rho(2)=\begin{bmatrix} 1 & 0 \\ 0 & u^2 \\ \end{bmatrix}. [/math]

Diese Darstellung ist äquivalent zu einer Darstellung durch die folgenden Matrizen:

[math] \rho'(0)= \begin{bmatrix} 1 & 0 \\ 0 & 1 \\ \end{bmatrix}, \qquad \rho'(1)= \begin{bmatrix} u & 0 \\ 0 & 1 \\ \end{bmatrix}, \qquad \rho'(2)= \begin{bmatrix} u^2 & 0 \\ 0 & 1 \\ \end{bmatrix}. [/math]

Die Darstellungen [math]\rho[/math] und [math]\rho^\prime[/math] sind reduzibel: Sie bestehen aus der direkten Summe der zuvor beschriebenen Darstellung [math]g \to u^g[/math] und der untreuen Darstellung [math]g \to 1[/math].

Eine reelle Darstellung dieser Gruppe erhält man, indem man der [math]1[/math] die Drehung der reellen Ebene um 120 Grad zuordnet. Diese Darstellung ist über den reellen Zahlen irreduzibel. Lässt man die [math]1[/math] entsprechend als 120-Grad-Drehung auf der komplexen Ebene [math]\C^2[/math] operieren, so erhält man eine reduzible Darstellung, die zu der oben betrachteten Darstellung [math]\rho[/math] isomorph ist.

Charakter

Hauptartikel: Charakter (Mathematik)

Definition

Der Charakter der endlichdimensionalen Darstellung [math]\rho\colon G\to \operatorname{GL}(V)[/math] ist die Funktion [math]\chi_{\rho}\colon G\to K[/math], die durch

[math] \chi_{\rho}(g) = \operatorname{tr}\bigl(\rho(g)\bigr) = \sum_{j=1}^{\dim(V)}\rho_{jj}(g) [/math]

definiert ist. Dabei sind [math]\rho_{jj}[/math] die Matrixelemente in einer beliebigen (aber festen) Basis von [math]V[/math]. Die Spur [math]\operatorname{tr}[/math] ist basisunabhängig.

Eigenschaften

  • Für eine endliche Gruppe [math]G[/math] sind zwei Darstellungen [math]\rho[/math] und [math]\rho'[/math] bereits dann äquivalent, falls [math]\chi_\rho = \chi_{\rho'}[/math] gilt und der Grundkörper die Charakteristik [math]0[/math] hat.
  • [math]\chi(g) = \chi(hgh^{-1})[/math], weil [math]\operatorname{tr}(AB) = \operatorname{tr}(BA)[/math]. Deshalb ist [math]\chi[/math] auf den Konjugationsklassen konstant.
  • [math]\chi(1_G) = \dim(V)[/math], direkt aus der Spur ersichtlich.
  • [math]\chi_{\rho\oplus \rho'}= \chi_\rho + \chi_{\rho'}[/math]

Mithilfe von Charakteren lässt sich überprüfen, ob eine Darstellung irreduzibel ist: Eine Darstellung einer endlichen Gruppe [math]G[/math] über einem algebraisch abgeschlossenen Körper [math]K[/math] der Charakteristik [math]0[/math] ist genau dann irreduzibel, wenn [math](\chi,\chi)=1[/math] gilt. Hierbei ist das unitäre Skalarprodukt [math](u,v)[/math] zweier Funktionen [math]u,v\colon G\to K[/math] definiert durch [math]\textstyle (u,v)=\frac{1}{\left|G\right|}\sum_{g\in G}u\left(g^{-1}\right)v\left(g\right)[/math]. (Im Falle [math]K=\mathbb C[/math] kann man in dieser Formel den Term [math]u\left(g^{-1}\right)[/math] auch durch [math]\overline{u\left(g\right)}[/math] ersetzen.)

Vollständig reduzible Darstellungen endlicher Gruppen zerfallen in irreduzible Darstellungen und können somit „ausreduziert“ werden. Dabei kann man die Darstellungen aus den Charakteren erschließen; man kann dazu die Charaktertafel einer Darstellung aufstellen und bestimmte Orthogonalitätsrelationen der mit den Zeilen- bzw. Spaltenvektoren dieser Tafeln gebildeten unitären Skalarprodukte ausnutzen.

Anwendung

Eine Anwendung des Konzepts der Ausreduzierung eines „Produkts“ (besser: Tensorprodukts) zweier nicht notwendig verschiedener Darstellungen derselben Gruppe ergibt die Clebsch-Gordan-Koeffizienten der Drehimpulsphysik, die in der Quantenmechanik wichtig sind.

Taxonomie

Darstellungen können nach zwei Gesichtspunkten klassifiziert werden: (1) nach der Struktur der Zielmenge [math]W[/math], auf die die Darstellungen wirken; und (2) nach der Struktur der dargestellten Gruppe.

Einteilung nach Zielmengen

Eine mengentheoretische Darstellung ist ein Homomorphismus der darzustellenden Gruppe auf die Permutationsgruppe [math]\operatorname{Sym}(M)[/math] einer beliebigen Menge [math]M[/math]; siehe dazu auch den Satz von Cayley.

Eine lineare Darstellung ist durch ihre Dimension [math]n[/math] und durch den Körper [math]K[/math] charakterisiert. Neben den komplexen und reellen Zahlen kommen hier die endlichen und [math]p[/math]-adischen Körper in Betracht.

Eine lineare Darstellung einer endlichen Gruppe über einem Körper der Charakteristik [math]p\gt0[/math] heißt eine modulare Darstellung, falls [math]p[/math] ein Teiler der Gruppenordnung ist.

Darstellungen in Untergruppen der allgemeinen linearen Gruppe [math]\operatorname{GL}(V)[/math] zeichnen sich dadurch aus, dass sie gewisse Strukturen des Vektorraums [math]V[/math] erhalten. Zum Beispiel erhält eine unitäre Darstellung, also eine Darstellung in die unitäre Gruppe [math]\operatorname{U}(V)[/math], das Skalarprodukt, siehe auch Hilbertraum-Darstellung.

Einteilung nach dargestellter Gruppe

Einfachster Fall ist die Darstellung einer endlichen Gruppe.

Viele Ergebnisse in der Darstellungstheorie endlicher Gruppen werden durch Mittelung über die Gruppe erzielt. Diese Ergebnisse können auf unendliche Gruppen übertragen werden, sofern die topologischen Voraussetzungen gegeben sind, um ein Integral zu definieren. Dies ist vermittels des Haar-Maßes in lokalkompakten Gruppen möglich. Die daraus resultierende Theorie spielt eine zentrale Rolle in der harmonischen Analyse. Die Pontrjagin-Dualität beschreibt diese Theorie im Spezialfall abelscher Gruppen als verallgemeinerte Fourier-Transformation.

Viele wichtige Lie-Gruppen sind kompakt, sodass die genannten Ergebnisse übertragbar sind. Die Darstellungstheorie ist von entscheidender Bedeutung für die Anwendungen dieser Lie-Gruppen in Physik und Chemie.

Für nicht-kompakte Gruppen gibt es keine abgeschlossene Darstellungstheorie. Eine umfassende Theorie ist für halb-einfache Lie-Gruppen ausgearbeitet worden. Für die komplementären auflösbaren Lie-Gruppen gibt es keine vergleichbare Klassifikation.

Literatur

  • Jean-Pierre Serre: Linear Representations of Finite Groups. Springer-Verlag, New York 1977, ISBN 3540901906.
  • William Fulton, Joe Harris: Representation theory. A first course. Springer-Verlag, New York, 1991, ISBN 0-387-97527-6.

Weblinks


Kategorien: Teilgebiet der Mathematik | Darstellungstheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Darstellungstheorie (Gruppentheorie) (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.