Change of connection formula for Chern Weil characteristic forms
Let be a principal G-bundle , and let be two principal connections on with connection 1-forms (also denoted) as in connection 1-forms on principal bundles . Write their curvature 2-forms as (see curvature 2-forms of principal connections ).
Let be an -invariant homogeneous polynomial of degree , so that the associated Chern Weil form is a closed -form on (via basicness on ), as in the Chern Weil theorem .
Define the difference
By tensoriality of differences of principal connections , is horizontal and equivariant (hence “tensorial”), so it corresponds to an -valued 1-form on .
Consider the straight-line path of connections
with curvature
(compare Cartan's second structure equation ).
Change-of-connection (transgression) formula
Define the transgression form
a -form on which is basic and therefore descends to a -form on (often also denoted ).
Then the characteristic forms satisfy
so the two forms differ by an exact form on . In particular, the de Rham class of does not depend on the chosen connection, which is the mechanism behind Chern Weil characteristic classes being invariants of the principal bundle .
This construction is the standard transgression mechanism (see transgression forms and the transgression theorem ), and in low degrees it produces the usual Chern Simons forms .
Examples
Degree 1 (abelian-style) case.
If and is an -invariant linear functional, thenFor this recovers the familiar fact that changing a connection 1-form changes the curvature 2-form by an exact 2-form (compare the local picture in local connection 1-forms ).
Degree 2 and the Chern Simons 3-form.
For and an invariant quadratic polynomial (for instance a suitably normalized trace form on a matrix Lie algebra), the transgression is a 3-formand the formula says is exact with this primitive. On a trivial bundle, taking and yields the usual Chern Simons expression in terms of and , matching the standard Chern Simons form on a chart.
Pontryagin forms from different connections.
Let be a real vector bundle with two vector bundle connections . Using the induced connections on the frame bundle (via the induced principal connection construction ), the change-of-connection formula implies that the associated Pontryagin forms differ by an exact form. Hence the resulting Pontryagin classes are independent of the chosen connection.