# Sekundäre charakteristische Klasse

Im mathematischen Gebiet der Differentialtopologie sind sekundäre charakteristische Klassen (wie die Cheeger-Chern-Simons-Klassen) Invarianten flacher Bündel.
Bekanntlich können verschiedene charakteristische Klassen
    $c\in H^{k}(B;\mathbb {Z} )$
von $G$-Prinzipalbündeln $E\to B$ mittels der Chern-Weil-Konstruktion durch invariante Polynome $P\in I^{k}(G)$ realisiert werden, d. h., es gibt ein invariantes Polynom $P$, so dass
    $\left[P(\Omega )\right]=c_{\mathbb {R} }$
für jedes $G$-Prinzipalbündel mit Zusammenhangsform $\omega$, wobei
    $\Omega \in \Omega ^{2}(B)$
die Krümmungsform des Zusammenhangs $\omega$, $\left[P(\Omega )\right]$ die De-Rham-Kohomologieklasse von
    $P(\Omega )\in \Omega ^{2k}(B)$,
und $c_{\mathbb {R} }$ das Bild der charakteristischen Klasse $c$ unter dem kanonischen Homomorphismus
    $H^{k}(B;\mathbb {Z} )\to H^{k}(B;\mathbb {R} )$
bezeichnet.
Für flache Bündel ist
    $\Omega =0$
und demzufolge verschwinden alle über die Chern-Weil-Konstruktion definierten charakteristischen Klassen, insbesondere Chern-Klassen und Pontrjagin-Klassen.
Die Cheeger-Chern-Simons-Konstruktion definiert nun zu jeder solchen charakteristischen Klasse, genauer zu jedem invarianten Polynom
    $P\in I^{k}(G)$
und jeder Kohomologieklasse
    $c\in H^{2k}(B)$
mit $\left[P(\Omega )\right]=c_{\mathbb {R} }$ einen Differentialcharakter
    ${\hat {c}}\in {\widehat {H}}^{k}(B;\mathbb {R} /\mathbb {Z} )$.
Die Kohomologiegruppe $H^{k}(B;\mathbb {R} /\mathbb {Z} )$ ist eine Untergruppe von ${\widehat {H}}^{k}(B;\mathbb {R} /\mathbb {Z} )$ und im Fall flacher Bündel liegt ${\hat {c}}$ in dieser Untergruppe. Die so definierte Kohomologieklasse
    ${\hat {c}}\in H^{k}(B;\mathbb {R} /\mathbb {Z} )$
heißt (die zur primären charakteristischen Klasse $c$ assoziierte) sekundäre charakteristische Klasse.
Anwendung des Bockstein-Homomorphismus $H^{2k-1}(B;\mathbb {R} /\mathbb {Z} )\to H^{2k}(B;\mathbb {Z} )$ bildet die sekundäre charakteristische Klasse ${\hat {c}}$ auf die charakteristische Klasse $c$ ab, deren Bild in $H^{2k}(B;\mathbb {R} )$ verschwindet.

## Existenz und Eindeutigkeit

Gegeben seien eine Lie-Gruppe $G$, ein invariantes Polynom $P\in I^{k}(G)$ und eine Kohomologieklasse $u\in H^{2k}(BG)$ mit $w_{k}(P)=u_{\mathbb {R} }$. Wir bezeichnen mit $\delta \colon {\widehat {H}}^{2k-1}(B;\mathbb {R} /\mathbb {Z} )\to A_{0}^{2k}(B)$ die Korand-Abbildung und mit $b\colon {\widehat {H}}^{2k-1}(B;\mathbb {R} /\mathbb {Z} )\to H^{2k}(B;\mathbb {Z} )$ den Bockstein-Homomorphismus.
Satz: Für jedes $G$-Prinzipalbündel $p\colon E\to B$ mit Zusammenhangsform $\omega$ gibt es einen eindeutigen Differentialcharakter
    $S_{P,u}(p,\omega )\in {\widehat {H}}^{2k-1}(B;\mathbb {R} /\mathbb {Z} )$
mit
* $\delta S_{P,u}(p,\omega )=P(\Omega )$
* $bS_{P,u}(p,\omega )=f^{*}u$,
so dass $S_{P,u}(p,\omega )\in {\widehat {H}}^{2k-1}(B;\mathbb {R} /\mathbb {Z} )$ unter Bündelabbildungen natürlich transformiert.

## Cheeger-Chern-Simons-Klassen

Ein Spezialfall ist die Konstruktion von Cheeger-Chern-Simons-Klassen.
Die Chern-Polynome $C_{k}\in I^{k}(GL(n,\mathbb {C} ))$ seien definiert durch die Relation
    $\det(\lambda \,\mathrm {id} _{n}-{\frac {1}{2\pi i}}A)=\sum _{k=0}^{n}C_{k}(A,\ldots ,A)\lambda ^{n-k}$
für alle $A\in GL(n,\mathbb {C} )$. Der universelle Chern-Weil-Homomorphismus
    $w_{k}\colon I^{k}(G)\to H^{2k}(BG;\mathbb {R} )$
bildet invariante Polynome auf Kohomologieklassen des klassifizierenden Raumes $BG$ ab.
Im Fall der Chern-Polynome gibt es die universellen Chern-Klassen $c_{k}\in H^{2k}(BGL(n,\mathbb {C} );\mathbb {Z} )$ und für diese gilt
    $w_{k}(C_{k})=(c_{k})_{\mathbb {R} }$.
Für ein $GL(n,\mathbb {C} )$-Prinzipalbündel $p\colon E\to B$ gibt es nun eine klassifizierende Abbildung $f\colon B\to BGL(n,\mathbb {C} )$ und die Chern-Klasse von $p\colon E\to B$ ist $f^{*}c_{k}\in H^{2k}(B;\mathbb {Z} )$. Für eine Zusammenhangsform $\omega$ definiert man nun
    ${\hat {c}}_{k}(p,\omega ):=S_{C_{k},c_{k}}(p,\omega )\in {\widehat {H}}^{2k-1}(B;\mathbb {C} /\mathbb {Z} )$.
Im Fall flacher Bündel $p\colon E\to B$ erhält man die Cheeger-Chern-Simons-Klassen
    ${\hat {c}}_{k}(p)\in H^{2k-1}(B;\mathbb {C} /\mathbb {Z} )$.
Falls $B$ eine $(2k-1)$-dimensionale geschlossene orientierbare Mannigfaltigkeit ist, erhält man die Cheeger-Chern-Simons-Invariante
    $CCS(p):=\langle {\hat {c}}_{k}(p),\left[M\right]\rangle \in \mathbb {C} /\mathbb {Z}$
des flachen Bündels $p\colon E\to B$ durch Anwenden der Cheeger-Chern-Simons-Klasse auf die Fundamentalklasse $\left[M\right]\in H_{2k-1}(M;\mathbb {Z} )$.