BIJECTIVE QUASI-ISOMETRIES OF AMENABLE GROUPS TULLIA DYMARZ Abstract. Whyte showed that any quasi-isometry between non-amenable groups is a bounded distance from a bijection. In contrast this paper shows that for amenable groups, inclusion of a proper subgroup of finite index is never a bounded distance from a bijection. 1. Introduction In his book on infinite groups, Gromov [Gr, page 23] asked whether in- clusion of finite index subgroups Fm −→ Fn of two free groups is a bounded distance from a bi-Lipschitz map (i.e. a bijective quasi-isometry). Papa- soglu answered this question affirmatively in [Pa]. A more general question asked in [H, page 107] is whether any two groups which are quasi-isometric always have a bijective quasi-isometry between them? No counterexamples have been found. Whyte showed in [Wh] that any quasi-isometry between non-amenable groups is a bounded distance from a bijection. In contrast, we will show that for amenable groups, inclusion of a finite index proper subgroup is never a bounded distance from a bijection (see Theorem 3.5). However, if the subgroup admits an “n-to-1” self quasi-isometry (where n is the index of the subgroup) one can always compose this self map with the subgroup inclusion map to get a quasi-isometry that is a bounded distance from a bijective quasi-isometry. So for such groups commensurability implies that there does exist a bijective quasi-isometry. 2. Preliminaries arXiv:math/0404115v1 [math.GR] 6 Apr 2004 Definition 2.1. A map between metric spaces f : X −→ Y is a quasi- isometry if there exist C, K ≥ 0 such that for all x,y ∈ X 1 (2.1) − C + d(x,y) ≤ d(f(x),f(y)) ≤ Kd(x,y)+ C K and there also exist g : Y −→ X satisfying 2.1 such that f ◦ g and g ◦ f are a bounded distance from the identity. In this case X and Y are said to be quasi-isometric. Date: June 10, 2018. 2000 Mathematics Subject Classification. 20F65. Key words and phrases. infinite groups, geometric group thoery. The author was supported in part by NSERC PGS B. 1 2 TULLIA DYMARZ Definition 2.2. A metric space X is a uniformly discrete space of bounded geometry (UDBG space) if • there is an ǫ > 0 such that, for all x,y ∈ X, d(x,y) < ǫ ⇒ x = y (i.e. X is uniformly discrete), and • for any r> 0 there is a bound Mr on the size of any r-ball in X (i.e. X has bounded geometry). Example 2.3. A finitely-generated group with the word metric d(x,y) = ||x−1y|| is a main example of a UDGB-space. The norm is defined with respect to a specific generating set so two different generating sets may give metric spaces which are not isometric but they are quasi-isometric. Example 2.4. Any proper metric space admitting a properly discontinuous isometric cocompact group action is also a UDBG-space. To define the notion of an amenable space we need some notation. Let |S| denote the cardinality of the set S and ∂S = {x ∈ X | 0 < d(x,S) ≤ 1} denote the boundary of S. Definition 2.5 (Folner Criterion). A UDBG-space is amenable if there exists a sequence of finite subsets {Si} with |∂S | lim i = 0 i→∞ |Si| Such a sequence is called a Folner sequence. We say a finitely generated group amenable if it is amenable as a UDBG- space with the word metric. Since amenability is preserved by quasi-isometries this is a well defined notion. It will also be useful to review some conventions of big “O” notation. Definition 2.6. We say • f(i)= O(g(i)) if there exist C,K > 0, such that |f(i)|≤ C|g(i)| for all i ≥ K. • O(f(i)) < O(g(i)) if g(i) 6= O(f(i)) • O(g(i)) = O(f(i)) if both g(i)= O(f(i)) and f(i)= O(g(i)). One important property we will use is that for f, g ≥ 0 O(f(i)+ g(i)) = O(f(i)) if g(i)= O(f(i)). Using this notation, the statement of amenability can be rephrased as fol- lows: X is amenable if there exists a sequence of finite sets Si ⊂ X such that O(|∂Si|) < O(|Si|). BIJECTIVE QUASI-ISOMETRIES OF AMENABLE GROUPS 3 3. Uniformly finite homology uf The uniformly finite homology groups Hi (X) were first introduced by uf Z Block-Weinberger in [BW1]. Only H0 (X; ) is needed here, but for a detailed discussion of uniformly finite homology, see [Wh] or [BW1]. uf For a UDBG-space X, let C0 (X) denote the vector space of infinite formal sums of the form c = X axx x∈X uf where there exists Mc > 0 such that |ax| ≤ Mc. Let C1 (X) denote the vector space of infinite formal sums of the form c = X a(x,y)(x,y) x,y∈X where there exist Mc > 0 such that |a(x,y)| < Mc and Rc > 0 such that a(x,y) =0 if d(x,y) > Rc. Define a boundary map by uf uf ∂ : C1 (X) −→ C0 (X) (x,y) 7−→ y − x and extending by linearity. Then we let uf uf uf H0 (X)= C0 (X)/∂(C1 (X)) uf Some important facts about H0 (X) we will not prove here (see [Wh]) are uf ∼ uf • if X and Y are quasi-isometric then H0 (X) = H0 (Y ). uf R • if X is infinite then H0 (X) is a vector space over . (When X is uf ∼ Z finite H0 (X) = ) uf Definition 3.1. Any subset S ⊂ X defines a class in H0 (X), denoted [S], where [S] is the class of the chain Px∈S x. We call [X] the fundamental uf class of X in H0 (X). Using uniformly finite homology, Kevin Whyte developed in [Wh] a test to determine when a quasi-isometry between UDBG spaces is a bounded distance from a bijection. Theorem 3.2 (Whyte). [Wh] Let f : X → Y be a quasi-isometry between UDBG-spaces. Then there exists a bijective map a bounded distance from f if and only if f∗([X]) = [Y ]. (Here f∗([X]) = [Px∈X f(x)]) For non-amenable spaces we have the following theorem: Theorem 3.3 (Block-Weinberger). [BW1] Let X be a UDBG-space. Then the following are equivalent: • X is non-amenable. uf • H0 (X) = 0 4 TULLIA DYMARZ uf • there exists c = Px∈X axx with ax > 0 such that [c] = 0 in H0 (X) Some of the motivation behind Whyte’s Theorem 3.2 was that combined with Theorem 3.3 it implies: Any quasi-isometry between finitely generated non-amenable groups is a bounded distance from a bijection. We can also use Theorem 3.2 to investigate quasi-isometries of amenable groups. To use Theorem 3.2 we need to be able to check when a chain in uf uf c ∈ C0 (X) represents the zero class in H0 (X). The following theorem gives such a criterion. Theorem 3.4 (Block-Weinberger). [BW1] (Theorem 7.6 in [Wh]) Let X be uf a UDBG-space, and let c = Px∈X axx ∈ C0 (X). Then we have [c] = 0 ∈ uf H0 (X) if and only if for any Folner sequence {Si}, X ax = O(|∂Si|). x∈Si We now show how Whyte’s criterion can be used to show that subgroup inclusion for amenable groups is not a bounded distance from a bijection. Theorem 3.5. Let G be an amenable group with proper subgroup H of finite index, i.e. [G : H] = n > 1. Then the inclusion map i : H ֒→ G is not a bounded distance from a bijective map. Proof. Using Theorem 3.4 we show that the chain c = Px∈G\H x gives a uf nonzero class in H0 (G), that is [c] = [G] − [H] 6= 0. To this end let {Si} n be any Folner sequence for G. Now G = Sk=1 gkH and n X |Si \ gkH| = (n − 1)|Si| k=1 so n O(|Si|)= O((n − 1)|Si|)= O(X |Si \ gkH|)= O(|Si \ gki H|) k=1 −1 for some ki. Let Fi = gki Si. These sets also form a Folner sequence, since −1 −1 left multiplication by gki is an isometry. Now |gki Si \ H| = |Si \ gki H|. This gives us O(Fi \ H)= O(|Fi|) > O(|∂Fi|). So for the chain c, X ax = |Fi \ H| = O(|Fi|) 6= O(|∂Fi|), x∈Fi BIJECTIVE QUASI-ISOMETRIES OF AMENABLE GROUPS 5 and so [c] 6= 0. The following is a shorter proof of Theorem 3.5 suggested by Weinberger. Proof. For the inclusion map i to be a bijection, Theorem 3.2 tells us that we need [H]= i∗([H]) = [G]. But [G] = n[H], so in fact we need [H] = n[H]. Now G is amenable so uf [H] 6= 0. And since H0 (G) is torsion free [H]= n[H] only if n = 1. Theorem 3.5 is actually a corollary of a more general result. Theorem 3.6. If φ : H −→ G is a homomorphism of amenable groups with finite index image, [G : φ(H)] = n, and finite kernel, |φ−1(0)| = k, then φ is a bounded distance from a bijection if and only if n = k. Proof. As above, to get a bijection we need φ∗([H]) = [G]. But φ∗([H]) = k[φ(H)] and [G] = n[φ(H)].