Characteristic class
Let be a principal G-bundle over a smooth manifold . Fix an Ad-invariant polynomial on the Lie algebra of .
Choose any principal connection on , form its Chern–Weil form as in the Chern–Weil form construction , and take its de Rham class:
This cohomology class is called the characteristic class associated to the invariant polynomial (and the bundle ). It is well-defined because:
- is closed, and
- the cohomology class is independent of the choice of connection .
Characteristic classes are natural under pullback of bundles: if is smooth and is the pulled-back bundle, then the characteristic class of is .
Examples
First Chern class of a circle bundle. For a principal -bundle, the de Rham class of the curvature form (with conventional normalization) gives the first Chern class .
Pontryagin classes. For an -bundle, Ad-invariant polynomials built from traces of even powers (e.g. , , etc.) produce the Pontryagin classes via Chern–Weil theory.
Euler class. For an oriented -bundle, the Pfaffian polynomial yields a top-degree class in , the Euler class; integrating a representative over a closed base manifold recovers the Euler number.