We discuss metric and combinatorial properties of Thompson's group T, including normal forms for elements and unique tree pair diagram representatives. We relate these properties to those of Thompson's group F when possible, and highlight combinatorial differences between the two groups. We define a set of unique normal forms for elements of T arising from minimal factorizations of elements into natural pieces. We show that the number of carets in a reduced representative of an element of T estimates the word length, and that F is undistorted in T. We describe how to recognize torsion elements in T.
We study some combinatorial properties of the word metric of Thompson's group F in the standard two generator finite presentation. We explore connections between the tree pair diagram representing an element w of F, its normal form in the infinite presentation, its word length, and minimal length representatives of it. We estimate word length in terms of the number and type of carets in the tree pair diagram and show sharpness of those estimates. In addition we explore some properties of the Cayley graph of F with respect to the two generator finite presentation. Namely, we exhibit the form of…
In this paper we construct a cellular complex which is an infinite analogue to Stasheff's associahedra. We prove that it is contractible and state that its (combinatorial) automorphism group is isomorphic to a semi-direct product of R.J. Thompson's group $T$ with $\mathbb{Z}/2\mathbb{Z}$.
Braided Thompson's groups are finitely presented groups introduced by Brin and Dehornoy which contain the ordinary braid groups $B_n$, the finitary braid group $B_{\infty}$ and Thompson's group $F$ as subgroups. We describe some of the metric properties of braided Thompson's groups and give upper and lower bounds for word length in terms of the number of strands and the number of crossings in the diagrams used to represent elements.
We present new metric criteria for non-amenability and discuss applications. The main application of the results of this paper is the proof of non-amenability of R.Thompson's group F. This is a continuation of the series of papers on our criteria for non-amenability. The current paper is independent of other papers in the series.
We describe some of the geometric properties of the automorphism group Aut(F) of Thompson's group F. We give realizations of Aut(F) geometrically via periodic tree pair diagrams, which lead to natural presentations and give effective methods for estimating the word length of elements. We study some natural subgroups of Aut(F) and their metric properties. In particular, we show that the subgroup of inner automorphisms of F is at least quadratically distorted in Aut(F), whereas other subgroups of Aut(F) isomorphic to F are undistorted.
Higher-dimensional Thompson's groups nV are finitely presented groups described by Brin which generalize dyadic self-maps of the unit interval to dyadic self-maps of n-dimensional unit cubes. We describe some of the metric properties of higher-dimensional Thompson's groups. We give descriptions of elements based upon tree-pair diagrams and give upper and lower bounds for word length in terms of the size of the diagrams. Though these upper and lower bounds are somewhat separated, we show that there are elements realizing the lower bounds and that the fraction of elements which are close to the …
The definition of graph automatic groups by Kharlampovich, Khoussainov and Miasnikov and its extension to C-graph automatic by Murray Elder and the first author raise the question of whether Thompson's group F is graph automatic. We define a language of normal forms based on the combinatorial "caret types" which arise when elements of F are considered as pairs of finite rooted binary trees, which we show to be accepted by a finite state machine with 2 counters, and forms the basis of a 3-counter graph automatic structure for the group.
The purpose of this paper is to study the properties of the irrational-slope Thompson's group $F_τ$ introduced by Cleary in 1995. We construct presentations, both finite and infinite and we describe its combinatorial structure using binary trees. We show that its commutator group is simple. Finally, inspired by the case of Thompson's group F, we define a unique normal form for the elements of the group and study the metric properties for the elements based on this normal form. As a corollary, we see that several embeddings of $F$ in $F_τ$ are undistorted.
We consider the Thompson-Stein group F(n_1,...,n_k) for integers n_1,...,n_k and k greater than 1. We highlight several differences between the cases k=1$ and k>1, including the fact that minimal tree-pair diagram representatives of elements may not be unique when k>1. We establish how to find minimal tree-pair diagram representatives of elements of F(n_1,...,n_k), and we prove several theorems describing the equivalence of trees and tree-pair diagrams. We introduce a unique normal form for elements of F(n_1,...,n_k) (with respect to the standard infinite generating set developed by Melanie St…
This paper allows one to obtain a criterion for the existence of a projectively invariant measure formulated in terms of combinatorial properties of a group (amenability of some canonical quotient group). Such necessary and sufficient condition is a basis of the classification scheme for groups of homeomorphisms of the line. In particular, a nonamenability of Thompson's group $F$ follows from the obtained criterion.
The distance from the origin in the word metric for generalizations F(p) of Thompson's group F is quasi-isometric to the number of carets in the reduced rooted tree diagrams representing the elements of F(p). This interpretation of the metric is used to prove that every F(p) admits a quasi-isometric embedding into every F(q), and also to study the behavior of the shift maps under these embeddings.
We use geometric techniques to investigate several examples of quasi-isometrically embedded subgroups of Thompson's group F. Many of these are explored using the metric properties of the shift map phi in F. These subgroups have simple geometric but complicated algebraic descriptions. We present them to illustrate the intricate geometry of Thompson's group F as well as the interplay between its standard finite and infinite presentations. These subgroups include those of the form F^m cross Z^n, for integral non-negative m and n, which were shown to occur as quasi-isometrically embedded subgroups…
In this article, we further explore the nature of a connection between the groups of automorphisms of full shift spaces and the groups of outer automorphisms of the Higman--Thompson groups $\{G_{n,r}\}$. We show that the quotient of the group of automorphisms of the (two-sided) shift dynamical system $\mathrm{Aut}(X_n^{\mathbb{N}}, σ_{n})$ by its centre embeds as a particular subgroup $\mathcal{L}_{n}$ of the outer automorphism group $\mathop{\mathrm{Out}}(G_{n,n-1})$ of $G_{n,n-1}$. It follows by a result of Ryan that we have the following central extension: $$\langle σ_{n}\rangle \hookrighta…
We prove that seesaw words exist in Thompson's Group F(N) for N=2,3,4,... with respect to the standard finite generating set X. A seesaw word w with swing k has only geodesic representatives ending in g^k or g^{-k} (for given g\in X) and at least one geodesic representative of each type. The existence of seesaw words with arbitrarily large swing guarantees that F(N) is neither synchronously combable nor has a regular language of geodesics. Additionally, we prove that dead ends (or k--pockets) exist in F(N) with respect to X and all have depth 2. A dead end w is a word for which no geodesic pat…
We study subgroups $H_U$ of the R. Thompson group $F$ which are stabilizers of finite sets $U$ of numbers in the interval $(0,1)$. We describe the algebraic structure of $H_U$ and prove that the stabilizer $H_U$ is finitely generated if and only if $U$ consists of rational numbers. We also show that such subgroups are isomorphic surprisingly often. In particular, we prove that if finite sets $U\subset [0,1]$ and $V\subset [0,1]$ consist of rational numbers which are not finite binary fractions, and $|U|=|V|$, then the stabilizers of $U$ and $V$ are isomorphic. In fact these subgroups are conju…
We give first examples of finitely generated groups having an intermediate, with values in (0,1), Hilbert space compression (which is a numerical parameter measuring the distortion required to embed a metric space into Hilbert space). These groups include certain diagram groups. In particular, we show that the Hilbert space compression of Richard Thompson's group $F$ is equal to 1/2, the Hilbert space compression of the restricted wreath product $Z\wr Z$ is between 1/2 and 3/4, and the Hilbert space compression of $Z\wr (Z\wr Z)$ is between 0 and 1/2. In general, we find a relationship between…
