[Paper Review] Non-parallel essential surfaces in knot complements

David Bachman|ArXiv.org|Feb 22, 2003

Geometric and Algebraic Topology8 references3 citations

TL;DR

This paper establishes that a knot or link with $ n $ thin levels in thin position has at least $ n $ disjoint, non-parallel, planar, meridional, essential surfaces in its complement. Using a maximal compressing sequence on thin levels, the authors prove these surfaces persist after compression, leading to the key result that any triangulation of the complement requires at least $ n/3 $ tetrahedra.

ABSTRACT

We show that if a knot or link has n thin levels when put in thin position then its exterior contains a collection of n disjoint, non-parallel, planar, meridional, essential surfaces. A corollary is that there are at least n/3 tetrahedra in any triangulation of the complement of such a knot.

Motivation & Objective

• To establish a lower bound on the number of essential surfaces in knot complements based on thin position.
• To show that non-parallel essential surfaces persist under compression, generalizing Thompson's result on incompressible surfaces.
• To derive a topological invariant (number of tetrahedra) from the thin position structure of knots.
• To extend the understanding of how thin position relates to triangulation complexity in 3-manifolds.
• To provide a new lower bound on triangulation complexity using essential surface theory and compressing sequences.

Proposed method

• Define a maximal compressing sequence for the union of thin levels in a knot or link complement.
• Use a good compressing sequence that preserves non-parallelism through compression steps.
• Apply Haken's lemma to ensure compressing disks intersect essential surfaces in essential loops.
• Construct a dual tree $ \Gamma $ from a collection $ \mathcal{S} $ of non-parallel spheres in $ S^3 $, with vertices corresponding to components of $ S^3 \setminus \mathcal{S} $.
• Prove that each thin level separates at least $ n+1 $ critical points of the knot, forcing at least $ n+1 $ vertices in $ \Gamma $, hence at least $ n $ non-parallel surfaces.
• Use the Kneser-Haken finiteness principle to bound the number of essential surfaces by triangulation complexity, yielding $ t \geq n/3 $.

Experimental results

Research questions

• RQ1 Can the number of non-parallel essential surfaces in a knot complement be bounded below by the number of thin levels in thin position?
• RQ2 Does the non-parallelism of thin levels survive compression in the complement of the knot?
• RQ3 What is the minimal number of tetrahedra required to triangulate a knot complement based on its thin position structure?
• RQ4 How does the existence of essential surfaces relate to the complexity of triangulations in 3-manifolds?
• RQ5 Can a compressing sequence preserve topological invariants like non-parallelism across multiple compression steps?

Key findings

• A knot or link with $ n $ thin levels in thin position has at least $ n $ disjoint, non-parallel, planar, meridional, essential surfaces in its complement.
• The maximal compressing sequence preserves non-parallelism, ensuring that the final incompressible surfaces remain non-parallel.
• The number of vertices in the dual tree $ \Gamma $ of the surface collection $ \mathcal{S} $ is at least $ n+1 $, implying $ |\mathcal{S}| \geq n $.
• The existence of $ n $ such surfaces implies that any triangulation of the knot complement requires at least $ n/3 $ tetrahedra.
• The bound $ t \geq n/3 $ is derived from the inequality $ 2|\mathcal{S}| \leq 6t $, valid for boundary-incompressible surfaces in manifolds with $ g=0 $.
• The result generalizes Thompson's theorem on essential surfaces to the non-parallel case, providing a stronger invariant from thin position.