Naturality of Chern–Weil classes under pullback

Chern–Weil forms and their de Rham classes commute with pullback of principal bundles.
Naturality of Chern–Weil classes under pullback

Let π:PM\pi:P\to M be a with a ω\omega and Ω\Omega. Let f:NMf:N\to M be a and let fPNf^*P\to N be the pullback principal bundle, with pulled-back connection fωf^*\omega and curvature fΩf^*\Omega.

Fix an Ad-invariant homogeneous polynomial PP on g\mathfrak g of degree kk.

Theorem (Naturality). The Chern–Weil forms satisfy

f(cwP(ω))=cwP(fω), f^*\big(\operatorname{cw}_P(\omega)\big)=\operatorname{cw}_P(f^*\omega),

and hence the cohomology classes satisfy

f([cwP(ω)])=[cwP(fω)]HdR2k(N). f^*\big([\operatorname{cw}_P(\omega)]\big)=[\operatorname{cw}_P(f^*\omega)]\in H^{2k}_{\mathrm{dR}}(N).

Equivalently, on total spaces,

(fπ)cwP(fω)=P(fΩ)=f(P(Ω))=f(πcwP(ω)), (f^*\pi)^*\operatorname{cw}_P(f^*\omega)=P(f^*\Omega)=f^*(P(\Omega))=f^*\big(\pi^*\operatorname{cw}_P(\omega)\big),

using the defining property of .

Examples

  1. Restriction to a submanifold. If i:SMi:S\hookrightarrow M is an embedded submanifold, then iPSi^*P\to S carries the restricted characteristic classes: cwP(iω)=icwP(ω)\operatorname{cw}_P(i^*\omega)=i^*\operatorname{cw}_P(\omega).
  2. Diffeomorphism invariance. If ff is a , then characteristic classes transform by pullback under ff and in particular are invariants of the bundle up to isomorphism over the diffeomorphic base.
  3. Constant map. If f:NMf:N\to M is constant, then fPf^*P is a trivial bundle; the pulled-back characteristic classes are zero in positive degree, so f([cwP(ω)])=0f^*([\operatorname{cw}_P(\omega)])=0 for k>0k>0.