On the homeomorphism problem for 4-manifolds

2021/06/10 by Gordon, Cameron McA
#FOS: Mathematics #Geometric Topology (math.GT)

paper · doi:10.48550/arxiv.2106.06006

Abstract

We show that there is no algorithm to decide whether or not a given 4-manifold is homeomorphic to the connected sum of 12 copies of S² × S².

Related

• The world problem: on the computability of the topology of 4-manifolds
• Simpler algorithmically unrecognizable 4-manifolds
• Algorithmic aspects of homeomorphism problems
• Quotients of S²×S²
• On two quotients of S²× S²