Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $M$ is a closed 3-manifold, $C\subset M$ is a simple closed curve which represent identity in $\pi_{1}(M)$. Then $C$ bounds an immersed disk in $M$.

My question is:

When does it bound an imbedded disk in $M$?

I don't know about it at all. If you have any reference, please tell me. Thank you!

share|improve this question
1  
Better for math.SE , no? The answer is a standard theorem. –  Daniel Moskovich Nov 25 '11 at 12:58
    
No question that math.SE is better, but this does not look like homework, and it sounds like OP is trying to figure things out on his own... –  Igor Rivin Nov 25 '11 at 14:06
add comment

3 Answers 3

up vote 4 down vote accepted

Suppose that $K$ is a simple closed curve in $M^3$. I'll assume that $M$ is orientable, compact, and without boundary. Let $V$ be a closed regular neighborhood of $K$; so $V \cong S^1 \times D^2$ is a solid torus. Let $X$ be the closure of $M - V$; so $X$ is the exterior of $K$. Let $T = X \cap V$; so $T$ is a two-torus. So $\partial X = \partial V = T$ and $M = X \cup_T V$. Note that $T$ is a two-torus. Let $D \subset V$ be a meridian disk; that is, a disk of the form $\lbrace \mbox{pt} \rbrace \times D^2$.

As Igor indicates, the map $\pi_1(T) \to \pi_1(X)$ induced by inclusion has a kernel if and only if there is a embedded disk in $E \subset X$ with boundary on $T$. If $\partial D$ and $\partial E$ meet once then $K$ bounds a disk in $M$.

To recap: the knot $K$ bounds an embedded disk in $M$ if and only if

  1. the map from $\pi_1(T) \to \pi_1(X)$ has kernel and
  2. the curve that dies ($\partial E$) meets the meridian $(\partial D$) exactly once.
share|improve this answer
    
To Sam: So it is not clear whether $K$ bounds an embedded or not. –  yanqing Nov 26 '11 at 1:17
    
@Yanqing - My answer gives a necessary and sufficient condition for $K$ to bound an embedded disk in $M$. I'll restate this at the end of the answer. –  Sam Nead Nov 26 '11 at 12:01
    
To same: Thanks a lot! –  yanqing Nov 27 '11 at 5:21
    
Where do you use $[K]=0$ in $\pi_1{M}$? I feel that your answer is an explain of Dehn's lemma. I guess that "$[K]=0$" visual meaning is "$K\subset D^3 \subset M$" where $D^3$ is a 3 ball(similar to knot in $S^3$). –  Bin Yu Nov 27 '11 at 21:24
    
Being interior to a ball is not the same as being trivial in the fundamental group. In fact, it is a theorem of Bing that M is the 3-sphere if and only if every knot is interior to a ball. So, the Poincare conjecture would follow from your "visual meaning." –  Richard Kent Nov 27 '11 at 21:45
show 4 more comments

Dehn's Lemma (= Papakyriakopoulos' Theorem) asserts: if C represents 0 in $\pi_1M$ and if C is a simple closed curve, then C bounds an embedded disk.

The assumption on C being a simple closed curve is obviously necessary: multiples of C will not bound embedded disks.

share|improve this answer
3  
I think you are assuming that $C$ lies on the boundary of $M$, while the question does not make this assumption. –  Kevin Walker Nov 25 '11 at 18:38
    
To Kevin: I assume that $M$ is a closed 3-manifold. –  yanqing Nov 26 '11 at 1:09
add comment

Your Answer

 
discard

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.