3
$\begingroup$

Consider a closed $3$-manifold $M$ and a knot $K$ in $M$.

Is it necessarily true that $\pi_2 (M \setminus K) = 0$?

If not, are there any conditions on $M$ and/or $K$ to ensure the above 2nd homotopy group of the knot complement is trivial?

Thanks!

(Note: This is, of course, true when $M$ is simply connected --> $S^3$)

$\endgroup$

1 Answer 1

8
$\begingroup$

EDIT - I've rewritten my previous answer in an attempt to remove everything except the answer to your question. All submanifolds are assumed to be smooth.

Suppose that $M$ is a closed, connected, oriented, irreducible three-manifold (and $M$ is not the three-sphere). Suppose that $K$ is a knot in $M$. Then $\pi_2(M - K)$ is non-trivial if and only if $K$ is contained in an embedded three-ball $B^3 \subset M$.

The proof is an exercise using Alexander's theorem (every embedded two-sphere in $S^3$ bounds balls on both sides), the sphere theorem, and the Poincaré conjecture. Hempel's book and Hatcher's notes on three-manifolds are standard references for the necessary background material.

$\endgroup$
3
  • $\begingroup$ As I understand, by the Sphere Theorem if M is irreducible then $\pi_2(M)=0$. But how does this also imply that $\pi_2(M \setminus K) = 0$? $\endgroup$ Dec 27, 2014 at 17:56
  • 1
    $\begingroup$ That isn't making sense to me, maybe I don't understand your point. $K$ is cut out and $S$ bounds a ball in $M$, but the ball is now missing the knot. How is it still bounding a 3-ball? $\endgroup$ Dec 27, 2014 at 18:05
  • 1
    $\begingroup$ I understand now, thank you. I will work on the proof (which seems direct). Thanks again! $\endgroup$ Dec 27, 2014 at 18:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.