Spaces with Same Homotopy and Homology Groups but Not Homotopy Equivalent

at.algebraic-topologyhomologyhomotopy-theory

A common caution about Whitehead's theorem is that you need the map between the spaces; it's easy to give examples of spaces with isomorphic homotopy groups that are not homotopy equivalent. (See Are there two non-homotopy equivalent spaces with equal homotopy groups?). It's surely also true that the pair (homotopy groups, homology groups) is not a complete invariant, but can anyone give examples? That is, I'm looking for spaces $X$ and $Y$ so that $\pi_n(X) \simeq \pi_n(Y)$ and $H_n(X;\mathbb{Z}) \simeq H_n(Y; \mathbb{Z})$ but $X$ and $Y$ are still not (weakly) homotopy equivalent.

(Easier examples are preferred, of course.)

Best Answer

Following up on John's comment, one can consider $S^2$-fibrations over $S^2$. There are two of them since such fibrations are classified by $\pi_1(\textrm{Diff}^{+}(S^2))=\mathbb{Z}_2$. One of them is $S^2\times S^2$ while the other can be shown to be the connected sum of $\mathbb{CP}^2$ and $\overline{\mathbb{CP}}^2$. These two spaces have the same homology. They have the same homotopy groups since they both form the base of a $S^1$-fibration with total space $S^2 \times S^3$. However, the intersection forms are not equivalent and hence they are not homotopy equivalent.

Related Question