Pawel Witowicz | Searcharxiv

arXiv2015

Richard Thompson group F is not amenable

Richard Thompson's group F is the group of piecewise linear homeomorphisms of the unit interval with a finite number of break points, all at dyadic rational numbers (their denominators are powers of 2) and with slopes which are powers of 2. A discrete group G is amenable if there exists a finitely-additive probability measure on G which is invariant under left translations and is defined on all subsets of G. The amenability question for F is a well known open problem. In this paper we prove that group F is not amenable.

math.GR↗

arXiv2012

A parabolic action on a proper, CAT(0) cube complex

We consider diagram groups as defined by V. Guba and M. Sapir. A diagram group G acts on the associated cube complex K by isometries. It is known that if a cube complex L is of a finite dimension then every isometry g of L is semi-simple, i.e. its translation length is realized. It was conjectured by D. S. Farley that in the case of a diagram group G the action of G on the associated cube complex K is by semisimple isometries even when K has an infinite dimension. In this paper we give a counterexample to Farley Conjecture and we show that R. Thompson's group F, considered as a diagram group, has some elements which act as parabolic (not semi-simple) isometries on the associated cube complex.

math.GR↗