Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-17/5/c/solution

Let another local frame be with smooth. Since the coefficient columns satisfy , the Leibniz rule gives the change of frame of a vector-bundle connection:
The curvature form of a connection is linear over smooth functions in its section argument, so its matrix transforms homogeneously:
Consequently
The entries of are functions, of degree zero, so ordinary cyclic invariance of trace applies without a graded sign. The local forms therefore glue to a globally defined two-form , the trace of vector-bundle curvature.
Apply the Bianchi identity proved in part (b):
For the first term,
The middle interchange has sign , and the next equality simply renames . Thus
One can also check closedness locally: the off-diagonal terms in cancel in pairs, while the diagonal terms vanish. Hence in each frame, and gives the same conclusion.

New to topics? Read the docs here!