Hyperplanes of Squier's cube complexes

DOI10.2140/AGT.2018.18.3205zbMATH Open1503.20007arXiv1507.01667OpenAlexW3098390416WikidataQ129046983 ScholiaQ129046983MaRDI QIDQ1631694FDOQ1631694

Authors: Anthony Genevois 

Publication date: 6 December 2018

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

Abstract: To any semigroup presentation $mathcalP=langleSigmamidmathcalRangle$ and base word $winSigm{a}^{+}$ may be associated a nonpositively curved cube complex $S(mathcalP,w)$, called a Squier complex, whose underlying graph consists of the words of $Sigm{a}^{+}$ equal to $w$ modulo $mathcalP$ where two such words are linked by an edge when one can be transformed into the other by applying a relation of $mathcalR$. A group is a diagram group if it is the fundamental group of a Squier complex. In this paper, we describe hyperplanes in these cube complexes. As a first application, we determine exactly when $S(mathcalP,w)$ is a special cube complex, as defined by Haglund and Wise, so that the associated diagram group embeds into a right-angled Artin group. A particular feature of Squier complexes is that the intersections of hyperplanes are "ordered" by a relation $prec$. As a strong consequence on the geometry of $S(mathcalP,w)$, we deduce, in finite dimensions, that its univeral cover isometrically embedds into a product of finitely-many trees with respect to the combinatorial metrics; in particular, we notice that (often) this allows to embed quasi-isometrically the associated diagram group into a product of finitely-many trees. Finally, we exhibit a class of hyperplanes inducing a decomposition of $S(mathcalP,w)$ as a graph of spaces, and a fortiori a decomposition of the associated diagram group as a graph of groups, giving a new method to compute presentations of diagram groups. As an application, we associate a semigroup presentation $mathcalP(Gamma)$ to any finite interval graph $Gamma$, and we prove that the diagram group associated to $mathcalP(Gamma)$ (for a given base word) is isomorphic to the right-angled Artin group $A(overlineGamma)$.

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

Recommendations

• Diagram groups
• On the Algebra of Semigroup Diagrams
• Howie diagrams and complexes of groups
• A parabolic action on a proper, CAT(0) cube complex.
• Finiteness and CAT(0) properties of diagram groups.

zbMATH Keywords

right-angled Artin groupsdiagram groupsSquier complexesspecial groups\(\mathrm{CAT}(0)\) cube complexes

Mathematics Subject Classification ID

Braid groups; Artin groups (20F36) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67) Topological methods in group theory (57M07)

Cites Work

• Topics in Intersection Graph Theory
• Cubulating small cancellation groups.
• Special cube complexes
• The virtual Haken conjecture (with an appendix by Ian Agol, Daniel Groves and Jason Manning).
• The large scale geometry in nilpotent Lie groups
• Finiteness and CAT(0) properties of diagram groups.
• Embeddings of graph braid and surface groups in right-angled Artin groups and braid groups.
• Subgroups of Direct Products of Free Groups
• Cubulating hyperbolic free-by-cyclic groups: the general case
• The K(π, 1)-Problem for Hyperplane Complements Associated to Infinite Reflection Groups
• Ends of Group Pairs and Non-Positively Curved Cube Complexes
• Finite index subgroups of graph products.
• Diagram groups
• Diagram groups and directed 2-complexes: homotopy and homology.
• Embeddings of hyperbolic groups into products of binary trees
• Title not available (Why is that?)
• Metrics on diagram groups and uniform embeddings in a Hilbert space.
• Coxeter Groups act on CAT(0) cube complexes
• On the Algebra of Semigroup Diagrams
• Groups acting on cubes and Kazhdan’s property (T)
• SURFACE SUBGROUPS OF RIGHT-ANGLED ARTIN GROUPS
• Hyperbolic diagram groups are free
• Diagram groups are totally orderable.
• Embedding relatively hyperbolic groups in products of trees.
• Embeddings between partially commutative groups: two counterexamples.
• LENGTH AND AREA FUNCTIONS ON GROUPS AND QUASI-ISOMETRIC HIGMAN EMBEDDINGS
• Cubulating one-relator groups with torsion.

Cited In (7)

• Contracting isometries of CAT(0) cube complexes and acylindrical hyperbolicity of diagram groups
• Algebraic characterisation of relatively hyperbolic special groups
• Complexes of exact Hermitian cubes and the Zagier conjecture
• Hierarchic Euclidean Skeletons in Cubical Complexes
• Special cube complexes revisited: a quasi-median generalization
• On automorphisms and splittings of special groups
• Hyperbolic diagram groups are free

This page was built for publication: Hyperplanes of Squier's cube complexes

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