arXiv:1608.03572v2 [math.GT] 15 Aug 2016

Determining the action dimension of an Artin
group by using its complex of abelian
subgroups
Michael W. Davis

∗

Jingyin Huang

August 16, 2016

Abstract
Suppose that (W, S) is a Coxeter system with associated Artin
group A and with a simplicial complex L as its nerve. We define the
notion of a “standard abelian subgroup” in A. The poset of such
subgroups in A is parameterized by the poset of simplices in a certain
subdivision L of L. This complex of standard abelian subgroups
is used to generalize an earlier result from the case of right-angled
Artin groups to case of general Artin groups, by calculating, in many
instances, the smallest dimension of a manifold model for BA. (This
is the “action dimension” of A denoted actdim A.) If Hd (L; Z/2) 6= 0,
where d = dim L, then actdim A ≥ 2d + 2. Moreover, when the
K(π, 1)-Conjecture holds for A, the inequality is an equality.
AMS classification numbers. Primary: 20F36, 20F55, 20F65,
57S30, 57Q35, Secondary: 20J06, 32S22
Keywords: action dimension, Artin group, Coxeter group

Introduction
Given a discrete, torsion-free group π, its geometric dimension, gd π, is the
smallest dimension of a model for its classifying space Bπ by a CW complex;
its action dimension, actdim π, is the smallest dimension of a manifold model
∗

Partially supported by an NSA grant.

1

for Bπ. From general principles, actdim π ≤ 2 gd π. Taking the universal
cover of such a manifold model, we see that actdim π can alternately be
defined as the smallest dimension of a contractible manifold which admits a
proper π-action. The basic method for calculating actdim π comes from work
of Bestvina, Kapovich and Kleiner [3]. They show that if there is a finite
complex K such that the 0-skeleton of the cone (of infinite radius) on K
coarsely embeds in π and if the van Kampen obstruction for embedding K in
S m is nonzero, then actdim π ≥ m+2 (such a complex K is an m-obstructor ).
A Coxeter matrix (mst ) on a set S is an (S × S)-symmetric matrix with
1 s on the diagonal and with each off-diagonal entry either an integer ≥ 2
or the symbol ∞. Associated to a Coxeter matrix there is a Coxeter group
W defined by the presentation with set of generators S and with relations:
(st)mst = 1. The pair (W, S) is a Coxeter system. For a subset T ≤ S, the
subgroup generated by T is denoted WT and called a special subgroup. The
pair (WT , T ) also is a Coxeter system. The subset T is spherical if WT is
finite. Let S(W, S) denote the poset of spherical subsets of S (including the
empty set). There is a simplicial complex, denoted by L(W, S) (or simply by
L) called the nerve of (W, S). Its simplices are the elements of S(W, S)>∅ .
In other words, the vertex set of L is S and its simplices are precisely the
nonempty spherical subsets of S. Note that a subset {s, t} < S of cardinality
2 is an edge of L if and only if mst 6= ∞.
Given a Coxeter matrix (mst ), there is another group A called the associated Artin group. It has a generator as for each vertex s ∈ S and for each
edge {s, t} of L, an Artin relation:
a at . . . = at as . . . .
} | {z }
| s {z

mst terms

(0.1)

mst terms

The special subgroup AT is the subgroup generated by {as | s ∈ T }; it can
be identified with the Artin group associated to (WT , T ). The subgroup AT
is spherical if T is a spherical.
A spherical Coxeter group WT acts as a group generated by linear reflections on Rn , where n = Card T . After tensoring with C, it becomes a
linear reflection group on Cn . Deligne [14] proved that the complement of
the arrangement of reflecting hyperplanes in Cn is aspherical. Since WT acts
freely on this complement, it follows that its quotient by WT is a model for
BAT . Salvetti [22] described a specific n-dimensional CW complex, Sal T ,
called the Salvetti complex, which is a model for this quotient of the hyperplane arrangement complement. Thus, gd AT ≤ dim(Sal T ) = Card T . (In
2

fact, since the cohomological dimension, cd AT , is ≥ Card T the previous inequality is an equality.) More generally, one can glue together the complexes
Sal T , with T spherical, to get a CW complex Sal S with fundamental group
A (= AS ). The dimension of Sal S is dim L + 1. The K(π, 1)-Conjecture for
A is the conjecture that Sal S is a model for BA. This conjecture is true in
many cases, for example, whenever L is a flag complex, cf. [7]. Thus, if the
K(π, 1)-Conjecture holds for A, then gd A = dim L + 1.
A Coxeter matrix (mst ) is right-angled if all its nondiagonal entries are
either 2 or ∞. The associated Artin group A is a right-angled Artin group
(abbreviated RAAG). The next theorem is one of our main results. For
RAAGs, it was proved in [1].
Main Theorem. (Theorem 5.2 in section 6). Suppose that L is the nerve
of a Coxeter system (W, S) and that A is the associated Artin group. Let
d = dim L. If Hd (L; Z/2) 6= 0), then actdim A ≥ 2d + 2. So, if the K(π, 1)Conjecture holds for A, then actdim A = 2d + 2.
The justification for the final sentence of this theorem is that if K(π, 1)Conjecture holds for A, then gd A = d + 1; so, the largest possible value for
the action dimension is 2d + 2.
For any simplicial complex K, there is another simplicial complex OK
of the same dimension, defined by “doubling the vertices” of K (cf. subsection 2.3). The complex OK is called the “octahedralization” of K. In
the right-angled case, the Main Theorem was proved by using OL for an
obstructor, where L = L(W, S).
The principal innovation of this paper concerns a certain subdivsion L
of L, called the “complex of standard abelian subgroups” of A. The complex
L plays the same role for a general Artin group as L does in the right-angled
case; its simplices parameterize the “standard” free abelian subgroups in A.
We think of OL as the boundary of the union of the standard flat subspaces
in the universal cover of BA. The Main Theorem is proved by showing that
(1) Cone OL coarsely embeds in A, and (2) when Hd (L; Z/2) 6= 0, the van
Kampen obstruction for OL in degree 2d is not zero.
When A is a RAAG, a converse to the Main Theorem also was proved in
[1]: if Hd (L; Z/2) = 0 (and d 6= 2), then actdim A ≤ 2d + 1. For a general
Artin group A for which the K(π, 1)-Conjecture holds, this converse, under
a slightly weaker hypothesis, recently has been proved in the PhD thesis of
Giang Le [18] : if H d (L; Z) = 0 (and d 6= 2), then actdim A ≤ 2d + 1.
3

1

Preliminaries

1.1

Coxeter systems

Let (W, S) be a Coxeter system.
A reflection in W is the conjugate of an element of S. Let R denote the
set of all reflections in W . For any subset T < S, RT denotes the set of
reflections in WT , i.e., RT = R ∩ WT .
The Coxeter diagram D of (W, S) is a labeled graph which records the
same information as does (mst ). The vertex set of D is S and there is an edge
between s and t whenever mst > 2. If mst = 3, the edge is left unlabeled,
otherwise it is labeled mst . (The notation D(W, S) or D(S) also will be used
for D.)
The Coxeter system is irreducible if D is connected. A component T of
(W, S) is the vertex set of a connected component of D. Thus, if T1 , . . . , Tk
are the components of (W, S), then D is the disjoint union of the induced
graphs on Ti and W = WT1 × · · · × WTk . So, the diagram shows us how to
decompose W as a direct product. In this paper we will only be concerned
with the diagrams of spherical Coxeter groups.
Definition 1.1. Suppose T is a spherical subset and that T1 , . . . Tk are the
vertex sets of the components of D(T ). Then {T1 , . . . Tk } is the decomposition
of T (into irreducibles).
Lemma 1.2. (cf. [4, Ch. IV, Exerc. 22, p. 40]). Suppose (WT , T ) is a spherical Coxeter system. Then there is a unique element wT of longest length in
WT . It has the following properties:
• wT is an involution,
• wT conjugates T to itself.
• `(wT ) = Card RT .
Remark 1.3. Let wT be the element of longest length in a spherical special
subgroup WT . Let ιT : WT → WT denote inner automorphism by wT . By
Lemma 1.2, ιT restricts to a permutation of T and this permutation induces
an automorphism of the Coxeter diagram D(T ). It follows that wT belongs
to the center of WT if and only if the restriction of ιT to T is the trivial
permutation. Suppose (WT , T ) is irreducible. It turns out that the center
4

of WT is trivial if and only if the permutation ιT |T is nontrivial (this is
because this condition is equivalent to the condition that wT does not act
as the antipodal map, −1, on the canonical representation). If this is the
case, we say WT is centerless. In particular, when WT is centerless, its
Coxeter diagram admits a nontrivial involution. Using this, the question of
the centerlessness of WT easily can be decided, as follows. When Card T = 2,
WT centerless if and only if it is a dihedral group I2 (p), with p odd. When
Card T > 2, the groups of type An , Dn with n odd, and E6 are centerless,
while those of type Bn , Dn with n even, H3 , H4 , F4 , E7 and E8 are not (cf.
[4, Appendices I-IX, pp. 250-275] or [10, Remark 3.1.2, p. 125]).
Remark 1.4. It is proved in [21] that if WT is irreducible and not spherical,
then its center is trivial.
For later use we record the following technical lemma.
Lemma 1.5. (The Highest Root Lemma). Suppose (W, S) is spherical. Then
there is a reflection r ∈ R such that r ∈
/ WT for any proper subset T < S.
Proof. It suffices to prove this when (W, S) is irreducible. So, suppose this.
If the diagram (W, S) is not type H3 , H4 or I2 (p) with p = 5 or p > 6, then
(W, S) is associated with a root system in Rn . Each root φ can be expressed
as an integral linear combination of the simple roots {φs }s∈S :
X
φ=
ns φs ,
s∈S

where the coefficients ns are either all ≥ 0 or all ≤ 0; the root φ is said to
be positive or negative, respectively. Moreover, there is a positive root φr for
each reflection r ∈ R. It is proved in [4, Ch. VI §1.8, Prop. 25, p. 178] that
there is always a highest root φr which dominates all other positive roots φ,
in the sense that the coefficients of φr − φ are all ≥ 0. In particular, since φr
dominates the simple roots, the coefficients ns of φr are 6= 0. On the other
hand, if r ∈ RT , then ns = 0 for all s ∈ S − T . Hence, if φr is the highest
root, then r ∈
/ RT for any proper subset T < S.
When the diagram is type H3 , H4 or I2 (p), one still has a “root system”
with the properties in the previous paragraph, except that the coefficients
need not be integers. One then can prove the lemma directly in each of these
three cases by simply writing down a reflection r which does not lie in any
of the RT .
5

Let S denote the set of irreducible nonempty spherical subsets of S. In
other words,
S := {T ∈ S(W, S)>∅ | D(T ) is connected}.

(1.1)

By Lemma 1.5, one can choose a function r : S → R, denoted T 7→ r(T ),
such that
[
r(T ) ∈ RT −
RT 0
(1.2)
T 0 <T

where the union is over all proper subsets of T . (WhenSD(T ) is type An ,
it turns out that there is exactly one reflection in RT − RT 0 ; however, in
other cases, it can contain more than one reflection.)
Lemma 1.6. The function r : S → R is injective.
Proof. According to [4, Ch. IV, §1.8, Prop. 7, p. 12] or [12, Prop. 4.4.1, p. 44],
for any given w ∈ W , there is a well-defined subset S(w) ≤ S, such that
the set of letters used in any reduced expression for w is precisely S(w). By
construction, S(r(T )) = T . Hence, if r(T1 ) = r(T2 ), then T1 = T2 , i.e., r is
injective.

1.2

The subdivision L of L.

We want to define the subdivision L of L (= L(W, S)). First, the vertex
set of L is the set S defined in (1.1), i.e., S is the set of (vertex sets of)
irreducible spherical subdiagrams of D(W, S). Note that S is a subposet of
S(W, S). We regard T ∈ S as being the barycenter of the corresponding
simplex of L. Given a subset α of S , define its support:
[
sp(α) =
T.
T ∈α

Next we give an inductive definition of what it means for a subset of S to
be “nested”.
Definition 1.7. Let α be a subset of S such that sp(α) is spherical. By
definition, the ∅ is nested. (This is the base case of the inductive definition.)
Let {T1 , . . . Tk } be the set of maximal elements in α. Then α is nested if
• sp(α) is spherical.
6

• {T1 , . . . , Tk } is the decomposition of sp(α) into irreducibles.
• α<Ti is nested.
Card α.)

(This is defined by induction since Card(α<Ti ) <

Elements T1 , T2 of S are orthogonal if their diagrams D(T1 ) and D(T2 )
are distance ≥ 2 apart in D(S); in other words, D(T1 ) and D(T2 ) lie in
different components of the full subgraph of D(S) spanned by D(T1 )∪D(T2 ).
Elements T1 , T2 are comparable if either T1 < T2 or T2 < T1 . Elements T1 ,
T2 are transverse if they are neither orthogonal nor comparable. It is easy to
see that a two element subset {T1 , T2 } of S is nested if and only if T1 and
T2 are either orthogonal or comparable.
The simplicial complex L is defined as follows: the simplicies of L are
the nested subsets of S . It is clear that L is a subdivision of L. (The
subdivision of an irreducible 2-simplex is shown in Figure 1.) This same
subdivision plays a role in [9, 10].
Remark 1.8. Here is a more geometric description of L . Suppose T is
a spherical subset and that σ is the corresponding geometric simplex in L.
Since L is defined by applying the subdivision procedure to each simplex of
L, it suffices to describe σ . Suppose {T1 , . . . , Tk } is the decomposition of T
into irreducibles and that σi is the geometric simplex in L corresponding to
Ti . This gives a join decomposition: σ = σ1 ∗ · · · ∗ σk . Suppose by induction
on dim σ that the subdivision has been defined for each proper subcomplex
of σ. The subdivision σ is then defined by using one of the following two
rules.
• If k = 1, then T is irreducible and the barycenter bT of σ will be a
vertex of the subdivision. Define σ := (∂σ) ∗ bT . (In other words,
σ is formed by coning off (∂σ) to bT .)
• If k > 1, then σ := (σ1 ) ∗ · · · ∗ (σk ) .
1.{ps,eps} not found (or no BBox)

Figure 1: Subdivision for D = 2.png.{ps,eps} not found (or no BBox)
The following lemma will be used in subsection 3.2. Its proof is straightforward.
7

Lemma 1.9. (cf. [10, Cor. 3.5.4]). The subdivision L is a flag complex.
Remark 1.10. Assuming this lemma, one can define L without using induction. First, there is a direct description of the 1-skeleton of L : the edges
are the 2-element subsets {T1 , T2 } of S such that T1 and T2 are either orthogonal or comparable. Second, L is the flag complex determined by this
1-skeleton.

1.3

Artin groups

Suppose A is the Artin group associated to a Coxeter system (W, S) and that
{as }s∈S is its standard set of generators. There is a canonical epimorphism
p : A → W defined by as 7→ s. The pure Artin group P A is the kernel of p.
There is a map i : w 7→ aw from W to A, which is a set theoretic section
for p. It is defined as follows. If s1 · · · sl is a reduced expression for w, then
aw = as 1 · · · as k

(1.3)

The element aw does not depend on the choice of reduced expression by
Tits’ solution to word problem for Coxeter groups. This asserts that any
two reduced expressions for an element of W differ by “braid moves,” corresponding to Artin relations of type (0.1), e.g., see [12, §3.4, p. 40]. (N.B. the
map i : W → A is not a homomorphism.)
Remark 1.11. For subsets T , T 0 subsets of S, we have
WT ∩ WT 0 = WT ∩ T 0 ,

AT ∩ AT 0 = AT ∩ T 0 ,

P AT ∩ P AT 0 = P AT ∩ T 0 .

The first formula is proved in [4, Ch. IV.8, Thm. 2, p. 12], the second in [23].
The third follows from the first two.

1.4

Complements of hyperplane arrangements and
pure Artin groups

When T is a spherical subset of S, WT is a finite reflection group on Rn
(where n is the cardinality of T ) and so, by complexification, also a reflection
group on Cn . Let MT denote the complement of the union of reflecting
hyperplanes in Cn . Deligne [14] proved that π1 (MT ) is the pure Artin group
P AT and that MT is a model for BP AT . Even when WT is infinite it still
8

has a geometric representation as a reflection group on Rn so that WT acts
properly on the interior of a certain convex cone (the “Tits cone”). Hence,
WT acts properly on some convex open subset ΩT < Cn . We also denote the
complement of the union of reflecting hyperplanes in ΩT by MT . It is proved
in [23] that π1 (MT ) ∼
= P AT . The original version of the K(π, 1)-Conjecture
was that MT ∼ BP AT . (For more details, see [7] or [23].)
When T 0 < T , there is an open convex subset in ΩT which only intersects
the reflecting hyperplanes of WT 0 and which, therefore, can be identified with
the product of ΩT 0 and a disk. Taking complements of hyperplanes we get
an inclusion MT 0 ,→ MT . On the level of fundamental groups, this induces
the standard inclusion P AT 0 ,→ P AT .
Next, we consider the abelianization P Aab of P A as well as the abelianization of the special subgroups P AT . Since P A is the fundamental group
of the hyperplane arrangement complement MS , we have P Aab = H1 (MS ).
There is one reflecting hyperplane for each reflection r ∈ R. Since each such
hyperplane is the intersection of a linear hyperplane with an open convex
subset of Cn , H1 (MS ) is generated by loops around these hyperplanes; in
fact, H1 (MS ) is the free abelian group on R, denoted ZR (e.g., see [20]). So,
we have proved the following.
Lemma 1.12. P Aab is the free abelian group ZR . Similarly, for any T < S,
(P AT )ab = ZRT .
Let {er }r∈R be the standard basis for ZR . For each fundamental reflection
s ∈ S, the element (as )2 ∈ P A is a loop around the reflecting hyperplane
corresponding to S, i.e., es is represented by (as )2 , where as is a standard
Artin generator. Any reflection r ∈ R can be written as r = wsw−1 for some
s ∈ S and w ∈ W . Put
εr := (aw )(as )2 (aw )−1 ,

(1.4)

where aw is the element of A defined by (1.3) (any other element of A lying
above w would serve as well). Note that εr ∈ P A and that it projects to
er ∈ P Aab . Thus, {er }r∈R is the standard basis for ZR = P Aab . (Usually we
will write the group operation in P Aab additively.)

9

2
2.1

Configurations of standard abelian subgroups
The center of a spherical Artin group

Suppose AT is a spherical Artin group. Define ∆T ∈ A by
∆T = awT ,

(2.1)

where wT ∈ WT is the element of longest length defined in Lemma 1.2 and awT
is defined by (1.3). For any t ∈ T , we have wT t = ι(t)wT , where ι : T → T is
the permutation induced by wT . Moreover, there is a reduced expression for
wT ending with the letter t as well as another reduced expression beginning
with ι(t). So, awT (at )−1 = (aι(t) )−1 awT . Hence,
∆T at = aι(t) ∆T .
It follows that (∆T )2 lies in the center, Z(AT ), of AT and that ∆T ∈ Z(AT )
if and only if ι : T → T is the identity permutation. If T is spherical and
irreducible, put
(
∆T ,
if ι = id;
δT :=
2
(∆T ) , otherwise.
Note that (∆T )2 ∈ P AT . The next lemma follows from [2, Thm. 4.7, p. 294].
Lemma 2.1. Suppose (WT , T ) is spherical and irreducible. Then Z(AT ) is
infinite cyclic with generator δT . Similarly, Z(P AT ) is infinite cyclic with
generator (∆T )2 .
If (WT , T ) has more than one component, define δT to be the central
element given by product of the appropriate choice of ∆T 0 or (∆T 0 )2 for each
component T 0 .
We also can define corresponding central elements in P AT and (P AT )ab
by
εT := (∆T )2 ∈ P AT , and
eT := image of (∆T )2 in (P AT )ab .
Lemma 2.2. Suppose T is spherical. Then eT ∈ (P AT )ab is the sum of the
standard basis elements:
X
eT =
er .
r∈RT

10

Proof. Consider the hyperplane arrangement complement, MT . If ∆T is
defined by (2.1), then the central element (∆T )2 ∈ π1 (MT ) = P AT is represented by the “Hopf fiber”. (More precisely, the Hopf fiber is C∗ and (∆T )2
is represented by S 1 < C∗ .) The Hopf fiber links each reflecting hyperplane
once. (To see this, consider the complement in Cn of a single linear hyperplane, in which
P case it is obvious.) Hence, the class of the Hopf fiber in
H1 (MT ) is r∈RT er .
Here is an alternative algebraic proof of the above lemma.
Alternate proof of Lemma 2.2. Let F (T )+ be the free monoid on T . For any
word f = t1 · · · tl which is a reduced expression for the corresponding element
wf of WT , let af be the corresponding element of AT , i.e., af = awf = a1 · · · al ,
where ai is the Artin generator corresponding to ti . Pick a reduced expression
f ∈ F (T )+ for the element wT of longest length in WT . Let f denote the
reverse of f , i.e., if f = t1 t2 · · · tk , then f = tk · · · t2 t1 . Note that
• Since f ·f = 1 in WT and since wf = wT is an involution (by Lemma 1.2),
wf = wf . Since both f and f are reduced expressions for wT , the words
f and f represent the same element in AT , namely, ∆T .
• The subset of WT represented by {(t1 · · · ti−1 ) · ti · (t1 · · · ti−1 )−1 }1≤i≤k
is exactly the set of reflections in WT (cf. [4, Lemma 2, p. 6]).
A simple calculation shows that εT = (∆T )2 = af · af = xk xk−1 · · · x1 where
xi = (a1 · · · ai−1 ) · (ai )2 · (a1 · · · ai−1 )−1 for 1 ≤ i ≤ k (cf. (1.4)). By the
discussion in subsection 1.4, the images of the xi ’s in (P AT )ab are exactly
the er ’s with r ∈ RT . The lemma follows.
Let j : ZS → ZR = P Aab be the homomorphism defined by T 7→ eT and
extending linearly. By combining Lemmas 1.6 and 2.2, we get the following.
Lemma 2.3. The homomorphism j : ZS → ZR is injective.
Proof. The standard inner product, (x, y) 7→ x·y on ZR is defined on standard
basis elements by (er , er0 ) 7→ δr,r0 . For each T ∈ S let r(T ) be as in (1.2)
and Lemma 1.6. Note that for any T ∈ S and r ∈ R, we have eT · er = 1 if
r ∈ RT and is 0 otherwise. It follows that for T, T 0 ∈ S , we have:
(
1, if T ≤ T 0 ,
eT 0 · er(T ) =
0, otherwise.
11

R
Using
P this one sees that the eT are linearly independent in Z . Indeed,
if
xT eT = 0, after taking the inner product with er(T ) , we get xT = 0
whenever T is a maximal element of S . Let S 0 be S with its maximal
elements removed. Repeat the argument for maximal elements of S 0 . After
finitely many iterations, we get that xT = 0 for all T ∈ S .

2.2

Standard abelian subgroups

Suppose α is a d-simplex in L . We are going to define a subgroup Hα < A
which is free abelian of rank d + 1. Suppose T, T 0 ∈ Vert α (where Vert α
means the vertex set of α). By Remark 1.10, T and T 0 are either orthogonal
or comparable. In either case δT and δT 0 commute. (This is obvious if T
and T 0 are orthogonal. If T and T 0 are comparable, then without loss of
generality T < T 0 , in which case, δT 0 is centralizes AT < AT 0 .)
Define Hα to be the subgroup of Asp(α) generated by {δT }T ∈Vert α . By the
previous paragraph, Hα is abelian. It is called the standard abelian subgroup
associated to α. Similarly, define P Hα to be the subgroup of finite index in
Hα generated by {(∆T )2 }T ∈Vert α . Also, denote by Jα the image of P Hα in
(P Asp(α) )ab .
Lemma 2.4. The natural map ZVert α → Hα is an isomorphism; so, Hα is
free abelian of rank (d + 1).
Proof. It suffices to show that the homomorphism ZVert α → (P Hα )ab induced
by T 7→ eT is an isomorphism. This is immediate from Lemma 2.3.
Corollary 2.5. If dim L = d, then cd A ≥ d + 1. If the K(π, 1)-Conjecture
holds for A, then gd A = d + 1.
Proof. If α is a d-simplex in L , then Hα ∼
= Zd+1 , which has cohomological
dimension d + 1. Since cd A ≥ cd Hα , this proves the first sentence. If the
K(π, 1)-Conjecture holds for A, then its Salvetti complex is a model for BA
and consequently, d + 1 ≥ gd A ≥ cd A.
Let j : ZS → ZR = P Aab be the homomorphism defined in the sentence preceding Lemma 2.3. Let J := Im j < P Aab denote its image. By
Lemma 2.3, j : ZS → J is an isomorphism. So, for any simplex α of L ,
Jα = j(ZVert α ). The next result is a key lemma.
Lemma 2.6. If α and β are simplices of L , then Hα ∩ Hβ = Hα ∩ β .
12

Proof. Since P Hα has finite index in Hα , the lemma will follow once we
show that P Hα ∩ P Hβ = P Hα ∩ β . Let h : P A → P Aab be the abelianization
homomorphism. Recall that h(P Hα ) = Jα and h|P Hα is injective (Lemma
2.4). It follows that if P Hα ∩ P Hβ ) P Hα ∩ β , then Jα ∩ Jβ ) Jα ∩ β . So it
suffices to show Jα ∩ Jβ = Jα ∩ β . But this is immediate from the equality:
ZVert α ∩ ZVert β = ZVert(α ∩ β) ,
after using the isomorphism j to transport this equality to an equality involving subgroups of J.
We record the following lemma concerning the geometry of standard
abelian subgroups, eventhough we do not need it in the sequel.
Lemma 2.7. For any simplex α ⊂ L , Hα is quasi-isometrically embedded
in A.
Proof. First, consider the case when A is spherical. Charney [6] proved that
spherical Artin groups are biautomatic and Gersten-Short [16] proved that
biautomatic groups are semihyperbolic. The Algebraic Flat Torus Theorem from [5, p. 475] states that every monomorphism of a finitely generated
abelian group to a semihyperbolic group is a quasi-isometric embedding. The
general case follows from the spherical case, since any standard abelian subgroup is contained in a spherical special subgroup and special subgroups are
convex in A [8].

2.3

Configurations of flats

Octahedralization For a finite set V , let O(V ) denote the boundary complex of the octahedron (or cross polytope) on V . In other words, O(V )
is the simplicial complex with vertex set V × {±1} such that a subset
{(v0 , ε0 ), . . . , (vk , εk )} of V ×{±1} spans a k-simplex if and only if its first coordinates v0 , . . . vk are distinct. Projection to the first factor V × {±1} → V
gives a simplicial projection p : O(V ) → σ(V ), where σ(V ) means the full
simplex on V . Any finite simplicial complex K with vertex set V is a subcomplex of σ(V ). Its octahedralization OK is defined to be the inverse image
of K in O(V ):
OK := p−1 (K) ≤ O(V ).

13

Thus, each simplex of OK is of the form (σ, ε), where σ is a simplex of K
and ε : Vert σ → {±1} is a function. (This terminology comes from [1] or
[13, §8].) We also say that OK is the result of doubling the vertices of K.
Given a finite simplicial complex or metric space K, put
Cone(K) := K × [0, ∞) / K × {0}.

(2.2)

If K is a metric space, then there is an induced metric on Cone(K) which
gives it the structure of a euclidean cone (cf. [5, p. 60]). The idea is to use the
formula for the euclidean metric on Rn in polar coordinates - the coordinate
in K is the “angle” (and the metric on K gives the angular distance) and
[0, ∞) gives the radial coordinate. For example, if K is the round (n − 1)sphere, then Cone(K) is isometric to En ; if K is a spherical (n − 1)-simplex,
then Cone(K) is isometric to the corresponding sector in En .
A spherical (n − 1)-simplex σ is all right if its edges all have length π/2.
This means that σ is isometric to the intersection of the unit sphere in Rn with
the positive orthant [0, ∞)n . Its octahedralization Oσ is a triangulation of
S n−1 and with the induced all right piecewise spherical metric, it is isometric
to the round sphere. Hence, Cone(Oσ) is isometric to euclidean space.
Suppose K is given its all right piecewise spherical structure in which each
edge has length π/2. Then Cone(K) is isometric to a configuration of the
positive orthants Cone(σ) and Cone(OK) is isometric to a configuration of
euclidean spaces all passing through the cone point. (There is one euclidean
space for each σ ∈ K.) The link of the cone point in Cone(OK) is OK. By
Gromov’s Lemma (cf. [12, Appendix I.6, p. 516]), Cone(OK) is CAT(0) if
and only if OK is a flag complex.
Coordinate subspace arrangements Given a finite simplicial complex
K, one can define an arrangement of coordinate subspaces in the euclidean
space RVert K . Let S(K) denote the poset of simplices in K. For each
σ ∈ S(K), there is the subspace RVert σ ≤ RVert K . The coordinate subspace
arrangement corresponding to K is the collection of subspaces, A(K) :=
{RVert σ }σ∈S(K) . The intersection of these subspaces with the integer lattice
ZVert K gives the coordinate arrangement of free abelian subgroups associated
to K,
AZ (K) := {ZVert σ }σ∈S(K) .
(2.3)

14

The union of the elements of A(K) or AZ (K) is denoted EOK or ZOK , respectively:
[
[
EOK :=
RVert σ ,
ZOK :=
ZVert σ .
(2.4)
σ∈S(K)

σ∈S(K)

Let {bv }v∈Vert K be the standard basis for RVert K so that {bv }v∈Vert σ is the
standard basis for RVert σ . The positive cone spanned by standard basis
{bv }v∈Vert σ is the positive orthant, [0, ∞)Vert σ < RVert σ . Similarly, if (σ, ε) is
a simplex of OK, where ε is a choice of signs v 7→ εv ∈ {±1}, we get the
orthant spanned by {εv bv }v∈Vert σ .
The proof of the next lemma is immediate from the definitions.
Lemma 2.8. Let {hv }v∈Vert K be a collection of elements in some group π
indexed by vertices of a finite simplicial complex K. Suppose hv and hv0
commute whenever v and v 0 are joined by an edge. For a simplex σ in K,
let Hσ ≤ π denote the image of the homomorphism ZVert σ → π induced by
v 7→ hv . Suppose that
• the homomorphism ZVert σ → π is injective,
• the conclusion of Lemma 2.6 holds, i.e., Hσ ∩ Hτ = Hσ ∩ τ for all σ, τ
in K.
Then the collection of free abelian subgroups A = {Hσ }σ∈S(K) is isomorphic
to the coordinate arrangement of abelian groups in ZOK in the obvious sense.
By Lemmas 2.4 and 2.6, the lemma above applies to the simplicial complexes K = L and OK = OL . For each α ∈ L , let
Bα = {δT }T ∈Vert α
be the standard basis for Hα and let RVert α be the euclidean space with basis
Bα , i.e., RVert α = Hα ⊗ R.
Remark 2.9. These notions also make sense when K is infinite and A is
an infinite arrangement of free abelian subgroups in π. If A is invariant
under conjugation, then the conjugation action induces an action π on OK.
In several cases, such action plays an important role of understanding the
group π. For example, if π is the mapping class group of closed hyperbolic
surface and A is the collection of abelian subgroups generated by Dehn twists,
15

then K is the curve complex of the underlying surface. If π is a right-angled
Artin group and A is the collection standard abelian subgroups and their
conjugations, then K is the flag complex of the “extension graph,” which
was introduced by Kim and Koberda [17].

3

The obstructor dimension

In this section we review some definitions from [3].

3.1

The meaning of “K ⊂ ∂π”

For a finite simplicial complex K, define Cone(K) as in (2.2). We give
Cone(K) the euclidean cone metric after choosing a piecewise euclidean metric on K. Next we triangulate Cone(K) so that
• for each simplex σ of K, Cone(σ) is a subcomplex,
• the edge-length metric on the 0-skeleton, Cone(K)0 , is bi-Lipschitz
equivalent to the metric on Cone(K)0 induced from the euclidean cone
metric.
Definition 3.1. Suppose π is a discrete, finitely generated group equipped
with a word metric. As in [3, p. 228], write “K ⊂ ∂π” to mean that there is
a proper, expanding, Lipschitz map, Cone(K)0 → π.
The terms “proper” and “Lipschitz” have their usual meanings. The term
“expanding” needs further explanation, which is given below.
Two functions h1 : A1 → B and h2 : A2 → B to a metric space B diverge
from one another if for every D > 0 there are compact subsets Ci ≤ Ai ,
i = 1, 2, such that h1 (A1 − C1 ) and h2 (A2 − C2 ) are of distance > D apart.
Following [3], call a proper map h : Cone(K) → B is expanding if for any
two disjoint simplices σ and τ in K, the maps h|Cone(σ) and h|Cone(τ ) diverge.
Similarly, if Cone(K)0 is equipped with an edge-length metric as above, then
h : Cone(K)0 → B is expanding if for disjoint simplices σ, τ in K, h|Cone(σ)0
and h|Cone(τ )0 diverge.
Note that the meaning of “K ⊂ ∂π” in Definition 3.1 does not depend
on choices we made in the beginning of this subsection.
It is shown in [3] that if the universal cover of Bπ has a Z-structure (i.e.,
a Z-set compactification) with boundary denoted ∂π and if K ⊂ ∂π, then
16

there is a proper, expanding, Lipschitz map Cone(K) → π. In other words,
K ⊂ ∂π =⇒ “K ⊂ ∂π”.

3.2

Obstructors

Let K be a finite simplicial complex. The deleted simplicial product, (K ×
K) − ∆, is the union of all cells in K × K of the form σ × τ , where σ and
τ are disjoint closed simplices in K. The configuration space, C(K) is the
quotient of (K × K) − ∆ by the free involution which switches the factors.
Let c : C(K) → RP ∞ classify the double cover. If w ∈ H 1 (RP ∞ ; Z/2) is
the generator, then the van Kampen obstruction for K in degree m is the
m
cohomology class vkm
Z/2 (K) ∈ H (C(K); Z/2) defined by
∗
m
vkm
Z/2 (K) := c (w ).

It is an obstruction to embedding K in S m . Moreover, in the case m =
2 dim K with dim K 6= 2, it (or actually an integral version of it) is the
complete obstruction to embedding K in S m . If vkm
Z/2 (K) 6= 0, then K is an
m-obstructor.
The main results of [1] concern the van Kampen obstruction vkm
Z/2 (OK)
of an octahedralization. From a nonzero Z/2-cycle M ∈ Zk (K; Z/2) and a ksimplex ∆ in the support of M , one produces a 2k-chain Ω ∈ C2k (C(OK); Z/2)
on which one can evaluate the van Kampen obstruction. If the pair (M, ∆)
satisfies a certain technical condition, called the “∗-condition” in [1, p. 122],
then Ω is a cycle and vk2k
Z/2 (OK) evaluates nontrivially on it. This gives the
following.
Theorem 3.2. ([1, Thm. 5.2, p. 121]). Given a simplicial complex K, suppose there is a k-cycle M ∈ Z(K; Z/2) and a k-simplex ∆ in M such that
(M, ∆) satisfies the ∗-condition. Then vk2k
Z/2 (OK) 6= 0, i.e., OK is a 2kobstructor.
It is then remarked in [1] that when k = dim K and K is a flag complex,
the ∗-condition is automatically satisfied. It also is proved in [1, Thm. 5.1]
that when there is no nontrivial cycle on K in the top degree, vk2k
Z/2 (OK) = 0.
So, the following is a corollary of Theorem 3.2.
Theorem 3.3. ([1, Thm. 5.4, p. 121]). Suppose K is a d-dimensional flag
complex. Then vk2d
Z/2 (OK) 6= 0 if and only if Hd (K; Z/2) 6= 0. In other
words, OK is a 2d-obstructor if and only if Hd (K; Z/2) 6= 0.
17

An immediate corollary is the following.
Theorem 3.4. Suppose a d-dimensional complex L is the nerve of (W, S).
Then OL is a 2d-obstructor if and only if Hd (L; Z/2) 6= 0.
Proof. Theorem 3.3 applies, since by Lemma 1.9, L is a flag complex.
Remark 3.5. Kevin Schreve has pointed out to us that below the top dimension, it is easier for the ∗-condition to be satisfied for L than for L.
Indeed, suppose M is a k-cycle on L and ∆ is a k-simplex in M . The subdivision M is homologous to M . Moreover, if the barycenter of ∆ occurs in
∆ , then the ∗-condition holds for (M , ∆0 ) where ∆0 is any k-simplex in ∆
containing the barycenter.

3.3

The definition of obstructor dimension

Definition 3.6. ([3, p. 225]). The obstructor dimension of π, denoted by
obdim π, is ≥ m + 2 if there is an m-obstructor K such that “K ⊂ ∂π” , i.e.,
obdim π := sup{m + 2 | ∃ an m-obstructor K with “K ⊂ ∂π”}
If there is a proper, expanding, Lipschitz map from Cone(K) into a contractible (m + 1)-manifold, then vkm
Z/2 (K) = 0. So, if “K ⊂ ∂π” and π acts
properly on a contractible (m + 1)-manifold, then the van Kampen obstruction of K vanishes in degree m (cf. [3, Thm. 15, p. 226]); hence,
obdim π ≤ actdim π.

(3.1)

Example 3.7. (RAAGs, cf. [1]). Suppose A is a RAAG with d-dimensional
nerve L. The standard model for BA is a union of tori; moreover, it is a
locally CAT(0) cubical complex of dimension d + 1. Its universal cover EA
is CAT(0), hence, contractible. Therefore, gd A = d + 1. Consequently,
actdim A ≤ 2(d + 1). The lifts of the tori in BA to EA, which contain a
given base point, give an isometrically embedded copy of EOL in EA. Thus,
OL ⊂ ∂A. First suppose that Hd (L; Z/2) 6= 0. Since L is a flag complex,
Theorem 3.2 implies that OL is a 2d-obstructor; so, obdim A ≥ 2d + 2. This
gives actdim A ≤ 2d+2 ≤ obdim A. By (3.1), both inequalities are equalities:
actdim A = 2d + 2 = obdim A.

18

Conversely, if Hd (L; Z/2) = 0, then OL is not a 2d-obstructor. So, when
d 6= 2, OL embeds in S 2d . An argument of [1, Prop. 2.2] then shows that the
right-angled Coxeter group with nerve OL, denoted WOL , acts properly on a
contractible (2d + 1)-manifold. Since A < WOL , so does A. So, in this case,
obdim A ≤ actdim A ≤ 2d + 1.

4
4.1

Proper, expanding, Lipschitz maps
Coarse intersections of subgroups

We will need a lemma from [19]. Before stating it as Lemma 4.1 below, we
explain some terminology.
Subspaces A and B of a metric space X are coarsely equivalent, denoted
c
A = B, if their Hausdorff distance is finite. The subspace A is coarsely
c
contained in B, denoted A ⊂ B, if there is a positive real number R such
that A is contained in the R-neighborhood NR (B) of B. In this case, we
also write A ⊂R B. We use A ∩R B to mean NR (A) ∩ NR (B). A subspace
c
C is the coarse intersection of A and B, denoted by C = A ∩ B, if the
Hausdorff distance between C and A ∩R B is finite for all sufficiently large
R. In general, the coarse intersection of A and B may not exist; however, if
it exists, then it is unique up to coarse equivalence.
The word metric (with respect to some finite generating set) on a finitely
generated group π gives it the structure of a metric space. Different choices
of a generating set give rise to bi-Lipschitz equivalent word metrics. So, the
various notions of “coarseness” explained in the previous paragraph make
sense for subsets of π.
Lemma 4.1. ([19, Lemma 2.2]). Let H1 , H2 be subgroups of a finitely generated group π. The coarse intersection of H1 and H2 exists and is coarsely
equivalent to H1 ∩ H2 .

4.2

Subcomplexes at infinity

Suppose H is a finitely generated subgroup of a finitely generated group π.
With respect to the word metrics, the inclusion H ,→ π obviously is Lipschitz.
The next lemma, a standard result, implies that H ,→ π is a proper map.
For a proof, see [15].
19

Lemma 4.2. ([15, Lemma 3.6]). Suppose H is a finitely generated subgroup
of a finitely generated group π. Then there exists a function ρ : [0, ∞) →
[0, ∞). with limt→∞ ρ(t) = +∞ such that for any a, b ∈ H, if dH (a, b) ≥ t,
then dπ (i(a), i(b)) ≥ ρ(t). (Here dπ and dH denote the word metrics on the
corresponding groups.)
We return to the situation of subsection 2.3: A = {Hσ }σ∈S(K) is an arrangement of free abelian subgroups in a finitely generated group π, indexed
S
by the poset of simplices of a finite simplicial complex K. Put H = Hσ .
Further suppose A is isomorphic to AZ (K), the coordinate arrangement of
free abelian groups in ZOK , defined by (2.3) and (2.4). The word metrics
on the Hσ induce a metric on H. Since Hσ is bi-Lipschitz to ZVert σ , the
isomorphism Cone(OK)0 → H also is bi-Lipschitz.
Theorem 4.3. Suppose A = {Hσ }σ∈S(K) is an arrangement of free abelian
subgroups isomorphic to the coordinate arrangement in ZOK . Then “ OK ⊂
∂π”.
By Lemma 2.8, the arrangement of standard abelian subgroups in A,
{Hα }α∈S(L ) , is isomorphic to the coordinate arrangement AZ (L ) in ZOL .
So, the following theorem is a corollary of Theorem 4.3. It is one of our main
results.
Theorem 4.4. “ OL ⊂ ∂A”.
Proof of Theorem 4.3. Let i : Cone(OK)0 ∼
= H ,→ π be the inclusion. As we
explained above, i is Lipschitz and proper. The remaining issue is to show
that it is expanding. So, suppose ∆ = (σ, ε) and ∆0 = (σ 0 , ε0 ) are disjoint
simplices of OK. Let S and S0 denote the octahedral spheres Oσ and Oσ
inside OK. It suffices to show
i(Cone(∆)(0) ) ∩r i(Cone(∆0 )(0) ) is finite for any r > 0.

(4.1)

Case 1: S = S0 . In this case σ = σ 0 (and since (σ, ε) and (σ 0 , ε0 ) are
disjoint, ε0 = −ε). Condition (4.1) follows from Lemma 4.2 applied to the
monomorphism i : ZVert σ → π. Given any two subcomplexes F1 and F2 of
S = Oσ, We also deduce from Lemma 4.2 that for any r > 0, there exists
r0 > 0 such that
i(Cone(F1 )(0) ) ∩r i(Cone(F2 )(0) ) ⊂r0 i(Cone(F1 ∩ F2 )(0) ).
20

(4.2)

When F1 ∩ F2 = ∅, Cone(F1 ∩ F2 )(0) is just the cone point.
Case 2: S 6= S0 . By Lemma 4.1,
i(Cone(∆)(0) ) ∩r i(Cone(∆0 )(0) ) ⊂ i(Cone(S)(0) ) ∩r i(Cone(S0 )(0) )
⊂r0 i(Cone(S ∩ S0 )(0) )

(4.3)

for some r0 > 0. Applying (4.2) to subcomplexes of S, S0 and S ∩ S0 respectively, we deduce that
i(Cone(∆)(0) ) ∩r i(Cone(S ∩ S0 )(0) ) ⊂r0 i(Cone(∆ ∩ S ∩ S0 )(0) )
0 (0)

0 (0)

0

0 (0)

(4.4)

i(Cone(∆ ) ) ∩r i(Cone(S ∩ S ) ) ⊂r0 i(Cone(∆ ∩ S ∩ S ) )

(4.5)

i(Cone(∆ ∩ S ∩ S0 )(0) ) ∩r i(Cone(∆0 ∩ S ∩ S0 )(0) ) is finite.

(4.6)

Condition (4.1) follows from (4.3), (4.4), (4.5) and (4.6).
Remark 4.5. Theorem 4.3 and its proof can be extended to the case of an
arrangement of free abelian subgroups A isomorphic to the intersection of
the integer lattice with some real subspace arrangement (not necessarily a
coordinate subspace arrangement).
Remark 4.6. The proof of Theorem 4.3 can be simplified simpler if we know
the abelian subgroups are quasi-isometrically embedded. This is indeed the
case for standard abelian subgroups in an Artin group (cf. Lemma 2.7).

5

The action dimension of A

First, consider the case when A is spherical. The action dimension of any
braid group is computed in [3]. More generally, by using Theorem 4.4, Le
[18] computed the action dimension of any spherical Artin group. Here is the
result.
Theorem 5.1. (cf. [3, p. 234], [18, Thm. 4.10]). Suppose A is a spherical
Artin group associated to (W, S). Let T1 , . . . , Tk be the irreducible
P components
of D(W, S) and put di = Card(Ti ) − 1. Then actdim A = k + 2di . In other
words, actdim A = 2 gd A − k.
Proof. The nerve of (W, S) is a simplex σ of dimension d = Card(S) − 1.
First consider the case k = 1, i.e., the case where (W, S) is irreducible. The
21

barycenter v of σ is then a vertex of σ ; the link of v in σ is (∂σ) ; and σ
is the cone, (∂σ) ∗ v. Since (∂σ) is a triangulation of S d−1 , it follows from
Theorem 4.4 that O(∂σ ) is a (2d − 2)-obstructor. By [3, Lemma 9], Oσ =
O(∂σ ) ∗ S 0 is a (2d − 1)-obstructor. Therefore, obdim A ≤ 2d + 1. Since the
hyperplane complement in S 2d+1 is a (2d + 1)-manifold, actdim A ≥ 2d + 1.
By (3.1), both inequalities are equalities; so, actdim A = 2d + 1 = obdim A.
Consider the general case, A = AT1 × · · · ATk . By [3, Lemma 6], for any
two groups π1 , π2 , we have actdim(π1 × π2 ) ≤ actdim π1 + actdim π2 and
obdim(π1 × π2 ) ≥ obdim π1 + obdim π2 . Therefore,
k
X
actdim A ≤
(2di + 1) ≤ obdim A,
i=1

which proves the lemma.
Using Theorems 3.4 and 4.4 we can extend the results about RAAGs in
Example 3.7 to general Artin groups. This gives the following restatement
of the Main Theorem in the Introduction.
Theorem 5.2. Suppose A is an Artin group associated to a Coxeter system
with nerve L of dimension d. If Hd (L; Z/2) 6= 0), then obdim A ≥ 2d + 2.
So, if the K(π, 1)-Conjecture holds for A, then actdim A = 2d + 2.
Proof. By Theorems 3.4 and 4.4, obdim A ≥ 2d+2. If the K(π, 1)-Conjecture
holds for A, then, by Corollary 2.5, gd A = d + 1 and consequently, the
maximum possible value for its action dimension is 2d + 2.
The other statement in Example 3.7 is that in the case of a RAAG, if
Hd (L; Z/2) = 0, then actdim A ≤ 2d + 1. In her PhD thesis Giang Le [18]
proved that the same conclusion holds for general Artin groups under the
slightly weaker hypothesis that H d (L; Z) = 0.
Theorem 5.3. (Le [18]). Suppose A is an Artin group associated to a Coxeter system with d-dimensional nerve L. Further suppose that the K(π, 1)Conjecture holds for A. If H d (L; Z) = 0 (and d 6= 2), then actdim A ≤ 2d+1.
Comments on Theorem 5.3. As explained in Example 3.7, when A is a
RAAG, if Hd (L; Z/2) = 0, then OL is not a 2d-obstructor and (provided
d 6= 2), OL embeds as a full subcomplex of some flag triangulation J of S 2d
(cf. the proof of Proposition 2.2 in [1]). Since the Davis complex for the
22

right-angled Coxeter group WJ is a contractible (2d + 1)-manifold and since
A < WOL < WJ , we see that actdim A ≤ 2d+1. Similarly, for a general Artin
group A, the vanishing of Hd (L; Z/2) implies that OL is a full subcomplex
of some flag triangulation S 2d . However, we do not know how to deduce
from this that A acts properly on a contractible (2d + 1)-manifold. Le’s
argument in [18] is different. The condition H d (L; Z) = 0 implies Hd (L; Z) =
0 and that Hd−1 (L; Z) is torsion-free. Standard arguments show that one
can attach cells to L to embed it into a contractible complex L0 of the same
dimension d (provided d 6= 2). We can assume L0 is a simplicial complex. For
each simplex σ of L, there is a model for BAσ by a (2d + 1)-manifold with
boundary. Le proves Theorem 5.3 by showing that one can glue together
copies of these manifolds along their boundaries, in a fashion dictated by L0 ,
to obtain another manifold with boundary M with fundamental group A so
that when the K(π, 1)-Conjecture holds for A, M is a model for BA.
Remark 5.4. The Action Dimension Conjecture is the conjecture that if a
group π acts properly on a contractible manifold M , then the `2 -Betti numbers of π vanish above the middle dimension of M . In [1, §7] it is explained
how the calculations for RAAGs provide evidence for this conjecture. The
same discussion applies to the results in this paper for general Artin groups.
To wit, when the K(π, 1)-Conjecture holds for an Artin group A, it is proved
in [11] that the `2 -Betti number of A in degree (k +1) is equal to the ordinary
(reduced) Betti number of L (or L ) in degree k; in particular, the `2 -Betti
numbers of A vanish in degrees > d + 1, when d = dim L.

References
[1] G. Avramidi, M. W. Davis, B. Okun, and K. Schreve, The action dimension of rightangled Artin groups, Bull. Lond. Math. Soc. 48 (2016), no. 1, 115–126. MR3455755
[2] M. Bestvina, Non-positively curved aspects of Artin groups of finite type, Geom. Topol.
3 (1999), 269–302 (electronic). MR1714913
[3] M. Bestvina, M. Kapovich, and B. Kleiner, Van Kampen’s embedding obstruction for
discrete groups, Invent. Math. 150 (2002), no. 2, 219–235. MR1933584
[4] N. Bourbaki, Lie groups and Lie algebras. Chapters 4–6, Elements of Mathematics
(Berlin), Springer-Verlag, Berlin, 2002. Translated from the 1968 French original by
Andrew Pressley. MR1890629
[5] M. R. Bridson and A. Haefliger, Metric spaces of non-positive curvature, Grundlehren
der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. MR1744486

23

[6] R. Charney, Artin groups of finite type are biautomatic, Math. Ann. 292 (1992), no. 4,
671–683. MR1157320
[7] R. Charney and M. W. Davis, The K(π, 1)-problem for hyperplane complements associated to infinite reflection groups, J. Amer. Math. Soc. 8 (1995), no. 3, 597–627.
MR1303028
[8] R. Charney and L. Paris, Convexity of parabolic subgroups in Artin groups, Bull.
Lond. Math. Soc. 46 (2014), no. 6, 1248–1255. MR3291260
[9] M. Davis, T. Januszkiewicz, and R. Scott, Nonpositive curvature of blow-ups, Selecta
Math. (N.S.) 4 (1998), no. 4, 491–547. MR1668119
[10]

, Fundamental groups of blow-ups, Adv. Math. 177 (2003), no. 1, 115–179.
MR1985196

[11] M. W. Davis and I. J. Leary, The l2 -cohomology of Artin groups, J. London Math.
Soc. (2) 68 (2003), no. 2, 493–510. MR1994696
[12] M. W. Davis, The geometry and topology of Coxeter groups, London Mathematical
Society Monographs Series, vol. 32, Princeton University Press, Princeton, NJ, 2008.
MR2360474
[13] M. W. Davis and B. Okun, Cohomology computations for Artin groups, BestvinaBrady groups, and graph products, Groups Geom. Dyn. 6 (2012), no. 3, 485–531.
MR2961283
[14] P. Deligne, Les immeubles des groupes de tresses généralisés, Invent. Math. 17 (1972),
273–302. MR0422673
[15] Z. Despotović, The action dimension of the mapping class group, 2006.
[16] S. M. Gersten and H. B. Short, Rational subgroups of biautomatic groups, Ann. of
Math. (2) 134 (1991), no. 1, 125–158. MR1114609
[17] S.-h. Kim and T. Koberda, Embedability between right-angled Artin groups, Geom.
Topol. 17 (2013), no. 1, 493–530. MR3039768
[18] G. Le, The action dimension of artin groups, 2016.
[19] L. Mosher, M. Sageev, and K. Whyte, Quasi-actions on trees II: Finite depth BassSerre trees, Mem. Amer. Math. Soc. 214 (2011), no. 1008, vi+105. MR2867450
[20] P. Orlik and H. Terao, Arrangements of hyperplanes, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 300,
Springer-Verlag, Berlin, 1992. MR1217488
[21] D. Qi, On irreducible, infinite, nonaffine Coxeter groups, Fund. Math. 193 (2007),
no. 1, 79–93. MR2284573
[22] M. Salvetti, Topology of the complement of real hyperplanes in CN , Invent. Math. 88
(1987), no. 3, 603–618. MR884802
[23] H. van der Lek, The homotopy type of complex hyperplane complements, 1983.

24

Michael W. Davis, Department of Mathematics, The Ohio State University, 231 W. 18th Ave., Columbus, Ohio 43210, davis.12@osu.edu
Jingyin Huang, Department of Mathematics and Statistics, McGill University, 805 Sherbrooke W., Montreal QC H3A 0B9, Canada, jingyin.
huang@mcgill.ca

25

