Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 17 3 Solution Created 2026-10-03 Updated 2026-10-14
Interpret the connectivity hypothesis in its usual based sense: is -connected, with for the nontrivial suspension range. Form the suspension as two cones and meeting in . Both cones are contractible. Their relative homotopy sequences give in the relevant degrees, so both cone pairs are -connected.
The homotopy excision theorem says that if two CW pairs meeting in a connected subcomplex are - and -connected, , the map from the first relative pair to the union relative to the second part is an isomorphism in degrees and a surjection in degree . Here , givingas an isomorphism for and a surjection for . Contractibility identifies the domain with and the target with . The comparison under these identifications is the suspension map: a sphere representative is coned in each half and the two cones give its suspended sphere representative. Hence the Freudenthal suspension from two cones provesFor connected CW complexes, reduced and unreduced suspension have the same based homotopy type, so either standard suspension convention gives this result. In the low-dimensional range, pointed sets are used where necessary; the displayed positive-degree homomorphism assertion concerns the usual groups.
For with , cellular approximation makes every sphere map of degree below null-homotopic: it can be homotoped into the point skeleton of the CW structure having cells only in degrees zero and . The Hurewicz theorem therefore identifies its first possible nonzero homotopy group with homology. Its cellular chain complex gives . For , lifting a based loop to the universal cover classifies it by an integer endpoint displacement, so ; the degree-one Hurewicz map is abelianization and is an isomorphism here. ThusAlternatively, after the Hurewicz base case, the suspension isomorphisms above propagate the generator to every higher sphere.