We look at the automorphisms of Thompson type groups of piecewise linear homeomorphisms of the real line or circle that use slopes that are integral powers of a fixed integer n with n>2. We show that large numbers of "exotic" automorphisms appear---automorphisms that are represented as conjugation by non-PL homeomorphisms of the real line or circle. This is in contrast to the n=2 case where no such automorphisms appear.
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…
Let $1 \le r < n$ be integers. We give a proof that the group $\mathop{\mathrm{Aut}}({X_{n}^{\mathbb{N}}, σ_{n}})$ of automorphisms of the one-sided shift on $n$ letters embeds naturally as a subgroup $\mathcal{H}_{n}$ of the outer automorphism group $\mathop{\mathrm{Out}}({G_{n,r}})$ of the Higman-Thompson group $G_{n,r}$. From this, we can represent the elements of $\mathop{\mathrm{Aut}}({X_{n}^{\mathbb{N}}, σ_{n}})$ by finite state non-initial transducers admitting a very strong synchronizing condition. Let $H \in \mathcal{H}_{n}$ and write $|H|$ for the number of states of the minimal tran…
We show that for any full and sufficiently transitive (i.e. \textit{flexible}) group $G$ of homeomorphisms of Cantor space, $\mathrm{Aut}(\mathrm{Aut}(G)) = \mathrm{Aut}(G)$. This class contains many generalisations of the Higman-Thompson groups $G_{n,r}$, and the Rational group $\mathcal{R}_{2}$ of Grigorchuk, Nekrashevych, and Suchanski{\u ı}. We also demonstrate that for generalisations $T_{n,r}$ of R. Thompson's group $T$, $\mathrm{Aut}(\mathrm{Aut}(T_{n,r}))= \mathrm{Aut}(T_{n,r})$. In the case of the groups $G_{n,r}$ and $T_{n,r}$ our results extend results of Brin and Guzm{\' a}n for Th…
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 …
We prove that the tree almost automorphism groups admit exactly three commensurability classes of closed commensurated subgroups. Our proof utilizes an independently interesting characterization of subgroups of the tree almost automorphism groups which contain only periodic elements in terms of the dynamics of the action on the boundary of the tree. Our results further cover several interesting finitely generated subgroups of the tree almost automorphism groups, including the Thompson groups $F$, $T$, and $V$. We show in particular that Thompson's group $T$ has no commensurated subgroups other…
We show how all topological full groups coming from a one-sided irreducible shift of finite type, as studied by Matui, can be re-interpreted as groups of colour-preserving tree almost automorphisms. As an application, we show that they admit t.d.l.c. completions of arbitrary finite local prime content. This applies in particular to Thompson's $V$.
The main result of this article is that any braided (resp. annular, planar) diagram group $D$ splits as a short exact sequence $1 \to R \to D \to S \to 1$ where $R$ is a subgroup of some right-angled Artin group and $S$ a subgroup of Thompson's group $V$ (resp. $T$, $F$). As an application, we show that several braided diagram groups embeds into Thompson's group $V$, including Higman's groups $V_{n,r}$, groups of quasi-automorphisms $QV_{n,r,p}$, and generalised Houghton's groups $H_{n,p}$.
We determine when two almost automorphisms of a regular tree are conjugate. This is done by combining the classification of conjugacy classes in the automorphism group of a level-homogeneous tree by Gawron, Nekrashevych and Sushchansky and the solution of the conjugacy problem in Thompson's $V$ by Belk and Matucci. We also analyze dynamics of tree almost automorphisms.
We classify a large class of small groups of finite Morley rank: $N_\circ^\circ$-groups which are the infinite analogues of Thompson's $N$-groups. More precisely, we constrain the $2$-structure of groups of finite Morley rank containing a definable, normal, non-soluble, $N_\circ^\circ$-subgroup.
Let $V_r(Σ)$ be the generalised Thompson group defined as the automorphism group of a valid, bounded, and complete Cantor algebra. We show that that for every $n>0$ there is a $k>n,$ such that there exists a $k$-dimensional $n$-connected simplicial complex $K$ such that $V_r(Σ)$ acts on $K$ with finite stabilisers. We also determine the number of conjugacy classes of finite cyclic subgroups of a given order $m$ in Brin-Thompson groups. We apply our computations to the rationalised Farrell-Jones assembly map in algebraic $K$-theory.
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 revisit our construction of the Thompson groups from the polycyclic inverse monoids in the light of new research. Specifically, we prove that the Thompson group $G_{n,1}$ is the group of units of a Boolean inverse monoid $C_{n}$ called the Cuntz inverse monoid. This inverse monoid is proved to be the tight completion of the polycyclic inverse monoid $P_{n}$. The étale topological groupoid associated with $C_{n}$ under non-commutative Stone duality is the usual groupoid associated with the corresponding Cuntz $C^{\ast}$-algebra. We then show that the group $G_{n,1}$ is also the group of auto…
For a finite digraph $D$, we define the corresponding subshift of finite type $(X_D, σ_D)$ to be the dynamical system where $X_D$ is the set of all bi-infinite walks through $D$ and $σ_D$ is the shift operator. Two digraphs $D_1$ and $D_2$ are called shift equivalent if there is $m\geq 1$ such that $(X_{D_1}, σ_{D_1}^n)$ and $(X_{D_2}, σ_{D_2}^n)$ are topologically conjugate for all $n\geq m$. They are called strong shift equivalent if this holds for $m=1$. In this paper we introduce a new category which generalises the category of subshifts of finite type and topological conjugacy. Our catego…
We consider generalisations of Thompson's group $V$, denoted $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. We show that, under some mild hypotheses, $V_r(Σ)$ is the full automorphism group of a Cantor-algebra. Under some further minor restrictions, we prove that these groups are of type $\mathrm{F}_\infty$ and that this implies that also centralisers of finite subgroups are of type $\mathrm{F}_\infty$.
The groups QF, QT, and QV are groups of quasi-automorphisms of the infinite binary tree. Their names indicate a similarity with Thompson's well-known groups F, T, and V. We will use the theory of diagram groups over semigroup presentations to prove that all of the above groups (and several generalizations) have type F-infinity. Our proof uses certain types of hybrid diagrams, which have properties in common with both planar diagrams and braided diagrams. The diagram groups defined by hybrid diagrams also act properly and isometrically on CAT(0) cubical complexes.
In a seminal paper, Brin demonstrates that the outerautomorphism group of Thompson group $T$ is isomorphic to the cyclic group of order two. In this article, building on characterisation of automorphisms of the Higman-Thompson groups $G_{n,r}$ and $T_{n,r}$ as groups of transducers, we give a new proof, automata theoretic in nature, of Brin's result. We also demonstrate that the group of outerautomorphisms of Thompson's group $V = G_{2,1}$ contains an isomorphic copy of Thompson's group $F$. This extends a result of the author demonstrating that whenever $n \ge 3$ and $1 \le r < n$ the outerau…
We study the group $QV$, the self-maps of the infinite $2$-edge coloured binary tree which preserve the edge and colour relations at cofinitely many locations. We introduce related groups $QF$, $QT$, $\tilde{Q}T$, and $\tilde{Q}V$, prove that $QF$, $\tilde{Q}T$, and $\tilde{Q}V$ are of type $\mathrm{F}_\infty$, and calculate finite presentations for them. We calculate the normal subgroup structure and rational homology of all $5$ groups, the Bieri--Neumann--Strebel--Renz invariants of $QF$, and discuss the relationship of all $5$ groups with other generalisations of Thompson's groups.
We show that representations of the Thompson group $F$ in the automorphisms of a noncommutative probability space yield a large class of bilateral stationary noncommutative Markov processes. As a partial converse, bilateral stationary Markov processes in tensor dilation form yield representations of $F$. As an application, and building on a result of Kümmerer, we canonically associate a representation of $F$ to a bilateral stationary Markov process in classical probability.
Motivated by classic theorems of Thompson and Berger on the Fitting height of finite groups with a fixed-point-free automorphism of coprime order, we conjecture that, for every non-zero polynomial $f(x) = a_0 + a_1 x + \cdots + a_d x^d \in \mathbb{Z}[x] $, there is an integer $k > 0$ with the following property. Let $G$ be a finite (solvable) group with a fixed-point-free automorphism $α$ satisfying $\gcd(|G|,k)= 1$ and $$\{ g^{a_0} \cdot α(g)^{a_1} \cdot α^2(g)^{a_2} \cdots α^d(g)^{a_d} | g \in G \} = \{1\}.$$ Then the Fitting height of $G$ is at most the number of irreducible factors of $f(x…
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…
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 …
We investigate the relationship between endomorphisms of the Cuntz algebra ${\mathcal O}_2$ and endomorphisms of the Thompson groups $F$, $T$ and $V$ represented inside the unitary group of ${\mathcal O}_2$. For an endomorphism $λ_u$ of ${\mathcal O}_2$, we show that $λ_u(V)\subseteq V$ if and only if $u\in V$. If $λ_u$ is an automorphism of ${\mathcal O}_2$ then $u\in V$ is equivalent to $λ_u(F)\subseteq V$. Our investigations are facilitated by introduction of the concept of modestly scaling endomorphism of ${\mathcal O}_n$, whose properties and examples are investigated.
We say that $x,y\in Γ$ are in the same $ϕ$-twisted conjugacy class and write $x\sim_ϕy$ if there exists an element $γ\in Γ$ such that $y=γxϕ(γ^{-1})$. This is an equivalence relation on $Γ$ called the $ϕ$-twisted conjugacy. Let $R(ϕ)$ denote the number of $ϕ$-twisted conjugacy classes in $Γ$. If $R(ϕ)$ is infinite for all $ϕ\in Aut(Γ)$, we say that $Γ$ has the $R_\infty$-property. The purpose of this note is to show that the symmetric group $S_\infty$, the Houghton groups and the pure symmetric automorphism groups have the $R_\infty$-property. We show, also, that the Richard Thompson group $T$…
We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using, respectively, the systems of trivial groups, symmetric groups, braid groups and pure braid groups. We give new examples of families of groups that admit a cloning system and study how the finiteness properties of the resulting generalized Thompson group depend on those of the original groups. The main new examples here include upper triangular matrix groups, mo…
We compute the higher $Σ$-invariants $Σ^m(F_{n,\infty})$ of the generalized Thompson groups $F_{n,\infty}$, for all $m,n\ge 2$. This extends the $n=2$ case done by Bieri, Geoghegan and Kochloukova, and the $m=2$ case done by Kochloukova. Our approach differs from those used in the $n=2$ and $m=2$ cases; we look at the action of $F_{n,\infty}$ on a $\textrm{CAT}(0)$ cube complex, and use Morse theory to compute all the $Σ^m(F_{n,\infty})$. We also obtain lower bounds on $Σ^m(H_n)$, for the Houghton groups $H_n$, again using actions on $\textrm{CAT}(0)$ cube complexes, and discuss evidence that …
We define fully irreducible automorphisms of generalized Baumslag-Solitar groups in analogy with fully irreducible automorphisms of free groups. We first obtain a characterization of fully irreducible automorphisms analogous to a condition given by Kapovich. Next we discuss the existence of pseudo-periodic conjugacy classes based on the study of Nielsen paths in a train track representative. Finally we give an algorithm which finds out whether an automorphism with a train track representative is pseudo-atoroidal and fully irreducible.
Similarly to the action of $Out(F_N)$ on Outer Space, the outer automorphism group of a Generalized Baumslag Solitar group acts on a deformation space endowed with the Lipschitz metric and the action of any fully irreducible automorphism with a train track representative is hyperbolic. Inspired by previous work by Algom-Kfir, we prove that the axis of such an automorphism is strongly contracting.
We show that several classes of groups G of PL-homeomorphisms of the real line admit non-trivial homomorphisms from G to the additive group of reals that are fixed by every automorphism of G. The classes of groups enjoying the stated property include the generalisations of Thompson's group F studied by K. S. Brown, M. Stein, S. Cleary, and Bieri-Strebel but also the class of groups investigated by Bieri-Neumann-Strebel in [BNS87, Theorem 8.1]. It follows that every automorphism of a group in one of these classes has infinitely many associated twisted conjugacy classes.
Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a degree 2 central extension of Thompson's infinite finitely presented simple group T with the cyclic group of order 2. These results are inspired by a similar recent analysis by the first author of the automorphism group of an infinite-dimensional associahedron.
We prove that the group of almost-automorphisms of the infinite rooted regular $d$-ary tree $\mathcal{T}_d$ arises naturally as the Thompson-like group of a so called $d$-ary cloning system. A similar phenomenon occurs for any Röver-Nekrashevych group $V_d(G)$, for $G\le Aut(\mathcal{T}_d)$ a self-similar group. We use this framework to expand on work of Belk and Matucci, who proved that the Röver group, using the Grigorchuk group for $G$, is of type $F_\infty$. Namely, we find some natural conditions on subgroups of $G$ to ensure that $V_d(G)$ is of type $F_\infty$, and in particular we prove…
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…
A remarkable result of Thompson states that a finite group is soluble if and only if its two-generated subgroups are soluble. This result has been generalized in numerous ways, and it is in the core of a wide area of research in the theory of groups, aiming for global properties of groups from local properties of two-generated (or more generally, $n$-generated) subgroups. We contribute an extension of Thompson's theorem from the perspective of factorized groups. More precisely, we study finite groups $G = AB$ with subgroups $A,\ B$ such that $\langle a, b\rangle$ is soluble for all $a \in A$ a…
In analogy with the free factors of a free group we define special factors of Generalized Baumslag-Solitar (GBS) groups as non-cyclic subgroups which appear in splittings over infinite cyclic groups. We give an algorithm which, given a GBS group $G$ and an element $g \in G$, decides whether there exists a special factor $H < G$ such that $g \in H$. This algorithm is analogous to an algorithm by Whitehead for free groups. Furthermore we prove that given $g \in G$ there exists a unique minimal special factor containing $g$ and give an algorithm which finds it.
本文证明了RichardThompson在20世纪60年代提出的关于无穷单群的新结果。我们定义这些群为部分变换群，并在Cuntz C ~*-代数中给出了一个忠实的表示.对于本文提出的单群T_fin（也称为V），我们证明了字长和表大小满足n log n关系，就像对称群一样.我们证明了T_fin的字问题属于并行复杂性类AC^1（多项式时间的一个子类）。我们证明了T_fin的广义字问题是不可判定的。本文研究了T_fin的畸变函数，证明了T_fin包含所有由线性畸变子群生成的自由群的有限直积.因此，直到函数的多项式等价，以下三个集合是相同的：T_fin的失真集合，所有Dehn函数的集合，以及非确定性图灵机的时间复杂度函数的集合。
