{"id":"arxiv/2610.36331","url":"https://arxiv.org/abs/2610.36331","tags":["math.GT"],"score":0,"title":"The unknotting problem for surfaces in the 4-sphere","domain":"math.GT","source":"arxiv","authors":["Cameron Gordon"],"reviews":0,"subject":"math.GT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}