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 we finite homology which we will apply to manifolds in a later paper. In his fundamental paper on amenability, Von Neumann conjectured that if Γ is a finitely generated, non-amenable group, then Γ has a subgroup which is free on two generators. While this conjecture proved to be false in general [O], it is true for many classes of groups. Given the recent interest in studying groups via geometric methods, it seems natural to ask for a geometric version of the conjecture. If Γ does contain a free subgroup then its cosets will partition Γ into copies of the free group. The free group is, geometrically, the regular 4-valent tree. Our " geometric Von Neumann conjecture " , is: Theorem 1 If X is a uniformly discrete space of bounded geometry (in particular, for X a finitely generated group or a net in a leaf of a foliation of a compact manifold), X is non-amenable iff it admits a partition with pieces uniformly bilipschitz equivalent to the regular 4-valent tree. The proof depends on constructing a bilipschitz eqivalence of X × {0, 1} and X near the projection map. Our main technical result is a general 1
[1]
M. Gromov.
Geometric group theory
,
1996
.
[2]
Jacques Tits,et al.
Free subgroups in linear groups
,
1972
.
[3]
Shahar Mozes,et al.
Aperiodic tilings
,
1997
.
[4]
S. Gersten,et al.
A homological characterization of hyperbolic groups
,
1999
.
[5]
Sidney G. Winter,et al.
Naive Set Theory
,
2021,
Essential Mathematics for Undergraduates.
[6]
Gerald B. Folland,et al.
Real Analysis: Modern Techniques and Their Applications
,
1984
.
[7]
C. McMullen.
Lipschitz maps and nets in Euclidean space
,
1998
.
[8]
Jeff Cheeger,et al.
L2-Cohomology and group cohomology
,
1986
.
[9]
Nellie Clarke Brown.
Trees
,
1896,
Savage Dreams.
[10]
S. M. Gersten.
Bounded Cocycles and Combings of Groups
,
1992,
Int. J. Algebra Comput..
[11]
A. Ol'shanskii,et al.
Communications of the Moscow Mathematical Society: on the Problem of the Existence of AN Invariant Mean on A GROUP
,
1980
.
[12]
Graham A. Niblo,et al.
Asymptotic invariants of infinite groups
,
1993
.
[13]
B. Kleiner,et al.
Separated nets in Euclidean space and Jacobians of biLipschitz maps
,
1997,
dg-ga/9703022.
[14]
Jack E. Graver,et al.
Combinatorics with emphasis on the theory of graphs
,
1977
.
[15]
Shmuel Weinberger,et al.
Aperiodic tilings, positive scalar curvature, and amenability of spaces
,
1992
.