Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-115/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 115 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
An orientation of a smooth -dimensional manifold can be specified by a nowhere-vanishing smooth -form : an ordered tangent basis is positive precisely when evaluates positively on it. Multiplication by a positive smooth function preserves the orientation. This is the differential-form formulation of the equivalent formulations of orientability of a smooth manifold.
Use the standard convention that the compact connected manifold is nonempty and has no boundary. Choose a positive volume form for its orientation. It is a closed differential form, because there are no nonzero -forms. For , compactness makes its integral finite, and positivity on a coordinate neighborhood together with nonnegativity elsewhere givesIf , the Generalized Stokes theorem would give , a contradiction. ThereforeFor , a nonempty connected manifold is a point, and directly. The boundary hypothesis matters: a closed interval is an oriented compact connected manifold with boundary with . Thus the result is about ordinary boundaryless manifolds, not an unrestricted version including boundary.
New to topics? Read the docs here!