In this paper, we continue our study of the class of diagram groups. Simply speaking, a diagram is a labelled plane graph bounded by a pair of paths (the top path and the bottom path). To multiply two diagrams, one simply identifies the top path of one diagram with the bottom path of the other diagram, and removes pairs of "reducible" cells. Each diagram group is determined by an alphabet $X$, containing all possible labels of edges, a set of relations ${\cal R}=\{u_i=v_i\mid i=1,2,... \}$, containing all possible labels of cells, and a word $w$ over $X$ -- the label of the top and bottom paths of diagrams. Diagrams can be considered as 2-dimensional words, and diagram groups can be considered as 2-dimensional analogue of free groups. In our previous paper, we showed that the class of diagram groups contains many interesting groups including the famous R. Thompson group $F$ (it corresponds to the simplest set of relations $\{x=x^2 \}$), closed under direct and free products and some other constructions. In this paper we study mainly subgroups of diagram groups. We show that not every subgroup of a diagram group is itself a diagram group (this answers a question from the previous paper). We prove that every nilpotent subgroup of a diagram group is abelian, every abelian subgroup is free, but even the Thompson group contains solvable subgroups of any degree. We also study distortion of subgroups in diagram groups, including the Thompson group. It turnes out that centralizers of elements and abelian subgroups are always undistorted, but the Thompson group contains distorted soluble subgroups.
A few years ago the so-called oriented subgroup $\vec F$ of the Thompson group $F$ was introduced by V. Jones while investigating the connections between subfactors and conformal field theories. In the coding of links and knots by elements of $F$ it corresponds exactly to the oriented ones. Thanks to the work of Golan and Sapir, $\vec F$ provided the first example of a maximal subgroup of infinite index in $F$ different from the parabolic subgroups that fix a point in $(0,1)$. In this paper we investigate possible analogues of $\vec F$ in higher Thompson groups $F_k, k\geq 2$, with $F=F_2$, in…
We inspect the normal subgroup structure of the braided Thompson groups Vbr and Fbr. We prove that every proper normal subgroup of Vbr lies in the kernel of the natural quotient Vbr \onto V, and we exhibit some families of interesting such normal subgroups. For Fbr, we prove that for any normal subgroup N of Fbr, either N is contained in the kernel of Fbr \onto F, or else N contains [Fbr,Fbr]. We also compute the Bieri-Neumann-Strebel invariant Sigma^1(Fbr), which is a useful tool for understanding normal subgroups containing the commutator subgroup.
Jones introduced unitary representations for the Thompson groups $F$ and $T$ from a given subfactor planar algebra. Some interesting subgroups arise as the stabilizer of certain vector, in particular the Jones subgroups $\vec{F}$ and $\vec{T}$. Golan and Sapir studied $\vec{F}$ and identified it as a copy of the Thompson group $F_3$. In this paper we completely describe $\vec{T}$ and show that $\vec{T}$ coincides with its commensurator in $T$, implying that the corresponding unitary representation is irreducible. We also generalize the notion of the Stallings 2-core for diagram groups to $T$, …
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 prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$ of $F$ is a closed subgroup of $F$. That is, every function in $F$ which is a piecewise-$H$ function belongs to $H$. Other interesting examples of closed subgroups of $F$ include Jones' subgroups $\overrightarrow{F}_n$ and Jones' $3$-colorable subgroup $\mathcal F$. By a recent result of the first author, all maximal subgroups of $F$ of infinite index are closed. In this paper we prove that if $K\leq F$ is finitely g…
We provide two ways to show that the R. Thompson group $F$ has maximal subgroups of infinite index which do not fix any number in the unit interval under the natural action of $F$ on $(0,1)$, thus solving a problem by D. Savchuk. The first way employs Jones' subgroup of the R. Thompson group $F$ and leads to an explicit finitely generated example. The second way employs directed 2-complexes and 2-dimensional analogs of Stallings' core graphs, and gives many implicit examples. We also show that $F$ has a decreasing sequence of finitely generated subgroups $F>H_1>H_2>...$ such that $\cap H_i=\{1…
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 will give a general criterion - the existence of an $F$-obstruction - for showing that a subgroup of $\mathrm{PL}_+ I$ does not embed into Thompson's group $F$. An immediate consequence is that Cleary's "golden ratio" group $F_τ$ does not embed into $F$. Our results also yield a new proof that Stein's groups $F_{p,q}$ do not embed into $F$, a result first established by Lodha using his theory of coherent actions. We develop the basic theory of $F$-obstructions and show that they exhibit certain rigidity phenomena of independent interest. In the course of establishing the main result of the …
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 obtain a characterisation of confined subgroups of Thompson's group $F$. As a result, we deduce that orbital graph of a point under action of $F$ has uniformly subexponential growth if and only if this point is fixed by the commutator subgroup. This allows us to prove non-embeddability of $F$ into wobbling groups of graphs with uniformly subexponential growth.
In this paper we consider the $T$- and $V$- versions, $T_τ$ and $V_τ$ , of the irrational slope Thompson group $F_τ$ considered in [3]. We give infinite presentations for these groups and show how they can be represented by tree-pair diagrams similar to those for $T$ and $V$. We also show that $T_τ$ and $V_τ$ have index-2 normal subgroups, unlike their original Thompson counterparts $T$ and $V$. These index-2 subgroups are shown to be simple.
We prove that under two natural probabilistic models (studied by Cleary, Elder, Rechnitzer and Taback), the probability that a random pair of elements of Thompson's group $F$ generate the entire group is positive. We also prove that for any $k$-generated subgroup $H$ of $F$ which contains a "natural" copy of $F$, the probability of a random $(k+2)$-generated subgroup of $F$ coinciding with $H$ is positive.
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 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.
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.
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…
Jones introduced unitary representations of Thompson group $F$ starting from a given subfactor planar algebra, and all unoriented links arise as matrix coefficients of these representations. Moreover, all oriented links arise as matrix coefficients of a subgroup $\vec{F}$ which is the stabilizer of a certain vector. Later Golan and Sapir determined the subgroup $\vec{F}$ and showed many interesting properties. In this paper, we investigate into a large class of groups which arises as subgroups of Thompson group $F$ and reveal the relation between the skein theory of the subfactor planar algebr…
Recall that a group $G$ is said to be $\frac{3}{2}$-generated if every non-trivial element of $G$ belongs to a generating pair of $G$. Thompson's group $V$ was proved to be $\frac{3}{2}$-generated by Donoven and Harper in 2019. It was the first example of an infinite finitely presented non-cyclic $\frac{3}{2}$-generated group. Recently, Bleak, Harper and Skipper proved that Thompson's group $T$ is also $\frac{3}{2}$-generated. In this paper, we prove that Thompson's group $F$ is "almost" $\frac{3}{2}$-generated in the sense that every element of $F$ whose image in the abelianization forms part…
The Thompson group V is a subgroup of the homeomorphism group of the Cantor set. Brin defined higher dimensional Thompson groups nV as generalizations of V. We prove that nV has Serre's property FA, for every n. This is a generalization of the corresponding result of Farley, who studied V.
We give a unified solution to the conjugacy problem for Thompson's groups F, T, and V. The solution uses strand diagrams, which are similar in spirit to braids and generalize tree-pair diagrams for elements of Thompson's groups. Strand diagrams are closely related to piecewise-linear functions for elements of Thompson's groups, and we use this correspondence to investigate the dynamics of elements of F. Though many of the results in this paper are known, our approach is new, and it yields elegant proofs of several old results.
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 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 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…
We prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group $nV$. It follows that many other groups can be embedded into some $nV$ (e.g., any finite extension of any of Haglund and Wise's special groups), and that various decision problems involving subgroups of $nV$ are unsolvable.
