Volume 18, issue 6 (2018)

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

Volume 20
Issue 4, 1601–2143
Issue 3, 1073–1600
Issue 2, 531–1072
Issue 1, 1–529

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
This article is available for purchase or by subscription. See below.
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.

PDF Access Denied

However, your active subscription may be available on Project Euclid at

We have not been able to recognize your IP address as that of a subscriber to this journal.
Online access to the content of recent issues is by subscription, or purchase of single articles.

Please contact your institution's librarian suggesting a subscription, for example by using our journal-recom­mendation form. Or, visit our subscription page for instructions on purchasing a subscription.

You may also contact us at contact@msp.org
or by using our contact form.

Or, you may purchase this single article for USD 40.00:

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