11
$\begingroup$

In every reference I see, the Seifert-Weber space is presented as an identification space (specifically identify opposite faces of a dodecahedron by a 3/10ths twist).

What I can't seem to find is a surgery diagram for this manifold. From its homology we know it doesn't arise as surgery on a knot. Its volume is approximately 11.1991. Checking with SnapPy there are a lot of candidate links in this range:

In [14]: len(filter(lambda x: x.num_cusps() >= 3,HTLinkExteriors[11.19:13.0]))
Out[14]: 1103
In [15]: len(filter(lambda x: x.num_cusps() >= 3,HTLinkExteriors[11.19:12.0]))
Out[15]: 365
In [16]: len(filter(lambda x: x.num_cusps() >= 3,HTLinkExteriors[11.19:12.5]))
Out[16]: 620

so my attempts at guessing have been unsuccessful.

One could calculate a surgery diagram by-hand from the Heegaard diagram that comes from the identification space and then try to simplify the result. This seems daunting to do by hand, but I'm also unaware of software for the task.

Edit

I accepted Daniel's answer before working through the details. The process certainly gives the Seifert-Weber space a surgery on a manifold. The problem is that the branched-covers of $S^3$ over the trivial 2-component unlink are not themselves link complements, as in the case of a 1-component unlink, so the method in Rolfsen doesn't yield surgery on a link in $S^3$, but somewhere else. That somewhere else has non-separating 2-spheres in it, illustrated by this picture:

Non-separating 2-sphere

The cut disks are indicated by red and blue, the two light grey wireframe balls are the complements of the two knot components after cutting along the disks. As long as at least two of these gadgets are glued together light-to-dark, the yellow curve will pierce the solid grey 2-sphere only once.

$\endgroup$
4
  • 1
    $\begingroup$ The Seifert-Weber space is a 5-fold cyclic branched cover of the Whitehead link complement. One may obtain it in Snappea (or Snappy) by performing (5,0) surgery on each component of the Whitehead, then taking cyclic covers of order 5 (there is only one that is a manifold). I'm not sure how to convert this to a surgery diagram though. $\endgroup$
    – Ian Agol
    Jul 18, 2013 at 22:28
  • $\begingroup$ The volume would appear to be small enough so that you could drill curves out of the manifold (using SnapPy) and search for the resulting manifold in the HTLinkExterior census. Have you tried that? $\endgroup$ Jul 18, 2013 at 23:33
  • 1
    $\begingroup$ @IanAgol, there are two distinct isometry classes of 5-fold covers of the Whitehead link (Theorem 3 in this paper). $\endgroup$ Jul 26, 2013 at 0:16
  • $\begingroup$ @Edgar: yes, I was mistaken about the uniqueness. $\endgroup$
    – Ian Agol
    Jul 26, 2013 at 0:59

3 Answers 3

9
$\begingroup$

So Gates Rudd, Dunfield, and Obeidin algorithmically obtained a surgery diagram in their preprint Computing a link diagram from its exterior. Here's Figure 21 from Section 9.2.enter image description here

Actually I had made one back in 2019 based on the earlier answers of Moskovich and Ruberman and Agol's comment. For whatever reason, I had forgotten about it. Some simplification could be done, but then 5-fold reverberation gets lost. enter image description here

Edit: So I went ahead and made a Sketches of Topology post giving some details about how this diagram was obtained.

$\endgroup$
1
  • $\begingroup$ Thank you for the answer! I had seen the preprint you linked and looked at this image, but forgotten I ever asked this question. A fun blogpost to read. $\endgroup$ Dec 10, 2021 at 19:21
6
$\begingroup$

As pointed out by Ian Agol in the comments, the Seifert-Weber space is the 5-fold cyclic branched cover of the Whitehead link complement. You can therefore:

  1. Untie the Whitehead link using $\pm 1$ framed surgeries along unknots ringing crossings (which induce crossing changes on the Whitehead link, while preserving $S^3$.) Actually you only need one surgery component, because a single crossing change unties the Whitehead link. You obtain a surgery presentation of the Whitehead link complement in the complement of a trivial 2-component unlink.
  2. Lift the resulting surgery presentation to the 5-fold cyclic branched cover of the trivial 2-component unlink. You do this with a cut-and-paste construction. Cut along a disc bounded by each components of the unlink, and glue together five copies of your surgery tangle, end to end. The resulting link is a surgery presentation of the Seifert-Weber space.

This technique works to construct surgery presentations of any finite covering space of any link complement. You can find it explained in Rolfsen Knots and Links, Chapter 10.

Edit: As the OP points out in the edit to his question, the above process gives a surgery presentation for the Seifert-Weber space, but unfortunately not in $S^3$.

$\endgroup$
4
$\begingroup$

There is another way to draw a surgery diagram (this time in $S^3$) for the Seifert-Weber space, starting again from the description as a 5-fold branched cover over the Whitehead link $L$. Namely, you can use the algorithm of Akbulut-Kirby (Branched covers of surfaces in 4-manifolds. Math. Ann. 252 (1979/80), no. 2, 111–131). This starts with a connected Seifert surface for $L$, where you want to see the surface as a disk with bands. In the case at hand, the initial picture will be a little complicated, with something like 12 surgery curves. I think that you could do some simplifications, though.

Since we are talking about a link, rather than a knot, there is some ambiguity about which branched cover is being discussed. (This same point is relevant to the responses above as well.) The simpler version, to which the algorithm applies directly, is the branched cover corresponding to a homomorphism $H_1(S^3 -L) \to Z/5$ that takes both meridians to a given generator $1 \in Z/5$. Up to homeomorphism, I think that the only other choice is to send one meridian to $1$ and the other to $2$; I'm sure that the Akbulut-Kirby algorithm could readily be adapted to this case, but haven't thought out exactly how.

$\endgroup$

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.