Volume 18, issue 6 (2018)

Download this article
Download this article For screen
For printing
Recent Issues

Volume 21
Issue 2, 543–1074
Issue 1, 1–541

Volume 20, 7 issues

Volume 19, 7 issues

Volume 18, 7 issues

Volume 17, 6 issues

Volume 16, 6 issues

Volume 15, 6 issues

Volume 14, 6 issues

Volume 13, 6 issues

Volume 12, 4 issues

Volume 11, 5 issues

Volume 10, 4 issues

Volume 9, 4 issues

Volume 8, 4 issues

Volume 7, 4 issues

Volume 6, 5 issues

Volume 5, 4 issues

Volume 4, 2 issues

Volume 3, 2 issues

Volume 2, 2 issues

Volume 1, 2 issues

The Journal
About the Journal
Editorial Board
Editorial Interests
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
ISSN (electronic): 1472-2739
ISSN (print): 1472-2747
Author Index
To Appear
Other MSP Journals
Hyperplanes of Squier's cube complexes

Anthony Genevois

Algebraic & Geometric Topology 18 (2018) 3205–3256

To any semigroup presentation P = Σ and base word w Σ+ may be associated a nonpositively curved cube complex S(P,w), called a Squier complex, whose underlying graph consists of the words of Σ+ equal to w modulo P, where two such words are linked by an edge when one can be transformed into the other by applying a relation of . A group is a diagram group if it is the fundamental group of a Squier complex. We describe hyperplanes in these cube complexes. As a first application, we determine exactly when S(P,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 . As a strong consequence on the geometry of S(P,w), we deduce, in finite dimensions, that its universal cover isometrically embeds into a product of finitely many trees with respect to the combinatorial metrics; in particular, we notice that (often) this allows us to embed quasi-isometrically the associated diagram group into a product of finitely many trees, giving information on its asymptotic dimension and its uniform Hilbert space compression. Finally, we exhibit a class of hyperplanes inducing a decomposition of S(P,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 P(Γ) to any finite interval graph Γ, and we prove that the diagram group associated to P(Γ) (for a given base word) is isomorphic to the right-angled Artin group A(Γ̄). This result has many consequences on the study of subgroups of diagram groups. In particular, we deduce that, for all n 1, the right-angled Artin group A(Cn) embeds into a diagram group, answering a question of Guba and Sapir.

diagram groups, CAT(0) cube complexes, special groups, Squier complexes, right-angled Artin groups
Mathematical Subject Classification 2010
Primary: 20F65, 20F67
Received: 17 April 2017
Revised: 19 January 2018
Accepted: 23 April 2018
Published: 18 October 2018
Anthony Genevois
Aix-Marseille University