I was computing the homology of $S^3-\coprod_{i=1}^4 I_i$, where $I_i=[0,1]$ for all $i$ (they are being identified with an embedding). Intuitively, this should be homotopy equivalent to $S^1$, since removing one interval gives something homotopic to $\mathbb{R}^3$, removing another one gives an espace homotopic to $S^2$, removing the third one results in something homotopic to $\mathbb{R}^2$ and finaly the last one ends up with a space homotopic to $S^1$. Therefore, $H_2(S^3-\coprod_{i=1}^4 I_i)=0$.

But in other calculations this caused me some problems so I decide to do it formally using Mayer-Vietoris. I had already computed $H_*(S^3-I\sqcup I)$, giving me a consistent result with the intuition above, i.e. $H_2(S^3-I\sqcup I)=\mathbb{Z}$.

Now I decompose $S^3=(S^3-\coprod_{i=1}^2 I_i)\cup (S^3-\coprod_{i=3}^4 I_i)$. From Mayer-Vietoris there is a short exact sequence

$$0\to H_3(S^3)\to H_2(S^3-\coprod_{i=1}^4 I_i)\to H_2(S^3-I_1\sqcup I_2)\oplus H_2(S^3-I_3\sqcup I_4)\to 0$$

From my calculations this would be

$0\to\mathbb{Z}\to H_2(S^3-\coprod_{i=1}^4 I_i)\to \mathbb{Z}\oplus\mathbb{Z}\to 0$

But then $H_2(S^3-\coprod_{i=1}^4 I_i)\neq 0$, which is inconsistent with my first reasoning. Where is the mistake?


By your argument at the beginning, removing four points from a two-sphere should yield something which is homotopy equivalent to a zero-sphere. This is obviously not true. Your error is that after getting a space homotopy equivalent to $S^2$, you proceed as if it is actually homeomorphic to $S^2$.