Chern–Weil theorem
Invariant polynomials in curvature yield closed forms whose cohomology class does not depend on the connection.
Chern–Weil theorem
Let be a principal G-bundle with structure group and Lie algebra . Let be a principal connection with curvature .
Let be an Ad-invariant homogeneous polynomial of degree on , equivalently a symmetric -linear map
Define the -form on by inserting into and wedging:
with the usual graded antisymmetrization convention.
Theorem (Chern–Weil).
- The form is closed, i.e. .
- The form is basic (see Chern–Weil forms are basic ), hence by the basic forms theorem there is a unique closed form with
- The de Rham cohomology class is independent of the choice of connection ; equivalently, changing changes by an exact form (see the transgression theorem ).
A standard route to (1) is to combine the Bianchi identity with Ad-invariance of .
Examples
- First Chern form for U(1). For and (viewing ), is the usual curvature representative of the first Chern class.
- Second Chern character piece. For a matrix group such as and , the descended form is closed and defines a characteristic class independent of the connection.
- Pontryagin-type forms. For , Ad-invariant polynomials built from traces of even powers (e.g. in the defining representation) produce the usual Pontryagin form representatives on the base.