Family 320TopologyNo LeanNot yet digested
Nonhomeomorphic closed aspherical four-manifolds
Constructs closed connected aspherical topological four-manifolds that are homotopy equivalent but not homeomorphic, with a common word-hyperbolic fundamental group. This disproves even the homeomorphism-existence formulation of the Borel conjecture in dimension four.
Manuscripts in this family · 1
Nonhomeomorphic closed aspherical four-manifolds with the same homotopy type
Oct 4, 2026·paper.pdf
We construct closed connected aspherical topological four-manifolds that are homotopy equivalent but not homeomorphic, disproving the homeomorphism-existence formulation of the Borel conjecture in dimension four. Their common fundamental group is word-hyperbolic. One of the manifolds also has a self-homotopy equivalence not homotopic to a homeomorphism.