Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ii/paper-1/25h/iv/solution
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 1 25H iv Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The antipodal map is the restriction of the smooth linear map , so is smooth. For orient the sphere by the outward-normal convention. Its degree is : the ambient determinant is , and the outward normal is carried to the outward normal at the antipodal point.
Choose a regular value of , available by Sard theorem; if it is outside the image, the degree is zero already. Otherwise its finite preimage is partitioned into distinct antipodal pairs. Differentiating shows that their local degree signs obeyFor even , the signs in each pair cancel, so . For odd , each pair contributes or , so is even. In neither case can its degree equal the identity's degree one. Since the degree of a map between oriented manifolds is invariant under smooth homotopy, is not smoothly homotopic to the identity. For , the symmetry makes constant on the two-point discrete sphere; a continuous homotopy into this discrete space cannot change either point's image, so the conclusion still holds.
New to topics? Read the docs here!