The Dehn Function of Richard Thompson's Group F is Quadratic

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.

Twisted conjugacy in Richard Thompson's group T

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.

在 Richard Thompson 群景观中的有限表示单左序群

Finitely presented simple left-orderable groups in the landscape of Richard Thompson's groups

本文首次构造了实数线上保向同胚的有限表示单群，该类群具有类型 $F_{\infty}$、无限几何维数及非平凡齐次拟态，从而具有无限换位子宽度。

The homology of Richard Thompson's group F

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 infinite simple group V of Richard J. Thompson: presentations by permutations

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…

The groups of Richard Thompson and complexity

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…

Thompson's Group F is Not Kahler

The purpose of this note is to prove that Richard Thompson's group F and variants of it studied by Ken Brown are not Kahler groups.

The further chameleon groups of Richard Thompson and Graham Higman: Automorphisms via dynamics for the Higman groups $G_{n,r}$

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…

Monoid generalizations of the Richard Thompson groups

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…

On the Properties of the Cayley Graph of Richard Thompson's Group F

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…

The graph structure of graph groups that are subgroups of Thompson's group $V$

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.

Thompson's Group F is not Minimally Almost Convex

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.

Growth of positive words and lower bounds of the growth rate for Thompson's groups $F(p)$

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$.

Twisted conjugacy in generalized Thompson groups of type F

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.

Forest-skein groups I: between Vaughan Jones' subfactors and Richard Thompson's groups

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…

Cosets of Sylow p-subgroups and a Question of Richard Taylor

We prove that for any prime p there exist infinitely many finite simple groups G with a coset xP of a Sylow p-subgroup P of G such that every element of xP has order divisible by p. John Thompson proved this for p=2 in 1967 answering a question of Lowell Paige. This result is used to answer a question of Richard Taylor on adequate representations.

Compact presentability of tree almost automorphism groups

We establish compact presentability, i.e. the locally compact version of finite presentability, for an infinite family of tree almost automorphism groups. Examples covered by our results include Neretin's group of spheromorphisms, as well as the topologically simple group containing the profinite completion of the Grigorchuk group constructed by Barnea, Ershov and Weigel. We additionally obtain an upper bound on the Dehn function of these groups in terms of the Dehn function of an embedded Higman-Thompson group. This, combined with a result of Guba, implies that the Dehn function of the Nereti…

On Jones' connections between subfactors, conformal field theory, Thompson's groups and knots

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.

Jones' representations of R. Thompson's groups not induced by finite-dimensional ones

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.

R. Thompson 群的毕达哥拉斯表示的分解

Decomposition of Pythagorean representations of R. Thompson's groups

针对由单个等距映射构造的 Thompson 群 $F,T,V$ 毕达哥拉斯酉表示，本文利用图技术将其分解为连续部分与原子部分，并完全刻画原子部分的单项表示来源。

Ideal structure of the C*-algebra of Thompson group T

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…

Interpretation of the Arithmetic in certain groups of piecewise affine permutations of an interval

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.

Interprétation de l'Arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle

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.

Cuntz代数与R. Thompson群的表示的张量积

A tensor product for representations of the Cuntz algebra and of the R. Thompson groups

本文通过Pythagorean酉表示将Richard Thompson群$F,T,V$与Cuntz代数$\mathcal{O}$联系起来，为这些代数和群的一大类表示引入了张量积，证明其子范畴构成张量范畴并计算了融合规则。

Complexity among the finitely generated subgroups of Thompson's group

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…

R. Thompson群与Cuntz代数的原子表示

Atomic representations of R. Thompson's groups and Cuntz's algebra

本文研究了Richard Thompson群的毕达哥拉斯酉表示，证明其可分解为扩散部分和原子部分，并完整描述了由抛物线子群族不可约单项表示构成的原子部分。

弱交换性、虚拟幂零群与 Dehn 函数

Weak commutativity, virtually nilpotent groups, and Dehn functions

本文研究弱交换构造 $\mathfrak{X}(G)$，通过分析正规交换子群模结构，证明其保持虚拟幂零、Engel 与增长类型，并刻画字问题及 Dehn 函数下界。

R. Thompson 群与 Cuntz 代数的不可约 Pythagorean 表示

Irreducible Pythagorean representations of R. Thompson's groups and of the Cuntz algebra

本文提出 Pythagorean 维数，用有限维线性代数函子式分类 Thompson 群与 Cuntz 代数的 Pythagorean 表示，并刻画其不可约模空间及与单项表示的关系。

Automorphisms of the generalised Thompson's group $T_{n,r}$

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 …

森林skein群 III：单性

Forest-skein groups III: simplicity

本文研究森林skein群的导子群何时为单群，给出动力学与范畴论两种刻画，并构造关联于有限二叉树及n元Higman–Thompson群的多类单群例子。

Classification of Thompson related groups arising from Jones technology I

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…

Classification of Thompson related groups arising from Jones technology II

In this second article, we continue to study classes of groups constructed from a functorial method due to Vaughan Jones. A key observation of the author shows that these groups have remarkable diagrammatic properties that can be used to deduce their properties. Given any group and two of its endomorphisms, we construct a semidirect product. In our first article dedicated to this construction, we classify up to isomorphism all these semidirect products when one of the endomorphisms is trivial and described their automorphism group. In this article we focus on the case where both endomorphisms …

On Groups of PL-homeomorphisms of the Real Line

Richard J. Thompson invented his group F in the 60s; it is a group full of surprises: it has a finite presentation with 2 generators and 2 relators, and a derived group that is simple; it admits a peculiar infinite presentation and has a local definition which implies that F is dense in the topological group of all orientation preserving homeomorphisms of the unit interval. In this monograph groups G are studied which depend on three parameters I, A, and P and which generalize the local definition of Thompson's group F thus: G consists of all orientation preserving PL-homeomorphisms of the rea…