Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-15/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 15 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
A connection on a vector bundle is a linear operator satisfying . Choose coordinates and a local frame , and define the connection matrix by , with . For a section , the coefficient column satisfiesThe symbol on the right means the ordinary exterior derivative of the coefficient functions.
Extend uniquely to -valued differential forms by the graded Leibniz ruleIn the same local trivialization, an -valued form is a column and the covariant exterior derivative isMoving the one-form past the scalar -form produces exactly the in the graded rule. This explains the sign rather than replacing the rule by an ungraded product formula.
The endomorphism bundle has the induced endomorphism bundle connection characterized on sections by . Its coefficient formula is . On an endomorphism-valued -form , extend as a graded derivation of the endomorphism-valued exterior product, givingExplicitly its entry is . This version is characterized byThe endomorphism-valued version also satisfies . Products here combine composition of endomorphisms with wedge products of coefficient forms; matrix factors must retain their order.
These local formulas are independent of the local frame. For , the change of frame of a vector-bundle connection gives , and . Using gives and . Thus both extended operators are globally defined.
New to topics? Read the docs here!