MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $i:T^{2}\rightarrow S^{1}\times S^{2}$ be a embedding map and $i_{*}:\pi(T^{2})\rightarrow \pi(S^{1}\times S^{2})$ be the homomorphism induced by $i$. If $i(T^{2})$ is separable in $S^{1}\times S^{2}$ and $Im i_{*}=0$, then $$S^{1}\times S^{2}-i(T^{2})\cong K^{c}\cup (S^{1}\times D^{2})\sharp (S^{1}\times D^{2})$$ or

$$S^{1}\times S^{2}-i(T^{2})\cong (S^{1}\times D^{2})\cup(S^{1}\times D^{2})\sharp K^{c}$$

Here $S^{1}\times D^{2}$ is an open solid torus and $K^{c}$ compliment knot on $S^{3}$.

share|cite|improve this question
If I may ask, what is the question ? – Samuel Tinguely May 1 '12 at 14:35
I don't what the question is, but the "compliment knot" sounds nice. – Angelo May 1 '12 at 15:17
The question is how can I make to prove that $$S^{1}\times S^{2}-i(T^{2})\cong K^{c}\cup(S^{1}\times D^{2})\sharp(S^{1}\times D^{2})$$ or $$S^{1}\times S^{2}-i(T^{2})\cong (S^{1}\times D^{2})\cup(S^{1}\times D^{2})\sharp K^{c}$$ Here $K^{c}$ be the knot complement. – Gerson031 May 1 '12 at 15:38
Removed the "dynamical-systems" tag. – Lee Mosher May 1 '12 at 15:49
up vote 4 down vote accepted

I remember this chestnut. Taken together, your two equations say that the torus $i(T)$ is contained in a 3-ball $B$ embedded in $S^2 \times S^1$: the first equation says that $i(T)$ is obtained up to isotopy by drilling a knotted hole through $B$ and taking the resulting boundary; the second equation says that $i(T)$ is the boundary of a thickened knot in $B$ (at least, I think that's what your notation means...). However, these are not the only possibilities. There are separating embeddings of $T$ in $S^2 \times S^1$ which are trivial on $\pi_1$ but are not contained in a ball: take the boundary of Whitehead's link in $S^1 \times D^2$ (described in Rolfsen) and then embed $S^1 \times D^2 \to S^1 \times S^2$ in the standard way.

share|cite|improve this answer
Thank for your response, can you suggest some book or article about these type of identification?. – Gerson031 May 2 '12 at 15:02
"Knot Theory" by Rolfsen is good for this stuff. – Lee Mosher May 2 '12 at 21:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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