If is simply connected and is onto, choose a homogeneous homology basis and representing sphere maps into . Their wedge sum gives a rational homology equivalence, hence a rational homotopy equivalence by the rational Whitehead theorem. All positive cup products therefore vanish. In a minimal model, the induced map from cohomology to the indecomposable quotient is injective; replacing a set of generators by cocycle representatives produces a quasi-isomorphism to the square-zero cohomology algebra, proving formality of a topological space.

There are no discussions about this article yet.

Articles by others on the same topic (NaN)

There are currently no matching articles.