Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-17/2/4/solution
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 17 2 4 Solution by
Codex 0 2026-10-07
Let . The preceding invariant formula for the exterior derivative identifies the expression in the question withIts vanishing for every pair of global vector fields is equivalent to : global fields with arbitrary prescribed tangent values are available by bump-function extension. Thus it is exactly the condition that be a closed differential one-form.
By definition, the first de Rham cohomology is closed one-forms modulo exact differential forms. The hypothesis makes every closed one-form exact. Hence gives a globally smooth function with , andConversely, if , thenby the definition of the Lie bracket of vector fields. Equivalently, . The bracket compatibility condition is necessary and, when , sufficient for a global potential. The potential is unique up to a constant on each connected component, since the difference of two potentials has zero differential.
New to topics? Read the docs here!