7
$\begingroup$

This is regarding the fundamental group computation of the complement of a toral knot in $S^3$ in Hatcher's algebraic topology book. See page 48. I have understood till the stage where the cross section of the torus minus the knot deformation-retracts to the radial segments as the arrows indicate. What is not clear is "Letting $x$ vary, these radial segments then trace out a copy of the mapping cylinder $X_m$ in the first solid torus."

I tried imagining this with a simple cases like the trefoil knot, but can't fathom this statement. Any help would be greatly appreciated!

  • 1
    Never thought of it this way! Will chew upon this. Thanks a ton!2012-07-11

1 Answers 1

7

It helps to think of the 3 sphere as the union of two solid tori. The circles Hatcher uses in the mapping cylinder construction are the cores of the solid torus plus a curve parallel to the knot in the separating torus.