Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 18 1 Solution Created 2026-10-03 Updated 2026-10-14
Sending a matrix to its last column gives the special orthogonal sphere fibrationThe action is transitive and the stabilizer of that column is . Local orthonormal frames, obtained by Gram-Schmidt process near a chosen unit vector, give local sections and hence local bundle trivializations. This allows the long exact sequence of homotopy groups of a fibration to be applied.
At the bottom of the induction, is a point and is the rotation circle . For , identify with imaginary quaternions. A unit quaternion acts by , preserving length and orientation. Every rotation through angle about a unit imaginary axis comes from . The kernel is precisely , since a quaternion commuting with all imaginary quaternions is real. Thus this gives the twofold covering space . Its simply connected total space is the universal cover, yielding . Coverings induce isomorphisms on higher homotopy groups, so and .
For , both and vanish. The Serre fibration sequence therefore identifies with and propagates vanishing of . Path-connectedness also propagates from connected fiber and base. Consequently the full low-degree answer isHere records the single connected component.
For the remaining third group use . The relevant exact segment, using the supplied fourth homotopy group, isThe first homomorphism is zero since a torsion group cannot map nontrivially to . Thus it reduces to a short exact sequence . These groups are abelian and the final free group has a lift of its generator, so the sequence splits. ThereforeThese are the low homotopy groups of special orthogonal groups.