A Geometric Finiteness Theory for Essential Surfaces in Knot Exteriors

Abstract

We develop a relative geometric finiteness theory for essential surfaces in knot exteriors. Let $γ$ be a unit-thickness representative of a knot type $K$, with $\operatorname{Len}(γ)\leqΛ$, and let $F\subset E(γ)$ be a properly embedded essential surface with $\operatorname{Area}(F)\leqΔ$ and relative thickness at least $τ$, defined using positive reach and controlled boundary collars. We prove that every bounded-geometry slice contains only finitely many pair-isotopy classes. We construct explicitly bounded canonical layered codes on a fixed ambient lattice and show that, at resolution $\varepsilon\leq c\min\{1,τ\}$ with sufficiently fine angular quantization, equality of codes implies ambient pair-isotopy. Thus the topology of each bounded slice is recoverable from finite geometric data. For a fixed exterior, these classes form finite visible subcomplexes of the essential-surface complex; the subcomplexes are monotone, exhaust the full complex, and carry isometric actions levelwise and meridian-preserving $C^{1,1}$ actions with controlled reindexing. Positive-reach compactness also yields attainment results for fixed-exterior and compactified visibility problems. Finally, the peripheral geometry gives a writhe window for connected surfaces with nonempty non-meridional boundary: \[ |r|\leq C_{\mathrm{BS}}Λ^{4/3}+w(Δ,τ). \] This produces slope invisibility gaps and a linear joint-area lower bound for a Seifert surface and cabling annulus of a torus knot. The framework is triangulation-free and complementary to normal-surface, branched-surface, sutured-manifold, and Heegaard-theoretic methods; it does not assert finiteness without geometric bounds.

Disclosure

“ee-manifolds, spatial graphs, higher-dimensional embed- dings, or other geometric variational problems is a natural direction for future work. Acknowledgements Use of generative AI.. The author used ChatGPT (OpenAI) and Claude Fable 5 (An- thropic) as interactive aids during the preparation of this manuscript, including for math- ematical discussion, consideration of alternative formulations and possible proof strategies, preliminary consiste”

PDF page 100

Classification

Proof ideas or individual proof-step assistance

Multiplier

8

Verified

2026-08-23T19:03:21.264209Z

Structural counts