Low Dimensional Topology

October 23, 2012

More than you probably wanted to know about Scharlemann’s no-nesting Lemma

Filed under: 3-manifolds,Heegaard splittings,Thin position — Jesse Johnson @ 11:38 am

This post is going to be a bit more technical than usual (though not necessarily any more coherent). As I’ve been working on porting thin position techniques to the analysis of large data sets and other arenas, I’ve had to spend a lot of time trying to understand how the fundamental ideas fit together, and one in particular is Scharlemann’s no-nesting Lemma. This Lemma says the following: Given a strongly irreducible Heegaard surface \Sigma and an embedded disk D with essential boundary in \Sigma, you can always make the interior of D disjoint from \Sigma by isotoping away disks and annuli in D that are parallel into \Sigma. As I’ll describe below, it turns out that this Lemma in many ways encapsulates the fundamental properties of thin position.

Recall that a Heegaard surface \Sigma is strongly irreducible if every pair of compressing disks on opposite sides of \Sigma have non-trivial intersection (along their boundaries). If \Sigma is not strongly irreducible then it’s called weakly reducible. It turns out that there is a converse to the no-nesting Lemma that implies that the no-nesting property completely characterizes strongly irreducible Heegaard surfaces. In other words, a Heegaard surface will be strongly irreducible if and only if for every embedded disk D with essential boundary in \Sigma, you can make the interior of D disjoint from \Sigma by isotoping disks and annuli in D into and then across \Sigma.

To prove this converse, I’ll use a trick that I learned from Yoav Rieck: If D is a compressing disk for a handlebody H and \ell \subset \partial H is a loop disjoint from \partial D then we can construct an essential annulus that has \ell as one of it boundary loops by taking a small boundary parallel annulus along \ell, then attaching it to D with a band along \partial H. Yoav used this construction to characterize distance two Heegaard splittings, but we can also use it to characterize weakly reducible Heegaard surfaces. If \Sigma is weakly reducible and D_1, D_2 are disjoint disks on opposite sides of \Sigma then there is an essential annulus in the D_1 side that shares a boundary loop with D_2. The union of this essential annulus and D_2 is a disk with essential boundary in \Sigma whose interior cannot be made disjoint from \Sigma by removing disks and annuli. Therefore every weakly reducible \Sigma does NOT satisfy the no-nesting property.

Now, if you’ve read this far, then maybe you’ll follow me a little farther into obscure technical detail. If we want to generalize the Scharlemann no-nesting Lemma to other forms of thin position, we should translate it into the language of complex of surfaces and the disk complex. But the problem is that the disk complex only knows about actual compressing disks, and doesn’t see disks that intersect \Sigma in their interior. But we can get around this by translating the no-nesting Lemma into an equivalent statement. (OK, both statements will be true and therefore equivalent, but the point is that the new formulation will follow relatively easily from no-nesting and vice versa.)

Here’s the equivalent statement: If \Sigma is strongly irreducible and we compress \Sigma one or more times to one side then the new surface will be incompressible to the opposite side. Note that this is almost the definition of strongly irreducible: If we compress \Sigma along a disk D_1 on one side then any disk D_2 on the opposite side of \Sigma will not be a compressing disk for the new surface, since its boundary will not be contained in the new surface. However, it’s conceivable that there will be a compressing disk for the new surface that wasn’t a compressing disk for the original surface. This is where Scharlemann’s no nesting Lemma comes in: If there were such a disk then it would be a nested disk for the original \Sigma, so no-nesting tells you this can’t happen. Conversely, if you have a surface with a nested disk then compressing along innermost loops of intersection gives you one or more compressions on one side followed by at least one compression on the other side.

This new statement is about compressing disks in embedded surfaces, so this can be translated into the complex of surfaces, and thus imported into other forms of thin position. But in fact, this statement is equivalent (in the same sense as above) to the most fundamental property in standard thin position, namely the Casson-Gordon axiom: If \Sigma is a Heegaard surface for a three-manifold with compressible boundary then \Sigma is weakly reducible. I’ll leave it as an exercise for the reader to figure out how you get between the two statements. But the important point is that the Casson-Gordon axiom is essentially equivalent to Scharlemann’s no-nesting Lemma, so any version of thin position in which the Casson-Gordon holds will also have no-nesting.

(Update 11/1/12) Trent Schirmer just pointed out to me that the second formulation – That compressing a strongly irreducible surface to one side makes it incompressible on the other side – is equivalent to Jaco’s two-handle addition Lemma. This Lemma states that if you have a 3-manifold with compressible boundary and you attach a two-handle to the boundary along a loop that intersects every compressing disk, the resulting manifold has incompressible boundary. I’ll leave it to the reader to determine how they’re equivalent.

1 Comment »

  1. Very nice! Thanks!

    Comment by Scott Taylor — October 25, 2012 @ 8:06 am | 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 )

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s

Create a free website or blog at WordPress.com.

%d bloggers like this: