Borel conjecture

Last updated February 09, 2023

In mathematics, specifically geometric topology, the Borel conjecture (named for Armand Borel) asserts that an aspherical closed manifold is determined by its fundamental group, up to homeomorphism. It is a rigidity conjecture, asserting that a weak, algebraic notion of equivalence (namely, homotopy equivalence) should imply a stronger, topological notion (namely, homeomorphism).

Precise formulation of the conjecture

Let $M$ and $N$ be closed and aspherical topological manifolds, and let

f\colon M\to N

be a homotopy equivalence. The Borel conjecture states that the map $f$ is homotopic to a homeomorphism. Since aspherical manifolds with isomorphic fundamental groups are homotopy equivalent, the Borel conjecture implies that aspherical closed manifolds are determined, up to homeomorphism, by their fundamental groups.

This conjecture is false if topological manifolds and homeomorphisms are replaced by smooth manifolds and diffeomorphisms; counterexamples can be constructed by taking a connected sum with an exotic sphere.

The origin of the conjecture

In a May 1953 letter to Jean-Pierre Serre,^[1] Armand Borel raised the question whether two aspherical manifolds with isomorphic fundamental groups are homeomorphic. A positive answer to the question "Is every homotopy equivalence between closed aspherical manifolds homotopic to a homeomorphism?" is referred to as the "so-called Borel Conjecture" in a 1986 paper of Jonathan Rosenberg.^[2]

Motivation for the conjecture

A basic question is the following: if two closed manifolds are homotopy equivalent, are they homeomorphic? This is not true in general: there are homotopy equivalent lens spaces which are not homeomorphic.

Nevertheless, there are classes of manifolds for which homotopy equivalences between them can be homotoped to homeomorphisms. For instance, the Mostow rigidity theorem states that a homotopy equivalence between closed hyperbolic manifolds is homotopic to an isometry—in particular, to a homeomorphism. The Borel conjecture is a topological reformulation of Mostow rigidity, weakening the hypothesis from hyperbolic manifolds to aspherical manifolds, and similarly weakening the conclusion from an isometry to a homeomorphism.

Relationship to other conjectures

The Borel conjecture implies the Novikov conjecture for the special case in which the reference map $f\colon M\to BG$ is a homotopy equivalence.
The Poincaré conjecture asserts that a closed manifold homotopy equivalent to $S^{3}$ , the 3-sphere, is homeomorphic to $S^{3}$ . This is not a special case of the Borel conjecture, because $S^{3}$ is not aspherical. Nevertheless, the Borel conjecture for the 3-torus $T^{3}=S^{1}\times S^{1}\times S^{1}$ implies the Poincaré conjecture for $S^{3}$ .

Related Research Articles

<span class="mw-page-title-main">Homeomorphism</span> Mapping which preserves all topological properties of a given space

In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

<span class="mw-page-title-main">Algebraic topology</span> Branch of mathematics

Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.

<span class="mw-page-title-main">Homotopy</span> Continuous deformation between two continuous functions

In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic if one can be "continuously deformed" into the other, such a deformation being called a homotopy between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

A CW complex is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation. The C stands for "closure-finite", and the W for "weak" topology.

In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space.

A lens space is an example of a topological space, considered in mathematics. The term often refers to a specific class of 3-manifolds, but in general can be defined for higher dimensions.

In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In mathematics, more precisely in topology and differential geometry, a hyperbolic 3–manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to -1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

<span class="mw-page-title-main">Triangulation (topology)</span>

In mathematics, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling.

In topology, a branch of mathematics, a retraction is a continuous mapping from a topological space into a subspace that preserves the position of all points in that subspace. The subspace is then called a retract of the original space. A deformation retraction is a mapping that captures the idea of continuously shrinking a space into a subspace.

In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold provides a possibility of extending the theory of manifolds to infinite-dimensional setting. Analogously to the finite-dimensional situation, one can define a differentiable Hilbert manifold by considering a maximal atlas in which the transition maps are differentiable.

In mathematics, Mostow's rigidity theorem, or strong rigidity theorem, or Mostow–Prasad rigidity theorem, essentially states that the geometry of a complete, finite-volume hyperbolic manifold of dimension greater than two is determined by the fundamental group and hence unique. The theorem was proven for closed manifolds by Mostow (1968) and extended to finite volume manifolds by Marden (1974) in 3 dimensions, and by Prasad (1973) in all dimensions at least 3. Gromov (1981) gave an alternate proof using the Gromov norm. Besson, Courtois & Gallot (1996) gave the simplest available proof.

The Novikov conjecture is one of the most important unsolved problems in topology. It is named for Sergei Novikov who originally posed the conjecture in 1965.

In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain.

In mathematics, especially in algebraic topology, an induced homomorphism is a homomorphism derived in a canonical way from another map. For example, a continuous map from a topological space X to a topological space Y induces a group homomorphism from the fundamental group of X to the fundamental group of Y.

Friedhelm Waldhausen is a German mathematician known for his work in algebraic topology. He made fundamental contributions in the fields of 3-manifolds and (algebraic) K-theory.

In mathematics, the surgery structure set $is the basic object in the study of manifolds which are homotopy equivalent to a closed manifold X. It is a concept which helps to answer the question whether two homotopy equivalent manifolds are diffeomorphic. There are different versions of the structure set depending on the category and whether Whitehead torsion is taken into account or not.$

In the mathematical field of topology, a manifold M is called topologically rigid if every manifold homotopically equivalent to M is also homeomorphic to M.

This is a glossary of properties and concepts in algebraic topology in mathematics.

References

↑ Extract from a letter from Armand Borel to Jean-Pierre Serre (2 May 1953). "The birth of the Borel conjecture" (PDF).
↑ Rosenberg, Jonathan (1986). "C^∗-algebras, positive scalar curvature, and the Novikov conjecture. III". Topology . 25 (3): 319–336. doi: 10.1016/0040-9383(86)90047-9 . MR 0842428.

F. Thomas Farrell, The Borel conjecture. Topology of high-dimensional manifolds, No. 1, 2 (Trieste, 2001), 225–298, ICTP Lect. Notes, 9, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2002.
Matthias Kreck, and Wolfgang Lück, The Novikov conjecture. Geometry and algebra. Oberwolfach Seminars, 33. Birkhäuser Verlag, Basel, 2005.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Extract from a letter from Armand Borel to Jean-Pierre Serre (2 May 1953). "The birth of the Borel conjecture" (PDF).

[2] Rosenberg, Jonathan (1986). "C^∗-algebras, positive scalar curvature, and the Novikov conjecture. III". Topology . 25 (3): 319–336. doi: 10.1016/0040-9383(86)90047-9 . MR 0842428.

[1]

[2]