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!