3
$\begingroup$

I'm trying to build an example of a rational homology 3-sphere $M$ (that is not an integral homology 3-sphere) with an irreducible genus 2 Heegaard splitting so that $M$ is not a lens space or connect sum of lens spaces.

I haven't been successful trying to draw a Heegaard diagram for such a 3-manifold, so I suspect the problem is overdetermined. Is there an obvious reason for why this is?

Also, I suspect that some small Seifert fibered spaces might be a good place to look, but I haven't yet understood how to generally construct a Heegaard diagram for a general Serifert fibered space.

$\endgroup$
2
  • 4
    $\begingroup$ Manifolds with Heegaard genus 2 are double branched covers of 3-bridge links. Once one has a bridge diagram, one can in principle derive a Heegaard diagram for the double branched cover. See also: doi.org/10.1016/S0166-8641(98)00063-7 $\endgroup$
    – Ian Agol
    Sep 2, 2020 at 3:41
  • 2
    $\begingroup$ Most Heegaard splittings of small Seifert fibered spaces are "vertical". See Moriah or Boileau, Collins, Zieschang for the full classification. $\endgroup$
    – Josh Howie
    Sep 2, 2020 at 6:14

1 Answer 1

5
$\begingroup$

Suppose that $K$ is the figure eight knot in the three-sphere $S^3$. Let $n(K)$ be a small open neighbourhood of $K$. Let $X = S^3 - n(K)$. You can find a Heegaard diagram for $X$ as follows.

Let $N = N(K)$ be a closed neighbourhood of $K$, slightly larger than $n(K)$. Draw both in a knot diagram of $K$. Add to $N$ a small neighbourhood $P$ of an "unknotting arc" (also called a "tunnel"). So $V = N \cup P$ is a handlebody, and $V' = N \cup P - n(K)$ is a compression body. Note that $W = S^3 - \mathrm{interior}(V)$ is a handlebody as well.

So $(V', W)$ is a genus two Heegaard splitting of $X$. It is an exercise to give a diagram for this splitting. (Hint: The diagram has only three curves, not four. To find it, start by drawing a knot diagram for $K$. Now add the unknotting arc $\alpha$ along the core of $A$.) Any non-longitudinal Dehn filling of $X$ gives a rational homology three-sphere. Most of these are not integral homology spheres. The filling slope gives the fourth curve in the desired Heegaard diagram.

Note that something similar works for all two-bridge knots and links (and tunnel number one knots, in general). Doing this for torus knots will yield many Seifert fibered examples - the examples above are mostly hyperbolic.

$\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.