Chern–Weil Theory
Chern–Weil theory manufactures topological invariants out of curvature: from any invariant polynomial of the curvature 2-form it builds a closed differential form whose de Rham class is independent of the connection. This is the machine that turns the local, connection-dependent field strength into global, quantized characteristic numbers — the instanton number, the monopole charge, the Euler characteristic. It builds on curvature.md and de-rham.md; the resulting classes are catalogued in characteristic-classes.md.
Invariant polynomials
Let be a symmetric, -invariant polynomial on the Lie algebra — — for example or . Evaluated on the curvature 2-form (with wedge products of the form-part), is an ordinary differential form of degree on the base. Invariance is what makes gauge-independent: since under a gauge change (curvature.md), an -invariant sees no change.
The Chern–Weil theorem
Chern–Weil theorem. For an -invariant polynomial and the curvature of any connection:
- is closed: (using the Bianchi identity).
- Its de Rham class is independent of the connection — changing shifts by an exact form.
So while itself depends on the choice of connection (a physical field), the cohomology class depends only on the bundle. That class is a characteristic class; its integral over a cycle is a characteristic number, a topological invariant.
Sketch. Closedness: by Bianchi and invariance. Connection-independence: interpolate between two connections; is exact — the transgression / Chern–Simons form is that "something".
Chern–Simons forms
The exact form witnessing connection-independence is the Chern–Simons form. For the second Chern class, Locally is exact (it is ), so its integral over a closed manifold is topological — nonzero only because of global twisting. The Chern–Simons form is itself the Lagrangian of Chern–Simons theory (a topological field theory) and appears in the descent equations for anomalies (index-theorem.md, anomalies/chiral-anomaly.md).
Why this is the key theorem
Chern–Weil is the bridge that makes "topological charge = curvature integral" rigorous:
- it explains why the instanton number is an integer independent of the field configuration within a topological sector (characteristic-classes.md);
- it is why the -term is topological (a total derivative locally) yet physically consequential globally (strong-CP);
- it underlies the Gauss–Bonnet theorem when applied to the tangent bundle's curvature (riemannian-bridge.md).
References
- Bott & Tu, Differential Forms in Algebraic Topology, Ch. 4.
- Nakahara, Geometry, Topology and Physics, Ch. 11.
- Chern, Complex Manifolds Without Potential Theory.