Splitting of a simply connected Eilenberg–MacLane fibration

ID: splitting-of-a-simply-connected-eilenberg-maclane-fibration

For a Serre fibration with this fiber over a simply connected CW base, the fiber identity class has only one possible nonzero outgoing differential in the cohomological Serre spectral sequence, landing in . If that group vanishes, the class extends to the CW total space. Its representing map, paired with projection to , is an isomorphism on fiber and base homotopy groups and hence a weak homotopy equivalence to the product.

New to topics? Read the docs here!