Hopf projection of a product smash quotient

ID: hopf-projection-of-a-product-smash-quotient

Let with . Collapse the lower cells of to obtain and compose with the Hopf fibration . Both factor inclusions are killed by q, so every induced homotopy group map is zero; the induced reduced homology maps also vanish. If the composite were nullhomotopic, homotopy lifting property would deform q into the circle fibre. Every map from the simply connected product to that circle is nullhomotopic, contradicting the degree-one top homology map of q.

New to topics? Read the docs here!