1 · The essentials
Two spaces can have the same broad shape without being exactly the same kind of space. The manuscript presents a pair of four-dimensional spaces that illustrate this distinction. Both have no boundary, are connected, and belong to a class with especially simple behavior when viewed through their universal covering spaces. They agree in the sense of shape captured by continuous maps that can undo each other up to continuous deformation. Yet, according to the manuscript, no continuous one-to-one correspondence with a continuous inverse exists between them. This is claimed to contradict a version of the Borel conjecture in dimension four. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine two buildings whose route diagrams match after unimportant detours are ignored, but whose complete layouts cannot be matched point for point. The distinction here is likewise between a looser agreement of shape and an exact topological correspondence; buildings are not models of the four-dimensional spaces in the manuscript.
Why it matters
The claimed examples separate homotopy equivalence from homeomorphism even for closed aspherical four-manifolds. They would contradict not just a demand that a particular homotopy equivalence come from a homeomorphism, but the weaker demand that some homeomorphism exist at all. The abstract also places the examples within the class having word-hyperbolic fundamental groups.
2 · Going further
The precise question is whether closed connected aspherical topological four-manifolds with the same homotopy type must be homeomorphic. Here, closed means compact and without boundary, while aspherical means that the universal cover is contractible. A homotopy equivalence consists of maps in both directions whose compositions can be continuously deformed to the identity maps; a homeomorphism is a continuous bijection with continuous inverse.
The manuscript claims to construct manifolds and that are homotopy equivalent but not homeomorphic. Their common fundamental group is word-hyperbolic. As the title and abstract emphasize, this would contradict the homeomorphism-existence formulation of the Borel conjecture in dimension four: there is no homeomorphism between the two spaces, regardless of which homotopy equivalence is considered.
The abstract also states that one of these manifolds admits a self-homotopy equivalence that is not homotopic to any homeomorphism. Thus the source reports both a failure of homeomorphism existence between a pair and a failure to represent a particular self-equivalence by a homeomorphism. The abstract describes the result as a construction but gives no construction steps or argument mechanism. Only the main manuscript is supplied, so no relationship to companion manuscripts can be described.
Useful notions
- Continuous maps and continuous deformation
- Topological manifolds
- Homotopy equivalence versus homeomorphism
- Fundamental groups and universal covers
What was known before / what is new
Before
The source identifies the Borel conjecture as the context for the result and singles out its homeomorphism-existence formulation in dimension four. It gives no account of earlier results, prior constructions, or the history of that formulation.
New
The manuscript claims a pair of closed connected aspherical topological four-manifolds that are homotopy equivalent but not homeomorphic, with a common word-hyperbolic fundamental group. It additionally claims that one member has a self-homotopy equivalence not homotopic to a homeomorphism.
Limits and assumptions
The reported construction concerns closed, connected, aspherical topological manifolds in dimension four, with a common word-hyperbolic fundamental group. The supplied abstract does not identify that group or explain how the manifolds are constructed or distinguished. The main result is not formalized in Lean and has not been formally verified. The source does not specify remaining open questions or state conclusions for other dimensions or other classes of manifolds.
Mini glossary
- Closed manifold —
- A compact manifold without boundary.
- Aspherical manifold —
- A manifold whose universal covering space is contractible.
- Homotopy equivalence —
- A pair of continuous maps in opposite directions whose compositions are continuously deformable to the respective identity maps.
- Homeomorphism —
- A continuous bijection with a continuous inverse, expressing exact sameness as topological spaces.
- Self-homotopy equivalence —
- A homotopy equivalence from a space to itself.
Keywords : Aspherical four-manifolds · Homotopy equivalence · Borel conjecture
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Nonhomeomorphic closed aspherical four-manifolds with the same homotopy type
04/10/2026We 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.