OpenAI reports a four-dimensional Borel rigidity counterexample
- Mathematics
There are closed connected aspherical topological four-manifolds with word-hyperbolic common fundamental group that are homotopy equivalent but not homeomorphic.
OpenAI reports a four-dimensional Borel rigidity counterexample
- Mathematics
There are closed connected aspherical topological four-manifolds with word-hyperbolic common fundamental group that are homotopy equivalent but not homeomorphic.
Curated contributions 1
Understand the problem ↓Understanding the problem
Read the background
There are closed connected aspherical topological four-manifolds with word-hyperbolic common fundamental group that are homotopy equivalent but not homeomorphic.
Why it matters
If correct, disproves the homeomorphism-existence form of the Borel conjecture in dimension four.
What counts as progress
Can homotopy-equivalent closed aspherical four-manifolds fail to be homeomorphic?
Website timeline
Publication dates and editorial changes.
OpenAI reports a four-dimensional Borel rigidity counterexample