Classifying spaces from Ore categories with Garside families (Q2279054): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3098501444 / rank | |||
Normal rank |
Revision as of 19:36, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Classifying spaces from Ore categories with Garside families |
scientific article |
Statements
Classifying spaces from Ore categories with Garside families (English)
0 references
12 December 2019
0 references
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\).
0 references
Thompson groups
0 references
braid groups
0 references
finiteness properties
0 references
classifying spaces
0 references
Ore categories
0 references
Garside structures
0 references