{"id":"arxiv/2611.00355","url":"https://arxiv.org/abs/2611.00355","tags":["math.GT"],"score":0,"title":"The recognition problem for 4-manifolds and the unknotting problem for 2-spheres in 4-manifolds","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 given 4-manifold is PL homeomorphic to the connected sum of 7 copies of S 2 x S 2 . We also show that the TOP and PL unknotting problems for all surfaces in the connected sum of 7 copies of S 2 x S 2 are unsolvable.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-30","reactions":{}}