A notion of geometric complexity and its application to topological rigidity (Q1762413): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Erik Guentner / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Guo-Liang Yu / rank | |||
Normal rank |
Revision as of 16:34, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A notion of geometric complexity and its application to topological rigidity |
scientific article |
Statements
A notion of geometric complexity and its application to topological rigidity (English)
0 references
26 November 2012
0 references
A closed manifold \(M\) is rigid if every homotopy equivalence between \(M\) and another closed manifold is homotopic to a homeomorphism. The Borel conjecture asserts the rigidity of closed aspherical manifolds. Many important results on the Borel conjecture have been proved by studying dynamical properties of actions of the fundamental group of \(M\). In the present paper the authors introduce a geometric invariant, called finite decomposition complexity (FDC), to study topological rigidity of manifolds. Roughly speaking, a metric space has FDC when there is an algorithm to decompose the space into simpler, more manageable pieces in an asymptotic way. A closed manifold \(M\) is stably rigid if there exists an \(n\) such that for every closed manifold \(N\) and every homotopy equivalence \(M\rightarrow N,\) the product with the identity \(M\times\mathbb{R}^{n}\rightarrow N\times\mathbb{R}^{n}\) is homotopic to a homeomorphism. The stable Borel rigidity asserts that closed aspherical manifolds are stably rigid. In the present paper the authors prove many interesting results. The main theorem is the following: A closed aspherical manifold whose fundamental group has finite decomposition complexity is stably rigid. On the other hand, it is proven that the class of FDC groups includes all countable subgroups of \(GL(n,K),\) for any field \(K\).
0 references
topologically rigid
0 references
Borel conjecture
0 references
finite decomposition complexity
0 references
fundamental group
0 references
stably rigid
0 references