1
$\begingroup$

I am trying to do the stated problem in Hatcher:

Show $H_1(X,A) = 0$ iff $H_1(A) \to H_1(X)$ is surjective and each path component of $X$ contains at most one path component of $A$.

Now I have reduced the problem to showing that $i_\ast : H_0(A) \to H_0(X)$ injective iff each path component of $X$ contains at most one path component of $A$. This comes from looking at the end of the LES of the pair $(X,A)$:

$$\ldots \to H_1(X) \to H_1(X,A) \to H_0(A) \to H_0(X) \to H_0(X,A) \to 0$$

Now one direction I have shown, the other that is giving me trouble is the converse. That is if $i_\ast$ is not injective then there is a path component of $X$ that contains at least two path components of $A$. I have the following:

Suppose $i_\ast$ is not injective. Then there is a $\tau \in C_0(A)$ such that $[\tau \circ i] = 0$ but $[\tau] \neq 0$. That is to say, $\tau \circ i = \partial(\sigma)$ for some $\sigma \in C_1(X)$ but $\tau$ is not the boundary of any $\sigma'\in C_1(A)$. However I'm confused because to me the only way for $\tau \circ i$ to be the boundary of a singular $1$ - simplex $\sigma$ in $X$ is if $\sigma$ is a loop. What's wrong here?

Thanks.

  • 0
    Why do you assume $\sigma'\in H_1(A)$ in contrast to $\sigma\in C_1(X)$? Homology classes are always represented by cycles, so this would mean that $\partial(\sigma')=0$. If it's just a typo, maybe you could correct it along with the map in the quote which is $H_1(A)\to H_1(X)$.2012-11-10
  • 0
    @StefanH. I have corrected the first point in the comment. I don't understand which map you're talking about in the second.2012-11-10
  • 0
    Why must $\sigma$ be a loop? Are you assuming that $\tau$ is a single vertex rather than an arbitrary 0-chain in $A$?2012-11-10
  • 0
    @BenjaLim. I was talking about the map $H_1(A)\to H_1(X)$ in the quotation of the problem, where you switched $A$ and $X$.2012-11-11
  • 0
    @StefanH. I have corrected it now. Thanks.2012-11-11

1 Answers 1