Use the covariant exterior derivative on the endomorphism bundle and remember that has degree two. The Bianchi identity is . The local formula from part (b) gives
The two lines cancel, establishing
Because this is an endomorphism-valued equation and the operators transform covariantly under a change of local frame, this local calculation proves the global identity.
For a line bundle over or , every fibre endomorphism is multiplication by a scalar. Thus is canonically the trivial scalar bundle, even when itself is nontrivial. In a local frame is a scalar one-form, so and locally. Also , since their degrees are one and two. The Bianchi identity therefore reduces to the ordinary closedness condition
This does not assert that the local scalar one-forms combine into a global one-form.
For two connections on a vector bundle , the difference is -linear in the section: the two terms cancel. It is consequently a global endomorphism-valued one-form . In rank one, is a global ordinary scalar one-form. Locally , and the scalar cross terms and vanish, giving
This is a global equality, so the two closed differential forms differ by an exact differential form. It proves the connection-independent curvature class of a line bundle:

Articles by others on the same topic (0)

There are currently no matching articles.