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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented Nov 25, 2011 at 18:38
  • $\begingroup$ To Kevin: I assume that $M$ is a closed 3-manifold. $\endgroup$
    – yanqing
    Commented Nov 26, 2011 at 1:09

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