Characteristic class

A de Rham cohomology class of a principal bundle defined from curvature via the Chern–Weil construction.
Characteristic class

Let π:PM\pi:P\to M be a over a smooth manifold MM. Fix an Ad-invariant polynomial PP on the Lie algebra g\mathfrak{g} of GG.

Choose any principal connection on PP, form its Chern–Weil form CWP(ω)Ω2k(M)\mathrm{CW}_P(\omega)\in \Omega^{2k}(M) as in , and take its de Rham class:

cP(P)    [CWP(ω)]HdR2k(M). c_P(P) \;\coloneqq\; [\,\mathrm{CW}_P(\omega)\,]\in H^{2k}_{\mathrm{dR}}(M).

This cohomology class is called the characteristic class associated to the invariant polynomial PP (and the bundle PP). It is well-defined because:

  • CWP(ω)\mathrm{CW}_P(\omega) is closed, and
  • the cohomology class [CWP(ω)][\,\mathrm{CW}_P(\omega)\,] is independent of the choice of connection ω\omega.

Characteristic classes are natural under pullback of bundles: if f:NMf:N\to M is smooth and fPNf^*P\to N is the pulled-back bundle, then the characteristic class of fPf^*P is fcP(P)f^*c_P(P).

Examples

  1. First Chern class of a circle bundle. For a principal U(1)U(1)-bundle, the de Rham class of the curvature form (with conventional normalization) gives the first Chern class c1HdR2(M)c_1\in H^2_{\mathrm{dR}}(M).

  2. Pontryagin classes. For an SO(n)SO(n)-bundle, Ad-invariant polynomials built from traces of even powers (e.g. tr(X2)\mathrm{tr}(X^2), tr(X4)\mathrm{tr}(X^4), etc.) produce the Pontryagin classes piHdR4i(M)p_i\in H^{4i}_{\mathrm{dR}}(M) via Chern–Weil theory.

  3. Euler class. For an oriented SO(2m)SO(2m)-bundle, the Pfaffian polynomial yields a top-degree class in HdR2m(M)H^{2m}_{\mathrm{dR}}(M), the Euler class; integrating a representative over a closed base manifold recovers the Euler number.