Borel conjecture

Can two spaces that locally look like ordinary coordinates have matching continuous-deformation information but different topological shapes? The conjecture concerns compact spaces without boundary, in dimensions at least five, whose fully unrolled covering spaces can contract to a point.[1]

If maps between two spaces can be undone up to continuous deformation, must the given map be deformable into a point-for-point continuous identification? The weaker matching is a homotopy equivalence; a point-for-point continuous map with continuous inverse is a homeomorphism. Borel asks this for compact manifolds without boundary, of dimension at least five, that are aspherical.

For a concrete eligible example, identify opposite faces of a five-dimensional unit cube. The resulting torus $T^5=\mathbb R^5/\mathbb Z^5$ has universal cover $\mathbb R^5$: keep unrolling the identified coordinates. That cover contracts to the origin by $x\mapsto(1-t)x$, for $0\leq t\leq1$. Aspherical describes the contractible cover, not a claim that the torus itself contracts.[1]

Large families satisfy the conjecture, but the general case remains open. The April 2026 preprint reports a restricted family; four-dimensional smooth counterexamples concern different rules. Each eligible comparison map must be deformable into a one-to-one continuous identification with continuous inverse.[1] [2] [3]

The April 2026 preprint reports topological rigidity for closed real moment-angle manifolds built from flag complexes in dimension at least five. The Annals examples are homeomorphic but not diffeomorphic smooth four-manifolds: they distinguish smooth structures while preserving topological shape.[2] [3]

Loops provide algebraic information about a space. In this class, rigidity would connect that manageable loop information to the space’s global topological shape.[1]

The loop group retains how loops combine, while a manifold is assembled from coordinate neighborhoods. Linking those descriptions would make algebra useful for comparing global shapes. Rigidity applies within the stated aspherical class and does not make homotopy information a complete classifier of arbitrary spaces.[1]