Change of connection formula for Chern Weil characteristic forms
Exact formula relating characteristic forms computed from two different principal connections
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.
Remarks
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, then For 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-form and 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.