Classifying spaces from Ore categories with Garside families

DOI10.2140/AGT.2019.19.1477MaRDI QIDQ2279054zbMATH OpenOpenAlexFDO

Authors Stefan Witzel

Publication date 12 December 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.02992

zbMATH Keywords

braid groupsclassifying spacesfiniteness propertiesGarside structuresOre categoriesThompson groups

Mathematics Subject Classification ID

Braid groups; Artin groups (20F36) Geometric group theory (20F65) Topological methods in group theory (57M07)

Abstract: 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'ep product of categories is introduced and used to construct new categories and groups from known ones. As an illustration of our methods we introduce the group Braided T and show that it is of type $F_{i}nfty$.

Review text

The paper in review formalizes a ``blueprint to prove finiteness properties of Thompson groups. There are many results known, which usually follow along the same lines as the proofs of \textit{K. S. Brown} [J. Pure Appl. Algebra 44, 45--75 (1987; Zbl 0613.20033)], \textit{M. Stein} [Trans. Am. Math. Soc. 332, No. 2, 477--514 (1992; Zbl 0798.20025)] and \textit{D. S. Farley} [Topology 42, No. 5, 1065--1082 (2003; Zbl 1044.20023)]. The article in review provides a theorem that reduces a statement about finiteness properties of Thompson groups to its technical core, which is about connectivity of certain complexes. The proof is formulated categorically using the Ore category and Garside family. The following theorems are stated and results are proven in greater generality later on: (Theorem A) Let \(\mathcal{C}\) be a small right-Ore category that is factor-finite and admits a right-Garside map \(\Delta\), and let \(* \in \text{Ob}(\mathcal{C})\). There is a contractible simplicial complex \(X\) on which \(G = \pi_1(\mathcal{C}, *)\) acts. The space is covered by the \(G\)-translates of compact subcomplexes \(K_x\) for \(x \in \text{Ob}(\mathcal{C})\). Every stabilizer is isomorphic to a finite-index subgroup of the automorphism group \(\mathcal{C}^\times(x,x)\) for some \(x \in \text{Ob}(\mathcal{C})\). (Theorem B) Let \(\mathcal{C}, \Delta, *\) be as in (Theorem A) and let \(\rho: \text{Ob}(\mathcal{C}) \to \mathbb{N}\) be a height function such that \(\{x \in \text{Ob}(\mathcal{C}\,|\, \rho(x) \leq n\}\) is finite for every \(n \in \mathbb{N}\). Assume that (STAB) \(\mathcal{C}^\times(x,x)\) is of type \(F_n\) for all \(x\), (LK) there exists an \(N \in \mathbb{N}\) such that \(|E(x)|\) is \((n-1)\)-connected for all \(x\) with \(\rho(x) \geq N\). Then \(\pi_1(\mathcal{C}, *)\) is of type \(F_n\). The braided Thompson group \(BT\), \textit{braided} \(T\), is defined and the following theorem is shown: The braided Thompson group BT is of type \(F_\infty\).

Recommendations

• A short account of why Thompson's group $F$ is of type $\textrm{F}_\infty$
• The basilica Thompson group is not finitely presented
• The Ubiquity of Thompson's Group F in Groups of Piecewise Linear Homeomorphisms of the Unit Interval
• Bredon cohomological finiteness conditions for generalisations of Thompson groups.
• On groups whose actions on finite-dimensional CAT(0) spaces have global fixed points
• Combinatorial and metric properties of Thompson’s group 𝑇
• Cohomological finiteness properties of the Brin–Thompson–Higman groups 2V and 3V
• Higher dimensional Thompson groups.
• Thompson’s Group
• On the baker's map and the simplicity of the higher dimensional Thompson groups \(nV\).

Cites work

• A new approach to the word and conjugacy problems in the braid groups
• A no-go theorem for the continuum limit of a periodic quantum spin chain
• A partial order on the symmetric group and new \(K(\pi,1)\)'s for the braid groups
• A Thompson group for the basilica
• An infinite-dimensional torsion-free \(\text{FP}_{\infty}\) group
• Artin-Gruppen und Coxeter-Gruppen
• Bestvina's normal form complex and the homology of Garside groups.
• Braid Groups
• Chessboard Complexes and Matching Complexes
• Cohomological finiteness conditions and centralisers in generalisations of Thompson's group V
• Finiteness and CAT(0) properties of diagram groups.
• Finiteness conditions for CW-complexes. I, II.
• Finiteness properties of groups
• Foundations of Garside theory
• Groups of Piecewise Linear Homeomorphisms
• Higher algebraic K-theory: I
• Higher dimensional Thompson groups.
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• scientific article; zbMATH DE number 7469543 (Why is no real title available?)
• Introductory notes on Richard Thompson's groups
• Morse theory and finiteness properties of groups
• ON THE ZAPPA-SZÉP PRODUCT
• Operad groups and their finiteness properties
• Pure braid subgroups of braided Thompson's groups.
• Simple groups separated by finiteness properties
• The \(\Sigma\)-invariants of Thompson's group \(F\) via Morse theory
• The algebra of strand splitting. I. A braided version of Thompson's group V
• THE BRAID GROUP AND OTHER GROUPS
• The braided Thompson's groups are of type F_
• The Brin-Thompson groups sV are of the type F_.
• The dual braid monoid
• The group of parenthesized braids.
• The isomorphism problem for Higman-Thompson groups.
• Thompson groups for systems of groups, and their finiteness properties

Cited in

(19)

• Simple groups separated by finiteness properties
• Boundary braids
• Twisted Brin-Thompson groups
• Asymptotically rigid mapping class groups. I: Finiteness properties of braided Thompson's and Houghton's groups
• A short account of why Thompson's group $F$ is of type $\textrm{F}_\infty$
• Almost-automorphisms of trees, cloning systems and finiteness properties
• Operad groups and their finiteness properties
• On Belk's classifying space for Thompson's group \(F\)
• Finiteness properties for relatives of braided Higman-Thompson groups
• Left regular representations of Garside categories I. C^*-algebras and groupoids
• Braided Thompson groups with and without quasimorphisms
• Finiteness properties of locally defined groups
• Left regular representations of Garside categories. II: Finiteness properties of topological full groups
• Houghton-like groups from ``shift-similar groups
• Finiteness properties of generalized Thompson groups via expansion sets
• Rigidity and automorphisms of groups constructed using Jones' technology
• Configuration spaces of circles in the plane
• Normal coactions extend to the C*-envelope
• Higher finiteness properties of braided groups

This page was built for publication: Classifying spaces from Ore categories with Garside families

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279054)