We prove that Thompson's groups $F$ and $V$ are the geometry groups of associativity, and of associativity together with commutativity, respectively. We deduce new presentations of $F$ and $V$. These presentations lead to considering a certain subgroup of $V$ and an extension of this subgroup. We prove that the latter are the geometry groups of associativity together with the law $x(yz) = y(xz)$, and of associativity together with a twisted version of this law involving self-distributivity, respectively.
In a previous paper, we defined a higher dimensional analog of Thompson's group V, and proved that it is simple, infinite, finitely generated, and not isomorphic to any of the known Thompson groups. There are other Thompson groups that are infinite, simple and finitely presented. Here we show that the new group is also finitely presented by calculating an explicit finite presentation.
The higher-dimensional Thompson groups $nV$, for $n \geq 2$, were introduced by Brin in 2005. We provide new presentations for each of these infinite simple groups. The first is an infinite presentation, analogous to the Coxeter presentation for the finite symmetric group, with generating set equal to the set of transpositions in $nV$ and reflecting the self-similar structure of $n$-dimensional Cantor space. We then exploit this infinite presentation to produce further finite presentations that are considerably smaller than those previously known.
In his papers [2], [3] Brin introduced the higher dimensional Thompson groups nV which are generalizations to the Thompson's group V of self-homeomorphisms of the Cantor set and found a finite set of generators and relations in the case n = 2. We show how to generalize his construction to obtain a finite presentation for every positive integer n. As a corollary, we obtain another proof that the groups nV are simple (first proved by Brin in [4]).
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…
We consider generalisations of Thompson's group $V$, denoted by $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. It was shown by the authors in [20] that under some mild conditions these groups and centralisers of their finite subgroups are of type $\mathrm{F}_\infty$. Under more general conditions we show that the groups $V_r(Σ)$ are finitely generated and, under the mild conditions mentioned above, we see that they are finitely presented and give a recipe to find explicit presentations. For the centralisers of finite subgroups we find a suitable infinite presentation and th…
We introduce a new method for computing the word length of an element of Thompson's group F with respect to a "consecutive" generating set of the form X_n={x_0,x_1,...,x_n}, which is a subset of the standard infinite generating set for F. We use this method to show that (F,X_n) is not almost convex, and has pockets of increasing, though bounded, depth dependent on n.
Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We subsequently realise the higher Thompson groups $F_{n,1}$ and the Higman-Thompson groups $G_{n,1}$ as structure groups. We go on to obtain presentations of these groups via coherent categorifications of the varieties of higher-order associativity and of higher-order associativity and commutativity, respectively. These categorifications generalise Mac Lane's pen…
We find new presentations for the Thompson's groups $F$, the derived group $F^{'}$ and the intermediate group $D$. These presentations have a common ground in that their relators are the same and only the generating sets differ. As an application of these presentations we extract the following consequences: the cost of the group $F^{'}$ is 1 hence the cost cannot decide the (non)amenability question of $F$; the $II_1$ factor $L(F^{'})$ is inner asymptotically abelian and the reduced $C^*$-algebra of $F$ is not residually finite dimensional.
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…
We study some combinatorial properties of the word metric of Thompson's group F in the standard two generator finite presentation. We explore connections between the tree pair diagram representing an element w of F, its normal form in the infinite presentation, its word length, and minimal length representatives of it. We estimate word length in terms of the number and type of carets in the tree pair diagram and show sharpness of those estimates. In addition we explore some properties of the Cayley graph of F with respect to the two generator finite presentation. Namely, we exhibit the form of…
We explain how to construct a morphism from the group of birational automorphisms of CP^2 preserving the logarithmic Poisson bracket to the Thompson group T. Than we give a linear representation of the former group, provide some information about Thompson group T and give it's new presentation in terms of generators and relations, and speculate about the presentation of the group of birational symplectomorphisms.
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.
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 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.
We produce a sequence of markings $S_k$ of Thompson's group $F$ within the space ${\mathcal G}_n$ of all marked $n$-generator groups so that the sequence $(F,S_k)$ converges to the free group on $n$ generators, for $n \geq 3$. In addition, we give presentations for the limits of some other natural (convergent) sequences of markings to consider on $F$ within ${\mathcal G}_3$, including $(F,\{x_0,x_1,x_n\})$ and $(F,\{x_0,x_1,x_0^n\})$.
The purpose of this paper is to study the properties of the irrational-slope Thompson's group $F_τ$ introduced by Cleary in 1995. We construct presentations, both finite and infinite and we describe its combinatorial structure using binary trees. We show that its commutator group is simple. Finally, inspired by the case of Thompson's group F, we define a unique normal form for the elements of the group and study the metric properties for the elements based on this normal form. As a corollary, we see that several embeddings of $F$ in $F_τ$ are undistorted.
We use geometric techniques to investigate several examples of quasi-isometrically embedded subgroups of Thompson's group F. Many of these are explored using the metric properties of the shift map phi in F. These subgroups have simple geometric but complicated algebraic descriptions. We present them to illustrate the intricate geometry of Thompson's group F as well as the interplay between its standard finite and infinite presentations. These subgroups include those of the form F^m cross Z^n, for integral non-negative m and n, which were shown to occur as quasi-isometrically embedded subgroups…
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 describe some of the geometric properties of the automorphism group Aut(F) of Thompson's group F. We give realizations of Aut(F) geometrically via periodic tree pair diagrams, which lead to natural presentations and give effective methods for estimating the word length of elements. We study some natural subgroups of Aut(F) and their metric properties. In particular, we show that the subgroup of inner automorphisms of F is at least quadratically distorted in Aut(F), whereas other subgroups of Aut(F) isomorphic to F are undistorted.
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…
We answer the question by Matt Brin on the structure of diagram groups over semigroup presentation ${\mathcal P}=\langle a,b,c\mid a=bc,b=ca,c=ab\rangle$. In the talk on Oberwolfach workshop, Brin conjectured that the diagram group over $\mathcal P$ with base $a$ is isomorphic to the generalized Thompson's group $F_9$. We confirm this conjecture and consider some generalizations of this fact.
We show that Thompson's group F does not satisfy Cannon's almost convexity condition AC(n) for any integer n in the standard finite two generator presentation. To accomplish this, we construct a family of pairs of elements at distance n from the identity and distance 2 from each other, which are not connected by a path lying inside the n-ball of length less than k for increasingly large k. Our techniques rely upon Fordham's method for calculating the length of a word in F and upon an analysis of the generators' geometric actions on the tree pair diagrams representing elements of F.
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.
We give the first examples of groups which admit a tame combing with linear radial tameness function with respect to any choice of finite presentation, but which are not minimally almost convex on a standard generating set. Namely, we explicitly construct such combings for Thompson's group F and the Baumslag-Solitar groups BS(1, p) with p \ge 3. In order to make this construction for Thompson's group F, we significantly expand the understanding of the Cayley complex of this group with respect to the standard finite presentation. In particular we describe a quasigeodesic set of normal forms and…
In this paper we study the non-amenability question of the Thompson group $F$ from the $C^{*}$ algebra side. Using a characterization of amenability in this framework we set about evaluating the reduced norm of the averages $\frac{1}{n}\sum x_0^ix_1x_0^{-i}$, where $x_0$ and $x_1$ are the generators of $F$ in its finite presentation. We prove that when $n$ is sufficiently large the above norm concentrates on a specific subset of $F$, easy to describe using the new normal form for elements in $F$, found by Guba and Sapir. We view this subset as the only obstruction against non-amenability.
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…
In this paper, we will study presentations of the continuous full group $Γ_A$ of a one-sided topological Markov shift $(X_A,σ_A)$ for an irreducible matrix $A$ with entries in $\{0,1\}$ as a generalization of Higman-Thompson groups $V_N, 1<N \in {\mathbb{N}}$. We will show that the group $Γ_A$ can be represented as a group $Γ_A^{\operatorname{tab}}$ of matrices, called $A$-adic tables, with entries in admissible words of the shift space $X_A$, and a group $Γ_A^{\operatorname{PL}}$ of right continuous piecewise linear functions, called $A$-adic PL functions, on $[0,1]$ with finite singularities…
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…
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…
Bieri, Geoghegan and Kochloukova computed the BNSR-invariants $Σ^m(F)$ of Thompson's group $F$ for all $m$. We recompute these using entirely geometric techniques, making use of the Stein--Farley CAT(0) cube complex on which $F$ acts.
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…
We give several new positive finite presentations for the pure braid group that are easy to remember and simple in form. All of our presentations involve a metric on the punctured disc so that the punctures are arranged "convexly", which is why we describe them as geometric presentaitons. Motivated by a presentation for the full braid group that we call the "rotation presentation", we introduce presentations for the pure braid group that we call the "twist presentation" and the "swing presentation". From the point of view of mapping class groups, the swing presentation can be interpreted as st…
To every semigroup presentation $\mathcal{P}= \langle Σ\mid \mathcal{R} \rangle$ and every baseword $w \in Σ^+$ can be associated a diagram group $D(\mathcal{P},w)$, defined as the fundamental group of the so-called Squier complex $S(\mathcal{P},w)$. Roughly speaking, $D(\mathcal{P},w)$ encodes the lack of asphericity of $\mathcal{P}$. Examples of diagram groups include Thompson's group $F$, the lamplighter group $\mathbb{Z} \wr \mathbb{Z}$, the pure planar braid groups, and various right-angled Artin groups. This survey aims at summarising what is known about the family of diagram groups.
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…
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…
We give a new self-contained proof of Poincaré's Polyhedron Theorem on presentations of discontinuous groups of isometries of a Riemann manifold of constant curvature. The proof is not based on the theory of covering spaces, but only makes use of basic geometric concepts. In a sense one hence obtains a proof that is of a more constructive nature than most known proofs.
The braid group $B_n$ maps homomorphically into the Temperley-Lieb algebra $\TL_n$. It was shown by Zinno that the homomorphic images of simple elements arising from the dual presentation of the braid group $B_n$ form a basis for the vector space underlying the Temperley-Lieb algebra $\TL_n$. In this paper, we establish that there is a dual presentation of Temperley-Lieb algebras that corresponds to the dual presentation of braid groups, and then give a simple geometric proof for Zinno's theorem, using the interpretation of simple elements as non-crossing partitions.
Using Singer polygons, we construct locally finite affine buildings of types ~A_2 and ~C_2 which admit uniform lattices acting regularly on panels. This construction produces very explicit descriptions of these buildings as well as very short presentations of the lattices. All but one of the ~C_2-buildings are necessarily exotic. To the knowledge of the author, these are the first presentations of lattices in buildings of type ~C_2. Integral and rational group homology for the lattices is also calculated.
We introduce the notion of a conjugation-free geometric presentation for a fundamental group of a line arrangement's complement, and we show that the fundamental groups of the following family of arrangements have a conjugation-free geometric presentation: A real arrangement L, whose graph of multiple points is a union of disjoint cycles, has no line with more than two multiple points, and where the multiplicities of the multiple points are arbitrary. We also compute the exact group structure (by means of a semi-direct product of groups) of the arrangement of 6 lines whose graph consists of a …
In this paper, we compute the Σ^n(G) and Ω^n(G) invariants when 1 \rightarrow H \rightarrow G \rightarrow K \rightarrow 1 is a short exact sequence of finitely generated groups with K finite. We also give sufficient conditions for G to have the R_{\infty} property in terms of Ω^n(H) and Ω^n(K) when either K is finite or the sequence splits. As an application, we construct a group F \rtimes? Z_2 where F is the R. Thompson's group F and show that F \rtimes Z_2 has the R_{\infty} property while F is not characteristic.
A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... = x_{i_1} x_{i_k} ... x_{i_2}$ with no conjugations on the generators. We have already proved that if the graph of the arrangement is a disjoint union of cycles, then its fundamental group has a conjugation-free geometric presentation. In this paper, we extend this property to arrangements whose graphs are a disjoint union of cycle-tree graphs. Moreover, we stu…
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'.
We study the Dehn function of connected Lie groups. We show that this function is always exponential or polynomially bounded, according to the geometry of weights and of the 2-cohomology of their Lie algebras. Our work, which also addresses algebraic groups over local fields, uses and extends Abels' theory of multiamalgams of graded Lie algebras, in order to provide workable presentations of these groups.
We define a Bowen-Series like map for every geometric presentation of a co-compact surface group and we prove that the volume entropy of the presentation is the topological entropy of this particular (circle) map. Finally we find the minimal volume entropy among geometric presentations.
Let $X$ be a set and let $S$ be an inverse semigroup of partial bijections of $X$. Thus, an element of $S$ is a bijection between two subsets of $X$, and the set $S$ is required to be closed under the operations of taking inverses and compositions of functions. We define $Γ_{S}$ to be the set of self-bijections of $X$ in which each $γ\in Γ_{S}$ is expressible as a union of finitely many members of $S$. This set is a group with respect to composition. The groups $Γ_{S}$ form a class containing numerous widely studied groups, such as Thompson's group $V$, the Nekrashevych-Röver groups, Houghton'…
Group presentations are implicit descriptions of 2-dimensional cell complexes with only one vertex. While such complexes are usually sufficient for topological investigations of groups, multi-vertex complexes are often preferable when the focus shifts to geometric considerations. In this article, I show how to quickly describe the most important multi-vertex 2-complexes using a slight variation of the traditional group presentation. As an illustration I describe multi-vertex 2-complexes for torus knot groups and one-relator Artin groups from which their elementary properties are easily derived…
We describe presentations of braid groups of type $A$ arising from coloured quivers of mutation type $A$. We show that these can be interpreted geometrically as generalised triangulations of regular polygons.
We present an algorithm which given a presentation of a group $G$ without 2-torsion, a solution to the word problem with respect to this presentation, and an acylindricity constant $κ$, outputs a collection of tracks in an appropriate presentation complex. We give two applications: the first is an algorithm which decides if $G$ admits an essential free decomposition, the second is an algorithm which; if $G$ is relatively hyperbolic; decides if it admits an essential elementary splitting.
We obtain new presentations for the imprimitive complex reflection groups of type $(de,e,r)$ and their braid groups $B(de,e,r)$ for $d,r \ge 2$. Diagrams for these presentations are proposed. The presentations have much in common with Coxeter presentations of real reflection groups. They are positive and homogeneous, and give rise to quasi-Garside structures. Diagram automorphisms correspond to group automorphisms. The new presentation shows how the braid group $B(de,e,r)$ is a semidirect product of the braid group of affine type $\widetilde A_{r-1}$ and an infinite cyclic group. Elements of $…
