Compact 3-manifold with trivial first homology

Question

I'm trying to see that a compact 3-manifold $M\subset\mathbb{R}^3$ with $H_1(M)=0$ has $\pi_1(M)=0$.

So far: since $M$ is compact, let $\mathcal{T}$ be a smooth triangulation of $M$. I want to be able to say that we can push any loop $\gamma\subset M$ into the 1-skeleton of this triangulation, I'm pretty sure this is possible. From there, what does $H_1(M)=0$ do for us? Does it tell us that $\gamma$ bounds some collection of $2-$simplices?

Thanks

Answer 1

First observe that $M$ cannot be a closed manifold[Alexander Duality is an obstruction for that]. Also observe that $M$ is orientable.[the same duality works again] Now claim is that all it's boundary components are sphere. Observe that $rk(H_1(M,\mathbb Z))\geq rk(H_1(\partial M)/2$ [ basically half of the boundary homology dies]. So $H_1=0$ forces that $H_1(\partial M)=0$. By classification of surfaces, it can only be $S^2$ (since it has a induced orientation from $M$]. Now use higher dimension Jordan separation theorem. Since $M$ is in $\mathbb R^3$, all the boundary sphere should lie inside one of the componenet, called it as outer most component. Since as we observe that $M$ is orientable and compact, so either $M$ is $D^3$ or $D^3-$balls removed. In both the cases $\pi_1=0$. Hence complete the proof.

Observe that if $M$ is non-compact, then it is not true. In Hatcher you can see that unbounded open region of the complement of Alaxander horned sphere is a counter example.

Answer 2

If you don't ask for $M$ to be embedded in $\mathbb{R}^3$ the statement is not true. The Poincare homology $3$-sphere is a counterexample: its homology is by definition that of a $3$-sphere (therefore its $H_1$ trivial), but its $\pi_1$ is non-trivial.