Injectivity of Homomorphism between homology of boundary and interior.

98 Views Asked by At

Let $M^{n\geq 4}$ be a compact connected manifold with connected boundary $\partial M$. Suppose $$i_*: \pi_1(\partial M)\rightarrow \pi_1(M)$$is not injective, it means that there is non-contractible loop in $\partial M$ which is contractible in $M$. And also we can assume this loop spans a disc $D$ in $M$, denote the small neighbourhood of $D$ in $M$ by $U(D)$. I am wondering if $$i_*:\pi_1(\partial (M\setminus U(D)))\rightarrow \pi_1(M\setminus U(D))$$ is injective now. I am just trying to make the non-jectivity disappear by deleting it. It looks right to me but I don't know how to rigorously explain it. Or maybe I am wrong and there is counterexample. Thanks for your help.

This is edited version by suggestions from comments.

1

There are 1 best solutions below

2
On BEST ANSWER

This community wiki solution is intended to clear the question from the unanswered queue.

The comments have shown that you approach does not work.

  1. If $i_* : H_1(\partial M) \to H_1(M)$ is not injective, you cannot deduce that $i_* : \pi_1(\partial M) \to \pi_1(M)$ is not injective.

  2. A loop in $\partial M$ which is contractible in $M$ need not span a disk in $M$. Take for example $M = D^2$. Then $\partial M = S^1$. Any loop in $S^1$ is contractible in $D^2$, but in general it does not span a disk $D$ in $D^2$. You cannot even find a homotopic loop for which it is true unless the loop has degree $\pm1$.

  3. In the above eaxmple, you have $D = D^2$ and thus $U(D) = D^2$.