Amenability, Bilipschitz Maps, and the Von Neumann conjecture

Kevin Whyte
DOI: https://doi.org/10.48550/arXiv.math/9704202
1997-04-05
Abstract:We determine when a quasi-isometry between discrete spaces is at bounded distance from a bilipschitz map. From this we prove a geometric version of the Von Neumann conjecture on amenability. We also get some examples in geometric groups theory which show that the sign of the Euler characteristic is not a coarse invariant. Finally we get some general results on uniformly finite homology which we will apply to manifolds in a later paper.
Group Theory
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are related to the relationship between quasi - isometry and bilipschitz map, and how these relationships affect certain fundamental properties in geometric group theory, especially non - amenability. Specifically, the paper focuses on the following points: 1. **Relationship between quasi - isometry and bilipschitz map**: The paper explores when a quasi - isometry can be approximated as a bilipschitz map in a discrete space. This is achieved by constructing a method that can find a bilipschitz map near the quasi - isometry. 2. **Geometric von Neumann conjecture**: The paper proposes and proves a geometric version of the von Neumann conjecture. The original von Neumann conjecture states that if a finitely generated non - amenable group contains a free subgroup, then the group is non - amenable. Although this conjecture is not generally true, the paper proposes a geometric version of the conjecture and proves its correctness. Specifically, the paper proves that a discrete space \( X \) is non - amenable if and only if it can be partitioned into several parts, each of which is bilipschitz equivalent to a regular 4 - valent tree. 3. **Whether the sign of the Euler characteristic is a coarse invariant**: The paper also explores whether the sign of the Euler characteristic remains invariant under quasi - isometry. The paper finds that although the sign of the Euler characteristic is invariant when passing to a finite - index subgroup, it is not invariant under quasi - isometry. This result answers a question of Gromov. 4. **Uniformly finite homology**: The paper introduces the concept of uniformly finite homology and uses it to describe the relationship between quasi - isometry and bilipschitz map. The paper proves some general results about uniformly finite homology and shows the applications of these results on manifolds. Overall, this paper provides a new perspective for understanding the non - amenability in geometric group theory by in - depth study of the relationship between quasi - isometry and bilipschitz map, and solves several important theoretical problems.