Finiteness and CAT(0) properties of diagram groups.
type: Item
instance of: scholarly article
title: Finiteness and CAT(0) properties of diagram groups.
zbMATH Open document ID: 1044.20023
DOI: 10.1016/S0040-9383(02)00029-0
published in: Topology
publication date: 2003-08-17T00:00:00Z
review text: The author proves that any diagram group over a finite semigroup presentation acts properly, freely, and cellularly by isometries on a proper \(\text{CAT}(0)\) cubical complex. As a consequence, he concludes that the group satisfies the Baum-Connes conjecture and is of type \(F_\infty\). (We recall the idea of a diagram group here [see \textit{V. Guba} and \textit{M. Sapir}, Mem. Am. Math. Soc. 620 (1997; Zbl 0930.20033)]: A diagram group is defined in terms of a semigroup presentation \(P\) and a (positive) base word \(w\) in the alphabet of \(P\). The diagram group based on (\(P,w)\) is a ``fundamental group'' based on ``loops'' \(w=v_0\to v_1\to\cdots\to v_n=w\) from \(w\) to itself. Each \(v_i\) is a (positive) word in the alphabet of \(P\), and each \(v_{i+1}\) arises from \(v_i\) by means of a defining relation \(x=y\) from \(P\) whereby a subword \(x\) of \(v_i\) is replaced by the word \(y\) to form \(v_{i+1}\). After one has defined homotopies of loops appropriately, the homotopy classes of loops form a group under concatenation. This group is called a diagram group. As an important example, Richard Thompson's group \(F\) is the diagram group based on the presentation \(\langle x\mid x=x^2\rangle\) with base word \(w=x\).)
Mathematics Subject Classification ID: 20F65
Mathematics Subject Classification ID: 20F67
Mathematics Subject Classification ID: 57M07
Mathematics Subject Classification ID: 20F06
zbMATH DE Number: 1965066
zbMATH Keywords: Thompson's group
zbMATH Keywords: diagram groups
zbMATH Keywords: cubical complexes
zbMATH Keywords: CAT(0) spaces
zbMATH Keywords: type \({\mathcal F}_\infty\)
Wikidata QID: Q56385172
author: Daniel Farley
reviewed by: James W. Cannon
MaRDI profile type: Publication
Recommended article: On the Algebra of Semigroup Diagrams
Recommended article: Actions of picture groups on CAT(0) cubical complexes.
Recommended article: Braided diagram groups and local similarity groups
Recommended article: A parabolic action on a proper, CAT(0) cube complex
Recommended article: Quasiautomorphism groups of type \(F_\infty\)
Recommended article: The action of Thompson's group on a CAT(0) boundary.
Recommended article: On diagram groups over Fibonacci-like semigroup presentations and their generalizations
Recommended article: A non-trivial example of a free-by-free group with the Haagerup property.
Recommended article: Diagram groups and directed 2-complexes: homotopy and homology.
Recommended article: A curiously cubulated group
description: scientific article; zbMATH DE number 1965066