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.
We construct a finitely presented group with coNP-complete word problem, and a finitely generated simple group with coNP-complete word problem. These groups are represented as Thompson groups, hence as partial transformation groups of strings. The proof provides a simulation of combinational circuits by elements of the Thompson-Higman group G_{3,1}.
Recently Akhmedov introduced a property of finitely generated groups called the Traveller Salesman Property (TSP). It was shown by Thurston that TSP implies non-amenability. Akhmedov conjectured that R. Thompson's group $F$ has TSP. The aim of this article is to disprove this conjecture.
V.S.Guba had proved that the R.Thompson group $T$ satisfies polynomial isoperimetric inequality and $Φ_T(n)\preceq n^7$, where $Φ_T$ is the Dehn function of group $T$. In this paper, we show that $Φ_T(n)\preceq n^5$.
The automorphism groups of several of Thompson's countable groups of piecewise linear homeomorphisms of the line and circle are computed and it is shown that the outer automorphism groups of these groups are relatively small. These results can be interpreted as stability results for certain structures of PL functions on the circle. Machinery is developed to relate the structures on the circle to corresponding structures on the line.
Let $f$ be an automorphism of a group $G$. Two elements $x, y$ in $G$ are said to be in the same $f$-twisted conjugacy class if there exists an element $z$ in $G$ such that $y=z x f(z^{-1})$. This is an equivalence relation known as $f$-twisted conjugacy. If the number $R(f)$ of $f$-twisted conjugacy classes is infinite for every automorphism $f$ of $G$ one says that $G$ has the $R_\infty$-property. We show that the Richard Thompson group $T$ has the $R_\infty$-property.
In the early 1980s Ross Geoghegan and I calculated the homology of Richard Thompson's group F as a graded abelian group. It turns out that the homology admits a natural ring structure, which I calculate in this paper. As a byproduct, I obtain the ring structure on the cohomology.
The subgroup structure of Thompson's group F is not yet fully understood. The group F is a subgroup of the group PL(I) of orientation preserving, piecewise linear self homeomorphisms of the unit interval and this larger group thus also has a poorly understood subgroup structure. It is reasonable to guess that F is the "only" subgroup of PL(I) that is not elementary amenable. In this paper, we explore the complexity of the elementary amenable subgroups of F in an attempt to understand the boundary between the elementary amenable subgroups and the non-elementary amenable. We construct an example…
We show that one can naturally describe elements of R. Thompson's finitely presented infinite simple group $V$, known by Thompson to have a presentation with four generators and fourteen relations, as products of permutations analogous to transpositions. This perspective provides an intuitive explanation towards the simplicity of $V$ and also perhaps indicates a reason as to why it was one of the first discovered infinite finitely presented simple groups: it is (in some basic sense) a relative of the finite alternating groups. We find a natural infinite presentation for $V$ as a group generate…
We prove new results about the remarkable infinite simple groups introduced by Richard Thompson in the 1960s. We define the groups as partial transformation groups and we give a faithful representation in the Cuntz C*-algebra. For the finitely presented simple group T_fin (also known as V) we show that the word-length and the table size satisfy an n log n relation, just like the symmetric groups. We show that the word problem of T_fin belongs to the parallel complexity class AC^1 (a subclass of plynomial time). We show that the generalized word problem of T_fin is undecidable. We study the dis…
This paper demonstrates the uniformly finite homology developed by Block and Weinberger and its relationship to amenable spaces via applications to the Cayley graph of Thompson's Group F. In particular, a certain class of subgraph of F is shown to be non-amenable. This shows that if F is amenable, these subsets (which include every finitely generated submonoid of the positive monoid of F) must necessarily have measure zero.
We describe, through the use of Rubin's theorem, the automorphism groups of the Higman-Thompson groups $G_{n,r}$ as groups of specific homeomorphisms of Cantor spaces $\mathfrak{C}_{n,r}$. This continues a thread of research begun by Brin, and extended later by Brin and Guzmán: to characterise the automorphism groups of the `Chameleon groups of Richard Thompson,' as Brin referred to them in 1996. The work here completes the first stage of that twenty-year-old program, containing (amongst other things) a characterisation of the automorphism group of $V$, which was the `last chameleon.' The home…
The groups G_{k,1} of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call M_{k,1}, and to inverse monoids, called Inv_{k,1}; this is done by simply generalizing bijections to partial functions or partial injective functions. The monoids M_{k,1} have connections with circuit complexity (studied in another paper). Here we prove that M_{k,1} and Inv_{k,1} are congruence-simple for all k. Their Green relations J and D are characterized: M_{k,1} and Inv_{k,1} are J-0-simple, and they have k-1 non-zero D-classes. They are submonoids of the multiplicative p…
We investigate the notion of relatively amenable topological action and show that the action of Thompson's group $T$ on $S^1$ is relatively amenable with respect to Thompson's group $F$. We use this to conclude that $F$ is exact if and only if $T$ is exact. Moreover, we prove that the groupoid of germs of the action of $T$ on $S^1$ is Borel amenable.
We study some properties of the Cayley graph of the R.Thompson's group F in generators $x_0$, $x_1$. We show that the density of this graph, that is, the least upper bound of the average vertex degree of its finite subgraphs is at least 3. It is known that a 2-generated group is not amenable if and only if the density of the corresponding Cayley graph is strictly less than 4. It is well known this is also equivalent to the existence of a doubling function on the Cayley graph. This means there exists a mapping from the set of vertices into itself such that for some constant $K>0$, each vertex m…
We determine exactly which graph products, also known as Right Angled Artin Groups, embed into Richard Thompson's group $V$. It was shown by Bleak and Salazar-Diaz that $\mathbb{Z}^2 * \mathbb{Z}$ was an obstruction. We show that this is the only obstruction. This is shown by proving a graph theory result giving an alternate description of simple graphs without an appropriate induced subgraph.
In this short note, we show that R. Thompson's group $F$ admits a normalish amenable subgroup, and that the standard copy of $F$ in R. Thompson's group $T$ is normalish in $T$. We further conjecture that if $F$ is non-amenable, then $T$ does not admit a normalish amenable subgroup, and therefore that the reduced $C^*$ algebra of $T$ is in fact simple in that case.
We prove that Richard Thompson's group F is not minimally almost convex with respect to the two standard generators. This improves upon a recent result of S. Cleary and J. Taback. We make use of the forest diagrams for elements of F introduced by J. Belk and K. Brown. These diagrams seem particularly well-suited for understanding the Cayley graph for the two standard generators.
One way to show that Thompson's group F is non-amenable is to exhibit an action of F on a locally compact CAT(0) space X containing no F-invariant flats and having no global fixed points in its boundary-at-infinity. We study the actions of Thompson's groups F, T, and V on the boundaries-at-infinity of proper CAT(0) cubical complexes. In particular, we show that Thompson's groups T and V act without fixing any points in the boundaries of their CAT(0) cubical complexes. This in particular gives another proof of the well-known fact that these groups are non-amenable. We obtain a partial descripti…
In this paper we prove that the Thompson groups $T$ and $V$ are not inner amenable. In particular, their group von Neumann algebras do not have property $Γ$. Moreover, we prove that if the reduced group $C^\ast$-algebra of $T$ is simple, then the Thompson group $F$ is non-amenable. Furthermore, we give a few new equivalent characterizations of amenability of $F$.
Let $F(p)$, $p\ge2$ be the family of generalized Thompson's groups. Here F(2) is the famous Richard Thompson's group usually denoted by $F$. We find the growth rate of the monoid of positive words in $F(p)$ and show that it does not exceed $p+1/2$. Also we describe new normal forms for elements of $F(p)$ and, using these forms, we find a lower bound for the growth rate of $F(p)$ in its natural generators. This lower bound asymptotically equals $(p-1/2)\log_2 e+1/2$ for large values of $p$.
Vaughan Jones discovered unexpected connections between Richard Thompson's group and subfactor theory while attempting to construct conformal field theories (in short CFT). Among other this founded Jones' technology: a powerful new method for constructing actions of fraction groups which had numerous applications in mathematical physics, operator algebras, group theory and more surprisingly in knot theory and noncommutative probability theory. We propose and outline a program in the vein of Jones' work but where the Thompson group is replaced by a family of groups that we name forest-skein gro…
If $ϕ$ is an automorphism of a group $G$ and $x,y\in G$, we say that $x$ and $y$ are $ϕ$-twisted conjugates if there exists an $z\in G$ such that $y=z.x.ϕ(z^{-1})$. This is an equivalence relation. If there are infinitely many $ϕ$-twisted conjugacy classes for every automorphism $ϕ$ of $G$ we say that $G$ has the $R_\infty$-property. We prove that the generalized Richard Thompson groups $F_n$ and $F(l,A,P)$ have the $R_\infty$-property.
We describe the results of some computational explorations in Thompson's group F. We describe experiments to estimate the cogrowth of F with respect to its standard finite generating set, designed to address the subtle and difficult question whether or not Thompson's group is amenable. We also describe experiments to estimate the exponential growth rate of F and the rate of escape of symmetric random walks with respect to the standard generating set.
In this paper we prove that the general version, F(N) of the Thompson group is inner amenable. As a consequence we generalize a result of P.Jolissaint. To do so, we prove first that F(N) together with a normal subgroup are i.c.c (infinite conjugacy classes) groups. Then, we investigate the relative McDuff property out of which we extract property $Γ$ for the group von Neumann algebras involved. By a result of E.G.Effros, F(N) follows inner amenable.
We demonstrate the existence of a family of finitely generated subgroups of Richard Thompson's group $F$ which is strictly well-ordered by the embeddability relation in type $ε_0 +1$. All except the maximum element of this family (which is $F$ itself) are elementary amenable groups. In fact we also obtain, for each $α< ε_0$, a finitely generated elementary amenable subgroup of $F$ whose EA-class is $α+ 2$. These groups all have simple, explicit descriptions and can be viewed as a natural continuation of the progression which starts with $\mathbf{Z} + \mathbf{Z}$, $\mathbf{Z} \wr \mathbf{Z}$, a…
The Schreier graphs of Thompson's group F with respect to the stabilizer of 1/2 and generators x_0 and x_1, and of its unitary representation in L_2([0,1]) induced by the standard action on the interval [0,1] are explicitly described. The coamenability of the stabilizers of any finite set of dyadic rational numbers is established. The induced subgraph of the right Cayley graph of the positive monoid of F containing all the vertices of the form x_nv, where n>=0 and v is any word over the alphabet {x_0, x_1}, is constructed. It is proved that the latter graph is non-amenable.
Surprisingly Richard Thompson's groups have recently appeared in Jones' subfactor theory. Vaughan Jones is famous for linking theories that are a priori completely disconnected; for instance, his celebrated polynomial for links emanating from subfactor theory. This note is about a new beautiful story in mathematics which results from a fortunate accident in the land of quantum field theory.
Given a set S equipped with a binary operation (we call this a "bracket algebra") one may ask to what extent the binary operation satisfies some of the consequences of the associative law even when it is not actually associative? We define a subgroup Assoc(S) of Thompson's Group F for each bracket algebra S, and we interpret the size of Assoc(S) as determining the amount of associativity in S - the larger Assoc(S) is, the more associativity holds in S. When S is actually associative, Assoc(S) = F; that is the trivial case. In general, it turns out that only certain subgroups of F can occur as …
It is a long standing open problem whether the Thompson group $F$ is an amenable group. In this paper we show that if $A$, $B$, $C$ denote the standard generators of Thompson group $T$ and $D:=C B A^{-1}$ then $$\sqrt2+\sqrt3\,<\,\frac1{\sqrt{12}}||(I+C+C^2)(I+D+D^2+D^3)||\,\le\, 2+\sqrt2.$$ Moreover, the upper bound is attained if the Thompson group $F$ is amenable. Here, the norm of an element in the group ring $\mathbb{C} T$ is computed in $B(\ell^2(T))$ via the regular representation of $T$. Using the "cyclic reduced" numbers $τ(((C+C^2)(D+D^2+D^3))^n)$, $n\in\mathbb{N}$, and some methods …
Let $R=K[G]$ be a group ring of a group $G$ over a field $K$. It is known that if $G$ is amenable then $R$ satisfies the Ore condition: for any $a,b\in R$ there exist $u,v\in R$ such that $au=bv$, where $u\ne0$ or $v\ne0$. It is also true for amenable groups that a non-zero solution exists for any finite system of linear equations over $R$, where the number of unknowns exceeds the number of equations. Recently Bartholdi proved the converse. As a consequence of this theorem, Kielak proved that R.\,Thompson's group $F$ is amenable if and only if it satisfies the Ore condition. The amenability pr…
By the density of a finite graph we mean its average vertex degree. For an $m$-generated group, the density of its Cayley graph in a given set of generators, is the supremum of densities taken over all its finite subgraphs. It is known that a group with $m$ generators is amenable iff the density of the corresponding Cayley graph equals $2m$. A famous problem on the amenability of R.\,Thompson's group $F$ is still open. What is known due to the result by Belk and Brown, is that the density of its Cayley graph in the standard set of group generators $\{x_0,x_1\}$, is at least $3.5$. This estimat…
Given any linear isometry from a Hilbert space to its square one can explicitly construct a so-called Pythagorean unitary representation of Richard Thompson's group F. We introduce a condition on the isometry implying that the associated representation does not contain any induced representations by finite-dimensional ones. This provides the first result of this kind. We illustrate this theorem via a family of representations parametrised by the real 3-sphere for which all of them have this property except two sub-circles.
We show that for a large class $\mathcal{C}$ of finitely generated groups of orientation preserving homeomorphisms of the real line, the following holds: Given a group $G$ of rank $k$ in $\mathcal{C}$, there is a sequence of $k$-markings $(G, S_n), n\in \mathbf{N}$ whose limit in the space of marked groups is the free group of rank $k$ with the standard marking. The class we consider consists of groups that admit actions satisfying mild dynamical conditions and a certain "self-similarity" type hypothesis. Examples include Thompson's group $F$, Higman-Thompson groups, Stein-Thompson groups, var…
This paper examines Shavgulidze's postings to the ArXiv and publications which concern his argument that Thompson's group F is amenable. In particular I list specific places where there are errors in each of the postings and publications and give a public clarification of some of the speculation around these papers.
We show that the generation problem in Thompson group $F$ is decidable, i.e., there is an algorithm which decides if a finite set of elements of $F$ generates the whole $F$. The algorithm makes use of the Stallings $2$-core of subgroups of $F$, which can be defined in an analogue way to the Stallings core of subgroups of a finitely generated free group. Further study of the Stallings $2$-core of subgroups of $F$ provides a solution to another algorithmic problem in $F$. Namely, given a finitely generated subgroup $H$ of $F$, it is decidable if $H$ acts transitively on the set of finite dyadic …
We show that locally solvable subgroups of PLo(I) are countable. Then for each countable ordered set, we construct a locally solvable subgroup of Thompson's Group F. We develop machinery for understanding embeddings from solvable subgroups into solvable subgroups. Finally, we apply this machinery to show the ordered sets used in our construction are invariant under isomorphisms between the groups constructed. Therefore, we effectively distinguish the groups and provide uncountably many non-isomorphic locally solvable, hence elementary amenable, subgroups of Thompson's Group F.
Schreier graphs of the actions of Thompson's group $F$ on the orbits of all points of the unit interval and of the Cantor set with respect to the standard generating set $\{x_0,x_1\}$ are explicitly constructed. The closure of the space of pointed Schreier graphs of the action of $F$ on the orbits of dyadic rational numbers and corresponding Schreier dynamical system are described. In particular, we answer the question of Grigorchuk on the Cantor-Bendixson rank of the underlying space of the Schreier dynamical system in the context of $F$. As applications we prove that the pointed Schreier gra…
In a recent paper Uffe Haagerup and Kristian Knudsen Olesen show that for Richard Thompson's group $T$, if there exists a finite set $H$ which can be decomposed as disjoint union of sets $H_1$ and $H_2$ with $\sum_{g\in H_1}π(g)=\sum_{h\in H_2}π(h)$ and such that the closed ideal generated by $\sum_{g\in H_1}λ(g)-\sum_{h\in H_2}λ(h)$ coincides with $C^*_λ(T)$, then the Richard Thompson group $F$ is not amenable. In particular, if $C_λ^*(T)$ is simple then $F$ is not amenable. Here we prove the converse, namely, if $F$ is not amenable then we can find two sets $H_1$ and $H_2$ with the above pro…
We prove a variety of results about the group von Neumann algebras associated to Thompson-like groups arising from so called $d$-ary cloning systems. Cloning systems are a framework developed by Witzel and the second author, with a $d$-ary version subsequently developed by Skipper and the second author, which can be used to construct generalizations of the classical Thompson's groups $F$, $T$, and $V$. Given a family of groups $(G_n)_{n\in\mathbb{N}}$ with a $d$-ary cloning system, we get a Thompson-like group $\mathscr{T}_d(G_*)$, and in this paper we find some mild, natural conditions under …
The Arithmetic is interpreted in all the groups of Richard Thompson and Graham Higman, as well as in other groups of piecewise affine permutations of an interval which generalize the groups of Thompson and Higman. In particular, the elementary theories of all these groups are undecidable. Moreover, Thompson's group $F$ and some of its generalizations interpret the Arithmetic without parameters.
The Arithmetic is interpreted in all the groups of Richard Thompson and Graham Higman, as well as in other groups of piecewise affine permutations of an interval which generalize the groups of Thompson and Higman. In particular, the elementary theories of all these groups are undecidable. Moreover, Thompson's group $F$ and some of its generalizations interpret the Arithmetic without parameters.
The purpose of this article is prove that Thompson's group F is amenable. The methods developed will then be used to prove a generalization of Hindman's theorem for the free nonassociative binary system on one generator.
We study the uniformly recurrent subgroups of groups acting by homeomorphisms on a topological space. We prove a general result relating uniformly recurrent subgroups to rigid stabilizers of the action, and deduce a $C^*$-simplicity criterion based on the non-amenability of rigid stabilizers. As an application, we show that Thompson's group $V$ is $C^\ast$-simple, as well as groups of piecewise projective homeomorphisms of the real line. This provides examples of finitely presented $C^\ast$-simple groups without free subgroups. We prove that a branch group is either amenable or $C^\ast$-simple…
We continue with the functional approach to the P-versus-NP problem, begun in [2, 3]. We previously constructed a monoid RM^P that is non-regular iff NP is not P. We now construct homomorphic images of RM^P with interesting properties. In particular, the homomorphic image M^P_poly of RM^P is finitely generated and J^0-simple, and is non-regular iff NP is not P. The group of units of M^P_poly is the famous Richard Thompson group V.
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…
The recent paper "The further chameleon groups of Richard Thompson and Graham Higman: automorphisms via dynamics for the Higman groups $G_{n,r}$" of Bleak, Cameron, Maissel, Navas and Olukoya (BCMNO) characterises the automorphisms of the Higman-Thompson groups $G_{n,r}$ as the specific subgroup of the rational group $\mathcal{R}_{n,r}$ of Grigorchuk, Nekrashevych and Suchanski{\u i}'s consisting of those elements which have the additional property of being bi-synchronizing. In this article, we extend the arguments of BCMNO and characterise the automorphism group of $T_{n,r}$ as a subgroup of …
In the quest in constructing conformal field theories (CFT) Jones has discovered a beautiful and deep connection between CFT, Richard Thompson's groups and knot theory. This led to a powerful functorial framework for constructing actions of particular groups arising from categories such as Thompson's groups and braid groups. In particular, given a group and two of its endomorphisms one can construct a semidirect product where the largest Thompson's group $V$ is acting. These semidirect products have remarkable diagrammatic descriptions which were previously used to provide new examples of grou…
