Euler class via Chern–Weil theory
Let be a smooth manifold and let be an oriented real vector bundle of rank . Choose a Euclidean metric on and a compatible connection whose structure group is reduced to . Let be its curvature .
Definition (Euler form and Euler class)
The Pfaffian is an -invariant polynomial of degree on characterized by for skew-symmetric matrices . The Euler form of is the closed -form
(Here is applied fiberwise after choosing a local oriented orthonormal frame.)
Then:
- , where is the exterior derivative .
- The de Rham class is independent of the choice of metric-compatible oriented connection.
- The Euler class is the unique integral class mapping to under the natural map to real (or de Rham) cohomology.
Naturality holds: for any smooth map ,
Examples
Oriented rank-2 bundles. If , then is an -valued 2-form. In an oriented orthonormal frame, is represented by a scalar 2-form , and
In particular, the Euler class is represented by .
Tangent bundle of an oriented closed surface. For a closed oriented surface , the Euler class of satisfies
and is the Gauss curvature form normalized by for the Levi-Civita connection.
Flat oriented bundles. If is flat (), then , so vanishes in real cohomology (and hence in rational cohomology).