Darstellungsvarietät
# Darstellungsvarietät

In der Mathematik sind Darstellungsvarietäten ein wichtiges Hilfsmittel in Gruppentheorie, Topologie und Geometrie.

## Definition

Sei $\Gamma$ eine endlich erzeugte Gruppe und $G$ eine halbeinfache algebraische Lie-Gruppe. Sei $\Gamma =\langle x_{1},\ldots ,x_{n}\mid R_{1},\ldots ,R_{r},\ldots \rangle$ eine Präsentierung von $\Gamma$ mit endlich vielen Erzeugern. Man gibt

    $\operatorname {Hom} (\Gamma ,G)=\left\{f\colon \Gamma \rightarrow G{\text{ Homomorphismus}}\right\}$

die Struktur einer algebraischen Menge (d. h. einer nicht notwendig irreduziblen algebraischen Varietät) als

    $\operatorname {Hom} (\Gamma ,G)=\left\{(g_{1},\ldots ,g_{n})\in G^{n}\mid R_{1}(g_{1},\ldots ,g_{n})=e,\ldots ,R_{r}(g_{1},\ldots ,g_{n})=e,\ldots ,\right\}$,

wobei $e$ das neutrale Element von $G$ bezeichnet und ein Homomorphismus $f\colon \Gamma \rightarrow G$ mit dem Tupel $(g_{1},\ldots ,g_{n})=(f(x_{1}),\ldots ,f(x_{n}))$ identifiziert wird.

Es folgt aus dem Hilbertschen Basissatz, dass man die Varietät bereits durch endlich viele Gleichungen definieren kann.

Man kann zeigen, dass der Isomorphietyp der Darstellungsvarietät nicht vom gewählten Erzeugendensystem abhängt.

### Quotientenbildung

Die Gruppe $G$ wirkt auf $\operatorname {Hom} (\Gamma ,G)$ durch Konjugation

    $(gf)(\gamma )=gf(\gamma )g^{-1}$.

Der Quotient $\operatorname {Hom} (\Gamma ,G)/G:=\operatorname {Hom} (\Gamma ,G)/{\text{conj.}}$ ist im Allgemeinen keine Varietät, stattdessen betrachtet man oft einen etwas kleineren Quotienten, die Charaktervarietät ${\mathcal {R}}(\Gamma ,G)=\operatorname {Hom} (\Gamma ,G)//G$.

### Nicht-algebraische Gruppen

Für beliebige (nicht notwendig algebraische) halbeinfache Lie-Gruppen kann man wie oben die Darstellungsvarietät als analytische Mannigfaltigkeit definieren. Der Quotientenraum $\operatorname {Hom} (\Gamma ,G)/G:=\operatorname {Hom} (\Gamma ,G)/conj.$ ist im Allgemeinen nicht Hausdorffsch. Jedoch hat

    $\operatorname {Hom} ^{red}(\Gamma ,G):=\left\{\rho \in \operatorname {Hom} (\Gamma ,G):\not \exists P{\text{ parabolisch mit }}\rho (\Gamma )\subset P\right\}$

(also die Untermannigfaltigkeit derjenigen Homomorphismen, deren Bild nicht in einer parabolischen Untergruppe liegt) eine analytische Mannigfaltigkeit als Quotienten.

## Invarianten

Es sei $X$ ein CW-Komplex mit Fundamentalgruppe $\pi _{1}X=\Gamma$, dann entspricht jede Darstellung $\rho \colon \Gamma \to G$ einem flachen Bündel

    $G\to E_{\rho }\to X$

und die mittels Obstruktionstheorie definierten topologischen Invarianten der Bündel sind Invarianten der Zusammenhangskomponenten der Darstellungsvarietät.

Die erste Obstruktionsklasse

    $o_{1}\in H^{1}(X,\pi _{0}(G))$

verschwindet, wenn $G$ zusammenhängend ist.

Die zweite Obstruktionsklasse

    $o_{2}\in H^{2}(X,\pi _{1}(G))$

entspricht für $G=SL(2,\mathbb {R} )$ der Euler-Klasse und für $G=SL(n,\mathbb {R} ),n\geq 3$ der zweiten Stiefel-Whitney-Klasse $w_{2}(E_{\rho })$.

