Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-1/21h/solution

Its homology and chain formulas are
For Lefschetz fixed-point theorem, argue contrapositively: after barycentric subdivision, a fixed-point-free map has a simplicial approximation such that no simplex meets its image. Every diagonal coefficient on chains is then zero, so .
The antipodal map on has degree . For even this is , whereas the identity has degree , so they are not homotopic.
If the tangent field were nowhere zero, then
would stay on the sphere because , and would homotope the identity to the antipodal map. This is impossible for even , so has a zero.

New to topics? Read the docs here!