Proximity in the curve complex: boundary reduction and bicompressible surfaces

By M. Scharlemann. 2004

59 citations recorded by the source corpus.

Suppose N is a compressible boundary component of a compact irreducible orientable 3-manifold M, and (Q,?Q) ? (M,?M) is an orientable properly embedded essential surface in M, some essential component of which is incident to N and no component is a disk. Let V and Q denote respectively the sets of vertices in the curve complex for N represented by boundaries of compressing disks and by boundary components of Q. We prove that, if Q is essential in M, then d(V,Q) = 1 - ?(Q). Hartshorn showed that an incompressible surface in a closed 3-manifold puts a limit on the distance of any Heegaard splitting. An augmented version of our result leads to a version of Hartshorn?s theorem for merely compact 3-manifolds. Our main result is: If a properly embedded connected surface Q is incident to N, and Q is separating and compresses on both its sides, but not by way of disjoint disks, then either d(V,Q) = 1 - ?(Q), or Q is obtained from two nested connected incompressible boundary-parallel surfaces by a vertical tubing. Forthcoming work with M. Tomova will show how an augmented version of this theorem leads to the same conclusion as Hartshorn?s theorem, not from an essential surface, but from an alternate Heegaard surface. That is, if Q is a Heegaard splitting of a compact M then no other Heegaard splitting has distance greater than twice the genus of Q.

Subfields: Applied Mathematics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/37c7a980b295bde4c723c27c39618944e5025ec8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Applied Mathematics

In Geometry and Topology

Citations in the corpus

The amalgamation of high distance Heegaard splittings is always efficient (2008, background): “Lemma 3.2 ([4, 10 ]) Let M = V ∪S W be a Heegaard splitting, and F be an incompressible surface in M. Then either F can be isotoped to be disjoint from S or d(S) ≤ 2 − χ( F).”
Alternate Heegaard genus bounds distance (2005, background): “egaard genus bounds distance 595 2 Preliminaries Throughout the paper, all 3–manifolds will be compact and orientable. Many of the technical foundations for the argument here were laid in Scharlemann [9], but the setting was somewhat different. In [9] there was only one bicompressible surface, it wa”