{"id":"arxiv/2609.15890","url":"https://arxiv.org/abs/2609.15890","tags":["math.GT"],"score":0,"title":"PL Recognition After Two $S^2\\times S^2$ Stabilisations is PSPACE-Hard","domain":"math.GT","source":"arxiv","authors":["Rhuaidi Antonio Burke"],"reviews":0,"subject":"math.GT","summary":"Let $Z$ be any fixed closed connected PL $4$-manifold. We give a polynomial-time many-to-one reduction from the compressed word problem in Thompson's group $F$ to fixed-target recognition of $Z\\#_{2}(S^2\\times S^2)$. Once a finite triangulation of $Z$ has been fixed, the construction sends a straight-line program $A$ to a closed triangulated PL $4$-manifold $X_{A,Z}$ such that $\\operatorname{val}(A)=1$ in $F$ if and only if $X_{A,Z}$ is PL-homeomorphic to $Z\\#_2(S^2\\times S^2)$. Since the compressed word problem in $F$ is PSPACE-complete, every such recognition problem is PSPACE-hard. In…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}