Minimal model of the fibre of the projective-space collapse map

ID: minimal-model-of-the-fibre-of-the-projective-space-collapse-map

For a degree-one map with , a minimal model of its homotopy fibre is with , , . Adjoin suspended sphere generators to the projective-space model to model the path pullback, then put ; the differential becomes the displayed decomposable one. The rational homotopy groups are one-dimensional in those four generator degrees and zero otherwise. At the map is a rational homotopy equivalence and the minimal fibre model is .

New to topics? Read the docs here!