References & Citations
Mathematics > Geometric Topology
Title: The efficient certification of knottedness and Thurston norm
(Submitted on 1 Apr 2016 (v1), last revised 12 Apr 2021 (this version, v3))
Abstract: We show that the problem of determining whether a knot in the 3-sphere is non-trivial lies in NP. This is a consequence of the following more general result. The problem of determining whether the Thurston norm of a second homology class in a compact orientable 3-manifold is equal to a given integer is in NP. As a corollary, the problem of determining the genus of a knot in the 3-sphere is in NP. We also show that the problem of determining whether a compact orientable 3-manifold has incompressible boundary is in NP.
Submission history
From: Marc Lackenby [view email][v1] Fri, 1 Apr 2016 15:38:16 GMT (4694kb)
[v2] Wed, 10 Jul 2019 08:48:08 GMT (4915kb)
[v3] Mon, 12 Apr 2021 09:46:53 GMT (4919kb)
Link back to: arXiv, form interface, contact.