We present a generalization of the Dehornoy-Brin braided Thompson group $BV_2$ that uses recursive braids. Our new groups are denoted by $BV_{n,r}(H)$, for all $n\geq 2,r\geq 1$ and $H \leq \mathcal{B}_n$, where $\mathcal{B}_n$ is the braid group on $n$ strands. We give a new approach to deal with braided Thompson groups by using strand diagrams. We show that $BV_{n,r}(H)$ is finitely generated if $H$ is finitely generated.
Pursueing our investigations on the relations between Thompson groups and mapping class groups, we introduce the group $T^*$ (and its further generalizations) which is an extension of the Ptolemy-Thompson group $T$ by means of the full braid group $B_{\infty}$ on infinitely many strands. We prove that it is a finitely presented group with solvable word problem, and give an explicit presentation of it.
The braided Ptolemy-Thompson group $T^*$ is an extension of the Thompson group $T$ by the full braid group $B_{\infty}$ on infinitely many strands. This group is a simplified version of the acyclic extension considered by Greenberg and Sergiescu, and can be viewed as a mapping class group of a certain infinite planar surface. In a previous paper we showed that $T^*$ is finitely presented. Our main result here is that $T^*$ (and $T$) is asynchronously combable. The method of proof is inspired by Lee Mosher's proof of automaticity of mapping class groups.
We prove that the braided Thompson's groups $V_{\rm br}$ and $F_{\rm br}$ are of type $F_\infty$, confirming a conjecture by John Meier. The proof involves showing that matching complexes of arcs on surfaces are highly connected. In an appendix, Zaremsky uses these connectivity results to exhibit families of subgroups of the pure braid group that are highly generating, in the sense of Abels and Holz.
In previous work, joint with Bux, Fluch, Marschler and Witzel, we proved that the braided Thompson groups are of type $\textrm{F}_\infty$. The proof utilized certain contractible cube complexes, which in this paper we prove are CAT(0). We then use this fact to compute the geometric invariants $Σ^m(F_{\textrm{br}})$ of the pure braided Thompson group $F_{\textrm{br}}$. Only the first invariant $Σ^1(F_{\textrm{br}})$ was previously known. A consequence of our computation is that as soon as a subgroup of $F_{\textrm{br}}$ containing the commutator subgroup $[F_{\textrm{br}},F_{\textrm{br}}]$ is f…
This article is dedicated to the study of asymptotically rigid mapping class groups of infinitely-punctured surfaces obtained by thickening planar trees. Such groups include the braided Ptolemy-Thompson groups $T^\sharp,T^\ast$ introduced by Funar and Kapoudjian, and the braided Houghton groups $\mathrm{br}H_n$ introduced by Degenhardt. We present an elementary construction of a contractible cube complex, on which these groups act with cube-stabilisers isomorphic to finite extensions of braid groups. As an application, we prove Funar-Kapoudjian's and Degenhardt's conjectures by showing that $T…
In this note, we show that the sets of all stable commutator lengths in the braided Ptolemy-Thompson groups are equal to non-negative rational numbers.
We construct braided versions $sV_{br}$ of the Brin-Thompson groups $sV$ and prove that they are of type $F_\infty$. The proof involves showing that the matching complexes of colored arcs on surfaces are highly connected.
Braided Thompson's groups are finitely presented groups introduced by Brin and Dehornoy which contain the ordinary braid groups $B_n$, the finitary braid group $B_{\infty}$ and Thompson's group $F$ as subgroups. We describe some of the metric properties of braided Thompson's groups and give upper and lower bounds for word length in terms of the number of strands and the number of crossings in the diagrams used to represent elements.
Matthew Brin and Patrick Dehornoy independently discovered a braided version BV of Thompson's group V. In this paper, we discuss some properties of BV that might make the group interesting for group based cryptography. In particular, we show that BV does not admit a non-trivial linear representation.
We describe pure braided versions of Thompson's group F. These groups, $BF$ and $\hat{BF}$, are subgroups of the braided versions of Thompson's group V, introduced by Brin and Dehornoy. Unlike V, elements of F are order-preserving self-maps of the interval and we use pure braids together with elements of F thus preserving order. We define these groups and give normal forms for elements and describe infinite and finite presentations of these groups.
Golan and Sapir \cite{MR3978542} proved that the Thompson's groups $F$, $T$ and $V$ have linear divergence. In the current paper, we focus on the divergence properties of several generalisation of the Thompson's groups, we first consider the Brown-Thompson's groups $F_n$, $T_n$ and $V_n$ and found out that these groups also have linear divergence function. We then consider the braided Thompson's groups $BF$ and $\widehat{BF}$ and $\widehat{BV}$ together with the result in \cite{Kodama:2020to} we conclude that theses groups have linear divergence.
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.
Orderable Thompson-like groups arising from Ore categories
Université de Genève（日内瓦大学）；Université Paris-Saclay（巴黎萨克雷大学）；CNRS（法国国家科学研究中心）；Laboratoire de mathématiques d’Orsay（奥赛数学实验室）；Université de Rennes（雷恩大学）；IRMAR（雷恩数学与应用研究所）
We consider Thompson's groups from the perspective of mapping class groups of surfaces of infinite type. This point of view leads us to the braided Thompson groups, which are extensions of Thompson's groups by infinite (spherical) braid groups. We will outline the main features of these groups and some applications to the quantization of Teichmüller spaces. The chapter provides an introduction to the subject with an emphasis on some of the authors results.
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}$.
Hughes has defined a class of groups, which we call FSS (finite similarity structure) groups. Each FSS group acts on a compact ultrametric space by local similarities. The best-known example is Thompson's group V. Guided by previous work on Thompson's group V, we establish a number of new results about FSS groups. Our main result is that a class of FSS groups are of type F-infinity. This generalizes work of Ken Brown from the 1980s. Next, we develop methods for distinguishing between isomorphism types of some of the Nekrashevych-Röver groups V_{d}(H), where H is a finite group, and show that a…
We show that each of Thompson's groups F, T, and V have infinitely many ends relative to certain subgroups. We go on to show that T and V both have Serre's property FA, i.e., any action of T or V on a tree will have a fixed point. (The proof of the latter statement was originally due to Ken Brown, and our proof is based on his notes.)
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.
Hughes defined a class of groups that act as local similarities on compact ultrametric spaces. Guba and Sapir had previously defined braided diagram groups over semigroup presentations. The two classes of groups share some common characteristics: both act properly by isometries on CAT(0) cubical complexes, and certain groups in both classes have type F-infinity, for instance. Here we clarify the relationship between these families of groups: the braided diagram groups over tree-like semigroup presentations are precisely the groups that act on compact ultrametric spaces via small similarity str…
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 …
We describe how an Ore category with a Garside family can be used to construct a classifying space for its fundamental group(s). The construction simultaneously generalizes Brady's classifying space for braid groups and the Stein--Farley complexes used for various relatives of Thompson's groups. It recovers the fact that Garside groups have finite classifying spaces. We describe the categories and Garside structures underlying certain Thompson groups. The Zappa--Szép product of categories is introduced and used to construct new categories and groups from known ones. As an illustration of our m…
We study languages of geodesics in lamplighter groups and Thompson's group F. We show that the lamplighter groups $L_n$ have infinitely many cone types, have no regular geodesic languages, and have 1-counter, context-free and counter geodesic languages with respect to certain generating sets. We show that the full language of geodesics with respect to one generating set for the lamplighter group is not counter but is context-free, while with respect to another generating set the full language of geodesics is counter and context-free. In Thompson's group F with respect to the standard finite ge…
In this short article, we prove that any automorphism of the R. Thompson's group $F$ has infinitely many twisted conjugacy classes. The result follows from the work of Matthew Brin, together with a standard facts on R. Thompson's group $F$, and elementary properties of the Reidemeister numbers.
We provide equivalent conditions for Liouville property of actions of groups. As an application, we show that there is a Liouville measure for the action of the Thompson group $F$ on dyadic rationals. This result should be compared with a recent result of Kaimanovich, where he shows that the action of the Thompson group F on dyadic rationals is not Liouville for all finitely supported measures. As another application we show that there is a Liouville measure for lamplighter actions. This gives more examples of non-amenable Liouville actions.
We propose a new unifying framework for Thompson-like groups using a well-known device called operads and category theory as language. We discuss examples of operad groups which have appeared in the literature before. As a first application, we proof a theorem which implies that planar or symmetric or braided operads with transformations satisfying some finiteness conditions yield operad groups of type $F_\infty$. This unifies and extends existing proofs that certain Thompson-like groups are of type $F_\infty$.
Presentations are computed for a braided version BV of Thompson's group V and for V itself showing that there is an Artin group/Coxeter group relation between them. The presentation for V is obtained from that for BV by declaring all that all generators are involutions.
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 introduce forest diagrams and strand diagrams for elements of Thompson's group F. A forest diagram is a pair of infinite, bounded binary forests together with an order-preserving bijection of the leaves. Using forest diagrams, we derive a simple length formula for elements of F, and we discuss applications to the geometry of the Cayley graph, including a new upper bound on the isoperimetric constant (a.k.a. Cheeger constant) of F. Strand diagrams are similar to tree diagrams, but they can be concatenated like braids. Motivated by the fact that configuration spaces are classifying spaces for…
Quantization of universal Teichmüller space provides projective representations of the Ptolemy-Thompson group, which is isomorphic to the Thompson group $T$. This yields certain central extensions of $T$ by $\mathbb{Z}$, called dilogarithmic central extensions. We compute a presentation of the dilogarithmic central extension $\hat{T}^{Kash}$ of $T$ resulting from the Kashaev quantization, and show that it corresponds to $6$ times the Euler class in $H^2(T;\mathbb{Z})$. Meanwhile, the braided Ptolemy-Thompson groups $T^*$, $T^\sharp$ of Funar-Kapoudjian are extensions of $T$ by the infinite bra…
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 this paper we study obstructions to presentability by products for finitely generated groups. Along the way we develop both the concept of acentral subgroups, and the relations between presentability by products on the one hand, and certain geometric and measure or orbit equivalence invariants of groups on the other. This leads to many new examples of groups not presentable by products, including all groups with infinitely many ends, the (outer) automorphism groups of free groups, Thompson's groups, and even some elementary amenable groups.
Maximal ideals of reduced group C*-algebras and Thompson's groups
Lund University（隆德大学）；University of Southern Denmark（南丹麦大学）；Newcastle University（纽卡斯尔大学）；University of Erlangen–Nuremberg（埃尔朗根-纽伦堡大学）；Federal University of Pelotas（佩洛塔斯联邦大学）
In this note, we compute the Σ^1(G) invariant when 1 {\to} H {\to} G {\to} K {\to} 1 is a short exact sequence of finitely generated groups with K finite. As an application, we construct a group F semidirect Z_2 where F is the R. Thompson's group F and show that F semidirect Z_2 has the R-infinity property while F is not characteristic. Furthermore, we construct a finite extension G with finitely generated commutator subgroup G' but has a finite index normal subgroup H with infinitely generated H'.
