Reelle Darstellung

In der Mathematik sind reelle Darstellungen ein Begriff der Darstellungstheorie mit zahlreichen Anwendungen in Physik und Mathematik. Er bezeichnet Darstellungen auf einem komplexen Vektorraum, die durch Tensorieren mit den komplexen Zahlen aus einer Darstellung auf einem reellen Vektorraum entstanden sind.

Reelle Darstellungen

Falls eine Gruppe $G$ auf einem reellen Vektorraum $V_{0}$ operiert, dann heißt die korrespondierende Darstellung auf dem Vektorraum $V=V_{0}\otimes _{\mathbb {R} }\mathbb {C}$ reell.
Der Vektorraum $V=V_{0}\otimes _{\mathbb {R} }\mathbb {C}$ ist ein komplexer Vektorraum, auch genannt die Komplexifizierung von $V_{0}.$ Diese korrespondierende Darstellung ist gegeben durch $g(v_{0}\otimes z)=(g(v_{0}))\otimes z$ für alle $g\in G,v_{0}\in V_{0},z\in \mathbb {C} .$

Reelle Charaktere

Jede reelle Darstellung $\rho$ ordnet jedem Element $g$ einer Gruppe $G$ eine reelle lineare Abbildung $\rho (g)$ zu. Daher ist der Charakter jeder reellen Darstellung reell.
Aber umgekehrt ist nicht jede Darstellung mit einem reellen Charakter reell. So ist die Spur jedes Elements der Gruppe

${\text{SU}}(2)=\{{\begin{pmatrix}a&b\\-{\overline {b}}&{\overline {a}}\end{pmatrix}}:\,\,|a|^{2}+|b|^{2}=1\}$

reell. Also ist der Charakter der Selbstdarstellung $\rho (g)=g$ reell. Aber in keiner Basis sind alle Elemente von ${\text{SU}}(2)$ reelle $2\times 2$ Matrizen.

Charakterisierung reeller Darstellungen

Eine irreduzible Darstellung von $G$ auf einem Vektorraum über $\mathbb {R}$ kann bei Ausdehnung des Grundkörpers auf $\mathbb {C}$ reduzibel werden. Ein Beispiel ist die irreduzible Darstellung der zyklischen Gruppe $\mathbb {Z} /m\mathbb {Z}$ auf $\mathbb {R} ^{2},$ gegeben durch

$k\mapsto {\begin{pmatrix}{\text{cos}}({\frac {2\pi ik}{m}})&{\text{sin}}({\frac {2\pi ik}{m}})\\-{\text{sin}}({\frac {2\pi ik}{m}})&{\text{cos}}({\frac {2\pi ik}{m}})\end{pmatrix}},$

die über $\mathbb {C}$ reduzibel wird.
Das bedeutet, dass man durch die Klassifikation aller irreduziblen Darstellungen über $\mathbb {C} ,$ die reell sind, noch nicht alle irreduziblen reellen Darstellungen klassifiziert hat.
Man erhält jedoch folgendes:
Sei $V_{0}$ ein reeller Vektorraum, auf dem $G$ irreduzibel operiert, $V=V_{0}\otimes \mathbb {C}$ die korrespondierende reelle Darstellung von $G.$ Falls der Darstellungsraum $V$ nicht irreduzibel ist, hat er genau zwei irreduzible Faktoren und diese sind konjugierte komplexe Darstellungen von $G.$

Für Beweise und mehr Informationen zu Darstellungen über allgemeinen Unterkörpern von $\mathbb {C}$ siehe .

Beispiel

Sei $G$ die zyklische Gruppe $\mathbb {Z} /3\mathbb {Z}$, also die Menge $\{0,1,2\}$ mit der Addition modulo Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 3} als Gruppenverknüpfung.

Eine reelle Darstellung dieser Gruppe erhält man, indem man der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} die Drehung der reellen Ebene um 120 Grad zuordnet, also

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho(1)=\left(\begin{array}{cc}-\frac{1}{2}&\frac{1}{2}\sqrt{3}\\ -\frac{1}{2}\sqrt{3}&-\frac{1}{2}\end{array}\right).}

Die entsprechende Darstellung auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex^2} ist reduzibel, denn komplexe irreduzible Darstellungen abelscher Gruppen sind stets eindimensional. Die Darstellung auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^2} hingegen ist irreduzibel, denn eindimensionale Unterräume von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^2} , das sind die Geraden durch den Nullpunkt, können bei einer Drehung um 120 Grad nicht in sich überführt werden.

Siehe auch

• Quaternionische Darstellung

Literatur

• Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. ISBN 978-0-387-97495-8 ISBN 978-0-387-97527-6

Weblinks

• Ganev: Real and quaternionic representations of finite groups