0
$\begingroup$

It is a known result that if $B$ is an $n$ braid over a disk, then $B$ naturally induces an isomorphism between the fundamental group of a disk with n points removed and the fundamental group of the space $D\times [0,1]-B$, where $D$ is a disk. My question is, in which book/paper can I find a proof of this result?

$\endgroup$
2
  • 4
    $\begingroup$ You should work it out by yourself first, but there's a nice visualization in Francis' Topological Picturebook (books.google.com/…). $\endgroup$ Jun 14, 2011 at 14:16
  • 1
    $\begingroup$ In fact, the isomorphism is quite far from "natural": there are choices involved, and those choices are closely linked to the braid group itself. $\endgroup$
    – Dave Futer
    Jun 14, 2011 at 15:06

1 Answer 1

2
$\begingroup$

The isomorphism of fundamental groups comes from a diffeomorphism of spaces: $D\times[0,1]\setminus B$ is diffeomorphic to the product of an n-punctured disk with $[0,1]$. To see this, note that you can untangle the braid by sliding the ends of the braid along the surface of $D\times[0,1]$. This sliding is not a braid isotopy but it is a diffeomorphism of the complement. Indeed, you can think of a braid as an isotopy of n points in $D$, and to untangle it, you just reverse the isotopy.

$\endgroup$
2
  • $\begingroup$ Thank you so much for the answer! Then by the same argument, if we replace the disk $D$ by some other surface (for example, a punctured torus), the conclusion is still true, right? $\endgroup$
    – Zuriel
    Jun 15, 2011 at 10:52
  • $\begingroup$ @Zuriel: That's true. $\endgroup$
    – Jim Conant
    Jun 15, 2011 at 13:29

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.