Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 22 / 4 / b / Solution

Choose basepoints and replace the spaces and map by CW complex models. If the hypothesis is stated for unreduced represented homology theory, the basepoint coefficient summands split naturally, so it also gives an isomorphism in reduced represented homology theory. Let $C$ be the homotopy mapping cone of $f$. Its reduced represented homology theory is zero in every degree, by the exact sequence of the corresponding cofiber sequence of spectra.

The mapping cone $C$ is a simply connected space: the mapping cylinder retracts onto $Z$, and coning off the path-connected space $Y$ adds no fundamental-group generators; the van Kampen calculation gives the quotient of ${\pi }_{1}Z$ by the image of ${\pi }_{1}Y$, which is trivial. Suppose some positive-degree integral homology group of $C$ were nonzero, and let $n$ be the least such degree. Then $n\ge 2$. Starting with ${\pi }_{1}C=0$, the Hurewicz theorem shows inductively that ${\pi }_{i}C=0$ for $i<n$: at each first possible degree $i$, its homotopy group is identified with the zero group $H_i(C;\mathbb{Z})$. It then identifiesApplying the result of part (a) to the $(n-1)$-connected based space $C$ gives ${\tilde{E}}_n(C)\cong {\pi }_{n}C\ne 0$, contradicting the vanishing of its represented homology theory.

Thus $C$ is integrally acyclic, and the ordinary homology exact sequence says that $f$ is an integral homology isomorphism. The allowed homological Whitehead theorem for simply connected spaces makes the map of CW complex models a homotopy equivalence. Returning to the original spaces therefore givesThe simply connected hypothesis is used both in the first-nonzero-degree Hurewicz theorem argument and in the final homological Whitehead theorem.