Chern-Weil-Theorie

In der Mathematik ist die Chern-Weil-Theorie ein allgemeines Verfahren, wie man die charakteristischen Klassen eines Prinzipalbündels aus seiner Krümmung berechnen kann. (Charakteristische Klassen sind Kohomologieklassen, die topologisch messen, wie getwistet ein Bündel ist.) Historisch entstand sie beim Beweis der höherdimensionalen Version des Satzes von Gauß-Bonnet, sie markierte den Beginn der “globalen Differentialgeometrie”, also der Wechselwirkung von Geometrie und Topologie. Die Theorie ist nach André Weil und S. S. Chern benannt.

Definition

Sei $\pi :P\to M$ ein Prinzipalbündel mit Strukturgruppe $G$, sei $𝔤$ die Lie-Algebra von $G$. Chern-Weil-Theorie definiert einen Homomorphismus

$\varphi :I^{*}(𝔤)\to H_{dR}^{*}(M)$

vom Raum der $Ad(G)$-invarianten Polynome auf $𝔤$ in die de-Rham-Kohomologie, den sogenannten Chern-Weil-Homomorphismus.

Jedem invarianten Polynom $f\in I^k(𝔤)$ wird die $2k$-Form

$f(\mathrm{\Omega },\dots ,\mathrm{\Omega })\in {\mathrm{\Omega }}^{2k}(M)$

zugeordnet, wobei $\mathrm{\Omega }\in {\mathrm{\Omega }}^2(M)$ die Krümmungsform eines Zusammenhangs des Prinzipalbündels ist. Das heißt, für $X_1,\dots ,X_{2k}\in T_{p}P$ ist

$f(\mathrm{\Omega })(X_1,\dots ,X_{2k})=\frac{1}{(2k)!}\sum _{\sigma \in {𝔖}_{2k}}\mathrm{sign}(\sigma )f(\mathrm{\Omega }(X_{\sigma (1)},X_{\sigma (2)}),\dots ,\mathrm{\Omega }(X_{\sigma (2k-1)},X_{\sigma (2k)}))$.

$f(\mathrm{\Omega })$ ist eine geschlossene Form und $\varphi (f)$ ist dann per Definition die Kohomologieklasse dieser $2k$-Form. Man kann zeigen, dass $\varphi (f)$ nicht vom gewählten Zusammenhang abhängt.

Beispiele

• Sei $G=GL(n,ℂ)$. Dann hat die Krümmungsform Werte in $𝔤𝔩(n,ℂ)=\mathrm{Mat}(n,ℂ)$. Die Entwicklung

$\det (\frac{it\mathrm{\Omega }}{2\pi }+I)=\sum _k{c}_k(\mathrm{\Omega })t^k$

definiert invariante Polynome

$c_k(\mathrm{\Omega })\in I^{2k}(𝔤)$,

zum Beispiel ist $c_1(\mathrm{\Omega })=\frac{i}{2\pi }Tr(\mathrm{\Omega })$ und $c_n(\mathrm{\Omega })=(\frac{i}{2\pi }{)}^n\det (\mathrm{\Omega })$. Die Kohomologieklassen $\varphi (c_1),\dots ,\varphi (c_n)$ sind die Chern-Klassen.

Universeller Chern-Weil-Homomorphismus

Sei $G$ eine Lie-Gruppe und $BG$ ihr klassifizierender Raum. $BG$ ist keine Mannigfaltigkeit, trotzdem lässt sich für das universelle $G$-Bündel $\pi :EG\to BG$ ein Chern-Weil-Homomorphismus ${\varphi }_G:I^{*}(G)\to H^{*}(BG)$ definieren.

Wenn $\pi :P\to M$ ein $G$-Prinzipalbündel und $F:M\to BG$ seine klassifizierende Abbildung ist, dann ist $\varphi =F^{*}\circ {\varphi }_G$.

Siehe auch

• Weil-Algebra
• ∞-Chern-Weil-Theorie

Literatur

• Appendix C: Connections, Curvature, and Characteristic Classes in: Milnor, John W.; Stasheff, James D.: Characteristic classes. Annals of Mathematics Studies, No. 76. Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo, 1974. vii+331 pp.
• Chapter 5 in: Candel, Alberto; Conlon, Lawrence: Foliations. II. Graduate Studies in Mathematics, 60. American Mathematical Society, Providence, RI, 2003. xiv+545 pp. ISBN 0-8218-0881-8