Hermitescher symmetrischer Raum

In der Mathematik ist ein hermitescher symmetrischer Raum eine hermitesche Mannigfaltigkeit, die gleichzeitig ein symmetrischer Raum ist. Beispiele sind die riemannsche Zahlenkugel, die hyperbolische Ebene oder der siegelsche Halbraum. Hermitesche symmetrische Räume werden in der algebraischen Geometrie als Parameterräume für die Variation von Hodge-Strukturen verwendet.

Automorpismen hermitescher symmetrischer Räume

Für einen Hermiteschen symmetrischen Raum $M$ bezeichne $Hol(M)$ die Gruppe der biholomorphen Abbildungen, $Isom(M)$ die Gruppe der riemannschen Isometrien und $Is(M)=Hol(M)\cap Isom(M)$ die Gruppe der holomorphen Isometrien.

Wenn $M$ von nichtkompaktem Typ ist, dann geben die Inklusionen

Hol(M)\supset Is(M)\subset Isom(M)

Gleichheiten der Zusammenhangskomponenten der Eins

Hol^{+}(M)=Is^{+}(M)=Isom^{+}(M)

.

Dann wirkt $Hol^{+}(M)$ transitiv auf $M$ mit Stabilisator $K_{p}\subset Hol^{+}(M)$ eines Punktes $p\in M$ , und man hat $Hol^{+}(M)/K_{p}=M$ .

Sei ${\mathfrak {h}}$ die Lie-Algebra von $Hol(M)^{+}$ , dann gibt es eine eindeutige zusammenhängende algebraische Gruppe $G\subset GL({\mathfrak {h}})$ mit

G(\mathbb {R} )^{+}=G(\mathbb {R} )\cap Hol(M)=Hol(M)^{+}.

Die algebraische Gruppe $G$ ist halbeinfach und $G(\mathbb {R} )$ ist nichtkompakt.

Klassifikation kompakter hermitescher symmetrischer Räume

Kompakte hermitesche symmetrische Räume sind Produkte von irreduziblen kompakten Hermiteschen symmetrischen Räumen.

Die irreduziblen kompakten hermiteschen symmetrischen Räume $H/K$ lassen sich wie folgt klassifizieren.

$G$	$H$	$K$	komplexe Dimension	Rang	geometrische Interpretation
$\mathrm {SL} (p+q,\mathbb {C} )$	$\mathrm {SU} (p+q)\,$	$\mathrm {S} (\mathrm {U} (p)\times \mathrm {U} (q))$	$pq$	$\min(p,q)$	Grassmann-Mannigfaltigkeit der komplex $p$ -dimensionalen Unterräume des $\mathbb {C} ^{p+q}$
$\mathrm {SO} (2n,\mathbb {C} )$	$\mathrm {SO} (2n)\,$	$\mathrm {U} (n)\,$	${\tfrac {1}{2}}n(n-1)$	$[{\tfrac {1}{2}}n]$	Raum der orthogonalen komplexen Strukturen auf dem $\mathbb {R} ^{2n}$
$\mathrm {Sp} (2n,\mathbb {C} )\,$	$\mathrm {Sp} (n)\,$	$\mathrm {U} (n)\,$	${\tfrac {1}{2}}n(n+1)$	$n$	Raum der mit dem Skalarprodukt kompatiblen komplexen Strukturen auf dem $\mathbb {H} ^{n}$
$\mathrm {SO} (n+2,\mathbb {C} )$	$\mathrm {SO} (n+2)\,$	$\mathrm {SO} (n)\times \mathrm {SO} (2)$	$n$	2	Grassmann-Mannigfaltigkeit der orientierten, reell $2$ -dimensionalen Unterräume des $\mathbb {R} ^{n+2}$
$E_{6}^{\mathbb {C} }\,$	$E_{6}\,$	$\mathrm {SO} (10)\times \mathrm {SO} (2)$	16	2	Komplexifizierung $(\mathbb {C} \otimes \mathbb {O} )P^{2}$ der Cayley-projektiven Ebene $\mathbb {O} P^{2}$
$E_{7}^{\mathbb {C} }$	$E_{7}\,$	$E_{6}\times \mathrm {SO} (2)$	27	3	Raum derjenigen symmetrischen Unterräume der Rosenfeld-projektiven Ebene $(\mathbb {H} \otimes \mathbb {O} )P^{2}$ , die isomorph zu $(\mathbb {C} \otimes \mathbb {O} )P^{2}$ sind