The unknotting problem for surfaces in the 4-sphere
We show that there is no algorithm to decide whether or not a closed, connected, orientable, locally flat PL surface in $S^4$ of genus at least 18 (resp. 19) is TOP (resp. PL) unknotted. We prove analogous results for non-orientable surfaces, and for surfaces in any compact PL 4-manifold. We also show that there is an orientable surface in $S^4$ of genus 18 whose group has unsolvable word problem, and an orientable surface in $S^4$ of genus 40 whose group contains an isomorphic copy of every recursively presented group. Similar results hold for non-orientable surfaces.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.36331
curl -X POST /api/v1/records/arxiv/2610.36331/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.36331/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'