Nichtabelsche Hodge-Korrespondenz
# Nichtabelsche Hodge-Korrespondenz

In der Mathematik ist die nichtabelsche Hodge-Korrespondenz eine Korrespondenz zwischen Higgs-Bündeln und den Darstellungen der Fundamentalgruppe einer kompakten Kähler-Mannigfaltigkeit.

## Hintergrund

Sei $(X,\omega )$ eine kompakte Kähler-Mannigfaltigkeit mit universeller Überlagerung ${\widetilde {X}}$. Zu einer Darstellung $\rho \colon \pi _{1}X\to GL(n,\mathbb {C} )$ hat man ein assoziiertes Vektorbündel $E_{\rho }:={\widetilde {X}}\times _{\rho }\mathbb {C} ^{n}$ mit einem flachen Zusammenhang $D$.

Für eine hermitesche Metrik $h$ auf $E_{\rho }$ und eine Zerlegung $D=\partial +{\overline {\partial }}$ in Operatoren vom Typ (1,0) und (0,1) gibt es einen eindeutigen Operator $A$ vom Typ (1,0), so dass $A+\partial$ die Metrik $h$ erhält. Die Krümmung von $h$ ist definiert als $G_{h}:=({\overline {\partial }}+{\frac {\partial -A}{2}})^{2}$. Die Metrik heißt harmonisch wenn $\Lambda _{\omega }G_{h}=0$. Nach einem Satz von Donaldson und Corlette ist eine Darstellung $\rho \colon \pi _{1}X\to GL(n,\mathbb {C} )$ genau dann halbeinfach ist, wenn $E_{\rho }$ eine harmonische Metrik besitzt.

Wenn $G_{h}=0$ ist, dann ist $E$ ein Higgs-Bündel mit Higgs-Feld $\Phi ={\frac {\partial -A}{2}}$. Nach einem Satz von Corlette gilt für harmonische Metriken $G_{h}=0$, so dass sie also ein Higgs-Bündel geben.

## Nichtabelsche Hodge-Korrespondenz

Die nichtabelsche Hodge-Korrespondenz besagt, dass ein Higgs-Bündel genau dann von einer irreduziblen bzw. halbeinfachen Darstellung kommt, wenn es stabil bzw. polystabil ist.

Dies folgt aus von Hitchin (für Bündel vom Rang 2) und Simpson (im allgemeinen Fall) bewiesenen Sätzen, nach denen

* ein Higgs-Bündel genau dann eine Hermitesche Yang-Mills-Metrik besitzt, wenn es polystabil ist
* diese Hermitesche Yang-Mills-Metrik harmonisch ist und deshalb genau dann von einer halbeinfachen Darstellung kommt, wenn die Chern-Klassen $c_{1}$ und $c_{2}$ verschwinden
* ein Higgs-Bündel genau dann einen irreduziblen Yang-Mills-Zusammenhang besitzt (und deshalb von einer irreduziblen Darstellung kommt), wenn es stabil ist.

## Allgemeine Lie-Gruppen

Sei $\Sigma$ eine kompakte Riemannsche Fläche. Sei $G$ eine zusammenhängende halbeinfache reelle Lie-Gruppe mit maximal kompakter Untergruppe $H\subset G$. Für $d\in \pi _{1}G=\pi _{1}H$ bezeichnen wir mit ${\mathcal {R}}_{d}(G)$ den Modulraum der reduktiven Darstellungen $\rho \colon \pi _{1}\Sigma \to G$ mit $c(E_{\rho })=d$ und mit ${\mathcal {M}}_{d}(G)$ den Modulraum der polystabilen $G$-Higgs-Bündel mit topologischer Invariante $d$.

Die nichtabelsche Hodge-Korrespondenz ist ein Homöomorphismus

    ${\mathcal {R}}_{d}(G)\simeq {\mathcal {M}}_{d}(G)$.
