Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-8/7/d/solution
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 8 7 d Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Polar deformation reduces maps from the circle into to maps into . Define their integer invariant by the winding number of the determinant. It is unchanged under homotopy and stabilization, and determinants multiply under block sum, so it gives a homomorphism . Every integer occurs, via .
To prove injectivity, first consider a map with determinant winding zero. Its determinant has a continuous logarithm on the circle. Multiplying the first row by gives a homotopy into at . If that endpoint is already the identity. For , is simply connected: , and the last-column fibrationwith locally trivializations from orthonormal completion, together with its homotopy exact sequence, proves this inductively because the sphere has zero first and second homotopy groups. Thus the remaining circle map is null-homotopic. For a map of winding , multiply by and apply the zero-winding argument. This provesFor higher spheres, stable unitary homotopy gives : a map can be normalized by multiplying by the inverse of its value at the basepoint, a free homotopy because the unitary group is path connected. A free homotopy between based maps can be made based by replacing with , without altering its endpoints. The Bott periodicity theorem, in its unitary form with and , givesThe circle case was proved directly above; the higher-sphere values use the stated general periodicity theorem.
New to topics? Read the docs here!