## New Research In

### Physical Sciences

### Social Sciences

#### Featured Portals

#### Articles by Topic

### Biological Sciences

#### Featured Portals

#### Articles by Topic

- Agricultural Sciences
- Anthropology
- Applied Biological Sciences
- Biochemistry
- Biophysics and Computational Biology
- Cell Biology
- Developmental Biology
- Ecology
- Environmental Sciences
- Evolution
- Genetics
- Immunology and Inflammation
- Medical Sciences
- Microbiology
- Neuroscience
- Pharmacology
- Physiology
- Plant Biology
- Population Biology
- Psychological and Cognitive Sciences
- Sustainability Science
- Systems Biology

# Groups of piecewise projective homeomorphisms

Edited by Gregory A. Margulis, Yale University, New Haven, CT, and approved February 5, 2013 (received for review October 22, 2012)

## Abstract

The group of piecewise projective homeomorphisms of the line provides straightforward torsion-free counterexamples to the so-called von Neumann conjecture. The examples are so simple that many additional properties can be established.

In 1924, Banach and Tarski (1) accomplished a rather paradoxical feat. They proved that a solid ball can be decomposed into five pieces, which are then moved around and reassembled in such a way as to obtain two balls identical to the original one (1). This wellnigh miraculous duplication was based on Hausdorff’s (2) 1914 work.

In his 1929 study of the Hausdorff–Banach–Tarski paradox, von Neumann (3) introduced the concept of amenable groups. Tarski (4, 5) readily proved that amenability is the only obstruction to paradoxical decompositions. However, the known paradoxes relied more prosaically on the existence of nonabelian free subgroups. Therefore, the main open problem in the subject remained for half a century to find nonamenable groups without free subgroups. Von Neumann’s (3) name was apparently attached to it by Day in the 1950s. The problem was finally solved around 1980: Ol′shanskiĭ (6⇓–8) proved the nonamenability of the Tarski monsters that he had constructed, and Adyan (9, 10) showed that his work on Burnside groups yields nonamenability. Finitely presented examples were constructed another 20 y later by Ol′shanskiĭ–Sapir (11). There are several more recent counterexamples (12⇓–14).

Given any subring *A* < **R**, we shall define a group *G*(*A*) and a subgroup *H*(*A*) < *G*(*A*) of piecewise projective transformations. Those groups will provide concrete, uncomplicated examples with many additional properties. Perhaps ironically, our short proof of nonamenability ultimately relies on basic free groups of matrices, as in Hausdorff’s (2) 1914 paradox, although the Tits (15) alternative shows that the examples cannot be linear themselves.

## Construction

I saw the pale student of unhallowed arts kneeling beside the thing he had put together.

Mary Shelley, introduction to the 1831 edition of

Consider the natural action of the group PSL*Frankenstein*_{2}(**R**) on the projective line **P**^{1} = **P**^{1}(**R**). We endow **P**^{1} with its **R**-topology, making it a topological circle. We denote by *G* the group of all homeomorphisms of **P**^{1} that are piecewise in PSL_{2}(**R**), each piece being an interval of **P**^{1} with finitely many pieces. We let *H* < *G* be the subgroup fixing the point ∞ ∈ **P**^{1} corresponding to the first basis vector of **R**^{2}. Thus, *H* is left-orderable, because it acts faithfully on the topological line **P**^{1}\{∞}, preserving orientations. It follows in particular that *H* is torsion-free.

Given a subring *A* < **R**, we denote by *P*_{A} ⊆ **P**^{1} the collection of all fixed points of all hyperbolic elements of PSL_{2}(*A*). This set is PSL_{2}(*A*)-invariant and countable if *A* is so. We define *G*(*A*) to be the subgroup of *G* given by all elements that are piecewise in PSL_{2}(*A*) with all interval endpoints in *P*_{A}. We write *H*(*A*) = *G*(*A*) ∩ *H*, which is the stabilizer of ∞ in *G*(*A*).

The main result of this article is the following, for which we introduce a method for proving amenability.

### Theorem 1.

*The group H*(*A*) *is nonamenable if A* ≠ **Z**.

The next result is a sequacious generalization of the corresponding theorem of Brin–Squier (16) about piecewise affine transformations, and we claim no originality.

### Theorem 2.

*The group H does not contain any nonabelian free subgroup*. *Thus*, *H*(*A*) *inherits this property for any subring A* < **R**.

Thus, already *H* = *H*(**R**) itself is a counterexample to the von Neumann conjecture. Writing *H*(*A*) as the directed union of its finitely generated subgroups, we deduce Corollary 3.

### Corollary 3.

*For A* ≠ **Z**, *the groups H*(*A*) *contain finitely generated subgroups that are simultaneously nonamenable and without nonabelian free subgroups*.

### Additional Properties.

The groups *H*(*A*) seem to enjoy a number of additional interesting properties, some of which are weaker forms of amenability. In the last section, we shall prove the following five propositions (and recall the terminology). Here, *A* < **R** is an arbitrary subring.

### Proposition 4.

*All L*^{2}-*Betti numbers of H*(*A*) *and G*(*A*) *vanish.*

### Proposition 5.

*The group H*(*A*) *is inner amenable*.

### Proposition 6.

*The group H is biorderable, and hence*, *so are all of its subgroups*. *It follows that there is no nontrivial homomorphism from any Kazhdan group to H*.

### Proposition 7.

*Let E* ⊆ **P**^{1} *be any subset*. *Then*, *the subgroup of H*(*A*), *which fixes E pointwise*, *is coamenable in H*(*A*) *unless E is dense* (*in which case*, *the subgroup is trivial*).

### Proposition 8.

*If H*(*A*) *acts by isometries on any proper CAT*(*0*) *space*, *then either it fixes a point at infinity or it preserves a Euclidean subspace*.

One can also check that *H*(*A*) satisfies no group law and has vanishing properties in bounded cohomology (see below).

## Nonamenability

An obvious difference between the actions of PSL_{2}(*A*) and *H*(*A*) on **P**^{1} is that the latter group fixes ∞, whereas the former does not. The next proposition shows that this difference is the only one as far as the orbit structure is concerned.

### Proposition 9.

*Let A* < **R** *be any subring*, *and let p* ∈ **P**^{1}\{∞}. *Then*,

*Thus*, *the equivalence relations induced by the actions of PSL*_{2}(*A*) *and H*(*A*) *on* **P**^{1} *coincide when restricted to* **P**^{1}\{∞}.

### Proof.

We need to show that, given *g* ∈ PSL_{2}(*A*) with *gp* ≠ ∞, there is an element *h* ∈ *H*(*A*), such that *hp* = *gp*. We assume *g*∞ ≠ ∞, because otherwise, *h* = *g* will do. Equivalently, we need an element *q* ∈ *G*(*A*) fixing *gp* and such that *q*∞ ≠ *g*∞, writing *h* ≠ *q*^{−1}*g*. It suffices to find a hyperbolic element *q*_{0} ∈ PSL_{2}(*A*) with *q*_{0}∞ = *g*∞ and fixed points ξ_{±} ∈ **P**^{1} that separate *gp* from both ∞ and *g*∞ (Fig. 1). Indeed, we can then define *q* to be the identity on the component of **P**^{1}\{ξ_{±}} containing *gp* and define *q* to coincide with *q*_{0} on the other component.

Let be a matrix representative of *g*; thus, *a*, *b*, *c*, *d*, ∈ *A*, and *ad* − *bc* = 1. The assumption *g*∞ ≠ ∞ implies *c* ≠ 0, and thus, we can assume *c* > 0. Let *q*_{0} be given by with *r* ∈ *A* to be determined later; thus, *q*_{0}∞ ≠ *g*∞. This matrix is hyperbolic as soon as |*r*| is large enough to ensure that the trace τ = *a* + *d* + *rc* is larger than 2 in absolute value. We only need to show that a suitable choice of *r* will ensure the above condition on ξ_{±}. Notice that ∞ and *g*∞ lie in the same component of **P**^{1}\{ξ_{±}}, because *q*_{0} preserves these components and sends ∞ to *g*∞. In conclusion, it suffices to prove the following two claims: (*i*) as |*r*| → ∞, the set {ξ_{±}} converges to {∞, *g*∞}; and (*ii*) changing the sign of *r* (when |*r*| is large) will change the component of **P**^{1}\{∞, *g*∞} in which ξ_{±} lie (we need it to be the component of *gp*). The claims can be proved by elementary dynamical considerations; we shall instead verify them explicitly.

The fixed points ξ_{±} are represented by the eigenvectors , where *x*_{±} = λ_{±} − *d* − *rc* and are the eigenvalues. Now, lim_{r→+∞}λ_{+} = +∞ implies lim_{r→+∞}λ_{−} = 0, because λ_{+}λ_{−} = 1; therefore, lim_{r→+∞}*x*_{−} = −∞. Similarly, lim_{r→−∞}*x*_{+} = +∞ (Fig. 1 depicts the case *r* > 0). Thus, we already proved claim (*ii*) and half of claim (*i*). Because *g*∞ = [*a*:*c*], it only remains to verify that both lim_{r→+∞}*x*_{+} and lim_{r→−∞}*x*_{−} converge to *a*, which is a direct computation.□

We recall that a measurable equivalence relation with countable classes is amenable if there is an a.e. defined measurable assignment of a mean on the orbit of each point in such a way that the means of two equivalent points coincide. We refer, e.g., to refs. 17 and 18 for background on amenable equivalence relations. It follows from this definition that any relation produced by a measurable action of a (countable) amenable group is amenable, by push-forward of the mean [ref. 19, 1.6(1)]. An a.e. free action of a countable group is amenable in Zimmer’s sense (ref. 20, 4.3) if and only if the associated relation is amenable (ref. 21, Theorem A).

### Proof of Theorem 1.

Let *A* ≠ **Z** be a subring of **R**. Then, *A* contains a countable subring *A*′ < *A*, which is dense in **R**. Because *H*(*A*′) is a subgroup of *H*(*A*), we can assume that *A* itself is countable dense. Now, *H*(*A*) is a countable group, and Γ: = PSL_{2}(*A*) is a countable dense subgroup of PSL_{2}(**R**).

It is proved in Théorème 3 in ref. 22 that the equivalence relation on PSL_{2}(**R**) induced by the multiplication action of Γ is nonamenable (see also *Remark 10* and *Remark 11*). Equivalently, the Γ-action on PSL_{2}(**R**) is nonamenable. Viewing **P**^{1} as a homogeneous space of PSL_{2}(**R**), it follows that the Γ-action on **P**^{1} is nonamenable. Indeed, amenability is preserved under extensions (ref. 21, Corollary C or ref. 23, 2.4). This action is a.e.-free, because any nontrivial element has, at most, two fixed points. Thus, the relation induced by Γ on **P**^{1} is nonamenable. Restricting to **P**^{1}\{∞}, we deduce from Proposition 9 that the relation induced by the *H*(*A*) action is also nonamenable. [Amenability is preserved under restriction (ref. 18, 9.3), but here, {∞} is a null-set anyway.] Thus, *H*(*A*) is a nonamenable group.□

### Remark 10.

*We recall from ref*. 22 *that the nonamenability of the* Γ-*relation on* PSL_{2}(**R**) *is a general consequence of the existence of a nondiscrete nonabelian free subgroup of* Γ. *Thus*, *the main point of our appeal to ref*. 22 *is the existence of this nondiscrete free subgroup*, *but this existence is much easier to prove directly in the present case of* Γ = PSL_{2}(*A*) *than for general nondiscrete nonsoluble* Γ.

### Remark 11.

*Here is a direct argument avoiding all of the above references in the examples of* *or A* = **Z**[1/ℓ], *where* ℓ *is prime*. *We show directly that the* Γ-*action on* **P**^{1} *is not amenable*. *We consider* Γ *as a lattice in L*: = PSL_{2}(**R**) × PSL_{2}(**R**) *in the first case and L*: = PSL_{2}(**R**) × PSL_{2}(**Q**_{ℓ}) *in the second case*, *both times in such a way that the* Γ-*action on* **P**^{1} *extends to the L*-*action factoring through the first factor*. *If the* Γ-*action on* **P**^{1} *were amenable*, *so would be the L*-*action* (*by coamenability of the lattice*). *However*, *of course*, *L does not act amenably*, *because the stabilizer of any point contains the* (*nonamenable*) *second factor of L*.

The nondiscreteness of *A* was essential in our proof, thus excluding *A* = **Z**.

### Problem 12.

*Is H*(**Z**) *amenable*?

The group *H*(**Z**) is related to Thompson’s group *F*, for which the question of (non)amenability is a notorious open problem. Indeed, *F* seems to be historically the first candidate for a counterexample to the so-called von Neumann conjecture. The relation is as follows: if we modify the definition of *H*(**Z**) by requiring that the breakpoints be rational, then all its elements are automatically *C*^{1}, and the resulting group is conjugated to *F*. The corresponding relation holds between *G*(**Z**) and Thompson’s group *T*. These facts are attributed to a remark of Thurston around 1975, and a very detailed exposition can be found in ref. 24.

*H* Is a Free Group Free Group

We shall largely follow ref. 16 (§3), the main difference being that we replace commutators by a nontrivial word in the second derived subgroup of a free group on two generators.

The support supp(*g*) of an element *g* ∈ *H* denotes the set {*p*: *gp* ≠ *p*}, which is a finite union of open intervals. Any subgroup of *H* fixing some point *p* ∈ **P**^{1} has two canonical homomorphisms to the metabelian stabilizer of *p* in PSL_{2}(**R**) given by left and right germs. Therefore, we deduce the following elementary fact, wherein 〈*f*, *g*〉 denotes the subgroup of *H* generated by *f* and *g*.

### Lemma 13.

*If f*, *g* ∈ *H have a common fixed point p* ∈ **P**^{1}, *then any element of the second derived subgroup* 〈*f*, *g*〉″ *acts trivially on a neighborhood of p*.□

Theorem 2 is an immediate consequence of the following more precise statement.

### Theorem 14.

*Let f*, *g* ∈ *H*. *Either* 〈*f*, *g*〉 *is metabelian or it contains a free abelian group of rank two*.

### Proof.

We suppose that 〈*f*, *g*〉 is not metabelian, so that there is a word *w* in the second derived subgroup of a free group on two generators such that *w*(*f*, *g*) ∈ *H* is nontrivial. We now follow faithfully the proof of theorem 3.2 in ref. 16, replacing [*f*, *g*] by *w*(*f*, *g*). For the reader’s convenience, we sketch the argument; the details are on p. 495 in ref. 16 or p. 232 in ref. 25. Applying Lemma 13 to all endpoints *p* of the connected components of supp(*f*) ∪ supp(*g*), we deduce that the closure of supp(*w*(*f*, *g*)) is contained in supp(*f*) ∪ supp(*g*). This fact implies that some element of 〈*f*, *g*〉 will send any connected component of supp(*w*(*f*, *g*)) to a disjoint interval. The needed element might depend on the connected component. However, upon replacing *w*〈*f*, *g*) by another nontrivial element *w*_{1} ∈ 〈*f*, *g*〉″ with a minimal number of intersecting components with supp(*f*) ∪ supp(*g*), some element *h* of 〈*f*, *g*〉 sends the whole of supp(*w*_{1}) to a set disjoint from it. The corresponding conjugate *w*_{2}: = *hw*_{1}*h*^{−1} will commute with *w*_{1}, and indeed, these two elements generate freely a free abelian group.□

As pointed out to us by Cornulier, the above argument can be pushed so that *w*_{1} and *h* generate a wreath product **Z** ≀ **Z** (compare ref. 26, Theorem 21 for the piecewise linear case).

## Lagniappe

### Proof of Proposition 4.

We refer to ref. 27 for the *L*^{2}-Betti numbers , *n* ∈ **N**. Fix a large integer *n*, and let Γ = *G*(*H*) or *H*(*A*). Choose a set *F* ⊆ *P*_{A} of *n* + 1 distinct points, and let Λ < Γ be the pointwise stabilizer of *F*. Any intersection Λ∗ of any (finite) number of conjugates of Λ is still the pointwise stabilizer of a finite set *F*∗ containing *m* ≥ *n* + 1 points. The definition of *G*(*A*) shows that Λ∗ is the product of *m* infinite groups. The Künneth formula (ref. 27, §2) implies for all *i* = 0, …, *m* − 1. In this situation, Theorem 1.3 in ref. 28 asserts for all *i* ≤ *m* − 1.□

A subgroup *K* of a group *J* is called coamenable if there is a *J*-invariant mean on *J*/*K*. Equivalent characterizations, generalizations, and unexpected examples can be found in refs. 29 and 30.

Recall that a group *J* is inner amenable if there is a conjugacy-invariant mean on *J*\{*e*}. It is equivalent to exhibit such a mean that is invariant under the second derived subgroup *J*″, because the latter is coamenable in *J*. Thus, Proposition 5 is a consequence of the stronger fact that *H*(*A*) is {asymptotically commutative}-by-metabelian in a sense inspired by ref. 31 as follows.

### Proposition 15.

*Let A* < **R** *be any subring*. *For any finite set S* ⊆ *H*(*A*)″, *there is a nontrivial element h*_{S} ∈ *H*(*A*) *commuting with each element of S*.

Indeed, any accumulation point of this net of point-masses at *h*_{S} is *H*(*A*)″-invariant.

### Proof of Proposition 15.

By the argument of Lemma 13, there is a neighborhood of ∞ on which all elements of *S* are trivial. Thus, it suffices to exhibit a nontrivial element *h*_{S} of *H*(*A*), which is supported in this neighborhood. Notice that PSL_{2}(**Z**) contains hyperbolic elements with both fixed points ξ_{±} arbitrarily close to ∞ and on the same side. For instance, conjugate by for sufficiently large *n* ∈ **N**. We choose such an element *h*_{0} with ξ_{±} in the given neighborhood and define *h*_{S} to be trivial on the component of **P**^{1}\{ξ_{±}} containing ∞ and coincide with *h*_{0} on the other component.□

A group is called biorderable if it carries a biinvariant total order. The construction below is completely standard (compare, e.g., ref. 25, p. 233 for a first-order version of our second-order argument).

### Proof of Proposition 6.

Choose an orientation of **P**^{1}\{∞} and define a (right) germ at a point *p* to be positive if either its first derivative is >1 or if it is =1 but the second derivative is >0. Then, define the set *H*_{+} of positive elements of *H* to consist of all transformations with first nontrivial germ (starting from ∞ along the orientation) that is positive. Now, *H*_{+} is a conjugacy invariant subsemigroup, and *H*\{*e*} is ; thus, *H*_{+} defines a biinvariant total order.

Suppose now that we are given a homomorphism from a Kazhdan group to *H*. Its image is then a Kazhdan subgroup *K* < *H*. Kazhdan’s property implies that *K* is finitely generated. It has been known for a long time that any nontrivial finitely generated biorderable group has a nontrivial homomorphism to **R**: this fact follows ultimately from Hölder’s (32) 1901 work by looking at maximal convex subgroups and is explained in ref. 33 (§2). However, this circumstance is impossible for a Kazhdan group.□

### Lemma 16.

*For any p* ∈ **P**^{1}\{*∞*}, *there is a sequence* {*g*_{n}} *in H*(**Z**), *such that g*_{n}*q converges to* ∞ *uniformly for q in compact subsets of* **P**^{1}\{*p*}.

### Proof.

It suffices to show that, for any open neighborhoods *U* and *V* of *p* and ∞, respectively, in **P**^{1}, there is *g* ∈ *H*(**Z**), which maps **P**^{1}\*U* into *V*. Because the collection of pairs of fixed points of hyperbolic elements of PSL_{2}(**Z**) is dense in **P**^{1} × **P**^{1}, we can find hyperbolic matrices *h*_{1}, *h*_{2} ∈ PSL_{2}(**Z**) with repelling fixed points *r*_{i} in *U*\{*p*} and attracting fixed points *a*_{i} in *V*\{∞}, such that the cyclic order is ∞, *a*_{1}, *r*_{1}, *p*, *r*_{2}, *a*_{2}. Now, we define *g* to be a sufficiently high power of *h*_{1} on the interval [*a*_{1}, *r*_{1}] (for the above cyclic order), *h*_{2} on the interval [*r*_{2}, *a*_{2}], and the identity elsewhere.□

### Proof of Proposition 7.

Let *K* be the pointwise stabilizer of a nondense subset *E* ⊆ **P**^{1}; it suffices to find a mean invariant under *H*(*A*)″. Let {*g*_{n}} be the sequence provided by Lemma 16 for *p*, an interior point of the complement of *E*. Any accumulation point of the sequence of point-masses at *g*_{n}*K* in *H*(*A*)/*K* will do. Indeed, because any *g* ∈ *H*(*A*)″ is trivial in a neighborhood of ∞, we have for *n* large enough.□

The existence of two (or more) commuting coamenable subgroups is also a weak form of amenability. It is the key in the argument cited below.

### Proof of Proposition 8.

Consider two disjoint nonempty open sets in **P**^{1}. The pointwise stabilizers of their complement commute with each other and are coamenable by Proposition 7. In this situation, Corollary 2.2 in ref. 34 yields the desired conclusion.□

The properties used in this section show immediately that *H*(*A*) fulfills the criterion of ref. 35, Theorem 1.1 and thus, satisfies no group law.

Combining Theorems 1 and 2 with the main result of ref. 36, we conclude that the wreath product **Z** ≀ *H* is a torsion-free nonunitarisable group without free subgroups. We can replace it by a finitely generated subgroup upon choosing a nonamenable, finitely generated subgroup of *H*. This construction provides some new examples to Dixmier’s problem, unsolved since 1950 (37⇓–39).

Finally, we mention that our argument from Proposition 6.4 in ref. 40 applies to show that the bounded cohomology vanishes for all *n* ∈ **N** and all mixing unitary representations *V*. More generally, it applies to any semiseparable coefficient module *V*, unless all finitely generated subgroups of *H*(*A*)″ have invariant vectors in *V* (see ref. 40 for details and definitions). This vanishing should be contrasted with the fact that amenability is characterized by the vanishing of bounded cohomology with all dual coefficients.

## Acknowledgments

This work was supported in part by the European Research Council and the Swiss National Science Foundation.

## Footnotes

- ↵
^{1}E-mail: nicolas.monod{at}epfl.ch.

Author contributions: N.M. designed research, performed research, and wrote the paper.

The author declares no conflict of interest.

This article is a PNAS Direct Submission.

Freely available online through the PNAS open access option.

## References

- ↵
- Banach S,
- Tarski A

- ↵
- ↵
- von Neumann J

- ↵
- Tarski A

- ↵
- Tarski A

- ↵
- Ol′shanskiĭ AY

- ↵
- Ol′shanskiĭ AY

- ↵
- Ol′shanskiĭ AY

- ↵
- Adyan SI

- ↵
- Adyan SI

- ↵
- Ol′shanskiĭ AY,
- Sapir MV

- ↵
- ↵
- Osin DV

*L*^{2}-Betti numbers and non-unitarizable groups without free subgroups. Int Math Res Not 22:4220–4231. - ↵
- Schlage-Puchta J-C

*p*-group with positive rank gradient. J Group Theory 15(2):261–270. - ↵
- ↵
- ↵
- Connes A,
- Feldman J,
- Weiss B

- ↵
- Kechris AS,
- Miller BD

- ↵
- Schmidt K

*Proceedings of the CBMS Regional Conference Series in Mathematics*(Conference Board of the Mathematical Sciences, Washington, DC). - ↵
- Zimmer RJ

- ↵
- ↵
- Carrière Y,
- Ghys É

- ↵
- ↵
- Martin X

- ↵
- Cannon JW,
- Floyd WJ,
- Parry WR

- ↵
- ↵
- ↵
- Bader U,
- Furman A,
- Sauer R

*L*^{2}-cohomology. arXiv:1206:4793v1. - ↵
- Eymard P

- ↵
- Monod N,
- Popa S

- ↵
- ↵
- Hölder O

- ↵
- Kopytov VM,
- Medvedev NY

- ↵
- Caprace P-E,
- Monod N

- ↵
- ↵
- Monod N,
- Ozawa N

- ↵
- Day MM

- ↵
- Dixmier J

- ↵
- ↵
- Monod N

## Citation Manager Formats

### More Articles of This Classification

### Physical Sciences

### Related Content

- No related articles found.

### Cited by...

- No citing articles found.