Patterns and Tracks
M. J. Dunwoody
TL;DR
Problem: provide a combinatorial approach to minimal surface theory in triangulated $3$-manifolds and to the $3$-sphere recognition problem via patterns and tracks. Approach: define patterns, tracks, and patterned surfaces; prove that for a triangulated $2$-sphere a maximal non-parallel pattern yields a tree $D_P$ and that an invariant count satisfies $e_P = v_P - 1$, independent of the pattern, with a concrete tetrahedron example. Extend to $3$-manifolds: maximal normal patterns yield a tree $D_P$ whose vertex degrees constrain components to be punctured $3$-balls, and almost normal spheres along with isotopies underpin the Thompson lemma in the Recognition Algorithm. Contributions: a self-contained combinatorial framework for normal and almost normal surface theory with algorithmic implications for recognizing $3$-spheres and studying closed simply connected $3$-manifolds.
Abstract
Patterns in triangulated $2$-spheres and $3$-spheres are investigated. A new proof of a lemma in Abigail Thompson's proof of the Recognition Algorithm for $3$-spheres is obtained.
