We investigate free product structures in R. Thompson's group V, primarily by studying the topological dynamics associated with V's action on the Cantor Set. We show that the class of free products which can be embedded into V includes the free product of any two finite groups, the free product of any finite group with Q/Z, and the countable non-abelian free groups. We also show the somewhat surprising result that Z^2*Z does not embed in V, even though V has many embedded copies of Z^2 and has many embedded copies of free products of pairs of its subgroups.
We show that the density of elements in Thompson's groups T and V which have north-south dynamics acting on the circle is positive with respect to a stratification in terms of size. We show that the fraction of element pairs which generate a free subgroup of rank two is positive in both groups with respect to a stratification based on diagram size, which shows that the associated subgroup spectra of $T$ and $V$ contain free groups.
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…
The Thompson group $V$, as well as the Brin-Thompson group $2V$, is finitely generated and can be defined as a monoid acting on bitstrings, respectively pairs of bitstrings. Therefore evaluation problems can be defined for $V$ and $2V$. We show that these evaluation problems reduce to the corresponding word problems, and that in general, these evaluation problems are actually equivalent to the word problems. The long-input version of the evaluation problem is deterministic context-free and reverse deterministic context-free for $V,$ and P-complete for $2V$.
The group of $\mathcal C^1$-diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson's groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin's higher dimensional generalizations $nV$ of Thompson's group $V$ arise when we consider products of central ternary Cantor sets. We derive that the $\mathcal C^2$-smooth mapping class group of a sparse Cantor sphere pair is a discrete countable group and produce this way versions of the braided Thompson groups.
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.
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…
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…
We show how to construct a family of groups with simple commutator subgroups from aperiodic 1-vertex, finitely aligned higher rank graphs (which are, in fact, a class of cancellative monoids). Inverse semigroups form the intermediary between these cancellative monoids and the family of groups we are interested in. These groups can naturally be viewed as higher-dimensional generalizations of the classical Thompson groups since the finite direct products of free monoids are examples of the appropriate 1-vertex higher rank graphs.
We consider a class of groups $V_n(G)$ which are supergroups of the Higman-Thompson groups $V_n$. These groups fit in a framework of Elizabeth Scott for generating infinite virtually simple groups, and the groups we study in particular are initially introduced by Farley and Hughes. The group $V_n(G)$ is the result one obtains by taking the $V_n$ generators and adding a tree automorphism for each generator of a subgroup $G$ of the symmetric group on $n$ letters, where the new generators each permute the child leaves of a specific vertex $α$ of the infinite rooted $n$-ary tree according to the p…
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…
Let $G$ be a finitely generated group, and let $Σ$ be a finite subset that generates $G$ as a monoid. The \emph{word problem of $G$ with respect to $Σ$} consists of all words in the free monoid $Σ^{\ast}$ that are equal to the identity in $G$. The \emph{co-word problem of $G$ with respect to $Σ$} is the complement in $Σ^{\ast}$ of the word problem. We say that a group $G$ is \emph{co$\mathcal{CF}$} if its co-word problem with respect to some (equivalently, any) finite generating set $Σ$ is a context-free language. We describe a generalized Thompson group $V_{(G, θ)}$ for each finite group G an…
We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with nonabelian free subgroups, examples which do not admit faithful actions by $C^2$ diffeomorphisms on $1$--manifolds, examples which do not admit faithful actions by $PL$ homeomorphisms on an interval, and examples which are not finitely presented. We thus answer questions due to M.…
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 …
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 prove that Thompson's group $V$ is acyclic, answering a 1992 question of Brown in the positive. More generally, we identify the homology of the Higman-Thompson groups $V_{n,r}$ with the homology of the zeroth component of the infinite loop space of the mod $n-1$ Moore spectrum. As $V = V_{2,1}$, we can deduce that this group is acyclic. Our proof involves establishing homological stability with respect to $r$, as well as a computation of the algebraic K-theory of the category of finitely generated free Cantor algebras of any type $n$.
In 1984 Brown and Geoghegan proved that Thompson's group $F$ is of type $\textrm{F}_\infty$, making it the first example of an infinite dimensional torsion-free group of type $\textrm{F}_\infty$. Over the decades a different, shorter proof has emerged, which is more streamlined and generalizable to other groups. It is difficult, however, to isolate this proof in the literature just for $F$ itself, with no complicated generalizations considered and no additional properties proved. The goal of this expository note then is to present the "modern" proof that $F$ is of type $\textrm{F}_\infty$, and…
本文证明了RichardThompson在20世纪60年代提出的关于无穷单群的新结果。我们定义这些群为部分变换群，并在Cuntz C ~*-代数中给出了一个忠实的表示.对于本文提出的单群T_fin（也称为V），我们证明了字长和表大小满足n log n关系，就像对称群一样.我们证明了T_fin的字问题属于并行复杂性类AC^1（多项式时间的一个子类）。我们证明了T_fin的广义字问题是不可判定的。本文研究了T_fin的畸变函数，证明了T_fin包含所有由线性畸变子群生成的自由群的有限直积.因此，直到函数的多项式等价，以下三个集合是相同的：T_fin的失真集合，所有Dehn函数的集合，以及非确定性图灵机的时间复杂度函数的集合。
In this paper, we apply the theory of algebraic cohomology to study the amenability of Thompson's group $\mathcal{F}$. We introduce the notion of unique factorization semigroup which contains Thompson's semigroup $\mathcal{S}$ and the free semigroup $\mathcal{F}_n$ on $n$ generators ($\geq2$). Let $\mathfrak{B}(\mathcal{S})$ and $\mathfrak{B}(\mathcal{F}_n)$ be the Banach algebras generated by the left regular representations of $\mathcal{S}$ and $\mathcal{F}_n$, respectively. It is proved that all derivations on $\mathfrak{B}(\mathcal{S})$ and $\mathfrak{B}(\mathcal{F}_n)$ are automatically c…
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 …
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…
Two conjectures about homology groups, K-groups and topological full groups of minimal etale groupoids on Cantor sets are formulated. We verify these conjectures for many examples of etale groupoids including products of etale groupoids arising from one-sided shifts of finite type. Furthermore, we completely determine when these product groupoids are mutually isomorphic. Also, the abelianization of their topological full groups are computed. They are viewed as generalizations of the higher dimensional Thompson groups.
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…
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…
Let $Λ$ be a row-finite and source-free higher rank graph with finitely many vertices. In this paper, we define the Higman-Thompson like group $\Lht$ of the graph C*-algebra $\mathcal{O}_Λ$ to be a special subgroup of the unitary group in $Ø_Λ$. It is shown that $\Lht$ is closely related to the topological full groups of the groupoid associated with $Λ$. Some properties of $\Lht$ are also investigated. We show that its commutator group $\DLht$ is simple and that $\DLht$ has only one nontrivial uniformly recurrent subgroup if $Λ$ is aperiodic and strongly connected. Furthermore, if $Λ$ is singl…
We show that the class of finitely generated virtually free groups is precisely the class of demonstrable subgroups for R. Thompson's group $V$. The class of demonstrable groups for $V$ consists of all groups which can embed into $V$ with a natural dynamical behaviour in their induced actions on the Cantor space $\mathfrak{C}_2 := \left\{0,1\right\}^ω$. There are also connections with formal language theory, as the class of groups with context-free word problem is also the class of finitely generated virtually free groups, while R. Thompson's group $V$ is a candidate as a universal $co\mathcal…
