Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 114 3 d Solution Created 2026-09-24 Updated 2026-09-24
Normalize on the unit sphere:This is an -equivariant map of the Hopf fibration covering , and it has degree one on every circle fiber. The bundle isomorphism in part c givesSince this first Chern class generates the cohomology ring of , acts identically on its cohomology. Naturality of the oriented Gysin sequence of a sphere bundle then gives .
The original homogeneous map is properly homotopic to the cone on by radial normalization; the norms are bounded above and away from zero on the unit sphere, so this homotopy is proper. Thus has proper degree one. It fixes the generator of , and all other compactly supported groups vanish. Therefore is the identity.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 114 3 Solution Created 2026-09-24 Updated 2026-09-24
A rank- vector bundle is -oriented when its fiber groups admit a locally coherent choice of generator. Equivalently, it has a Thom class restricting to that generator on every fiber. The Thom isomorphism theorem states thatThe Euler class of a vector bundle is , where is the zero section. The Gysin sequence of a sphere bundle is
Over , the required rings areas in the cohomology ring of complex projective space and the mod-two cohomology ring of real projective space. By the Künneth theorem, the base has ring .
Let be the underlying real plane bundle of the complex tautological bundle on , and let be the real tautological line bundle on . Under the splitting principle, write the formal Stiefel-Whitney roots of as , so and . Tensoring with adds to each root. Thus the mod-two Euler class of is
For , put . Multiplication by onhas ranks from degrees through . More explicitly, it is injective through degree three; in degree four its kernel is generated by , and all of degrees five and six lie in its kernel. The Gysin sequence therefore yieldsfor the unit sphere bundle .