Amenability, bilipschitz equivalence, and the von Neumann conjecture

Abstract

1. Introduction and statement of results. The geometry of discrete metric spaces has recently been a very active research area. The motivation comes primarily from two (not completely separate) areas of mathematics. The first is the study of noncompact manifolds equipped with metrics well defined up to uniformly bounded distortion. The equivalence classes of these manifolds arise naturally in the study of compact manifolds-for example, as universal covers or leaves of foliations. To focus attention purely on the large-scale structure, the local topology is thrown away by passing to a discrete subset, called a net, which evenly fills out the space. A typical example is Z n in R n . Two nets in a space are bilipschitz equivalent on the large scale, but not the small. This leads to the notion of a quasi-isometry of metric spaces and gives a functor from manifolds of bounded geometry, up to bounded distortion, to discrete metric spaces, up to quasi-isometry.The second source of motivation and examples is geometric group theory. A finitely generated group can be given a metric by measuring the distance from an element to the identity by the minimal length of a word in the generators representing the element. This extends to a metric by left translation invariance. This metric, called the (left) word metric, is well defined up to bilipschitz equivalence. (This can be seen simply by expanding one set of generators in another.) One can then study the group via the geometry of this space.The coarse geometry of manifolds and geometric group theory are related, most obviously by the fundamental group. If M is a compact manifold, thenM has obvious nets given by the orbits of the action of π 1 (M). These nets are canonically identified, at least as sets, with π 1 (M). Conversely, if is any finitely presented group, there is a compact manifold with π 1 = . It is a fundamental observation in the subject that the quasi-isometry type of as a net agrees with the word metric. More generally, the Milnor-Svarc theorem says that any path metric space on which acts cocompactly by isometries is quasi-isometric to with its word metric. Thus, for instance, any two compact hyperbolic manifolds of the same dimension have quasi-isometric fundamental groups. The same holds for other locally symmetric spaces. This is the sense in which we expect the word metric to capture the "geometric type" of a group.The reader may have noticed a small distinction between the geometric and algebraic viewpoints: nets are well defined only up to quasi-isometry, while the word met-

Low‐dimensional properties of uniform Roe algebras

“…Proof : This follows immediately from [, Theorem 6.2]. : Every bi‐Lipschitz embedding is an injective coarse embedding.…”

The family of bi-Lipschitz classes of delone sets in euclidean space has the cardinality of the continuum

“…Positive answers were also obtained by Bogopolskii (see [3]) for the hyperbolic spaces H d and by Whyte (see [4]) for nonamenable spaces. In addition, notice the result of Papasoglu (see [5]), who proved the bi-Lipschitz equivalence (as discrete metric spaces) of any two homogeneous trees with finite valency n 1 , n 2 ≥ 3.…”

Rigidity of ℓp Roe-type algebras

“…Recall from [, Definition 1.11] that a bounded geometry metric space is bijectively rigid if whenever there is a coarse equivalence to another bounded geometry metric space , then there is a bijective coarse equivalence . It can be deduced from the proof of [, Theorem 1.1] that every uniformly discrete, non‐amenable bounded geometry metric space is bijectively rigid. It is elementary to see that is also bijectively rigid.…”