Classification of genus-two surfaces in
arXiv:2309.05387 · doi:10.2140/agt.2025.25.4719
Abstract
We describe an algorithm to decide whether two genus-two surfaces embedded in the 3-sphere are isotopic or not. The algorithm employs well-known techniques in 3-manifolds topology, as well as a new algorithmic solution to a problem on free groups.
65 pages, 22 figures