Symmetrischer Raum

In der Mathematik sind symmetrische Räume eine Klasse von Riemannschen Mannigfaltigkeiten mit einem besonders hohen Grad an Symmetrien.

Sie sind eine wichtige Klasse von Beispielen in Geometrie und Topologie und finden Anwendung unter anderem in Darstellungstheorie, harmonischer Analysis, Zahlentheorie, Modulformen und Physik.

Definition

Eine zusammenhängende Riemannsche Mannigfaltigkeit ist ein symmetrischer Raum, wenn es zu jedem $x\in M$ eine Spiegelung an gibt, d.h. eine Isometrie

$S_{x}:M\rightarrow M$

mit

$S_{x}(x)=x$ ,

für deren Differential in

$d_{x}S_{x}=-\mathrm {Id}$

gilt, also $d_{x}S_{x}(v)=-v$ für alle $v\in T_{x}M$ .

Beispiele

Der euklidische $\mathbb {R} ^{n}$ ist ein symmetrischer Raum, zu jedem $x\in {\mathbb R}^{n}$ definiert man die Spiegelung $S_{x}:{\mathbb R}^{n}\rightarrow {\mathbb R}^{n}$ durch

$S_{x}(y)=2x-y$ .

Die Einheitssphäre $S^{n}\subset {\mathbb R}^{{n+1}}$ ist ein symmetrischer Raum. Zu $x,y\in S^{n}$ ist $S_{x}(y)\in S^{n}$ der eindeutig bestimmte Punkt auf dem Großkreis durch und , für den $d(S_{x}(y),x)=d(y,x)$ sowie (falls und keine antipodalen Punkte sind) $S_{x}(y)\not =y$ gilt.
Mit einer bi-invarianten Metrik versehene Lie-Gruppen sind symmetrische Räume. Die Spiegelung $S_{g}$ wird definiert durch

$S_{g}(h)=gh^{-1}g$ .

Geodätische Symmetrie

Sei $\gamma :{\mathbb R}\rightarrow M$ eine Geodäte mit $\gamma (0)=x$ . Aus $d_{x}S_{x}=-\mathrm {Id}$ folgt $S_{x}(\gamma (t))=\gamma (-t)$ für alle $t\in \mathbb {R}$ .

Umgekehrt kann man in jeder Riemannschen Mannigfaltigkeit lokal (in einer hinreichend kleinen Umgebung eines Punktes ) eine geodätische Spiegelung $S_{x}:U\rightarrow U$ durch $S_{x}(\gamma (t))=\gamma (-t)$ definieren. Eine Riemannsche Mannigfaltigkeit heißt lokal symmetrisch, wenn $S_{x}$ auf seinem Definitionsbereich eine Isometrie ist. Sie ist ein symmetrischer Raum, falls $S_{x}$ eine Isometrie ist und sich auf ganz definieren lässt.

Homogener Raum>

Jeder symmetrische Raum ist ein homogener Raum, d.h. von der Form G/H für eine zusammenhängende Lie-Gruppe und eine kompakte Untergruppe $H\subset G$ , so dass die Riemannsche Metrik unter der Links-Wirkung von invariant ist. Élie Cartan charakterisiert symmetrische Räume wie folgt: Sei eine zusammenhängende Liegruppe, $H\subset G$ eine kompakte Untergruppe und $\sigma :G\rightarrow G$ ein Liegruppenhomomorphismus mit $\sigma ^{2}={\mathrm {Id}}$ sowie $(G^{\sigma })_{0}\subset H\subset G^{\sigma }$ . (Hier bezeichnet $G^{\sigma }$ die Fixpunkte von $\sigma$ und $(G^{\sigma })_{0}$ die Zusammenhangskomponente des neutralen Elements. $\sigma$ heißt Cartan-Involution.) Dann trägt M=G/H eine -invariante Riemannsche Metrik und (M, g) ist ein symmetrischer Raum.

Cartan-Zerlegung

Sei M=G/K ein symmetrischer Raum und $\sigma :G\rightarrow G$ die Cartan-Involution. Seien ${\mathfrak g},{\mathfrak k}$ die Lie-Algebren von G,K .

Sei $\theta =d_{0}\sigma :{\mathfrak {g}}\rightarrow {\mathfrak {g}}$ . Wegen $\theta ^{2}=1$ sind $\pm1$ die einzigen Eigenwerte, ${\mathfrak k}$ ist der Eigenraum zum Eigenwert . Wir bezeichnen mit ${\mathfrak {p}}$ den Eigenraum zum Eigenwert , er entspricht dem Tangentialraum an G/K in $\left[e\right]$ . Dann ist ${\mathfrak {g}}={\mathfrak {k}}+{\mathfrak {p}}$ und

$[{\mathfrak {k}},{\mathfrak {k}}]\subseteq {\mathfrak {k}}$ , $[{\mathfrak {k}},{\mathfrak {p}}]\subseteq {\mathfrak {p}}$ , $[{\mathfrak {p}},{\mathfrak {p}}]\subseteq {\mathfrak {k}}$ .

Die mit Hilfe der Killing-Form definierte Form

$B_{\theta }(X,Y):=B(X,\theta Y)$

ist positiv semidefinit.

Umgekehrt gibt es zu einer Zerlegung ${\mathfrak {g}}={\mathfrak {k}}+{\mathfrak {p}}$ mit diesen Eigenschaften immer eine Involution $\theta$ auf $\mathfrak{g}$ , die auf ${\mathfrak {k}}$ und auf ${\mathfrak {p}}$ ist. Sei die einfach zusammenhängende Lie-Gruppe mit Lie-Algebra ${\mathfrak {g}}$ , dann gibt es zu $\theta$ eine Involution $\sigma :G\rightarrow G$ mit $\theta =d_{0}\sigma$ und damit einen symmetrischen Raum M=G/K .

Beispiel

${\mathfrak {sl}}(n,{\mathbb C})={\mathfrak {su}}(n)\oplus {\mathfrak {p}}$

mit ${\mathfrak {p}}=\left\{A\in {\mathfrak {sl}}(n,\mathbb {C} ):A={\overline {A}}^{t}\right\}$ ist eine Cartan-Zerlegung.

Typen symmetrischer Räume

Definitionen

Ein symmetrischer Raum M=G/K ist von kompaktem Typ, wenn die Killing-Form auf ${\mathfrak {g}}$ negativ semidefinit ist.

Ein symmetrischer Raum M=G/K ist von euklidischem Typ, wenn ${\mathfrak p}$ abelsch ist.

Ein symmetrischer Raum M=G/K ist von nichtkompaktem Typ, wenn die Killing-Form auf ${\mathfrak {g}}$ nicht-ausgeartet, aber nicht negativ semidefinit und ${\mathfrak g}={\mathfrak k}\oplus {\mathfrak p}$ eine Cartan-Zerlegung ist. (In diesem Fall ist halbeinfach und $K\subset G$ eine maximal kompakte Untergruppe.)

Beispiele

Die Sphäre $S^{n}=SO(n+1)/SO(n)$ ist ein symmetrischer Raum von kompaktem Typ.
Der euklidische Raum ist ein symmetrischer Raum von euklidischem Typ, ebenso der n-dimensionale Torus.
Der hyperbolische Raum $H^{n}=SO(n,1)/SO(n)$ ist ein symmetrischer Raum von nichtkompaktem Typ. $SL(n,{\mathbb R})/SO(n)$ und $SL(n,{\mathbb C})/SU(n)$ sind symmetrische Räume von nichtkompaktem Typ.

Produkt-Zerlegung

Ein symmetrischer Raum heißt irreduzibel, wenn er sich nicht als Produkt zweier nichttrivialer symmetrischer Räume zerlegen lässt, reduzibel sonst. Jeder symmetrische Raum lässt sich als Produkt irreduzibler symmetrischer Räume von kompaktem, euklidischem und nichtkompaktem Typ zerlegen.

Schnittkrümmung

Symmetrische Räume von kompaktem Typ haben Schnittkrümmung $\geq 0$ , symmetrische Räume von euklidischem Typ haben Schnittkrümmung $0$ , symmetrische Räume von nichtkompaktem Typ haben Schnittkrümmung $\leq 0$ .

Symmetrische Räume von nichtkompaktem Typ sind CAT(0)-Räume und zusammenziehbar.

Dualität

Der symmetrische Raum $M=G_{1}/K$ mit ${\mathfrak g}_{1}={\mathfrak k}\oplus {\mathfrak p}$ ist von kompaktem Typ genau dann, wenn der symmetrische Raum $M=G_{2}/K$ mit ${\mathfrak g}_{2}={\mathfrak k}\oplus i{\mathfrak p}\subset {\mathfrak g}\otimes {\mathbb C}$ von nichtkompaktem Typ ist. Man bezeichnet diese beiden symmetrischen Räume als dual zueinander. Zu einem gegebenen symmetrischen Raum von nichtkompaktem Typ G/K wird das kompakte Dual mit $G^{u}/K$ bezeichnet.

Beispiele:

Der hyperbolische Raum ist dual zur Sphäre.
$SL(n,{\mathbb R})/SO(n)$ ist dual zu $(SO(n)\times SO(n))/SO(n)=SO(n)$ .

Rang

Der Rang eines symmetrischen Raumes ist definiert als

${\mathrm {rk}}(M):=\max \left\{\dim(F):F\subset T_{x}M,x\in M,{\mathrm {sec}}|_{F}\equiv 0\right\}$ ,

d.h. die Dimension eines maximalen Unterraumes, auf dem die Schnittkrümmung verschwindet.

Beispiel: ${\mathrm {rk}}(SL(n,{\mathbb R})/SO(n))=n-1$ .

Symmetrische Räume vom Rang 1

Die einzigen nichtkompakten symmetrischen Räume mit ${\mathrm {rk}}(M)=1$ sind

$\mathbb {R} ^{1}$ ,
die reell-hyperbolischen Räume ,
die komplex-hyperbolischen Räume ,
die quaternionisch-hyperbolischen Räume und
die Cayley-hyperbolische Ebene $F_{4}^{{-20}}/Spin(9)$ .

Die einzigen kompakten symmetrischen Räume vom Rang 1 sind die

Sphären,
die reell-projektiven Räume,
die komplex-projektiven Räume,
die quaternionisch-projektiven Räume und
die Cayley-projektive Ebene.

Klassifikation

Es gibt eine vollständige Klassifikation symmetrischer Räume. Im Fall kompakter symmetrischer Räume ergibt sich folgende Tabelle (für die irreduziblen Faktoren, in die sich jeder symmetrische Raum zerlegen läßt)

Label			Dimension	Rang
AI	${\mathrm {SU}}(n)\,$	${\mathrm {SO}}(n)\,$
AII	${\mathrm {SU}}(2n)\,$	${\mathrm {Sp}}(n)\,$
AIII	${\mathrm {SU}}(p+q)\,$	${\mathrm {S}}({\mathrm {U}}(p)\times {\mathrm {U}}(q))\,$		$min(p,q)$
BDI	${\mathrm {SO}}(p+q)\,$	${\mathrm {SO}}(p)\times {\mathrm {SO}}(q)\,$		$min(p,q)$
DIII	${\mathrm {SO}}(2n)\,$	${\mathrm {U}}(n)\,$		$\left[n/2\right]$
CI	${\mathrm {Sp}}(n)\,$	${\mathrm {U}}(n)\,$
CII	${\mathrm {Sp}}(p+q)\,$	${\mathrm {Sp}}(p)\times {\mathrm {Sp}}(q)\,$		$min(p,q)$
EI	$E_{6}\,$	${\mathrm {Sp}}(4)/\{\pm I\}\,$	42	6
EII	$E_{6}\,$	${\mathrm {SU}}(6)\cdot {\mathrm {SU}}(2)\,$	40	4
EIII	$E_{6}\,$	${\mathrm {SO}}(10)\cdot {\mathrm {SO}}(2)\,$	32	2
EIV	$E_{6}\,$	$F_{4}\,$	26	2
EV	$E_{7}\,$	${\mathrm {SU}}(8)/\{\pm I\}\,$	70	7
EVI	$E_{7}\,$	${\mathrm {SO}}(12)\cdot {\mathrm {SU}}(2)\,$	64	4
EVII	$E_{7}\,$	$E_{6}\cdot {\mathrm {SO}}(2)\,$	54	3
EVIII	$E_{8}\,$	${\mathrm {Spin}}(16)/\{\pm vol\}\,$	128	8
EIX	$E_{8}\,$	$E_{7}\cdot {\mathrm {SU}}(2)\,$	112	4
FI	$F_{4}\,$	${\mathrm {Sp}}(3)\cdot {\mathrm {SU}}(2)\,$	28	4
FII	$F_{4}\,$	${\mathrm {Spin}}(9)\,$	16	1
G	$G_{2}\,$	${\mathrm {SO}}(4)\,$	8	2

Die Klassifikation (irreduzibler) symmetrischer Räume von nichtkompaktem Typ ergibt sich aus der Klassifikation kompakter symmetrischer Räume mit dem Dualitätsprinzip.

Basierend auf einem Artikel in:

Wikipedia.de