# Reference needed: Isomorphism on pi_1 and homology gives weak equivalence

Let $f : X \to Y$ be a map between a connected space $X$ and a space $Y$. If $\pi(f) : \pi_1(X) \to \pi_1(Y)$ is an isomorphism, and $H_n(f) : H_n(X, G) \to H_n(Y, G)$ is an isomorphism for all $n \ge 1$ and for any local system of coefficients $G$, then $X$ is weakly equivalent to $Y$. Does anyone have a reference (or proof) for this?

If $X$ and $Y$ aren't 1-connected, then $f$ lifts to a map of universal covers $\tilde f: \tilde X \to \tilde Y$ and your assumption about local coefficients implies that $\tilde f$ is a homology isomorphism. We can therefore apply the previous paragraph to show that $\tilde f$ is a weak equivalence. This implies that $f$ is since $f$ is a $\pi_1$-isomorphism.
• @Paul: A high dimensional knot knot complement with $\pi_1 = \Bbb Z$ will give a counterexample. Let $S^n \subset S^{n+2}$ be a $n$-knotted sphere and $X$ its complement ($n > 2$). Assume $\pi_1(X)$ is $\Bbb Z$ (it is not hard to find such knots). Let $f:X\to S^1$ be a cohomology generator. Then $f$ is a $\pi_1$-isomorphism and a homology isomorphism. But $f$ isn't a weak equivalence, since that would imply the knot is trivial (by Levine). – John Klein Feb 13 '11 at 4:58
Switzer proves in his Algebraic Topology as theorem 10.28 that statement for $1$-connected spaces CW-complexes.