If $X$ and $Y$ are two homotopy equivalent space, and $X$ is semilocally simply connected (equivalently, $X$ has a universal cover) must $Y$ be semilocally simply connected? How would one prove/find a counterexample for this statement? I tried constructing a counterexample, but I really only know of two spaces which are not semilocally simply connected (the shrinking wedge of circles and $\mathbb R^2$ with the "$K$-topology") and these don't seem to be homotopy equivalent to anything nicer.
Homotopy equivalence preserves semilocal simply connectedness
6
$\begingroup$
general-topology
algebraic-topology
-
0I don't think this works. The homotopy equivalence maps can be very degenerate, so they need not induce a universal cover on $Y$. – 2012-09-25
1 Answers
5
Suppose $Y$ is semilocally simply connected and $f:X \to Y$ is a homotopy equivalence. We want to show $X$ is semilocally simply connected, i.e. that for all $x \in X$ there is an open neighborhood $U$ such that the map $\pi_1(U,x) \to \pi_1(X,x)$ is trivial.
Since $Y$ is semilocally simply connected, there is an open neighborhood $V$ of $f(x)$ such that the map $\pi_1(V,f(x)) \to \pi_1(Y,f(x))$ is zero. Let $U = f^{-1}(V)$, a neighborhood of $x$.
Then the two maps $ \pi_1(U,x) \to \pi_1(V,f(x)) \stackrel{triv}{\to} \pi_1(Y,f(x)) $ (which is trivial) and $ \pi_1(U,x) \to \pi_1(X,x) \stackrel{\sim}{\to} \pi_1(Y,f(x)) $ coincide, showing that the map $\pi_1(U,x) \to \pi_1(X,x)$ is trivial as desired.