Upload
others
View
9
Download
0
Embed Size (px)
Citation preview
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACEDISTANCES
JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
Abstract. We show that subsurfaces of a Heegaard surface for whichthe relative Hempel distance of the splitting is sufficiently high have toappear in any Heegaard surface of genus bounded by half that distance.
1. Introduction
It was shown by Scharlemann and Tomova [19] that if a 3-manifold has aHeegaard surface ÎŁ so that the Hempel distance d(ÎŁ) of the splitting (see[5]) is greater than twice its genus g(ÎŁ), then any other Heegaard surface Îof genus g(Î) < d(ÎŁ)/2 is a stabilization of ÎŁ, i.e., the result of attachingtrivial handles to ÎŁ. Hartshorn [4] had proved a similar result in which thesurface Î is incompressible.
In this paper, we generalize this theorem to the case where the Heegaardsplitting ÎŁ is not necessarily of high distance but has a proper essentialsubsurface F â ÎŁ so that the âsubsurface distanceâ measured in F is large:
Theorem 1.1. Let ÎŁ be a Heegaard surface in a 3-manifold M of genusg(ÎŁ) ⼠2, and let F â ÎŁ be a compact essential subsurface. Let Î beanother Heegaard surface for M of genus g(Î). If
dF (ÎŁ) > 2g(Î) + c(F ),
then, up to ambient isotopy, the intersection Π⊠Σ contains F .Here c(F ) = 0 unless F is an annulus, 4-holed sphere, or 1 or 2-holed
torus, in which case c(F ) = 2.
Here, dF (ÎŁ) is the distance between the subsurface projections of thedisk sets of the handlebodies on the two sides of ÎŁ to the âarc and curvecomplexâ of F . For precise definitions see Section 2. This result can beparaphrased as follows: If the two disk sets of a Heegaard splitting intersecton a subsurface of the Heegaard surface in a relatively âcomplicatedâ way,
1991 Mathematics Subject Classification. Primary 57M.Key words and phrases. Distance of Heegaard splitting, Arc and Curve Complex,
sweepouts, spanning sweepouts, splitting sweepouts .The first author was partially supported by NSF MSPRF grant 0602368. The second
author was partially supported by NSF grant 0504019. The third author would like tothank Yale University for its hospitality during a sabbatical in which the research wasdone.
1
2 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
then any other Heegaard surface whose genus is not too large must containthat subsurface.
One can view this in the context of a number of results in 3-manifoldtopology and geometry where âlocalâ complication, as measured in a sub-surface, yields some persistent topological or geometric feature. An examplewith a combinatorial flavor is in Masur-Minsky [14, 15], where one studiescertain quasi-geodesic paths in the space of markings on a surface. If theendpoints of such a path have projections to the arc and curve complex ofa subsurface F which are sufficiently far apart, then the path is forced tohave a long subinterval in which âF is a part of the markings.
In [17, 3], Brock-Canary-Minsky consider the geometry of hyperbolicstructures on ÎŁ Ă R, as controlled by their âending invariants,â which canbe thought of as markings on ÎŁ. A subsurface F for which the projectionsof the ending invariants are far apart yields a âwideâ region in the manifoldisotopic to F Ă [0, 1], where the length of âF is very short.
A similar, but incompletely understood, set of phenomena can occur forHeegaard splittings of hyperbolic 3-manifolds, where the disk sets play therole of the ending invariants. This is the subject of work in progress byBrock, Namazi, Souto and others.
In the purely topological setting, Lackenby [13] studies Heegaard split-tings of manifolds obtained by sufficiently complicated gluings along incom-pressible, acylindrical boundaries of genus at least 2. Bachman-Schleimer[1] obtain lower bounds on Heegaard genus in a surface bundle whose mon-odromy map is sufficiently complicated. Bachman-Schleimer-Sedgwick [2]study Heegaard genus for manifolds glued along tori by complicated maps.
The methods of our proof are extensions, via subsurface projections, ofthe work in Johnson [9], which itself builds on methods of Rubinstein-Scharlemann [18]. To a Heegaard splitting we associate a âsweepoutâ byparallel surfaces of the manifold minus a pair of spines, and given two sur-faces Î and ÎŁ and associated sweepouts, we examine the way in which theyinteract. In particular under some natural genericity conditions we can as-sume that one of two situations occur:
(1) Î F -spans ÎŁ, or(2) Î F -splits ÎŁ.
For precise definitions see Section 3. The case of F -spanning implies that,up to isotopy, there is a moment in the sweepout corresponding to ÎŁ whenthe subsurface parallel to F lies in the upper half of M r Î, and a momentwhen it lies in the lower half. It then follows that Î separates the productregion between these two copies of F , and it follows fairly easily that it canbe isotoped to contain F .
In the F -splitting case we are able to show that, for each moment in thesweepout corresponding to ÎŁ, the level surface intersects Î in curves thathave essential intersection with F . By studying the way in which these
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 3
intersections change during the course of the sweepout, we are able to usethe topological complexity of Î to control the subsurface distance of F .
Combining these two results and imposing the condition that dF (ÎŁ) isgreater than a suitable function of g(Î) forces the first, i.e. F -spanning,case to occur.
The discussion is complicated by some special cases, where F has par-ticularly low complexity, in which the dichotomy between F -spanning andF -splitting doesnât quite hold. In those cases we obtain slightly differentbounds.
Outline. In Section 2 we recall the definitions of Heegaard splittings, curvecomplexes and subsurface projections. In Section 3 we discuss sweepouts,pairs of sweepouts and the Rubinstein-Scharlemann graphic, and use this todefine F -splitting and F -spanning and variations. In Lemma 3.7 we showthat F -spanning and F -splitting are generically complementary conditions,and also work out the situation for the low-complexity cases.
In Section 4 we consider the F -spanning case, and show that it leads tothe conclusion that Î can be isotoped to contain F .
In Section 5 we give a more careful analysis of the local structure of non-transverse intersections of surfaces in a pair of sweepouts. In particular weuse this to quantify the way in which intersection loops, and their projectionsto a subsurface F , can change as one moves the sweepout surfaces.
In Section 6 we show that the F -splitting condition leads to an upperbound on dF (ÎŁ). The proof makes considerable use of the structure devel-oped in Section 5, with a fair amount of attention being necessary to handlethe exceptional low-complexity cases.
Finally in Section 7 we put these results together to obtain the proof ofthe main theorem.
Acknowledgements. The authors are grateful to Saul Schleimer for point-ing out an error in the original proof of Lemma 2.1.
2. Heegaard splittings and curve complexes
Heegaard splittings. A handlebody H is a 3-manifold homeomorphic toa regular neighborhood of a finite, connected graph in S3. The graph willbe called a spine of the handlebody. A compression body W is a 3-manifoldobtained from a connected surface S crossed with an interval [0, 1] by at-taching 2-handles to S Ă {0} and capping off S2 boundary components, ifthey occur, by 3-balls. The connected surface S Ă {1} is denoted by â+Wand âW r â+W is denoted by ââW . A spine of a compression body W isthe union of ââW with a (not necessarily connected) graph Î so that W ishomeomorphic to a closed regular neighborhood of ââW ⪠Î.
A Heegaard splitting of genus g ⼠2 for a 3-manifold M is a triple(ÎŁ,Hâ,H+), where H+,Hâ are genus g handlebodies (compression bodies
4 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
if âM 6= â ) and ÎŁ = âH+ = âHâ = H+ âŠHâ is the Heegaard surface sothat M = H+ âŞÎŁ Hâ.
Curve complexes and Hempel distance. For any surface ÎŁ there isan associated simplicial complex called the curve complex and denoted byC(ÎŁ). An i-simplex in C(ÎŁ) is a collection ([Îł0], . . . , [Îłi]) of isotopy classesof mutually disjoint essential simple closed curves in ÎŁ. On the 1-skeletonC1(ÎŁ) of the curve complex C(ÎŁ) there is a natural path metric d definedby assigning length 1 to every edge. The subcollection D(HÂą), of isotopyclasses of curves in ÎŁ, that bound disks in HÂą (also called meridians) iscalled the handlebody set associated with HÂą respectively.
Given a Heegaard splitting (ÎŁ,Hâ,H+) we define the Hempel distanced(ÎŁ):
d(ÎŁ) = dC1(ÎŁ)(D(H+),D(Hâ))(where distance between sets is always minimal distance)
When a surface F has boundary we can define the arc and curve complexAC(F ), by considering isotopy classes of essential (non-peripheral) simpleclosed curves and properly embedded arcs. If F is an annulus, there are noessential closed curves, and the isotopy classes of essential arcs should betaken rel endpoints. As before an n-simplex is a collection of n + 1 isotopyclasses with disjoint representative loops / arcs. We denote by dF the pathmetric on the 1-skeleton of AC1(F ) that assigns length 1 to every edge.
If F is a connected proper essential subsurface in ÎŁ, there is a map
ĎF : C0(ÎŁ) â AC0(F ) ⪠{â }defined as follows (see Masur-Minsky [15] and Ivanov [7, 8]): First assume Fis not an annulus. Given a simple closed curve Îł in ÎŁ, isotope it to intersectâF minimally. If the intersection is empty let ĎF (Îł) = â . Otherwise considerthe isotopy classes of components of F âŠÎł as a simplex in AC(F ), and select(arbitrarily) one vertex to be ĎF (Îł). If F is an annulus, let F â ÎŁ be theannular cover associated to F , compactified naturally using the boundaryat infinity of H2, lift Îł to a collection of disjoint properly embedded arcsin F , and arbitrarily select an essential one (which must exist if Îł crossesF essentially) to be ĎF (Îł). If Îł does not cross F essentially we again letĎF (Îł) = â . By abuse of notation we identify AC(F ) with AC(F ).
Now if (ÎŁ,Hâ,H+) is a Heegaard splitting of a 3-manifold M and F âÎŁ is a connected proper essential subsurface, let DF (Hâ) = ĎF (D(Hâ))and DF (H+) = ĎF (D(H+)) â the projections to F of all loops that boundessential disks in Hâ and H+, respectively. The F -distance of ÎŁ, which wewill write dF (ÎŁ), is the distance between these two sets,
dF (ÎŁ) = dAC1(F )(DF (H+),DF (Hâ)).
We will have use for the following fact, which is a variation on a result ofMasur-Schleimer:
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 5
Lemma 2.1. Let ÎŁ be the boundary of a handlebody H of genus g ⼠2. LetF â ÎŁ be an essential connected subsurface of ÎŁ. If ÎŁ r F is compressiblein H then ĎF (D(H)) comes within distance 2 of every vertex of AC(F ),provided F is not a 4-holed sphere. If it is a 4-holed sphere the distancebound is 3.
Proof. If F is a 3-holed sphere the diameter of AC(F ) is 1, hence the lemmafollows trivially. We next give the proof in the non-annular case. We claimthat ÎŁrF must contain a meridian δ â D(H) such that F can be connectedby a path to either side of δ: Compressibility of ÎŁrF yields some meridian,which has the desired property if it is nonseparating in ÎŁ. If it is separating,then on the side complementary to F we can find a nonseparating meridian.
Let Îł1 and Îł2 be components of âF which can be connected by paths tothe two sides of δ (possibly Îł1 = Îł2). If Îą is any essential embedded arc inF with endpoints on Îł1 and Îł2 then Îą can be extended to an embedded arcmeeting δ on opposite sides. A band sum between two copies of δ along thisarc yields a new meridian δâ˛.
If δ is not isotopic to either Îł1 or Îł2, then the essential intersection of δâ˛
with F is two copies of the arc Îą, so that ĎF (δâ˛) = Îą. If it is isotopic to Îł1
or Îł2 (or both), then ĎF (δâ˛) is an arc or closed curve contained in a regularneighborhood of Îą ⪠γ1 ⪠γ2.
We now need to show that for every vertex β â AC(F ), there is a path oflength at most 2 from β to ĎF (δâ˛), for some choice of Îą.
Suppose first that Îł1 = Îł2. In this case δ cannot be isotopic to Îł1, becauseÎł1 cannot be connected to both sides of δ without going through anotherboundary component of F . Hence in this case ĎF (δâ˛) = Îą. Since F is notan annulus, cutting along β gives a surface Fβ no component of which isa disk. If the component of Fβ containing Îł1 is not an annulus then anessential arc Îą disjoint from β and with endpoints on Îł1 exists in F . Thisgives dAC(F )(β, ĎF (D(H))) ⤠1. If the component of Fβ containing Îł1 isan annulus let βⲠbe an arc or curve in the other component. Apply theprevious case to βⲠto obtain dAC(F )(β, ĎF (D(H))) ⤠2.
Suppose now Îł1 6= Îł2. If β is disjoint from Îł1 and Îł2 and doesnât separatethem, then we can choose Îą connecting Îł1 and Îł2 and disjoint from β, sothat dAC(F )(β, ĎF (δâ˛)) ⤠1.
If β does separate Îł1 from Îł2, let X1 and X2 be the components of F rβ.If one of them is non-planar, it contains a nonseparating closed curve βâ˛, sothat dAC(F )(βâ˛, ĎF (δâ˛)) ⤠1 and hence dAC(F )(β, ĎF (δâ˛)) ⤠2.
If both Xi are planar, and F is not a 4-holed sphere, then at least one,say X1, has two boundary components other than β and Îł1 or Îł2. An arc βâ˛
connecting those boundary components is disjoint from Îł1 and Îł2 and doesnot separate them, so again we are done using the previous cases.
Now suppose β is an arc with endpoint on Îł1 or Îł2, or both. If it hasendpoints on both, then choose Îą = β, and note that β is disjoint fromĎF (δâ˛) in all cases. If β meets just Îł1, say, let Îą be an arc connecting
6 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
Îł1 and Îł2 and disjoint from β, and consider a regular neighborhood N ofÎł1 ⪠γ2 ⪠ι ⪠β. Then âN r âF is either an arc or a pair of closed curveswhich is disjoint from β, Îł1, Îł2 and Îą. The arc, and at least one of the closedcurves, is essential as long as F is not a 4-holed sphere. Let βⲠbe this curveor arc, and again we see that the distance from β to ĎF (δâ˛), via βâ˛, is 2.
We have yet to handle the case that F is a 4-holed sphere, and β separatesÎł1 from Îł2. Choose Îą to be an arc intersecting β exactly once. In this case,ĎF (δâ˛) is either Îą or a closed curve separating Îł1 ⪠γ2 from the other twoboundary components, and one can check that dAC(F )(β, ĎF (δâ˛)) ⤠3.
Finally we consider the case that F is an annulus. As before there is ameridian δ that separates the boundaries of F in ÎŁrF . We may assume thatδ is not isotopic to âF , because if it were then its complement would containother meridians disjoint from F . Let ιⲠbe an embedded arc connecting thetwo sides of δ and passing essentially through F , and let δⲠbe the result ofthe band sum, as before.
Let F â ÎŁ be the compactified annular cover associated to F . There isa lift Îą of ιⲠto F connecting lifts δ1 and δ2 of δ which meet opposite sidesof âF . There is then a lift δⲠof δⲠdisjoint from δ1 ⪠ι ⪠δ2, and connectingopposite sides of F . This is a representative of ĎF (δâ˛).
A Dehn twist of ιⲠaround F has the following effect on δâ˛: it performs asingle Dehn twist about the core of F , as well as a homotopy of the endpointsof δⲠwhich stays outside of the disks Di cobounded by δi and âF (i = 1, 2).
Now let β be an arc representing a vertex of AC(F ). There exists adisjoint arc βⲠwhose endpoints lie in D1 and D2. It follows that after n
Dehn twists on ιⲠwe obtain an arc Îąn whose associated δâ˛n has lift δâ˛n whichis disjoint from βâ˛. We conclude that dAC(F )(β, ĎF (δâ˛n) ⤠2.
ďż˝
3. Sweepout pairs
In this section we discuss sweepouts of a 3-manifold representing a Hee-gaard splitting, and consider the interaction of pairs of sweepouts using theRubinstein-Scharlemann graphic and generalizations of the notions of mostlyabove and mostly below from Johnson [9]. We will formulate relative ver-sions of these which allow us to consider subsurfaces, and from this developa relative version of the spanning and splitting relations from [9].
Sweepouts. Given a 3-manifold M , a sweepout of M is a smooth functionf : M â [â1, 1] so that each t â (â1, 1) is a regular value, and the level setfâ1(t) is a Heegaard surface. Furthermore each of the sets Î+ = fâ1(1) andset Îâ = fâ1(â1) are spines of the respective compression bodies. Whenthis happens we say the sweepout represents the Heegaard splitting associ-ated to each level surface. It is clear (with a bit of attention to smoothnessat the spines) that every Heegaard splitting can be represented this way.
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 7
Two sweepouts f and h of M determine a smooth function f Ă h : M â[â1, 1]Ă [â1, 1]. The differential D(fĂh) has rank 2 (or dim Ker(D(fĂh))= 1) wherever the level sets of f and h are transverse. Thus we define thediscriminant set â to be the set of points of M for which dim Ker(D(f Ăh)) > 1. The discriminant, and its image in [â1, 1]Ă[â1, 1], therefore encodethe configuration of tangencies of the level sets of f and h.
A smooth function Ď : M â N between smooth manifolds M,N is stableif there is a neighborhood U of Ď in Câ(M,N) such that any map Ρ â Uis isotopic to Ď through a family of maps in U . (We say that Ρ and Ďare isotopic when there are diffeomorphism β : M â M and Îą : N â N ,isotopic to the identity, such that Îą ⌠Ρ ⌠β = Ď.) Here the topology onCâ(M,N) is the Whitney topology, also known as the strong topology onCâ. This topology differs from the weak (compact-open) topology on Câ
for non-compact domains, which is relevant here since we consider stabilityon the complement of the spines.
Kobayashi-Saeki [12] show that, after isotopies of f and h, one can arrangethat fĂh is stable on the complements of the four spines. When that holds,the kernel of D(f Ă h) (off the spines) is always of dimension at most 2 andit follows from Mather [16] that â is a smooth manifold of dimension one.
The image (f Ă h)(â) is a graph in [â1, 1] Ă [â1, 1] with smooth edges,called the graphic, or the Rubinstein-Scharlemann graphic (See Rubinstein-Scharlemann [18]).
We call f Ă h generic if it is stable away from the spines and each arc[â1, 1]Ă{s} in the square intersects at most one vertex of the graphic. Thefollowing lemma of Kobayashi-Saeki [12] justifies this term:
Lemma 3.1. Any pair of sweepouts can be isotoped to be generic.
Suppose therefore that f Ă h is generic. Points in the square are denotedby (t, s), and we define the surfaces Îs = hâ1(s) and ÎŁt = fâ1(t). If thevertical line {t}Ă[â1, 1] meets no vertices of the graphic, then h|ÎŁt is Morse,and its critical points are ÎŁtâŠâ. In particular the fact that a Morse functionhas at most one singularity at any level corresponds to the fact that the mapfrom â to the graphic is one-to-one over the smooth points of the graphic.If v = (t0, s0) is a vertex, we see certain transitions as t passes through t0.
(1) Cancelling pair: If v has valence 2, then the edges of the graphicincident to v are either both contained to the left of {t0}Ă (0, 1), orboth to the right of it. As t passes through t0, a pair of singularitiesof h|ÎŁt , one saddle and one min or max (which we call central), iscreated or annihilated.
(2) Simultaneous singularities: If v has valence 4, it is the intersection ofthe images of two disjoint arcs of â. Hence there are two singularitieswhose relative heights are exchanged as t passes through t0. Thesecan be either saddle or central singularities. Note that the singular-ities cannot coalesce, for example in a monkey saddle, as they pass
8 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
each other, since that would produce a vertex in the discriminantset â, contradicting the fact that it is a smooth 1-manifold.
Vertices on the boundary of the square can have valence either one ortwo; we will however not need to consider these.
Above and below. Let f and h be sweepouts for a manifold M , represent-ing the Heegaard splittings (ÎŁ,Hâ,H+) and (Î, V â, V +), respectively. Foreach s â (â1, 1), define V â
s = hâ1([â1, s]) and V +s = hâ1([s, 1]). Note
that Îs = âV âs = âV +
s Similarly, for t â (â1, 1), Hât = hâ1([â1, t]),
H+t = hâ1([t, 1]) and ÎŁt = âHâ
t = âH+t .
Throughout the rest of the paper, let F â ÎŁ denote a compact, connected,essential subsurface, where âessentialâ means that no boundary componentof F bounds a disk. We exclude 3-holed spheres. Let Ft be the image ofF under the identification of ÎŁ with ÎŁt determined up to isotopy by thesweepout.
Definition 3.2. We will say that ÎŁt is mostly above Îs with respect to F ,denoted
ÎŁt ďż˝F Îs,
if ÎŁt ⊠V âs is contained in a subsurface of ÎŁt that is isotopic into the com-
plement of Ft (or is just contained in a disk, when F = ÎŁ). Similarly, ÎŁt ismostly below Îs with respect to F , or
ÎŁt âşF Îs,
if Σt ⊠V +s is contained in a subsurface that is isotopic into the complement
of Ft (or contained in a disk).
The case that F = ÎŁ corresponds to the notion of mostly above and mostlybelow from [9]. We will mostly be concerned with the case that F is a propersubsurface.
Define RFa (respectively RF
b ) in (â1, 1)Ă (â1, 1) to be the set of all values(t, s) such that ÎŁt ďż˝F Îs (respectively ÎŁt âşF Îs). When F = ÎŁ these arethe sets Ra and Rb of [9].
Figure 1 illustrates some typical configurations of RFa and RF
b . Theirbasic properties are described in the following lemma.
Lemma 3.3. Let fĂh be a generic sweepout pair, and let F be an essentialsubsurface of ÎŁ. If F is an annulus assume it is not isotopic into Î.
The sets RFa and RF
b are disjoint, open and bounded by arcs of the graphic,so that all interior vertices appearing in âRF
a or âRFb have valence 4.
Moreover RFa and RF
b intersect each vertical line in a pair of intervals asfollows: For each t â (â1, 1), there are values x ⤠y â (â1, 1) such that
(t, s) â RFa ââ s â (â1, x)
and(t, s) â RF
b ââ s â (y, 1).
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 9
Figure 1. Four partial graphics of pairs f Ăh of sweepouts.In the top two graphics, h F -spans f . In the bottom left,h F -splits f . In the bottom right, h F -spans f again butthe switch between mostly above and mostly below happenstwice along the horizontal arc shown.
Proof. We assume F is a proper subsurface of S (the case F = ÎŁ was donein Johnson [9], and our argument is a direct generalization). Openness ofRF
a and RFb is clear from the definition. If the sets intersect then we may
select a point (t, s) in the intersection which is not in the graphic, so thatÎŁt ⊠Îs is a 1-manifold. This 1-manifold divides ÎŁt into two subsurfacesXâ = ÎŁt ⊠V â
s and X+ = Σt ⊠V +s , each of which can be isotoped off Ft.
But this is impossible: If Xâ can be isotoped off Ft, then after isotopy,X+ contains Ft and hence canât be isotoped away from Ft, unless Ft is anannulus. If Ft is an annulus, this means it is isotopic to a neighborhoodof the common boundary between X+ and Xâ, which is isotopic into Îs
contradicting the assumption. We conclude that RFa and RF
b are disjoint.
Now let (t, s) â (0, 1) Ă (0, 1) be any point which is not on the graphic.Again ÎŁt and Îs are transverse, and hence a small perturbation of (t, s)would yield an isotopic intersection pattern. In particular a small neighbor-hood of (t, s) is either contained in RF
a or in its complement (and similarlyfor RF
b ). It follows that the boundary must be contained in the graphic.
10 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
Let (t, s) â RFa . Then ÎŁt ⊠V â
s can be isotoped out of Ft. Since V âs
monotonically increases with s, the same must hold for each sⲠ< s. Hencethe set {s : (t, s) â RF
a } must, if non-empty, be an interval of the form(â1, x). It is non-empty because, for small enough s, V â
s is a small regularneighborhood of a spine and so intersects ÎŁt in a union of disks. Similarlywe find that {s : (t, s) â RF
b } has the form (y, 1). Finally, x ⤠y followsfrom the disjointness of RF
a and RFb .
It remains to show that only 4-valent vertices appear in the boundary ofRF
a and RFb . Suppose v is a 2-valent vertex in âRF
a , say. Then there is aneighborhood U of v which intersects the graphic in a pair of arcs incident tov, which lie on one side of the vertical line through v. Such a pair separatesU into two pieces, and hence is equal to âRF
a ⊠U . This contradicts whatwe have just proven about the intersection of RF
a with vertical lines.ďż˝
Relative spanning and splitting. The relations of spanning and splittingwere introduced in [9] for pairs of sweepouts. Here we will extend this notionto spanning and splitting relative to a subsurface F .
Definition 3.4. We say that h F -spans f if there is a horizontal arc [â1, 1]Ă{s} in (â1, 1)Ă (â1, 1) that intersects both RF
a and RFb .
In other words, h F -spans f if there are values s, tâ, t+ â [â1, 1] suchthat ÎŁtâ âşF Îs while ÎŁt+ ďż˝F Îs.
Figure 1 also shows examples of graphics of pairs of sweepouts that donâtspan, or that span with two distinct such arcs.
The complementary situation is the following:
Definition 3.5. We say that h weakly F -splits f if there is no horizontalarc [â1, 1]Ă {s} that meets both RF
a and RFb .
A somewhat stronger condition which under some circumstances is equiv-alent, is the following:
Definition 3.6. We say that h F -splits f if, for some {s} â (â1, 1), the arc[â1, 1]Ă {s} is disjoint from the closures of both RF
a and RFb .
We extend these notions to pairs of Heegaard splittings with no sweepoutspecified: That is, if Î and ÎŁ are Heegaard surfaces and there exist somesweepouts h and f representing Î and ÎŁ, respectively, such that f Ă h isgeneric and h F -splits f for some F â ÎŁ, we say that Î F -splits ÎŁ; andsimilarly for F -spanning and weak F -splitting.
Dichotomy. By definition F -spanning and weak F -splitting are comple-mentary conditions. Generically, F -spanning and F -splitting are comple-mentary as well, i.e. weak F -splitting implies F -splitting. The proof pro-ceeds along the lines of [9], except when F is one of a short list of low-complexity surfaces, when weak F -splitting becomes a distinct case:
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 11
Lemma 3.7. Let f and h be sweepouts for M , and F a connected, essentialsubsurface of the Heegaard surface ÎŁ represented by f . Suppose that f Ă his generic.
If F is not an annulus, 4-holed sphere or a 1-holed or 2-holed torus, then
h weakly F -splits f =â h F -splits f .
Equivalently, either h F -spans f , or h F -splits f .In the exceptional cases, if h weakly F -splits f but does not F -split, then
there exists a unique horizontal line [â1, 1]Ă {s} which meets both closuresRF
a and RFb in a single point, which is a vertex of the graphic.
Proof. By Lemma 3.3 the set of heights of horizontal lines meeting RFa has
the form (â1, x) and the set of heights of horizontal lines meeting RFb has
the form (y, 1). If h does not F -span f , then these sets are disjoint so x ⤠y.If x < y then any line with height s â (x, y) misses both R
Fa and R
Fb , so
that h F -splits f , and we are done.If x = y then the line [â1, 1]Ă{x} meets a maximum-height point of R
Fa
as well as a minimum-height point RFb . Such a point lies on the graphic
by Lemma 3.3 and it must be a vertex, for the only other possibility is aninterior horizontal tangency of the graphic. Such a tangency corresponds toa critical point of h away from the spine, which is ruled out by definition ofa sweepout (see [10] for details).
Since f Ă h is generic, a horizontal line can only meet one vertex, sothe maximum of RF
a and the minimum of RFb are the same vertex (t, x)
of the graphic. It remains to show that this can only happen in the givenexceptional cases.
The fact that (t, x) is a vertex (of valence 4 by Lemma 3.3) means that thefunction ht ⥠h|ÎŁt has two critical points on Π⥠hâ1
t (x). Choose xâ < x+
so that x is the unique critical value in [xâ, x+], and let
Q = hâ1t ([xâ, x+]),
which is a regular neighborhood of Î in ÎŁt. Since (t, xâ) â RFa , the subsur-
face Yâ ⥠hâ1t ([â1, xâ]) can be isotoped out of Ft. Since (t, x+) â RF
b , thesubsurface Y+ ⥠hâ1
t ([x+, 1]) can also be isotoped out of Ft. EquivalentlyFt can be isotoped out of each of Yâ and Y+, and it follows that this can bedone simultaneously (this is a general property of surfaces). Therefore afterthis isotopy we find that Ft â Q.
However Q cannot be very complicated â since hâ1t (x) has two critical
points, Q is a disjoint union of annuli, disks, 3-holed spheres and possiblyone component that is a 4-holed sphere or 2-holed torus. (The detailedanalysis of possibilities for Q, which we will need in Section 6, will be donein Section 5.) The only essential subsurfaces of ÎŁt that can embed in Q aretherefore annuli, 3-holed spheres, 4-holed spheres, and 1- and 2-holed tori.This takes care of all the exceptional cases.
ďż˝
12 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
4. Spanning implies coherence
In this section we consider the F -spanning case, for which we can showthat the surface F is isotopic into Î.
Proposition 4.1. Let ÎŁ and Î be Heegaard surfaces in a 3-manifold M andlet F â ÎŁ be a proper connected essential subsurface. If Î F -spans ÎŁ thenafter isotoping Î we obtain a surface whose intersection with ÎŁ contains F .
Proof. Let f and h be sweepouts representing ÎŁ and Î, respectively, suchthat h F -spans f and f Ă h is generic. Hence there is a level surface Îs
and values tâ, t+ â (â1, 1) such that ÎŁtâ âşF Îs and ÎŁt+ ďż˝F Îs. We mayassume without loss of generality that tâ < t+.
We may identify the complement of the spines of f , namely fâ1((â1, 1)),with ÎŁ Ă (â1, 1) in a way that is unique up to level-preserving isotopy.Consider the sub-manifold F ĂJ â M , where J = [tâ, t+]. Because ÎŁtâ âşF
Îs, the handlebody V +s = hâ1([s, 1]) intersects ÎŁ Ă {tâ} in a set that can
be isotoped outside of F Ă {tâ}; equivalently, the subsurface F Ă {tâ} canbe isotoped within ÎŁ Ă {tâ} so that it is contained in V â
s . Similarly, sinceÎŁt+ ďż˝F Îs, we can isotope the surface F Ă {t+} inside ÎŁĂ {t+} so that itis contained in V +
s . After a level-preserving isotopy of ÎŁĂ (â1, 1), we maytherefore assume that F Ă{tâ} and F Ă{t+} are contained in V â
s and V +s ,
respectively. The surface S = Îs âŠF Ă J therefore separates F Ă{tâ} fromF Ă {t+} within F Ă J , since Îs separates V â
s from V +s .
Note that a surface in F ĂJ with boundary in âF ĂJ separates F Ă{tâ}from F Ă {t+} if and only if its homology class in H2(F Ă J, âF Ă J) isnonzero.
Compressing S if necessary, we obtain an incompressible surface in thesame homology class. Let SⲠbe a connected component which is still nonzeroin H2(F ĂJ, âF ĂJ). Then SⲠseparates F Ă{tâ} from F Ă{t+} and hence(up to orientation) must be homologous to FĂ{tâ}. The vertical projectionof SⲠto F Ă {tâ} is therefore a proper map which is Ď1-injective and ofdegree Âą1. By a covering argument it must also be Ď1-surjective, and henceTheorem 10.2 of [6] implies that SⲠis isotopic to a level surface F Ă {t}.
Making the isotopy ambient and keeping track of the 1-handles corre-sponding to the compressions that gave us Sâ˛, we can obtain an isotopiccopy of Î which contains F Ă {t} minus attaching disks for the 1-handles.Now we can slide these disks outside of F Ă {t}. Hence Î itself is isotopicto a surface containing F Ă {t}, as claimed.
ďż˝
5. Saddle transitions
In this section we examine more carefully the intersections ÎŁt ⊠Îs, andthe relationship between their regular neighborhoods in the two surfaces.
Fix (t, s) for the rest of this section. The interesting case is when (t, s) liesin the graphic, and hence the surfaces are not transversal, or equivalently, t
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 13
is a critical value of f |Îs and s is a critical value of h|ÎŁt . As in the proof ofLemma 3.7, take an interval [sâ, s+] in which s is the only critical value ofh|ÎŁt (if any), and let
Q = (h|ÎŁt)â1([sâ, s+]) â ÎŁt.
Similarly choose an interval [tâ, t+] containing t with no other critical valuesof f |Îs , and define
Z = (f |Îs)â1([tâ, t+]) â Îs.
Then Q is a regular neighborhood of Π⥠Σt ⊠Îs in ÎŁt, and Z is a regularneighborhood of Î in Îs.
To compare Q and Z, fix an identification of fâ1((â1, 1)) with ÎŁĂ(â1, 1)such that f becomes projection to the second factor, and let
p : fâ1((â1, 1)) â ÎŁ
denote the projection to the first factor. For convenience identify ÎŁ with ÎŁt
so that p : ÎŁt â ÎŁ can be taken to be the identity. Now we can comparep(Z) to Q within ÎŁ.
The trivial case is that of a component of Î that contains no criticalpoints; in this case the components of Q and Z that retract to it are bothannuli and the restriction of p is homotopic to a diffeomorphism betweenthem. Let us record this observation:
Lemma 5.1. Two level curves of f |Î which are not separated by criticalpoints have homotopic p-images in ÎŁ.
ďż˝
Another simple case is of a component of Î which is an isolated (hencecentral) singularity, and the corresponding components of Q and Z are disks.
If Î0 is a component containing one saddle singularity, then it is a figure-8 graph, and both associated components Q0 â Q and Z0 â Z must be3-holed spheres, or pairs of pants. In this case we have:
Lemma 5.2. If Î0 is a figure-8 component of Î then p|Z0 is homotopic to adiffeomorphism Z0 â Q0. In particular p(âZ0) is homotopic to a collectionof simple disjoint curves in ÎŁ.
Recall that for any point of the graphic that is not a vertex, Î containsexactly one singularity, so if it is a saddle we have exactly one such figure-8component of Î.
Proof. Because each boundary curve of Z0 lies on a level surface ÎŁtâ or ÎŁt+ ,it is embedded by p. On the other hand it is homotopic to an essential curvein Î0, and since p is continuous the same is true for its image in ÎŁ. Theonly essential simple curves in a 3-holed sphere are parallel to boundarycomponents, so p(âZ0) is homotopic to âQ0. The lemma follows.
ďż˝
14 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
The most complicated case is that of a component Î0 â Î that containstwo saddle singularities. There are only two possible isomorphism types forÎ0 as a graph with two vertices of valence 4, and a total of three ways thatÎ0 can embed as a level set of a function with nondegenerate singularities.These are indicated in Figure 2, which applies to both Q0 and Z0.
Figure 2. The three possible types for Q0 or Z0, depictedas immersed surfaces in the plane with the level set Î0 inheavy lines. The first and third are 4-holed spheres and thesecond is a 2-holed torus.
To understand how p looks in this case, note first that at the vertices ofÎ0 the surfaces are tangent so p is a local diffeomorphism. Hence it eitherpreserves or reverses orientation at these points. This determines the localpicture of Q0 and Z0 at each tangency, and the rest of the configurationis determined by how Z0 attaches along the edges of Î0. Either the twoorientations match or they do not. When they match, one sees that p|Z0 ishomotopic to a diffeomorphism â we call this the untwisted case. If theydo not match â the twisted case â then in fact Q0 and Z0 may not even bediffeomorphic. The three twisted cases are depicted in Figure 3, where inthe first case Q0 is a 4-holed sphere and Z0 a 2-holed torus, in the middlecase they change roles, and in the third case both are 4-holed spheres but pis not homotopic to a diffeomorphism.
Note as in Lemma 5.2 the boundary curves of Z0 are mapped to simplecurves; however in the twisted case their images are not disjoint. Theirintersections are prescribed by Figure 3, and we wish to record somethingabout how they look from the point of view of our subsurface F . In fact theonly time that this double-saddle case actually occurs is when h weakly F -splits f , and (t, s) is the vertex in the intersection of RF
a and RFb , as discussed
in Lemma 3.7. In this case F (up to isotopy) lies in Q0, which allowed usto conclude in Lemma 3.7 that it must be in one of the exceptional cases.
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 15
Figure 3. The twisted cases of Q0 and Z0. In each caseQ0 is depicted immersed in the plane, while Z0 intersects it.The parts of Z0 above the plane are shaded darker than theparts below. â+Z0 is a heavy line, ââZ0 is dotted. The mapp is essentially projection to the plane.
Now divide up âZ0 as â+Z0 = Z0 ⊠fâ1(t+) and ââZ0 = Z0 ⊠fâ1(tâ),each of which is embedded by p.
Lemma 5.3. Suppose that h weakly F -splits f , (t, s) is the vertex comprisingRF
a âŠRFb , and Î0 is the component of Î = ÎŁtâŠÎs whose regular neighborhood
Q0 in ÎŁt contains F . Let Z0 be the regular neighborhood of Î0 in Îs.If two components Îą+ â p(â+Z0) and Îąâ â p(ââZ0) intersect F â Q0
essentially, thendF (Îą+, Îąâ) ⤠3.
Proof. In the untwisted case all boundary components of Z0 map to bound-ary components of Q0, and hence are peripheral and the lemma holds vacu-ously. The same occurs (via Lemma 5.2) if Q0 is a 3-holed sphere and F isan annulus. We therefore consider the twisted cases from now on.
Consider first the case that F is actually isotopic to Q0. Note that sinceF is essential it can only be a proper subsurface of Q0 if F is an annulus, orif F is a 1-holed torus and Q0 is a 2-holed torus. We return to these casesin the end.
We can read off Îą+ and Îąâ from the diagrams in Figure 3: they arecomponents of the thickened curves and the dotted curves, respectively. Incase (1), they intersect each other four times, and one can see from Figure4(a) that they are connected by a chain of length 3 in which the two middlevertices are the arcs bÂą in the figure. In case (2) each possible Îąâ intersectseach possible Îą+ exactly once, and it is easy to see that the distance is 2. Incase (3) they intersect twice (here two components are actually inessentialin Q0, so we must consider the others), and again the distance is 3.
16 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
Figure 4. Checking that dAC(Q0)(Îą+, Îąâ) = 3
Consider now the case that Q0 is a 2-holed torus â case (2) of Figure3 â and F is a 1-holed torus. Again Îą+ and Îąâ intersect exactly once,therefore their intersections with F (if any) intersect at most once. Hencetheir distance in AC(F ) is at most 3.
Finally we consider the case that F is an annulus. We can assume F isnot boundary-parallel in Q0, because otherwise it would not intersect âZ0
essentially. The possibilities for Q0 are again enumerated in Figure 3.In case (1), let (Îą+, b+, bâ, Îąâ) be the sequence from Figure 4(a). We
claim that if F intersects Îą+ and Îąâ essentially then it must intersect b+
and bâ essentially as well. This is because if F misses bâ it must be parallelto Îąâ, and similarly for b+ and Îą+. This will imply that the same sequencegives a distance bound of 3 in AC(F ), provided we understand how to liftthe arcs bÂą to the annulus complex.
The boundary components of Q0 lift to a union Î of boundary-parallelarcs in the annulus F (see Figure 5). The arcs bÂą lift to disjoint arcs con-necting components of Î, and since they cross F essentially, we can chooselifts with endpoints on arcs of Î adjacent to opposite sides of F . Given sucha lift, we can join its endpoints to âF using arcs in the disks bounded by thecomponents of Î that it meets. This results in disjoint properly embeddedarcs bÂą, such that b+ is disjoint from the lifts of Îą+ because the latter nevercross Î, and similarly for Îąâ. We conclude that dAC(F )(Îą+, Îąâ) ⤠3.
In case (2), Figure 3 shows that any choice of Îą+ and Îąâ intersect exactlyonce. If they intersect F essentially, by the argument given in [?, §2.1] theirlifts to F cross at most twice. We conclude that the distance in AC(F ) isat most 3.
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 17
Figure 5. Lifting curves and arcs to the annulus F .
In case (3) we can use exactly the same argument as for case (1), usingthe arcs in Figure 4(b).
ďż˝
6. Splitting bounds distance
In this section we put together the results obtained so far to show thatF -splitting gives a bound on dF (ÎŁ).
Proposition 6.1. Let ÎŁ and Î be Heegaard surfaces for M , and let F â ÎŁbe a proper connected essential subsurface. If Î F -splits ÎŁ then
dF (ÎŁ) ⤠2g(Î).
If Î weakly F -splits ÎŁ then
dF (ÎŁ) ⤠2g(Î) + 2.
Proof. Choose sweepouts h and f with f Ă h generic, such that h F -splitsf or weakly F -splits f , according to our hypothesis.
In the F -splitting case there is a value s such that [â1, 1]Ă{s} is disjointfrom the closures of RF
a and RFb . In particular this means that there is
an interval of such values and we may choose one such that [â1, 1] Ă {s}meets no vertices of the graphic. It follows that the function f |Îs is a Morsefunction, having at most one critical point per critical value. We fix this sand henceforth identify Î with Îs.
In the weak F -splitting case there is a value of s such that [â1, 1] Ă {s}intersects the closures of RF
a and RFb only at their unique intersection point,
which is a vertex (t, s) that we will call the weak splitting vertex. We againfix this s and let Î = Îs.
The proof proceeds along the following lines: The intersections Π⊠Σt
are the level sets of f |Î, and the idea is to consider them as curves on ÎŁ,argue using the F -splitting property that they intersect F essentially, and
18 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
then use the topological complexity of Î to bound the diameter in AC(F )of the corresponding set. This kind of argument originates with Kobayashi[11]. It was extended in various ways by Hartshorne [4], Bachman-Schleimer[1], Scharlemann-Tomova [19] and Johnson [9]. Our argument is a directextension of the one used in [9].
We use the map p : fâ1((â1, 1)) â ÎŁ, as in Section 5, to map level curvesof f |Î into ÎŁ. The lemmas in Section 5 will help us control what happensas we pass through critical points of f |Î.
One important complication is the possibility that curves that are es-sential in one surface are trivial in the other. To handle this we adapt anargument of [9]:
Lemma 6.2. If dF (ÎŁ) > 3, then there is some non-trivial interval [u, v] â(â1, 1) such that for each regular t â [u, v], every loop of ÎŁtâŠÎ that is trivialin Î is trivial in ÎŁt.
Here and below when we say t is regular we mean it is a regular value forf |Î.
Proof. As in Lemma 5.1, the isotopy classes in Σ of level sets of f |Πareconstant over an interval between two critical values. Thus it suffices to finda single regular value t such that every loop of Σt ⊠Πthat is trivial in Πistrivial in Σt.
Note also that if ÎŁ r F is compressible to at least one side of ÎŁ thendF (ÎŁ) ⤠3 by Lemma 2.1. Hence we may assume that every disk in H+ orHâ intersects F .
Assume, seeking a contradiction, that for every regular t there is a loopof ÎŁt âŠÎ that is essential in ÎŁt and trivial in Î. We can assume this loop isinnermost within Î among intersection loops that are essential in ÎŁt. Withinthe disk that it bounds in Î there might still be intersection loops that aretrivial in both surfaces, but after some disk exchanges we see that we havea loop of ÎŁt ⊠Πwhich bounds an essential disk in Hâ
t or H+t . The loops
of ÎŁt ⊠Î, for regular values of t, are pairwise disjoint in ÎŁt, so if there areloops of ÎŁt ⊠Πthat bound disks on opposite sides of ÎŁt then dF (ÎŁ) ⤠1.Note we are using here the fact that all such disks must meet F essentially.
If Î F -splits ÎŁ and s has been chosen as above, then for a non-regularvalue t0, there is a unique critical point. If it is a saddle point then Lemma5.2 tells us that the p-images of loops of intersection of ÎŁtâŠÎ for the regularvalues t just before t0 and just after t0 are also pairwise disjoint in ÎŁ. Wecall this a saddle transition. So if the loops switch from bounding a diskon one side of ÎŁt0 to the other, we again find that the distance dF (ÎŁ) is atmost one. If the point is a central singularity then (again referring to §5)it corresponds to the appearance or disappearance of a level curve whichis trivial in both Î and ÎŁ, and so can be ignored. We call this a centraltransition.
If Î weakly F -splits ÎŁ and s has been chosen as above, then a non-regularvalue t0 could occur at the weak splitting vertex, (t0, s). In this case, recall
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 19
that F is in one of the exceptional cases, and by Lemma 5.3, any level curvesjust before and just after t0 which intersect F essentially have distance atmost 3 in AC(F ). Hence we obtain dF (Σ) ⤠3 if these loops correspond todisks on opposite sides.
Now, for t near â1, all the loops of intersection bound disks on the neg-ative side of ÎŁt and for t near 1, they all bound disks on the positive side.Hence they must switch sides at some point, thus implying dF (ÎŁ) ⤠3. Weconclude that there is some regular value t for which the assumption doesnot hold. Thus the first paragraph gives the desired interval [u, v].
ďż˝
For a regular value t â (â1, 1) of f |Î, let Lt denote the set of nontrivialisotopy classes in ÎŁ of the p-images of the curves of (f |Î)â1(t). For aninterval J â (â1, 1) let LJ denote the union of Lt over regular t â J .
We now observe that for each regular t â (â1, 1), Lt contains a curvethat intersects F essentially, and in particular ĎF (Lt) is nonempty. This isbecause both F -splitting and weak F -splitting tell us that (t, s) is in neitherRF
a nor RFb (it cannot be the weak splitting vertex since t is regular), so
that both V +s ⊠Σt and V â
s ⊠Σt cannot be isotoped off Ft in Σt, and henceneither can their common boundary.
We can now bound the diameter in AC(F ) of L[u,v] for [u, v] satisfyingthe conclusion of Lemma 6.2.
Lemma 6.3. Let [u, v] be an interval such that for each regular t â [u, v],every loop of ÎŁt ⊠Πthat is trivial in Î is trivial in ÎŁt. If (u, v) Ă {s}encounters no vertices of the graphic then
diamF (L[u,v]) ⤠2g(Î)â 2.
If (u, v)Ă {s} meets the weak splitting vertex then
diamF (L[u,v]) ⤠2g(Î)â 1.
Proof. The critical values of f |Î cut [u, v] into intervals. Let t0 < ¡ ¡ ¡ < tn â(u, v) be a selection of one regular point for each interval. Then âŞiLti =L[u,v].
Consider the transition from Lti to Lti+1 . If it is a central transition thenonly the loss or gain of a curve trivial in both Î and ÎŁ is involved. HenceLti = Lti+1 .
Suppose it is a saddle transition (as in the proof of Lemma 6.2), but thatat least one of the curves of the associated 3-holed sphere is trivial in Î.Then its p-image is trivial in ÎŁ, and the remaining two curves are trivial orhomotopic. Once more Lti = Lti+1 .
If it is an essential saddle transition, meaning all three boundary curvesare essential in Î, then Lemma 5.2 implies that all the curves of Lti andLti+1 are pairwise disjoint.
Suppose we are in the first case, where (u, v)Ă{s} encounters no verticesof the graphic. Then these transitions are the only possibilities.
20 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
Since every Lti intersects F essentially we find that each Âľi ⥠ĎF (Lti) isnonempty, and two successive Âľi are equal unless they differ by an essentialsaddle, in which case they are at most distance 1 apart. Since the pantsthat occur among level sets of f |Î are all disjoint, and since the number ofdisjoint essential pants in Î is bounded by âĎ(Î) = 2g(Î) â 2, this givesthe desired bound on diam(ĎF (L[u,v])).
If (u, v) Ă {s} meets the weak splitting vertex then, as in the proof ofLemma 6.2, we apply Lemma 5.3 to show that the curves before and afterhave distance at most 3 in AC(F ). On the other hand such a transition usesup two saddles. If we can show that both are essential in Î, this will makeour count higher by just 1, i.e. we get a bound of 2g(Î) â 1. We thereforeproceed to show this.
Note first that only the twisted case can occur here: If Q0 and Z0 are inthe untwisted case then in fact p(âZ0) is isotopic to âQ0 and hence does notintersect F . This means that for the level ti just after (or before) the weaksplitting vertex, Lti does not intersect F , which is a contradiction. Hencethis case cannot happen.
Recall that in the weak splitting case F is isotopic into Q0 (notation asin Section 5). Suppose Q0 is an essential subsurface of ÎŁ (which holds inparticular whenever F is isotopic to Q0, since F itself is essential). By thehypothesis on [u, v] the boundary curves of Z0 cannot be trivial in Î sincethey map to nontrivial curves in Q0. Hence Z0 is essential in Î so bothsaddles are essential.
Suppose that Q0 is not essential in ÎŁ, and hence F is a proper subsurfaceof Q0. If Q0 is a 4-holed sphere, as in cases (1) and (3) of Figure 3, thenF must be an annulus. Since at least one of the boundary components ofQ0 is inessential in ÎŁ, F must be isotopic to one of the remaining essentialboundary components of Q0. This means that F has no essential intersec-tions with âZ0, which as above contradicts the fact that Lti always intersectsF essentially.
If Q0 is a 2-holed torus, as in case (2) of Figure 3, then we observe thatnone of the boundary curves of Z0 can be inessential in ÎŁ, since each one hasexactly one intersection point with one of the others. Hence they must benontrivial in Î as well, so again we get two essential saddles, and thereforeobtain a bound of 2g(Î)â 1.
ďż˝
We are now ready to complete the proof of Proposition 6.1.
If dF (Σ) ⤠3 then the claim of Proposition 6.1 follows immediately, sincewe assumed Πhas genus at least two. Hence we may assume that dF (Σ) > 3.
In particular we can obtain at least one interval [u, v] satisfying the con-clusion of Lemma 6.2. Note that if two such intervals intersect then theirunion also satisfies the conclusion of Lemma 6.2. Hence we can let [u, v] bea maximal such interval. The endpoints u and v must be critical values, elsewe could enlarge the interval. Note also u > â1, since for t close to â1,
HEEGAARD SPLITTINGS WITH LARGE SUBSURFACE DISTANCES 21
ÎŁt is the boundary of a small neighborhood of the spine fâ1(â1) and sointersects Î in small circles that bound disks in Î but are essential in ÎŁt.Similarly we see v < 1. Let uⲠ< u be a regular value not separated fromu by any critical values. Then Π⊠ΣuⲠmust contain a component β that istrivial in Î but essential in ÎŁuⲠ.
Moreover β must in fact be trivial in the handlebody fâ1([â1, uâ˛]) â inother words β determines an element of D(Hâ). To see this, let E bethe disk in Î bounded by β. Let uâ˛â˛ â (u, v) be a regular value, and letE1 = E ⊠fâ1([â1, uâ˛â˛]). Then E1 contains a neighborhood of β, and anyinternal boundary component of E1 is trivial in E, and hence in Î. Sinceuâ˛â˛ â [u, v], such a curve is also trivial in ÎŁuâ˛â˛ , and so after a surgery andisotopy we can obtain a disk in fâ1([â1, uâ˛]), whose boundary is β.
Similarly, if we consider a regular vⲠ> v not separated from v by criticalvalues we obtain βⲠâ D(H+) in the level set of vâ˛.
As before, since dF (Σ) > 3 we may assume by Lemma 2.1 that both βand βⲠintersect F essentially.
Now assume we are in the F -splitting case, so that all critical valueshave single critical points. In that case, by Lemma 5.2, β is disjoint fromthe regular curves at level just above u, and βⲠis disjoint from the regularcurves at level just below v. It follows that dF (β,L[u,v]) ⤠1, and similarlyfor βâ˛. We conclude via Lemma 6.3 that dF (β, βâ˛) ⤠2g(Î)â 2 + 2, which iswhat we wanted to prove.
In the weakly F -splitting case, there could be one critical value corre-sponding to a vertex of the graphic. If this occurs inside (u, v) then we havealready taken account of it in the bound of 2g(Î)â1 in Lemma 6.3, so we geta final bound of dF (β, βâ˛) ⤠2g(Î)+1. If the vertex occurs at u or at v, thenwe get contribution of 3 instead of 1 from one of the disks. Lemma 6.3 givesus 2g(Î)â 2 in that case, so we get dF (β, βâ˛) ⤠2g(Î)â 2 + 4 = 2g(Î) + 2.That concludes the proof of Proposition 6.1
ďż˝
7. Proof of the main theorem
Proof of Theorem 1.1. Let f and h be sweepouts for ÎŁ and Î, respectively.Isotope f and h so that f Ă h is generic.
Suppose first that F is not an annulus, 4-holed sphere, or 1- or 2-holedtorus. If dF (ÎŁ) > 2g(Î) then, by Proposition 6.1, h cannot F -split f . ByLemma 3.7, if h does not F -split f then h must F -span f , and then Propo-sition 4.1 implies that after isotopy the intersection of Î and ÎŁ containsF .
Now suppose F is an annulus, 4-holed sphere, or 1- or 2-holed torus. IfdF (ÎŁ) > 2g(Î) + 2 then, by Proposition 6.1, h cannot weakly F -split f . Bydefinition this means h F -spans f , and again we are done by Proposition4.1.
ďż˝
22 JESSE JOHNSON, YAIR MINSKY, AND YOAV MORIAH
References
1. D. Bachman and S. Schleimer, Surface bundles versus Heegaard splittings, Comm.Anal. Geom. 13 (2005), no. 5, 903â928.
2. D. Bachman, S. Schleimer, and E. Sedgwick, Sweepouts of amalgamated 3-manifolds,Algebr. Geom. Topol. 6 (2006), 171â194 (electronic).
3. J. Brock, R. Canary, and Y. Minsky, The classification of Kleinian surface groups II:the ending lamination conjecture, Preprint.
4. K. Hartshorn, Heegaard splittings of Haken manifolds have bounded distance, PacificJ. Math. 204 (2002), no. 1, 61â75.
5. J. Hempel, 3-manifolds as viewed from the curve complex, Topology 40 (2001), no. 3,631â657.
6. John Hempel, 3-Manifolds, Princeton University Press, Princeton, N. J., 1976, Ann.of Math. Studies, No. 86.
7. N. V. Ivanov, The rank of Teichmuller modular groups, Mat. Zametki 44 (1988), no. 5,636â644, 701, translation in Math. Notes 44 (1988), no. 5-6, 829â832.
8. , Subgroups of Teichmuller modular groups, American Mathematical Society,Providence, RI, 1992, translated from the Russian by E. J. F. Primrose and revisedby the author.
9. J. Johnson, Flipping and stabilizing Heegaard splittings, Preprint arXiv:0805.4422,2008.
10. J. Johnson, Stable functions and common stabilizations of Heegaard splittings, Trans.Amer. Math. Soc. 361 (2009), no. 7, 3747â3765.
11. T. Kobayashi, Heights of simple loops and pseudo-Anosov homeomorphisms, Braids(Santa Cruz, CA, 1986), Contemp. Math., vol. 78, Amer. Math. Soc., Providence, RI,1988, pp. 327â338.
12. Tsuyoshi Kobayashi and Osamu Saeki, The Rubinstein-Scharlemann graphic of a 3-manifold as the discriminant set of a stable map., Pacific Journal of Mathematics 195(2000), no. 1, 101â156.
13. M. Lackenby, The Heegaard genus of amalgamated 3-manifolds, Geom. Dedicata 109(2004), 139â145.
14. H. A. Masur and Y. Minsky, Geometry of the complex of curves I: Hyperbolicity,Invent. Math. 138 (1999), 103â149.
15. , Geometry of the complex of curves II: Hierarchical structure, Geom. Funct.Anal. 10 (2000), 902â974.
16. John Mather, Stability of Câ mappings V., Advances in Mathematics 4 (1970), no. 3,301â 336.
17. Y. Minsky, The classification of Kleinian surface groups I: models and bounds, Annalsof Math. 171 (2010), 1â107.
18. H. Rubinstein and M. Scharlemann, Comparing Heegaard splittings of non-Haken 3-manifolds, Topology 35 (1996), no. 4, 1005â1026.
19. M. Scharlemann and M. Tomova, Alternate Heegaard genus bounds distance, Geom.Topol. 10 (2006), 593â617.
Department of Mathematics, Oklahoma State University, Stillwater, OK 74078,USA
E-mail address: [email protected]
Department of Mathematics, Yale University, PO Box 208283, New Haven, CT06520, USA
E-mail address: [email protected]
Department of Mathematics, Technion, IsraelE-mail address: [email protected]