[Paper Review] Heegaard splittings of sufficiently complicated 3-manifolds II: Amalgamation

David Bachman|ArXiv.org|Apr 2, 2009

Geometric and Algebraic Topology18 references3 citations

TL;DR

This paper establishes that when two compact, orientable, irreducible 3-manifolds with incompressible boundary are glued along a sufficiently complicated homeomorphism, the amalgamation of their unstabilized, boundary-unstabilized Heegaard splittings remains unstabilized. It further proves that every low genus, unstabilized splitting of the resulting manifold arises uniquely as such an amalgamation—up to isotopy—when no Type II splitting of the product region is involved, resolving a long-standing question about the structure of Heegaard splittings in high-complexity gluings.

ABSTRACT

Let M_1 and M_2 be compact, orientable 3-manifolds, and M the manifold obtained by gluing some component F of \bdy M_1 to some component of \bdy M_2 by a homeomorphism ϕ. We show that when ϕis "sufficiently complicated" then (1) the amalgamation of low genus, unstabilized, boundary-unstabilized Heegaard splittings of M_i is an unstabilized splitting of M, (2) every low genus, unstabilized Heegaard splitting of M can be expressed as an amalgamation of unstabilized, boundary-unstabilized splittings of M_i, and possibly a Type II splitting of F imes I, and (3) if there is no Type II splitting in such an expression then it is unique.

Motivation & Objective

• To determine when the amalgamation of unstabilized Heegaard splittings of two 3-manifolds remains unstabilized after gluing along their boundary components.
• To characterize all low genus, unstabilized Heegaard splittings of the resulting 3-manifold in terms of splittings of the original pieces.
• To establish uniqueness of the decomposition when no Type II splitting of the product region is present.
• To resolve the 'nemesis of Heegaard splittings' by constructing the first known non-minimal genus Heegaard splittings of distance exactly one.

Proposed method

• Uses the concept of a 'sufficiently complicated' gluing map, defined via high distance in the curve complex, to control the topological complexity of the boundary identification.
• Applies the theory of generalized Heegaard splittings (GHS) and sweep-out graphs (SOG) to analyze sequences of weak reductions between splittings.
• Employs the notion of a g-barrier surface to ensure that the gluing map prevents destabilizations and maintains the unstabilized nature of splittings.
• Applies the amalgamation construction of Schultens to combine splittings of the pieces into a splitting of the full manifold.
• Uses isotopy invariance of the amalgamation process and properties of thin levels in GHS to prove uniqueness of decomposition.
• Relies on the fact that Type II splittings of F×I (two copies of F connected by an unknotted tube) are the only non-trivial splittings that can arise from weak reductions without destabilization.

Experimental results

Research questions

• RQ1 Under what conditions is the amalgamation of two unstabilized, boundary-unstabilized Heegaard splittings of glued 3-manifolds itself unstabilized?
• RQ2 Can every low genus, unstabilized Heegaard splitting of a 3-manifold obtained by gluing two pieces along a boundary component be expressed as an amalgamation of splittings of the pieces and possibly a Type II splitting of the product region?
• RQ3 Is the decomposition of such a splitting into pieces unique when no Type II splitting is involved?
• RQ4 Does the existence of non-minimal genus Heegaard splittings of distance exactly one exist, and if so, how can they be constructed?

Key findings

• The amalgamation of unstabilized, boundary-unstabilized Heegaard splittings of two 3-manifolds remains unstabilized when the gluing map is sufficiently complicated.
• Every low genus, unstabilized Heegaard splitting of the resulting 3-manifold arises as an amalgamation of unstabilized, boundary-unstabilized splittings of the original manifolds and possibly a Type II splitting of the boundary product region F×I.
• When no Type II splitting is present in the decomposition, the components of the splitting are uniquely determined up to isotopy.
• The paper constructs the first known examples of non-minimal genus Heegaard splittings with Hempel distance exactly one, resolving a long-standing open problem.
• The uniqueness of the decomposition is proven via a sweep-out graph (SOG) argument that tracks isotopy classes of surfaces through sequences of weak reductions.
• The result holds under the assumption that neither manifold is an I-bundle and that the boundary components are incompressible, ensuring the topological control needed for the argument.