Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-15/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 15 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
An oriented atlas is a smooth atlas whose smooth transition maps have positive Jacobian determinants at every point of their domains. Such an atlas supplies an orientation of a vector space on every tangent space, and these choices agree on overlaps.
Let be a nowhere-vanishing smooth top-degree differential form. In a coordinate chart writeThe coefficient is smooth and nowhere zero. Restrict the coordinate chart to connected neighborhoods; the intermediate value theorem makes the sign of constant on each. If is negative, replacing by changes the sign of the coordinate volume form. Thus for we can choose a covering of coordinate charts in each of which the coefficient is positive.
On an overlap of two such coordinate charts, the wedge product of differential forms transforms byConsequently . Both coefficients are positive, so the Jacobian determinant is positive, as is that of the inverse transition. A nowhere-vanishing top form therefore determines an oriented atlas. The zero-dimensional case has only zero-dimensional transitions, whose determinant is one, and is automatically orientable. Connectedness of is not needed for the positive-dimensional construction; only the local sign choice matters.
New to topics? Read the docs here!