Skip to main content
1 of 3
Jens Reinhold
  • 11.9k
  • 1
  • 34
  • 82

Homology equivalence and iso on pi_1 not enough for homotopy equivalence?

It is a standard consequence of Hurewicz's theorem that a homology eqivalence between simply connected spaces is a weak equivalence (and hence a homotopy equivalence, if the spaces are CW-complexes).

What is more, it is even enough to assume that the map is a homology equivalence with local coefficients and an iso on $\pi_1$, see e.g. Reference needed: Isomorphism on pi_1 and homology gives weak equivalence.

(On the other hand, a map which is only a homology equivalence does not need to be an iso on $\pi_1$ and hence not a weak equivalence.)

My question now is: What is a concrete example of a map that is an iso on homology with $\mathbb Z$ coefficients, and also an iso on $\pi_1$, but $not$ a weak equivalence?

Jens Reinhold
  • 11.9k
  • 1
  • 34
  • 82