Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-22/1/b/solution

Conversely, suppose the exterior derivative of every -form has no part. For sections of , the same exterior derivative formula gives
The common annihilator of all -covectors is . Local -coframes therefore show that belongs to . Conjugating gives bracket closure of . Thus the two criteria are equivalent. These are the bracket and differential-form criteria for integrability, and establish integrability in the sense used here.

New to topics? Read the docs here!