Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 115 1 1 2 Solution Created 2026-10-03 Updated 2026-10-05
At any point, the linearly independent vectors can be completed by to a basis of . A nowhere-zero volume form is nonzero on every basis, soThus . In particular, if it is an exact differential form , its potential has no critical points. This is the role of pointwise independence in the boundary obstruction for commuting volume-preserving vector fields.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 115 1 1 4 Solution Created 2026-10-03 Updated 2026-10-05
By the preceding sections, is a nowhere-zero closed differential form and . Injectivity of gives . The definition of de Rham cohomology then givesfor a smooth , with no critical points. If the boundary were connected, would make constant there. A nonconstant function on a compact manifold attains both extrema; a value differing from the common boundary value gives an interior extremum, contradicting . If were constant everywhere there would be the same contradiction. Empty boundary is also impossible, because an extremum would necessarily be interior. Thus , the boundary obstruction for commuting volume-preserving vector fields.
The solid torus retracts onto its first circle. Its degree-one de Rham cohomology is generated by that circle's angular one-form, which restricts to a nonzero class on ; hence the restriction map is injective. Its boundary is connected. Extensions of the two specified coordinate vector fields would be tangent there and would satisfy all the forbidden conditions. Therefore no such pair of extensions exists, for any volume form.