Delphi.science

Incompressible surfaces, hierarchies and unknot recognition

Marc Lackenby

arXivarxiv/2607.23350Jul 25, 2026math.GTscore 0

We present a new algorithm to determine whether a compact orientable surface properly embedded in a compact orientable 3-manifold is incompressible. As a special case, this provides a new algorithm to detect the unknot. The central technique is the use of hierarchies. Unlike previous algorithms, no challenging invariants need to be computed and no lengthy search procedures are required. This algorithm leads to a new proof that determining whether a compact orientable 3-manifold has incompressible boundary is in NP.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.23350
curl -X POST /api/v1/records/arxiv/2607.23350/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.23350/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'