Showing math.GTShow all
2 papers · 1 filter
math.GT2025
Algorithms in 4-manifold topology
Stefan Bastl, Rhuaidi Burke, Rima Chatterjee +28
We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In p…
math.GT2025
Simpler algorithmically unrecognizable 4-manifolds
Martin Tancer
Markov proved that there exists an unrecognizable 4-manifold, that is, a 4-manifold for which the homeomorphism problem is undecidable. In this paper we consider the question how c…