8
$\begingroup$

In this video (which I've only watched once, so maybe I missed something), Bill Thurston illustrates the topology of knot complements in a fanciful way.

First he displays a large unknot (i.e. a circle of wire), and asks us to imagine that when you step through the wire, you are transported to a sort of mirror universe (which he calls Narnia).

I assumed at first that he wanted us to imagine that we live in the universal cover of the knot complement, so that stepping through to Narnia means traveling to another sheet of that cover. But this is clearly not what he means, first because there is only one Narnia (as opposed to countably many of them) and second because he says you can walk through the loop in either direction, and you'll reach the same place either way.

So my next guess was that he's taken two copies of ${\mathbb R}^3$ (or maybe ${\bf S}^3$) and glued them together along the knot.

But next, he replaces his unknot with a trefoil, illustrates two particular loops called $A$ and $B$, and in essence proves that $A$ and $B$ generate the fundamental group of the knot complement, with relations $ABA=BAB$. He then says that passing through the knot allows us to pass to a total of six copies of our Universe, corresponding to the paths $A$, $B$, $AB$, etc.

Well--- once again, these can't be sheets of the universal cover, because there are only six of them. So once again, my next guess is that he's envisioning a cut-and-paste job. But then why has he pasted together exactly six copies, no more and no less? He has, at this point in the video, called our attention to six particular elements of the fundamental group, but there seems to be no mathematical reason to single these out. Exactly what has he cut and pasted together here, and how and why? Or is he doing something else entirely?

$\endgroup$
6
$\begingroup$

In the unknot example, he is describing the cyclic cover of order two. Let $K$ be (a regular neighborhood of) the unknot in $S^3$. $K$ has a (minimal genus) Seifert surface, $D$, the disk bounded by $K$. Two identical copies of $S^3 \smallsetminus K$ have been cut along $D$. In the first copy, call the two new disk boundary components $1_+$ and $1_-$ and likewise $2_+$ and $2_-$ in the second copy. Glue $1_+$ to $2_-$ and $1_-$ to $2_+$. (There are a number of "complicated" ways to do this. Instead, do the obvious, orientation preserving, isometric gluing.) So now, in going once around a meridian of $K$ in either direction, we go from one copy of cut $S^3 \smallsetminus K$ to the other.

torus with longitude and meridian indicated (Image from an answer by @AlexProvost.)

For the trefoil, he is constructing the cyclic branched cover (of two sheets -- note that this doesn't mean only a double cover, but that each generator only has order two). I don't know much about this construction. There is a relation with orbifolds. The group relation $ABA = BAB$ appears in the trefoil knot group (Rolfsen 3.D.8, discussed more below) computed from the Wirtinger presentation. (In fact, the trefoil is the example at the link given.) So he first shows there just two meridians take us everywhere we can go and then wanders through the cyclic branched cover by going around them in different orders. He essentially has the group of deck transformations $$ \langle A, B \mid A^2 = 1, B^2 = 1, ABA = BAB \rangle $$ (This group is the symmetric group on three symbols. An isomorphism is $A \mapsto (12)$, $B \mapsto (13)$, so $AB \mapsto (23)$, and the rest is just multiplying permutations.) If we start at the top of his diagram and number the six vertices clockwise, $A$ corresponds to the deck permutation $(12)(34)(56)$ and $B$ to $(16)(23)(45)$.

Rolfsen, "Knots and Links" has more on:

  • Seifert surfaces in chapter 5, section A;
  • cyclic covers in chapter 5, section C;
  • using cyclic covers to compute Alexander polynomials of knots in chapter 7, section B; and
  • explicitly discusses cyclic branched covers (chapter 10, section C) of $S^3$ branched over the trefoil in chapter 10, section D.
$\endgroup$
  • $\begingroup$ This is great. Thanks for both the writeup and the reference. $\endgroup$ – WillO Mar 30 '18 at 19:03
  • $\begingroup$ @WillO : Sure! Glad to help. $\endgroup$ – Eric Towers Mar 30 '18 at 19:36
1
$\begingroup$

I do not know much about these branched coverings and could not figure out what that hexagon means, but I think $A$ and $B$ are referring to the generators in Dehn presentation of the knot group.

In the Dehn presentation, assuming that we are looking at the knot from the front, one takes a generator for each region in the diagram. For generators, you take a directed line segment starting from the front, going into the region and going back. Then you connect two endpoints of the segment somewhere outside far from the knot. The relations come from the crossings.

I think this is what he does while taking the product $AB$, in the video, the piece of string he holds $+$ his hands and his body form the loops, the generators in the Dehn presentation. For the regions sharing a common arc with the outside region, the generator corresponding to the region in Dehn's presentation consides with the generator corresponding to the shared arc in Wirtinger's presentation, which is the case in the video. But this is just a coincidence. I think what he does is more related to the Dehn's presentation.

Unfortunately, I do not know a good reference for Dehn's algorithm, it is left as an exercise in some books.

$\endgroup$
  • $\begingroup$ This seems fairly hand-wavy for a Question that already has an Accepted Answer at least a month old. If you feel that you have some specific information to impart not given in the Accepted Answer, it would deserve a clearer exposition on your part. $\endgroup$ – hardmath May 16 '18 at 1:06
  • $\begingroup$ @hardmath Speaking as the OP, I think this answer is a substantial contribution and I am grateful for it. $\endgroup$ – WillO May 16 '18 at 6:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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