Classifying spaces from Ore categories with Garside families (Q2279054): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
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
    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
    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

    Identifiers