# Chern-Simons-Funktional

Das Chern-Simons-Funktional ist in Differentialgeometrie, Topologie und mathematischer Physik von Bedeutung. In der Mathematik wird es zur Definition der Chern-Simons-Invariante von Zusammenhängen auf Prinzipalbündeln über 3-Mannigfaltigkeiten verwendet. Ursprünglich von Chern und Simons in der Theorie der sekundären charakteristischen Klassen eingeführt, hatte es mindestens zwei unerwartete Anwendungen, nämlich zum einen Wittens Einordnung in die Quantenfeldtheorie mit einer physikalisch-geometrischen Interpretation des Jones-Polynoms (Topologische Quantenfeldtheorie) und zum anderen die Interpretation der Chern-Simons-Invariante flacher Bündel als komplexwertige Version des hyperbolischen Volumens.

## Definition

Sei $G$ eine einfach zusammenhängende Lie-Gruppe und $M$ eine 3-dimensionale, geschlossene, orientierbare Mannigfaltigkeit. Unter diesen Voraussetzungen ist jedes $G$-Prinzipalbündel $\pi :E\rightarrow M$ trivialisierbar, hat also einen Schnitt $s:M\rightarrow E$.
Für einen Zusammenhang
    $\omega \in \Omega ^{1}(E,{\mathfrak {g}})$
wird sein Chern-Simons-Wirkungsfunktional definiert durch
    $CS(\omega ,s)=\int _{M}\operatorname {Tr} (s^{*}(\omega \wedge d\omega +{\frac {2}{3}}\omega \wedge \omega \wedge \omega ))$.
Diese Definition hängt a priori von der Wahl eines Schnittes $s:M\rightarrow E$ ab, für eine Eichtransformation
    $g\in {\mathcal {G}}=C^{\infty }(M,G)$
gilt aber
    $CS(\omega ,gs)-CS(\omega ,s)=-{\frac {1}{6}}\int _{M}g^{*}\omega _{MC}\wedge \left[\omega _{MC},\omega _{MC}\right]\in \mathbb {Z}$,
wobei $\omega _{MC}$ die Maurer-Cartan-Form ist.
Man erhält also einen modulo $\mathbb {Z}$ wohldefinierten Wert
    $CS(\omega )\in \mathbb {C} /\mathbb {Z}$.

## Eigenschaften

Sei $M$ eine geschlossene, orientierbare 3-Mannigfaltigkeit und $\pi _{1}G=0$. Wir bezeichnen mit ${\mathcal {C}}_{M}$ die (unendlich-dimensionale) Mannigfaltigkeit aller Zusammenhänge auf $G$-Prinzipalbündeln über $M$.
Dann ist $CS:{\mathcal {C}}_{M}\rightarrow \mathbb {C} /\mathbb {Z}$ glatt und hat die folgenden Eigenschaften:
* (Funktorialität)
    Wenn $\phi :P_{1}\rightarrow P_{2}$ eine Bündelabbildung über einem orientierungserhaltenden Diffeomorphismus $\psi :M_{1}\rightarrow M_{2}$ ist, dann gilt
       $CS(\phi ^{*}\omega )=CS(\omega )$
    für jeden Zusammenhang $\omega$.
* (Additivität)
    Wenn $M=M_{1}\cup M_{2}$ eine disjunkte Vereinigung ist und $\omega$ ein Zusammenhang auf $M$, dann gilt
       $CS(\omega )=CS(\omega \mid _{M_{1}})+CS(\omega \mid _{M_{2}})$.
* (Erweiterung der Strukturgruppe)
    Wenn $G_{1}\rightarrow G_{2}$ eine Inklusion einfach zusammenhängender, kompakter Lie-Gruppen, $\omega _{1}$ ein Zusammenhang auf einem $G_{1}$-Bündel $E_{1}\rightarrow M$ und $\omega _{2}$ die Erweiterung von $\omega _{1}$ auf ein $G_{2}$-Bündel $E_{2}\rightarrow M$ ist, dann gilt
       $CS(\omega _{1})=CS(\omega _{2})$.

## Flache Zusammenhänge

Es gilt
    ${\frac {\delta CS}{\delta \omega }}={\frac {1}{2\pi }}\Omega$,
wobei $\Omega$ die Krümmungsform des Zusammenhangs $\omega$ bezeichnet. Die kritischen Punkte des Chern-Simons-Funktionals sind also gerade die flachen Zusammenhänge. Insbesondere ist das Chern-Simons-Funktional konstant auf den Zusammenhangskomponenten des Modulraums flacher Zusammenhänge auf $M\times G$.

## Satz von Yoshida

Es sei $M$ eine geschlossene, orientierbare hyperbolische 3-Mannigfaltigkeit und $\rho :\pi _{1}M\rightarrow PSL(2,\mathbb {C} )$ ihre Holonomiedarstellung. Dann gilt für das assoziierte flache Bündel $E_{\rho }$
    $CS(E_{\rho })=cs(M)+{\frac {i}{2\pi ^{2}}}\operatorname {vol} (M)\in \mathbb {C} /\mathbb {Z}$,
wobei $cs(M)$ die Riemannsche Chern-Simons-Invariante des Levi-Civita-Zusammenhangs bezeichnet.
Das Bild der Fundamentalklasse unter der Darstellung $\rho$ definiert eine Homologieklasse
    $(B\rho )_{*}\left[M\right]\in H_{3}(PSL(2,\mathbb {C} )^{\delta };\mathbb {Z} )\simeq {\hat {B}}(\mathbb {C} )$
in der erweiterten Bloch-Gruppe und der Rogers-Dilogarithmus
    $R:{\hat {B}}(\mathbb {C} )\rightarrow \mathbb {C} /2\pi ^{2}\mathbb {Z}$
bildet $(B\rho )_{*}\left[M\right]$ auf $CS(E_{\rho })$ ab. Das liefert eine explizite Formel für die Chern-Simons-Invariante und einen alternativen Beweis des Satzes von Yoshida.

## Algorithmus für flache Bündel

Es sei $E_{\rho }$ ein flaches Bündel über einer geschlossenen, orientierbaren 3-Mannigfaltigkeit $M$ mit Holonomie $\rho :\pi _{1}M\rightarrow SL(n,\mathbb {C} )$. Dann bildet der Rogers-Dilogarithmus $\lambda ((B\rho )_{*}\left[M\right])$ auf $CS(E_{\rho })$ ab, wobei $\lambda :H_{3}(SL(n,\mathbb {C} );\mathbb {Z} )\rightarrow {\hat {B}}(\mathbb {C} )$ den kanonischen Homomorphismus bezeichnet. Der Wert von $CS(E_{\rho })$ kann aus den ptolemäischen Koordinaten der Darstellung $\rho$ zu einer Triangulierung von $M$ berechnet werden. (Dieser Ansatz funktioniert auch für 3-Mannigfaltigkeiten mit Rand $\partial M$, solange die Einschränkung von $\rho$ auf die Fundamentalgruppen des Randes unipotent ist.) Implementiert ist dieser Algorithmus im Ptolemy Module als Teil der Software SnapPy.

## Verallgemeinerung

In beliebigen Dimensionen kann man Chern-Simons-Formen zur Definition sekundärer charakteristischer Klassen verwenden.