Low Dimensional Topology

September 29, 2011

The generalized Scharlemann-Tomova conjecture

Filed under: 3-manifolds,Curve complexes,Heegaard splittings — Jesse Johnson @ 6:18 am

Soon after John Hempel introduced the notion of (curve complex) distance for Heegaard splittings, Kevin Hartshorn showed that the existence of an incompressible surface implies a bound on the distance for any Heegaard splitting of the same 3-manifold. Scharlemann and Tomova noted that a strongly irreducible Heegaard surface behaves much like an incompressible surface, and generalized Hartshorn’s Theorem as follows: If M admits a distance d Heegaard surface \Sigma then every other genus g Heegaard surface with 2g < d is a stabilization of \Sigma. This is a great theorem and has had huge consequences for the field, but there is one thing that has always bothered me about it: It leaves open the possibility that, for example, there may a 3-manifold M with a genus three, distance 100 Heegaard surface and a second Heegaard surface of genus 201 that is unrelated to the first one. This has always seemed very unlikely to me, so I propose the following conjecture:

The generalized Scharlemann-Tomova conjecture: For every genus g, there is a constant K_g such that if \Sigma \subset M is a genus g, distance d \geq K_g Heegaard surface then every Heegaard surface for M is a stabilization of \Sigma.

I should mention that this conjecture is in the spirit of a comment Cameron Gordon made in his talk at Hyamfest last summer, along the lines of “If you’re going to ask a question, you may as well make a conjecture because people love to prove you wrong.” (As proof of this he noted, that someone had once found a counter example to a “question of Gordon” which he hadn’t even stated as a conjecture.) In this case, I have no particular reason to believe that the conjecture is true and no ideas for how to prove it. Moreover, in the last few weeks, I’ve been more inclined to look for counter examples.

The equivalent generalization of Hartshorn’s Theorem is not true, as Saul Schleimer pointed out to me a while ago: Take any 3-manifold with a genus g Heegaard splitting and infinite first homology (such as a connect sum of copies of S^1 \times S^2 where the first homology has rank g). Choose a pseudo-Anosov map on the Heegaard surface that acts trivially on its first homology (a Torelli map) and whose stable and unstable laminations are not limits of disks in either handlebody. Hempel showed that the second condition implies that cutting the manifold along the Heegaard surface and regluing by composing with high powers of this map produces Heegaard splittings of arbitrarily high genus. The homology condition implies that the first homology group of each new manifold will be isomorphic to the first homology of the original manifold. Infinite first homology implies infinite second homology (by duality) so these manifolds with arbitrarily high distance Heegaard splitting are all Haken.

The generalized S-T conjecture doesn’t necessarily have weighty and far reaching consequences, but it seems to me like a good conjecture to help motivate progress in the field. Much of the recent work on Heegaard surfaces and bridge surfaces has been fueled by the ability to generalize the ideas in Scharlemann-Tomova’s proof to other situations. However, they all include the caveat that they only restrict the existence of Heegaard splittings below some genus bound. To keep the progress from stalling, we will need an injection of fundamentally new ideas to determine whether or not this caveat is necessary.


  1. In the first paragraph, shouldn’t $2g d$?

    Comment by Dylan Thurston — September 29, 2011 @ 9:07 am | Reply

    • Scharlemann-Tomova’s Theorem is often stated as saying that if there is a genus g Heegaard splitting that is not a stabilization of the original then d \leq 2g. In the first paragraph, I’m stating the contrapositive: If $2g < d$ then the second Heegaard splitting is a stabilization of the first. Is that what you were asking about?

      Comment by Jesse Johnson — September 29, 2011 @ 1:48 pm | Reply

  2. […] Jesse Johnson: The generalized Scharlemann-Tomova conjecture […]

    Pingback by Thirteenth Linkfest — October 8, 2011 @ 1:51 pm | Reply

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

Blog at WordPress.com.

%d bloggers like this: