Reelle Form
# Reelle Form

Der Begriff reelle Form wird in der Mathematik verwendet, um über den reellen und komplexen Zahlen definierte Objekte, insbesondere algebraische Strukturen, miteinander in Beziehung zu setzen. Er wird vor allem in der Theorie der Lie-Algebren und Lie-Gruppen gebraucht.
Eine reelle Lie-Algebra ${\mathfrak {g}}$ ist eine reelle Form einer komplexen Lie-Algebra ${\mathfrak {g}}_{\mathbb {C} }$, wenn ${\mathfrak {g}}_{\mathbb {C} }$ die Komplexifizierung von ${\mathfrak {g}}$ ist, also
    ${\mathfrak {g}}_{\mathbb {C} }={\mathfrak {g}}\otimes _{\mathbb {R} }\mathbb {C}$.
Allgemein lässt sich analog eine reelle Form $V$ eines komplexen Vektorraumes $W$ durch die Bedingung $V\otimes _{\mathbb {R} }\mathbb {C} =W$ definieren. Ein komplexer Vektorraum hat unendlich viele reelle Formen, zum Beispiel sind $\mathbb {R} ^{n}$ oder $(i\mathbb {R} )^{n}$ reelle Formen von $\mathbb {C} ^{n}$.
Eine reelle Form einer komplexen Lie-Gruppe ist eine Untergruppe, deren Lie-Algebra eine reelle Form der Lie-Algebra der komplexen Lie-Gruppe ist.

## Halbeinfache Lie-Algebren

Jede halbeinfache komplexe Lie-Algebra ${\mathfrak {g}}_{\mathbb {C} }$ hat mindestens zwei reelle Formen ${\mathfrak {g}}$.
Die eine der beiden reellen Formen ist eine kompakte Lie-Algebra, d. h., die Killing-Form ist negativ definit.
Die andere der beiden reellen Formen ist eine spaltbare Lie-Algebra, d. h., es gibt eine Cartan-Unteralgebra ${\mathfrak {h}}\subset {\mathfrak {g}}$, so dass für alle $h\in {\mathfrak {h}}$ die adjungierte Abbildung $ad(h)\colon {\mathfrak {g}}\to {\mathfrak {g}}$ diagonalisierbar ist.
Im Allgemeinen kann ${\mathfrak {g}}_{\mathbb {C} }$ noch weitere reelle Formen haben.

## Beispiele

Die folgende Liste nennt zu einer halbeinfachen komplexen Lie-Algebra ${\mathfrak {g}}_{\mathbb {C} }$ erst die kompakte, dann die spaltbare reelle Form.
* $sl(n,\mathbb {C} ):su(n),sl(n,\mathbb {R} )$
* $so(2n+1,\mathbb {C} ):so(2n+1),so(n,n+1,\mathbb {C} )$
* $so(2n,\mathbb {C} ):so(2n),so(n,n,\mathbb {C} )$
* $sp(n,\mathbb {C} ):sp(n),sp(n,\mathbb {R} )$ (wobei $sp(n)$ die Lie-Algebra der kompakten symplektischen Gruppe bezeichnet)

## Klassifikation

Reelle Formen einer halbeinfachen komplexen Lie-Algebra ${\mathfrak {g}}_{\mathbb {C} }$ werden durch Satake-Diagramme klassifiziert, gewisse Verfeinerungen des Dynkin-Diagramms von ${\mathfrak {g}}_{\mathbb {C} }$.

## Darstellungstheorie

Die komplexen Darstellungen von ${\mathfrak {g}}$ entsprechen 1:1 den komplexen Darstellungen von ${\mathfrak {g}}\otimes \mathbb {C}$: man erhält alle Darstellungen von ${\mathfrak {g}}$ durch Einschränkung der Darstellungen der komplexifizierten Lie-Algebra. Zum Beispiel ist die Darstellungstheorie von $su(2)$ äquivalent zur Darstellungstheorie der sl(2,C).