4
$\begingroup$

Let $i:T^{2}\rightarrow S^{1}\times S^{2}$ be an embedding map. If $i(T^{2})$ is inseparable in $S^{1}\times S^{2}$, then $S^{1}\times S^{2}-i(T^{2})\cong (O\cup K)^{c}$. Here $(O\cup K)^{c}$ is a two components link complement in $S^{3}$ such that $O$ is a trivial knot and $K$ can be any unlinked with $O$.

$\endgroup$

1 Answer 1

5
$\begingroup$

I think you mean "non-separating" rather than "inseparable" (or at least I'm not familiar with that terminology), which means as you say that when you cut along the submanifold, you get a connected space. This follows because $i(T^2)$ must be compressible, by the loop theorem since it cannot be $\pi_1$-injective (I'm assuming your map $i$ is smooth or PL). When you perform a compression of $i(T^2)$, you get a non-separating 2-sphere, which much be isotopic to $\{x\}\times S^2$ for some $x\in S^1$. Reversing this compression, you obtain $i(T^2)$ from $S^2$ by adding on a 2-handle to one side of $S^2$. The boundary components of $S^1\times S^2-i(T^2)$ are separated by a 2-sphere which is a push-off of $S^2$ to the side to which the handle is not attached. The complement of $S^2$ is $S^2\times [0,1]$. When you surger $S^2$ to get $T^2$, the complement gets modified by attaching a 1-handle to $S^2\times 0$ (giving a compressible boundary) and removing a 1-handle whose ends are on $S^2\times 1$. When you bore out this 1-handle, you get a knot complement in $S^3$, and thus the torus complement is a split link, with one component unknotted.

$\endgroup$
0

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.