An introduction to diagram groups
This detailed survey presents a coherent and self-contained account of the theory of diagram groups, a class of groups associated to semigroup presentations via the fundamental group of the corresponding Squier complex. Starting from the early definitions by Meakin and Sapir (unpublished) and first investigated by \textit{V. Kilibarda} [Int. J. Algebra Comput. 7, No. 3, 313--338 (1997; Zbl 0879.20029)], the author outlines three equivalent formalisms: as obstructions to asphericity in semigroup presentations; as groupoids of semigroup diagrams modulo dipole reductions; and as second homotopy groupoids of directed \(2\)-complexes.\N\NA significant portion of the text is devoted to explicit constructions and examples, including Thompson's group \( F \), its commutator subgroup \( F' \), the wreath product \( \mathbb{Z} \wr \mathbb{Z} \), the pure planar braid groups and several right angled Artin groups. The stability of the class under operations such as free products, restricted wreath products and \(\Sigma\) and \(\Lambda\) products is discussed with explicit semigroup presentations.\N\NAlgorithmic aspects are treated in detail, particularly the computation of presentations for diagram groups over complete semigroup presentations, with connections to LOG groups (groups defined by labelled oriented graphs) and to the structure of the associated Squier complex. Several structural results are reviewed, including torsion freeness, bi-orderability, unique root extraction and the characterization of nilpotent and polycyclic subgroups.\N\NThe geometric part of the paper examines the actions of diagram groups on median graphs and CAT(0) cube complexes, with applications to subgroup separability, residual finiteness and Hilbert space compression. The final sections outline generalisations and open problems, including the diagram group recognition problem for right angled Artin groups.
- A fixed cube theorem for median graphs
- A metric Kan-Thurston theorem.
- Actions of picture groups on CAT(0) cubical complexes.
- Acylindrically hyperbolic groups
- Asymptotically rigid mapping class groups. I: Finiteness properties of braided Thompson's and Houghton's groups
- Automorphisms of graph groups.
- Bounded cohomology of subgroups of mapping class groups
- Braided diagram groups and local similarity groups
- Braided Houghton groups as mapping class groups.
- CAT(0) cube complexes and groups
- Contracting isometries of CAT(0) cube complexes and acylindrical hyperbolicity of diagram groups
- Cremona Groups Over Finite Fields, Neretin Groups, and Non-Positively Curved Cube Complexes
- Diagram groups
- Diagram groups and directed 2-complexes: homotopy and homology.
- Diagram groups are totally orderable.
- DIAGRAM GROUPS, BRAID GROUPS, AND ORDERABILITY
- Embedding ℚ into a finitely presented group
- Embeddings between partially commutative groups: two counterexamples.
- Embeddings into Thompson's groups from quasi-median geometry
- Ends of Group Pairs and Non-Positively Curved Cube Complexes
- EXACTNESS AND UNIFORM EMBEDDABILITY OF DISCRETE GROUPS
- Finite asymptotic dimension for CAT(0) cube complexes.
- Finiteness and CAT(0) properties of diagram groups.
- Finiteness properties of groups
- Fixed-point-free actions on cubings
- Graphs of some CAT(0) complexes
- Groups acting on \(\text{CAT}(0)\) cube complexes
- Higher dimensional Thompson groups.
- Hilbert space compression and exactness of discrete groups.
- Homological and finiteness properties of picture groups
- scientific article; zbMATH DE number 4031953 (Why is no real title available?)
- scientific article; zbMATH DE number 1385418 (Why is no real title available?)
- Hyperbolic diagram groups are free
- Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces
- Hyperbolicities in CAT(0) cube complexes
- Hyperplanes of Squier's cube complexes
- Introductory notes on Richard Thompson's groups
- Isometries of CAT(0) cube complexes are semi-simple
- Metrics on diagram groups and uniform embeddings in a Hilbert space.
- Morse theory and finiteness properties of groups
- On compact median graphs
- On diagram groups over Fibonacci-like semigroup presentations and their generalizations
- On Jones' subgroup of R. Thompson group F
- On subgroups of R. Thompson's group F and other diagram groups
- On subgroups of R. Thompson's group F
- On the Algebra of Semigroup Diagrams
- Property \(P_{\mathrm{naive}}\) for acylindrically hyperbolic groups
- Quasi-isometrically embedded subgroups of Thompson's group \(F\)
- Quasiautomorphism groups of type \(F_\infty\)
- Random subgroups of acylindrically hyperbolic groups and hyperbolic embeddings
- RIGIDITY PROPERTIES OF DIAGRAM GROUPS
- Small cancellation in acylindrically hyperbolic groups
- Special cube complexes
- SURFACE SUBGROUPS OF RIGHT-ANGLED ARTIN GROUPS
- The algebra of strand splitting. I. A braided version of Thompson's group V
- The braided Ptolemy-Thompson group is finitely presented.
- The group of parenthesized braids.
- The wreath product of $\mathbb {Z}$ with $\mathbb {Z}$ has Hilbert compression exponent $\frac {2}{3}$
- Topology of finite graphs
- Universal diagram groups with identical Poincaré series.
This page was built for publication: An introduction to diagram groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6996151)
