2
$\begingroup$

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!

Improve this question
$\endgroup$
2
  • 1
    $\begingroup$ Better for math.SE , no? The answer is a standard theorem. $\endgroup$
    – Daniel Moskovich
    Nov 25, 2011 at 12:58
  • $\begingroup$ 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... $\endgroup$
    – Igor Rivin
    Nov 25, 2011 at 14:06

3 Answers 3

Reset to default
4
$\begingroup$

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.
Improve this answer
$\endgroup$
7
  • $\begingroup$ To Sam: So it is not clear whether $K$ bounds an embedded or not. $\endgroup$
    – yanqing
    Nov 26, 2011 at 1:17
  • $\begingroup$ @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. $\endgroup$
    – Sam Nead
    Nov 26, 2011 at 12:01
  • $\begingroup$ 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$). $\endgroup$
    – Bin Yu
    Nov 27, 2011 at 21:24
  • $\begingroup$ 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." $\endgroup$
    – Autumn Kent
    Nov 27, 2011 at 21:45
  • $\begingroup$ Also, you need more reputation to comment. This is to prevent you from commenting until you've been around a while. $\endgroup$
    – Autumn Kent
    Nov 27, 2011 at 21:47
3
$\begingroup$

http://en.wikipedia.org/wiki/Dehn's_lemma

Improve this answer
$\endgroup$
0
$\begingroup$

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.

Improve this answer
$\endgroup$
2
  • 3
    $\begingroup$ I think you are assuming that $C$ lies on the boundary of $M$, while the question does not make this assumption. $\endgroup$
    – Kevin Walker
    Nov 25, 2011 at 18:38
  • $\begingroup$ To Kevin: I assume that $M$ is a closed 3-manifold. $\endgroup$
    – yanqing
    Nov 26, 2011 at 1:09

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.