Chern–Weil theorem

Invariant polynomials in curvature yield closed forms whose cohomology class does not depend on the connection.
Chern–Weil theorem

Let π:PM\pi:P\to M be a with structure group GG and Lie algebra g\mathfrak g. Let ω\omega be a with ΩΩ2(P;g)\Omega\in\Omega^2(P;\mathfrak g).

Let PP be an Ad-invariant homogeneous polynomial of degree kk on g\mathfrak g, equivalently a symmetric kk-linear map

P:g××gk timesRsatisfyingP(Ad(g)X1,,Ad(g)Xk)=P(X1,,Xk). P:\underbrace{\mathfrak g\times\cdots\times\mathfrak g}_{k\ \text{times}}\to \mathbb R \quad\text{satisfying}\quad P(\mathrm{Ad}(g)X_1,\dots,\mathrm{Ad}(g)X_k)=P(X_1,\dots,X_k).

Define the 2k2k-form on PP by inserting Ω\Omega into PP and wedging:

P(Ω)Ω2k(P),P(Ω):=P(Ω,,Ω), P(\Omega)\in\Omega^{2k}(P),\qquad P(\Omega):=P(\Omega,\dots,\Omega),

with the usual graded antisymmetrization convention.

Theorem (Chern–Weil).

  1. The form P(Ω)P(\Omega) is closed, i.e. dP(Ω)=0d\,P(\Omega)=0.
  2. The form P(Ω)P(\Omega) is basic (see ), hence by the there is a unique closed form cwP(ω)Ω2k(M)\operatorname{cw}_P(\omega)\in\Omega^{2k}(M) with πcwP(ω)=P(Ω). \pi^*\operatorname{cw}_P(\omega)=P(\Omega).
  3. The de Rham cohomology class [cwP(ω)]HdR2k(M)[\operatorname{cw}_P(\omega)]\in H^{2k}_{\mathrm{dR}}(M) is independent of the choice of connection ω\omega; equivalently, changing ω\omega changes cwP(ω)\operatorname{cw}_P(\omega) by an exact form (see the ).

A standard route to (1) is to combine the with Ad-invariance of PP.

Examples

  1. First Chern form for U(1). For G=U(1)G=U(1) and P(X)=i2πXP(X)=\frac{i}{2\pi}X (viewing u(1)iR\mathfrak u(1)\cong i\mathbb R), cwP(ω)=i2πF\operatorname{cw}_P(\omega)=\frac{i}{2\pi}F is the usual curvature representative of the first Chern class.
  2. Second Chern character piece. For a matrix group such as G=SU(n)G=SU(n) and P(X)=tr(X2)P(X)=\mathrm{tr}(X^2), the descended form tr(FF)\mathrm{tr}(F\wedge F) is closed and defines a characteristic class independent of the connection.
  3. Pontryagin-type forms. For G=SO(n)G=SO(n), Ad-invariant polynomials built from traces of even powers (e.g. tr(X2j)\mathrm{tr}(X^{2j}) in the defining representation) produce the usual Pontryagin form representatives on the base.