Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-127/2/solution

A map is a Serre fibration when it has the homotopy lifting property for every disc: given and with , there is a lift satisfying and .
Fix , , and write . The long exact sequence of homotopy groups of a fibration is
The first two maps are induced by inclusion and projection. To define , represent a class of by a map of pairs , lift it beginning at along radial paths, and restrict the lift to ; that restriction lies in . At the bottom, exactness continues through the pointed sets .
Every fiber bundle is a Serre fibration. Pull a bundle back along ; a lift of is the same as a section of this pullback extending the section over supplied by . Since is compact, finitely many bundle charts cover it. A Lebesgue-number subdivision of , followed by a finite subdivision of , makes each resulting prism lie in one chart. In a trivialization , extend the section across a prism by keeping its -coordinate constant along the interval direction. Proceed prism by prism and time-slab by time-slab; on an already treated face use its prescribed coordinate, and the transition functions ensure agreement on overlaps. The resulting sections glue to the required lift .
Now consider . The target is simply connected, so is zero on . For , every based map lifts through the double cover to . The composite
lifts through the Hopf fibration to the real-coordinate inclusion . This inclusion is null-homotopic because . Hence is zero on every , including the cases and where the source groups already vanish.

New to topics? Read the docs here!