arXiv:1712.01583v1 [] 5 Dec 2017

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED
ARTIN GROUPS
MATTHEW B. DAY AND RICHARD D. WADE

Abstract. We study the outer automorphism group Out(AΓ ) of the rightangled Artin group (RAAG) AΓ with defining graph Γ. A relative automorphism group is the stabilizer of a set of subgroups up to conjugacy; we consider
those subgroups of Out(AΓ ) preserving a set of special subgroups.
We prove that for every Γ, the group Out(AΓ ) is of type VF (it has a
finite index subgroup with a finite classifying space). We prove the existence
of these classifying spaces inductively, using similar spaces for relative outer
automorphism groups as intermediate steps.
To do this, we study restriction homomorphisms on relative outer automorphism groups of RAAGs, refining a technique of Charney and Vogtmann.
We show that the images and kernels of restriction homomorphisms are always
simpler examples of relative outer automorphism groups of RAAGs. We also
give generators for relative automorphism groups of RAAGs, in the style of
Laurence’s theorem.

1. Introduction
A right-angled Artin group (RAAG) AΓ is a group AΓ generated by vertices of
a graph Γ with a commutator relation [v, w] = 1 whenever v and w are connected
by an edge in Γ. Special cases include free groups and free abelian groups. Such
groups are ubiquitous in geometric group theory, and there is a blossoming study
of their automorphism groups.
In general, if Φ is an outer automorphism of a group and H is a subgroup of G, we
say that Φ preserves H (or H is invariant under Φ) if there exists a representative
automorphism φ ∈ Φ such that φ(H) = H, and we say that Φ acts trivially on H if
there is a representative of Φ restricting to the identity on H. If G and H are families
of subgroups of G, then the relative outer automorphism group Out(G; G, Ht ) is the
group of outer automorphisms which preserve each element of G and act trivially
on each element of H. Such automorphism groups have appeared previously in the
context of hyperbolic groups (where the peripheral structure comes from vertices of
JSJ decompositions [30]) and in the study of automorphism groups of free groups,
where G can be a free factor system [23] or a set of conjugacy classes in the group
[21]. Another classic example is the group of matrices in GL(n, Z) preserving a
given flag in Zn . We review other previous appearances of relative automorphism
groups of RAAGs in Section 6.1.
In this paper, we take G to be a RAAG AΓ and take G and H to be sets of special
subgroups of AΓ . Each special subgroup is a RAAG A∆ given by a full subgraph ∆
of Γ. If A∆ is a special subgroup that is invariant under Out(G; G, Ht ) then there
is a restriction homomorphism
R∆ : Out(AΓ ; G, Ht ) → Out(A∆ ),
1

2

MATTHEW B. DAY AND RICHARD D. WADE

which allows for inductive arguments based on the number of vertices in the graph.
Charney, Crisp and Vogtmann introduced restriction homomorphisms in [7], where
they studied automorphisms of triangle-free RAAGs. These methods were extended
by Charney and Vogtmann to show that for any graph Γ the group Out(AΓ ) has
finite virtual cohomological dimension [10] and is residually finite [11]. Restriction
maps also form an important part of the proof of the Tits’ alternative for Out(AΓ )
(which was completed by Horbez [25] using the work in [11]). Other recent results
about automorphisms of RAAGs use invariance of special subgroups or restriction
maps in an essential way (see, for example, [24, 22, 27, 36]).
We will now give precise statements of our main results and sketch the key
ideas which surround them. We mostly work in a finite index subgroup Out0 (AΓ ),
which is generated by elements called inversions, transvections, and extended partial
conjugations (for the experts: an extended partial conjugation by x is a product of
partial conjugations on distinct components of Γ − st(x)). We use Out0 (AΓ ; G, Ht )
to denote the intersection of Out0 (AΓ ) with Out(AΓ ; G, Ht ). Our first result shows
that Out0 (AΓ ; G, Ht ) is generated by the same types of elements as Out0 (AΓ ):
Theorem A. If G and H are sets of special subgroups in AΓ , then the relative
automorphism group Out0 (AΓ ; G, Ht ) has a finite generating set consisting of the
inversions, transvections, and extended partial conjugations which it contains.
The proof is given in Section 3 and goes via Laurence’s theorem [29], which
gives a generating set for the whole group Out(AΓ ). The key trick is to extend
AΓ to a larger RAAG AΓb in such a way that AΓ and every special subgroup of G
and H is invariant under Out0 (AΓb ). One result of this construction is that every
automorphism in Out0 (AΓ ; G, Ht ) extends to an element of Out0 (AΓb ), and we can
then deduce Theorem A by restricting Laurence’s generators of Out0 (AΓb ) to AΓ .
The following two observations form the backbone of the remainder of the paper:
• Given a RAAG AΓ , unless the group is free abelian or a free group, there is
a nonempty set of proper special subgroups preserved by Out0 (AΓ ). This
means that, up to finite index, Out(AΓ ) already has an interesting peripheral structure and associated restriction homomorphisms.
• An arbitrary restriction homomorphism
R∆ : Out0 (AΓ ; G, Ht ) → Out(A∆ )
is not surjective in general, however we show that its image can be described
as a relative outer automorphism group.
Let us describe the image of a restriction map R∆ in more detail. Given sets
of special subgroups G and H, we say that G is saturated with respect to the pair
(G, H) if G contains every proper special subgroup invariant under Out0 (AΓ ; G, Ht ).
Given a special subgroup A∆ , we use G∆ to denote
G∆ = {A∆∩Θ |AΘ ∈ G} − {A∆ }.
In words, G∆ consists of the proper intersections of elements of G with A∆ . We
define H∆ in the same fashion.
Theorem B. Let G and H be sets of special subgroups in AΓ such that A∆ ∈ G
and suppose that G is saturated with respect to the pair (G, H). Then the restriction
homomorphism
R∆ : Out0 (AΓ ; G, Ht ) → Out(A∆ )

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

3

has image equal to the relative automorphism group
t
im R∆ = Out0 (A∆ ; G∆ , H∆
)

and kernel equal to
ker R∆ = Out0 (AΓ ; G, (H ∪ {A∆ })t ).
Theorem B can be summarized as an exact sequence:
1 → Out0 (AΓ ; G, (H ∪ {A∆ })t ) →Out0 (AΓ ; G, Ht )
R

∆
t
−→
Out0 (A∆ ; G∆ , H∆
) → 1.

The description of the kernel of R∆ is fairly straightforward, as is showing that the
t
image of R∆ is contained in Out0 (A∆ ; G∆ , H∆
). The hard work goes into showing
0
t
that every element of Out (A∆ ; G∆ , H∆ ) is contained in the image of R∆ . This is
t
achieved by carefully lifting each generator of Out0 (A∆ ; G∆ , H∆
) to an element of
0
t
Out (AΓ ; G, H ). We develop a clear picture of what the generators in each of these
groups look like along the way (Proposition 3.9).
To work examples, we also need find images of restriction maps when G is not
saturated. In Proposition 4.5, we explain how to extend G to a collection that is
just big enough for the image in Theorem B to be correct. This means that we do
not need to compute saturations of sets of special subgroups by exhaustion, and
it makes it possible to perform computations by hand on medium-sized examples.
We give examples in Section 6 which the reader may find helpful to refer to for
illustrations of key definitions and results.
Recall that a group is of type F if it has a classifying space that is a CW complex
with finitely many cells, and it is of type VF if it has a finite index subgroup of
type F. The principal congruence subgroup of level l in Out(AΓ ) is the kernel of the
induced action of Out(AΓ ) on H1 (AΓ ; Z/lZ). We use Theorem B to establish the
following:
Theorem C. For l ≥ 3, the principal congruence subgroup of level l in Out(AΓ )
is of type F.
As each principal congruence subgroup is finite index in Out(AΓ ), this implies:
Theorem D. For every defining graph Γ, the group Out(AΓ ) is of type VF.
Charney, Stambaugh, and Vogtmann have shown that the untwisted subgroup
U (AΓ ) of Out(AΓ ) acts properly and cocompactly on a contractible simplicial complex KΓ , which plays the same role as the spine of Outer space [9]. This implies
Theorem C when U (AΓ ) is finite index in Out(AΓ ). This occurs when there is no
pair of distinct vertices v,w in Γ such that st(v) ⊂ st(w). We do not make any
assumptions on the defining graph.
Our proof follows an induction argument using a complexity based on the number of vertices in Γ and the number of special subgroups in G − H. This is a
refinement of previous complexity arguments [11, 36] based only on the number
of vertices in Γ. There is ‘principal congruence subgroup’ version of Theorem B
given in Theorem 4.8, which is coupled with the fact that type F is preserved under extensions. We then make use of classifying spaces constructed previously in
the literature, namely Salvetti complexes for RAAGs, Guirardel and Levitt’s outer
space for free products [20] (with Culler–Vogtmann outer space as a special case
[13]), and the Borel–Serre bordification of symmetric space [2].

4

MATTHEW B. DAY AND RICHARD D. WADE

A consequence of our proof is a structural description of Out0 (AΓ ) that holds
for arbitrary Γ: Out0 (AΓ ) is an iterated extension built out of finitely generated
free abelian groups, copies of GL(n, Z), and certain relative outer automorphism
groups of free products called Fouxe-Rabinovitch groups. This is Proposition 5.18.
We hope that our inductive scheme will be used to prove other results about
automorphism groups of RAAGs. For example, our approach seems to work well for
computing virtual cohomological dimension of Out(AΓ ), in special cases. We give
two example computations in Section 6.3. In some sense, the difficulty in working
with automorphism groups of RAAGs comes from the sparsity of examples, and the
lack of connections between them. The exact sequence from Theorem B explains
how the relative outer automorphism groups fill in the gaps between the absolute
outer automorphism groups of RAAGs.
The first author was supported by the National Science Foundation under Grant
No. DMS-1206981. Both authors were supported by the National Science Foundation under Grant No. DMS-1440140 while in residence at the Mathematical
Sciences Research Institute in Berkeley, California, during the Fall 2016 semester.
2. Background
Let AΓ be a right-angled Artin group (RAAG). The presentation of this group
is determined by the graph Γ. There is a generator for each vertex v in the vertex
set V (Γ), and a relation [v, w] = vwv −1 w−1 = 1 whenever vertices v and w are
connected by an edge. We will often blur the distinction between a vertex of the
graph and the element of the group it represents.
For a subset S of G, we write C(S) and N (S) for the centralizer and normalizer
of S, respectively. (When S = {g} we write C(g).) We use hSi and hhSii to denote
the subgroup generated by S and the normal subgroup generated by S, respectively.
For a subgroup H of G, we use Z(H) for the center of H.
2.1. Special subgroups, links, and stars. When we talk about a subgraph ∆
of Γ we will require that ∆ is full ; any edge in Γ connecting two vertices in ∆ is
also an edge in ∆.
Given a vertex v ∈ Γ, the link lk(v) is the full subgraph of Γ spanned by vertices
adjacent to v in Γ. The star st(v) of v is the full subgraph of Γ spanned by
lk(v) ∪ {v}. The link of a subgraph ∆ is the (possibly empty) intersection of the
links of its vertices, like so:
\
lk(∆) =
lk(v).
v∈∆

The star st(∆) of ∆ is then the subgraph spanned by the vertices in lk(∆) ∪ ∆.
Suppose ∆ is a full subgraph of Γ. Sometimes we think of A∆ as a RAAG in its
own right, but more often, we identify A∆ with the subgroup h∆i of AΓ generated
by the vertices of ∆. This makes sense because the inclusion map ∆ → Γ defines an
injective group homomorphism A∆ → AΓ with image h∆i. The special subgroups
of AΓ are exactly the subgroups A∆ as ∆ varies over the subgraphs of Γ.
If v is a vertex of ∆, we can consider the link and star of v both in ∆ and in
Γ. These can differ, and we use subscripts to distinguish these when necessary. We
write lk∆ (v), lkΓ (v), st∆ (v), and stΓ (v) for these.
For a subgraph ∆ of Γ, let Z(∆) denote the subgraph of ∆ consisting of vertices
that are adjacent to all other vertices of ∆. The following fact is a consequence of

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

5

Servatius’ Centralizer Theorem [33], and has been noted often before (our phrasing
follows Hensel–Kielak [24]).
Proposition 2.1. For a special subgroup A∆ of AG , we have
• Z(A∆ ) = AZ(∆) ,
• C(A∆ ) = Alk(∆)∪Z(∆) , and
• N (A∆ ) = Ast(∆) .
2.2. Words and elements. We will look at words and word length in AΓ with
respect to the standard generating set V (Γ). A word w representing an element
of g is reduced if there exists no subword of the form v ±1 w0 v ∓1 , where w0 is a
subword consisting of letters in st(v). The length of an element g in the word
metric is the length of any of its reduced representatives and one can pass between
two reduced representatives by a sequences of swaps of consecutive commuting
letters. For g ∈ AΓ , the support of g is the smallest full subgraph supp(g) of Γ with
g ∈ hsupp(g)i. An element g is cyclically reduced if it is of minimal word length
among its conjugates. We will find it useful to have a notation for the support of
the cyclic reduction of an element; we write crsupp(g) for this.
2.3. The standard ordering on V (Γ). The standard ordering on the vertex set
V (Γ) of Γ is the binary relation given by u ≤ v if lk(u) ⊂ st(v). This relation is
sometimes called domination. This is a partial preorder, and induces an equivalence
relation on the vertices where u ∼ v if v ≤ u and u ≤ v. There is an induced partial
ordering of equivalence classes in V (Γ), where we say that [u] ≤ [v] if for some
(equivalently, any) representatives v 0 ∈ [v] and u0 ∈ [u] of the equivalence classes
we have u0 ≤ v 0 . A vertex v in Γ is maximal if the only vertices w with v ≤ w
are those with v ∼ w. The vertices in each equivalence class [v] generate either a
free or a free abelian subgroup of AΓ . For proofs and more information about this
partial order, see Section 2 of [10].
Suppose that ∆ is full subgraph of Γ. The standard ordering in ∆ may not be
the same thing as the induced ordering from Γ. We sometimes use subscripts to
discriminate, writing v ≤Γ w and v ≤∆ w. If v ≤Γ w and v and w lie in ∆ then
v ≤∆ w, however the converse statement need not to be true.
2.4. Generating sets and invariant subgroups. We use Aut(AΓ ) and Out(AΓ )
to denote the respective automorphism and outer automorphism groups of AΓ .
We use [φ] to denote the image of an automorphism φ in Out(AΓ ), or a capital
Greek letter (usually Φ) to denote an arbitrary element of Out(AΓ ). A theorem of
Laurence [29] tells us that Aut(AΓ ) is generated by the following automorphisms:
• Graph symmetries. Any automorphism of the graph induces an automorphism of the group via the corresponding permutation of the generating
set. These elements of Aut(AΓ ) are called graph symmetries.
• Inversions. If v is a vertex of Γ, then there is an inversion ιv that sends
v to v −1 and fixes all other generators of AΓ .
• Transvections. Suppose v and w are vertices of Γ with v ≤ w. There is a
transvection ρw
v which takes v to vw and fixes all other generators of AΓ .
• Partial conjugations. Let v be a vertex of Γ and let C be a component
v
of Γ − st(v). There is a partial conjugation πC
which sends w to vwv −1 if
w is a vertex of C, and fixes each generator which is not a vertex of C.

6

MATTHEW B. DAY AND RICHARD D. WADE

For the examples of transvections and partial conjugations given above, we say that
v is the acting letter of the automorphism. If X is the union of connected compov
v
v
nents C1 , C2 , . . . , Ck of Γ − st(v), we refer to the product πX
= πC
π v · · · πC
of
1 C2
k
partial conjugations as an extended partial conjugation, so that partial conjugation
is a special case where we conjugate by v along a single connected component. The
extended Laurence generators consist of the graph symmetries, inversions, transvections, and extended partial conjugations.
As usual, define Aut0 (AΓ ) to be the subgroup of Aut(AΓ ) generated by inversions, transvections and (extended) partial conjugations. We use Out0 (AΓ ) to
denote the image of Aut0 (AΓ ) in Out(AΓ ).
We can read off the special subgroups invariant under a generator by the following
lemma. Recall that φ acts trivially on A∆ if there exists g ∈ AΓ such that φ(h) =
ghg −1 for all h ∈ A∆ , and φ preserves A∆ if there exists g ∈ AΓ such that φ(A∆ ) =
gA∆ g −1 .
Lemma 2.2. Let A∆ be a special subgroup of AΓ .
(1) The inversion ιv acts trivially on A∆ if and only if v 6∈ ∆; ιv always
preserves A∆ .
w
(2) The transvection ρw
v acts trivially on A∆ if and only if v 6∈ ∆; ρv preserves
A∆ if and only if v 6∈ ∆ or both v, w ∈ ∆.
x
acts trivially on ∆ if and only if
(3) The extended partial conjugation πK
(∗)

K ∩ ∆ = ∅ or ∆ − st(x) ⊂ K.
The subgroup A∆ is preserved if and only if ∆ satisfies (∗) or x ∈ ∆.

Proof. We give a proof of (3) here, as parts (1) and (2) are similar. If ∆ satisfies
x
(∗) then either πK
fixes every element of A∆ or conjugates every element of A∆ by
x
x, so πK acts trivially on A∆ . If ∆ does not satisfy (∗), then there exist u and v in
Γ − st(x) such that u ∈ K and v 6∈ K. As K is a union of connected components
of Γ − st(x), the vertices u and v are non-adjacent in Γ, so the commutator [u, v] is
nontrivial in A∆ and sent to
[xux−1 , v] = xux−1 vxu−1 x−1 v −1
x
under πK
. This element is cyclically reduced and therefore not conjugate to [u, v],
x
so the action of πK
on A∆ is nontrivial. Furthermore, if x 6∈ ∆ then [xux−1 , v]
is not in any conjugate of A∆ (as any cyclically reduced element of gA∆ g −1 is
contained in A∆ itself). Hence if x 6∈ ∆ and K does not satisfy (∗), then A∆ is not
x
x
preserved by πK
. If x ∈ ∆ then A∆ is clearly preserved by πK
.


If ∆ is a subgraph of Γ then we say that ∆ is upwards closed if for every vertex
v ∈ ∆, every vertex w with v ≤ w in the standard order is also contained in ∆. We
say that ∆ is not star-separated by an outside vertex if for every vertex x 6∈ ∆ there
is at most one connected component K of Γ − st(x) such that ∆ ∩ K 6= ∅. As was
first observed in [22], these two conditions describe the special subgroups invariant
under Out0 (AΓ ) (one can also prove this via Lemma 2.2).
Proposition 2.3 ([22], Section 2.1). A special subgroup A∆ of AΓ is preserved by
Out0 (AΓ ) if and only if ∆ is upwards closed and not star-separated by an outside
vertex.

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

7

2.5. Restriction and projection homomorphisms. Let G be a subgroup of
Out(AΓ ). If A∆ is preserved by G then there is a restriction homomorphism
R∆ : G → Out(A∆ ),
where R∆ (Φ) is defined by taking any representative φ of Φ that sends A∆ to itself
and restricting φ to A∆ . If the normal subgroup generated by A∆ is fixed under
G, then there is a projection map:
PΓ−∆ : G → Out(AΓ−∆ )
which is induced by the quotient map
AΓ → AΓ /hhA∆ ii ∼
= AΓ−∆ .
An important feature of these maps is that each extended Laurence generator is
taken either to the identity element or an extended Laurence generator of the same
type under R∆ and PΓ−∆ . It is not immediate that R∆ is well-defined: this is
a consequence of that fact that any element of the normalizer N (A∆ ) acts by
conjugation as an inner automorphism of A∆ (see Section 2.6 of [36] for more
details).
3. Relative automorphism groups.
Let G and H be sets of proper special subgroups of the RAAG AΓ . In this
section, we show Theorem A: Out0 (AΓ ; G, Ht ) is finitely generated by the inversions,
transvections, and extended partial conjugations it contains. We give a precise
description of these generators in Proposition 3.9, and in Proposition 3.11 give
criteria for when an arbitrary special subgroup A∆ is preserved by Out0 (AΓ ; G, Ht ).
3.1. Passing from Out(AΓ ) to Out0 (AΓ ). We first take a short detour to describe
the cosets of Out0 (AΓ ) in Out(AΓ ) in detail, focusing on the action of Out(AΓ ) on
conjugacy classes of special subgroups. Many of the results in this section are due
to Duncan–Remeslennikov (see [16], particularly Theorem 4.4). The groups A≥v
(defined below) appear in [16] as admissible subgroups, and the relative automorphism group preserving all admissible subgroups appears as Stconj (K). We provide
alternative proofs below as the ideas in this section are useful in the sequel. A
description of how Out0 (AΓ ) sits inside Out(AΓ ) also appears in [7].
For a given vertex v, we define associated special subgroups:
A≥v = h{ w | v ≤ w }i
A>v = h{ w | v ≤ w and v 6∼ w }i
generated by the vertices in Γ that dominate v, and strictly dominate v, respectively.
The group A≥v is equal to A≥w if and only if v and w are in the same equivalence
class, and the quotient A≥v /hhA>v ii is naturally isomorphic to the group A[v]
generated by vertices equivalent to v. The conjugacy classes of the groups A≥v are
permuted by Out(AΓ ):
Proposition 3.1. Let φ ∈ Aut(AΓ ). There exists a graph automorphism σ ∈
Aut(Γ) such that φ(A≥v ) is conjugate to A≥σ(v) for all v, and the normal subgroup
hhA>v ii generated by A>v is taken to hhA>σ(v) ii under φ.

8

MATTHEW B. DAY AND RICHARD D. WADE

Proof. If the statement holds for automorphisms φ and ψ with respective graph
automorphisms σ and τ , then there exist elements g, h ∈ AΓ such that φ(A≥v ) =
gA≥σ(v) g −1 and ψ(A≥σ(v) ) = hA≥τ σ(v) h−1 . Then
(1)

ψφ(A≥v ) = ψ(g)h · A≥τ σ(v) · (ψ(g)h)−1 ,

so that the statement holds for the product φψ with graph automorphism τ σ.
We use A≥v in the above example, but the same reasoning holds for the normal
subgroup generated by A>v . Hence we only need to prove the result for generators
of Aut(AΓ ).
If φ is a graph symmetry determined by σ ∈ Aut(Γ), then φ(A≥v ) = A≥σ(v) and
φ(A>v ) = A>σ(v) for each vertex v. If φ is an inversion or transvection then one can
check that φ(A≥v ) = A≥v and φ(A>v ) = A>v for all vertices v. Finally, suppose
x
x
that φ = πK
is a extended partial conjugation. If x ∈ A≥v then πK
restricts to
an inner automorphism on A≥v . Suppose x 6∈ A≥v . Then v 6≤ x, so there exists
u ∈ lk(v) that is not contained in st(x). As every vertex in A≥v is adjacent to u,
every vertex in A≥v is contained in st(x) or the connected component C of Γ−st(x)
x
containing u. As K is a union of connected components of Γ − st(x), either πK
acts trivially on A≥v or conjugates the whole group by x. Partial conjugations
also preserve the normal subgroup generated by any special subgroup, so take the
normal subgroup hhA>v ii to itself.

Let Γ = Γ/ ∼ be the simple quotient of Γ obtained by identifying equivalent
vertices and removing any duplicate edges or loops. In other words, Γ has a vertex
for each equivalence class [v] and an edge between distinct equivalence classes [v]
and [w] if v and w are connected by an edge in Γ. There is a coloring c of the
vertices, where we assign a vertex the pair c(v) = (|[v]|, 0) if the group A[v] is
abelian and c(v) = (|[v]|, 1) if the group A[v] is non-abelian. We call the colored
graph Γ the vertex class graph of Γ. Let Autc (Γ) be the group of color-preserving
automorphisms of the graph Γ. If σ is an automorphism of Γ, then σ induces a
color-preserving automorphism σ of the quotient graph Γ.
Proposition 3.2. There is a split-surjective homomorphism
ρ : Aut(AΓ ) → Autc (Γ),
given by
ρ(φ)([v]) = [w]
where w ∈ Γ with φ(A≥v ) conjugate to A≥w .
Proof. Let φ ∈ Aut(AΓ ), and let σ be an automorphism of Γ given by Proposition 3.1. Let σ be the induced action of σ on the quotient Γ. We may then define
ρ(φ) = σ. Although σ is not uniquely determined by φ, the quotient automorphism
σ is well-defined, as the conjugacy class of each A≥v is determined by the equivalence
class [v]. The fact that ρ is a homomorphism follows from the opening discussion
in the proof of Proposition 3.1. As A≥σ(v) /hhA>σ(v) ii ∼
= A≥v /hhA>v ii ∼
= A[v] , the
coloring of Γ is preserved by σ. To see that ρ is split-surjective, pick an ordering
v1 < v2 < v3 < · · · < vk on each equivalence class [v] = {v1 , . . . , vk } and let G be
the finite group of order-preserving graph symmetries in Aut(AΓ ). One can check
that the restriction of ρ to G is an isomorphism.


RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

9

Each inner automorphism maps to the identity under ρ, therefore there is an
induced map
ρ : Out(AΓ ) → Autc (Γ)
The next proposition characterizes Out0 (AΓ ) as both the kernel of this map and
as a relative automorphism group.
Proposition 3.3. Let G≥ be the set of subgroups of the form A≥v in AΓ , and let
ρ : Aut(AΓ ) → Autc (Γ)
be the homomorphism given by Proposition 3.2. Then
Aut0 (AΓ ) = Aut(AΓ ; G≥ ) = ker ρ,
or equivalently
Out0 (AΓ ) = Out(AΓ ; G≥ ) = ker ρ.
Proof. It is enough to show that
Aut0 (AΓ ) ⊂ Aut(AΓ ; G≥ ) ⊂ ker ρ ⊂ Aut0 (AΓ ).
For the first inclusion, suppose that φ ∈ Aut0 (AΓ ). In the proof of Proposition 3.1
we showed that every generator of Aut0 (AΓ ) preserves each A≥v up to conjugacy,
therefore the same is true for φ. Hence φ ∈ Aut(AΓ ; G≥ ). For the second inclusion,
suppose that φ ∈ Aut(AΓ ; G≥ ). Then for each vertex v, the group φ(A≥v ) is
conjugate to A≥v , so ρ(φ)([v]) = [v]. Hence ρ(φ) is the identity automorphism of
v
Γ. Finally suppose that φ ∈ ker ρ. Let ιv , ρw
v , and πK be respectively an inversion,
transvection, and extended partial conjugation from the generating set of Aut0 (AΓ ).
If we abuse notation slightly and use σ to denote both an automorphism of the graph
Γ and the induced automorphism of the group AΓ , we have
σ · ιv = ισ(v) · σ
σ(v)

σ · ρw
w = ρσ(w) · σ
σ(v)

v
σ · πK
= πσ(K) · σ.

Hence by shuffling the generators of Aut(AΓ ), we can write φ as a product φ = σφ0 ,
where σ is a graph automorphism and φ0 is contained in Aut0 (AΓ ). Let σ be the
automorphism of Γ induced by σ. As φ0 ∈ Aut0 (AΓ ) we have ρ(φ0 ) = 1 from the
work above, therefore ρ(φ) = σ. As σ is the identity on Γ, this implies that σ is a
graphical automorphism that preserves each equivalence class (so σ(v) ∼ v for each
vertex v). Hence σ is a product of inversions and transpositions that do not cross
equivalence classes. Indeed, if v and w are equivalent, then one can verify that the
product
−1
−1
ιv (ρw
ιv ιw ρvw (ρw
v)
v)
is the graphical automorphism swapping v and w. It follows that each such transposition lies in Aut0 (AΓ ). Therefore σ ∈ Aut0 (AΓ ), and so φ ∈ Aut0 (AΓ ). This
completes the chain of inclusions.

When φ is given to us in terms of images of generators, it is desirable to have a
more explicit description of ρ(φ). We do this below.
Proposition 3.4. Let φ ∈ Aut(AΓ ) and let v ∈ V (Γ). In the cyclic reduction support crsupp(φ(v)), there exists a vertex w such that w ≤ u for all u ∈ crsupp(φ(v)).
For any such vertex w we have ρ(φ)([v]) = [w].

10

MATTHEW B. DAY AND RICHARD D. WADE

Proof. Suppose that ρ(φ)([v]) = [w]. After modifying φ by an appropriate inner
automorphism, we may assume that φ(A≥v ) = A≥w . This does not change the
cyclic reduction support of φ(v). By Proposition 3.1, the normal subgroup generated by A>v is sent to hhA>w ii. As v is nontrivial in the quotient A≥v /hhA>v ii,
it follows that φ(v) is nontrivial in the quotient A≥w /hhA>w ii ∼
= A[w] . Hence φ(v)
must contain some vertex w0 equivalent to w in its cyclic reduction support. As
crsupp(φ(v)) is contained in A≥w = A≥w0 , for every other vertex u ∈ crsupp(φ(v))
we have w0 ≤ u. As w0 is equivalent to w, we have ρ(φ)([v]) = [w0 ].

3.2. Generating Out0 (AΓ ; G). Let G be a collection of proper special subgroups
of AΓ . It can be intuitively useful to think of groups in G as representing the links
in AΓ of vertices that have been deleted from Γ. We build an extension of Γ to
b called the relative cone graph of Γ with
reflect this intuition. We define a graph Γ,
respect to G. This is the extension of Γ where we cone off each subgraph in G, and
b be the extension of Γ by adding a new vertex
cone off Γ twice. Specifically, let Γ
v∆ for each A∆ ∈ G ∪ {AΓ }, and an additional vertex v∗ . We keep the edges of Γ
b exactly the same, add an edge between each vertex of ∆ and v∆ , and an edge
in Γ
between every element of Γ and v∗ . Then lkΓb (v∆ ) = ∆ for each ∆, and lkΓb (v∗ ) = Γ.
b See the example in Figure 1.
Notice that Γ is a full subgraph of Γ.

b in the case that AΓ is the
Figure 1. The relative cone graph Γ
free group on x, y, z and G consists of a single peripheral subgroup
A∆ generated by x and y.
We can now prove a special case of Theorem A.
Proposition 3.5. The group Out0 (AΓ ; G) is generated by inversions, transvections
and extended partial conjugations.
b that we just defined. We view AΓ and
Proof. We use the relative cone graph Γ
each peripheral subgroup A∆ as special subgroups of AΓb .
Claim. If A∆ ∈ G ∪ {AΓ } then A∆ is invariant under Out0 (AΓb ).
Let A∆ be a special subgroup in G ∪ {AΓ }. According to Proposition 2.3, we
need to check that ∆ is upwards-closed under the partial ordering ≤Γb and not
star-separated by any outside vertex. Suppose v ∈ ∆ and v ≤Γb w for some vertex
b As both v∗ and v∆ are in lkb (v), it follows that w lies in the intersection
w ∈ Γ.
Γ
of stΓb (v∆ ) and stΓb (v∗ ), which is ∆. Hence ∆ is upwards-closed under the partial
b
order. (Note: forcing AΓ to be upwards-closed is the reason for including v∗ in Γ;
if Z(Γ) 6= ∅, then AΓ is not upwards-closed in AΓ−{v
.)
b
∗}

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

11

Now suppose x 6∈ ∆. If x 6= v∆ then ∆ − stΓb (x) is contained in the connected
b − stb (x) containing v∆ . Otherwise, x = v∆ and ∆ is contained in
component of Γ
Γ
b − stb (x), so is not
stΓb (x). In either case, ∆ intersects at most one component of Γ
Γ
0
star-separated by x. Hence A∆ is invariant under Out (AΓb ).
Claim. The restriction map
RΓ : Out0 (AΓb ) → Out(AΓ )
has image equal to Out0 (AΓ ; G).
Each inversion, transvection, and extended partial conjugation in Out(AΓb ) is
mapped either to the identity element of Out(AΓ ) or to an automorphism of the
same type in Out(AΓ ). Hence the image is contained in Out0 (AΓ ). Furthermore,
as each A∆ ∈ G is preserved by Out0 (AΓb ), the restriction of an automorphism to
AΓ also preserves such subgroups. Hence the image is contained in Out0 (AΓ ; G).
In order to show surjectivity, we will take φ ∈ Aut0 (AΓ ; G) and extend φ to an
automorphism φ̃ of AΓb . For each A∆ ∈ G we first pick g∆ ∈ AΓ such that φ(A∆ ) =
−1
g∆ A∆ g∆
. We define φ̃ on vertices by:

if v ∈ Γ
 φ(v)
−1
φ̃(v) =
g∆ vg∆
if v = v∆ and ∆ 6= Γ

v
if v is vΓ or v∗ .
To check that φ̃ determines a well-defined homomorphism, note that if v and w
b then either v and w are both in Γ (in which case
are connected by an edge in Γ
φ(w) and φ(v) commute), or v ∈ {vΓ , v∗ } and w ∈ Γ (in which case v commutes
−1
with φ(w)), or v is some v∆ and w ∈ ∆. In the last case φ̃(v) = g∆ v∆ g∆
and
−1
φ̃(w) = φ(w) = g∆ hg∆ for some h ∈ A∆ . As v∆ commutes with every element
of A∆ , it follows that φ̃(v) and φ̃(w) also commute. We may also lift φ−1 to a
homomorphism ψ̃ on AΓb by defining

φ−1 (v)
if v ∈ Γ

−1 −1
−1
ψ̃(v) =
φ (g∆ )vφ (g∆ ) if v = v∆ and ∆ 6= Γ

v
if v is vΓ or v∗ .
b so these lifts are
One can verify that φ̃ψ̃(v) = ψ̃ φ̃(v) = v for every vertex of Γ,
inverses of each other, and φ̃ is an automorphism.
Unfortunately we still need to show that φ̃ ∈ Aut0 (AΓb ) (or in the language of
b By Proposition 3.4, there exists w in
the previous section, ρ(φ̃) = 1). Let v ∈ Γ.
crsupp(φ̃(v)) such that w ≤Γb u for all u ∈ crsupp(φ̃(v)). Also by Proposition 3.4,
to show that ρ(φ̃) = 1 it is enough to show that this vertex w is equivalent to v with
respect to ≤Γb . If v is some v∆ or vΓ or v∗ , then v is the only vertex in crsupp(φ̃(v)),
so the case we need to consider is when v ∈ Γ. Then φ̃(v) = φ(v), so any such w
in crsupp(φ̃(v)) is contained in Γ. Furthermore, w ≤Γb u for all u ∈ crsupp(φ̃(v))
implies that w ≤Γ u for all u ∈ crsupp(φ(v)). As φ ∈ Aut0 (AΓ ), Proposition 3.4
implies that v ∼Γ w. We need to improve this to show that v ∼Γb w. This is
equivalent to showing that for each A∆ ∈ G, we have v ∈ A∆ if and only if w ∈ A∆
(this implies that v∆ ∈ stΓb (v) if and only if v∆ ∈ stΓb (w)). For the first direction,
suppose that v ∈ A∆ . As A∆ is preserved by φ, we have crsupp(φ(v)) ⊂ A∆ . Hence

12

MATTHEW B. DAY AND RICHARD D. WADE

w ∈ A∆ . Now suppose that w ∈ A∆ . We argue by contradiction and assume that
v 6∈ A∆ . As A∆ is preserved by φ, there is an induced automorphism
φ̄ : AΓ /hhA∆ ii → AΓ /hhA∆ ii.
As v is nontrivial in AΓ /hhA∆ ii, so is φ(v), so there exists a vertex u in crsupp(φ(v))
that is not contained in A∆ . Then lkΓb (w) is not contained in stΓb (u) as lkΓb (w)
contains v∆ and stΓb (u) does not. This contradicts w being minimal with respect
to ≤Γb in crsupp(φ(v)). Hence w ∼Γb v and φ̃ ∈ Aut0 (AΓb ).
Hence for each φ ∈ Aut0 (AΓ , G) we have built an element φ̃ ∈ Aut0 (AΓb ) which
restricts to φ on A∆ . As Out0 (AΓb ) is generated by inversions, transvections, and
extended partial conjugations and these map to either the identity or elements of
the same type in Out0 (AΓ ; G), it follows that Out0 (AΓ ; G) is also generated by such
elements.

3.3. Relative connectivity and generators in Out0 (AΓ ; G, Ht ). Before proving
Theorem A in full generality, we first need to describe exactly which extended
Laurence generators lie in Out0 (AΓ ; G, Ht ).
3.3.1. Relative connectivity. Let G be a collection of proper special subgroups of
AΓ (so that AΓ 6∈ G). Two vertices v, w ∈ V (Γ) are G-adjacent if v is adjacent
to w or if there is some A∆ ∈ G with v, w ∈ ∆. A finite sequence of vertices is a
G-path if each vertex in the sequence is G-adjacent to the next. A full subgraph ∆
of Γ is G-connected if, for any two v, w ∈ V (∆), there is a G-path in ∆ from v to
w. Each maximal G-connected subgraph is a union of connected components of Γ,
which in the same vein as above, we call a G-component. Notice that ∅-adjacency,
∅-paths, ∅-connectedness, and ∅-components are the same as adjacency, paths,
connectedness, and connected components, respectively.
3.3.2. Ordering and star-separation in the relative setting.
Definition 3.6 (The G–ordering, G v -components, and P (H)). Let G be a set of
special subgroups of AΓ .
• We define the partial preorder ≤G on V (Γ) by saying that v ≤G w if and
only if v ≤Γ w and, for all A∆ ∈ G, if v ∈ ∆, then w ∈ ∆. We call this
the G–ordering. As usual, we have an equivalence relation ∼G defined by
v ∼G w if and only if v ≤G w and w ≤G v.
• For v ∈ V (Γ), let G v = {A∆ ∈ G|v 6∈ ∆} be the subset of G consisting
of the peripheral subgroups that do not contain v. Each G v -component of
Γ − st(v) is a union of connected components of Γ − st(v).
• If H is a set of special subgroups, we define P (H), the power set of H, to be
the set of special subgroups A∆ such that A∆ is contained in some element
of H.
Each element A∆ ∈ G v is contained in Alk(v) or intersects exactly one G v component of Γ − st(v). In fact, this is a defining feature of such components:
Lemma 3.7. If K is a subgraph of Γ − st(v) then K is a union of G v -components
if and only if:
• K is a union of connected components of Γ − st(v) and,
• for each A∆ ∈ G v , either ∆ ∩ K = ∅ or ∆ − st(v) ⊂ K.

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

13

Proof. The two conditions are equivalent to saying that if w ∈ K, then every vertex
G v -adjacent to w is also in K. This is exactly the requirement for K to be a union
of G v -components of K.

When working in Out0 (AΓ ; G, Ht ) the set G can always be extended to include
P (H). This is because if A∆ ∈ H and Λ is a subgraph of ∆, then any automorphism
that restricts to the identity on A∆ also restricts to the identity automorphism on
AΛ . We record this observation as a lemma below:
Lemma 3.8. Suppose G and H are sets of special subgroups and AΛ ∈ P (H). Then
every element of Out0 (AΓ ; G, Ht ) preserves AΛ . In particular,
Out0 (AΓ ; G ∪ P (H), Ht ) = Out0 (AΓ ; G, Ht ).
Recall that in Aut(AΓ ), inversion automorphisms ιv are well-defined for any
vertex v, and the transvection ρw
v determines a well-defined automorphism if and
only if v ≤ w with respect to the standard order. Furthermore the extended partial
v
exists if and only if K is a union of connected components of
conjugation πK
Γ − st(v). There are similar conditions in the relative setting:
Proposition 3.9 (Generators in relative automorphism groups). Suppose that G
and H are sets of proper special subgroups of Aut(AΓ ) and G contains P (H). Then:
• Let v ∈ V (Γ). The inversion ιv is in Aut0 (AΓ ; G, Ht ) if and only if there
is no subgroup A∆ ∈ H with v ∈ ∆.
0
t
• Let v, w ∈ V (Γ). The transvection ρw
v is in Aut (AΓ ; G, H ) if and only if
v ≤G w.
• Suppose v ∈ V (Γ) and K is a union of components of Γ − st(v). Then the
v
is in Aut0 (AΓ ; G, Ht ) if and only if K is a
extended partial conjugation πK
v
union of G -components of Γ − st(v).
Proof. The statement about inversions is equivalent to part (1) of Lemma 2.2. We
fix ρw
v to be well-defined transvection (so that v and w are distinct and v ≤Γ w).
We use part (2) of Lemma 2.2. Firstly suppose that v ≤G w. If A∆ ∈ G then
ρw
v preserves A∆ as either v 6∈ ∆ or both v and w are contained in A∆ from the
definition of ≤G . We claim that v is not contained in any element of H. Indeed,
if this was the case, then A{v} is contained in G as G contains P (H). This is
an element of G containing v and not w, which contradicts the assumption that
v ≤G w. As v is not contained in any element of H the transvection acts trivially
0
t
on these subgroups, so ρw
v is contained in Aut (AΓ ; G, H ). Conversely, if v 6≤G w
then there exists A∆ ∈ G containing v and not w. In this case A∆ is not preserved
0
t
by ρw
v and the transvection is not an element of Aut (AΓ ; G, H ).
v
Now assume that πK is a extended partial conjugation, so that K is a union
v
of connected components of Γ − st(v). By Lemma 2.2, the automorphism πK
acts
trivially on A∆ if and only if:
K ∩ ∆ = ∅ or ∆ − st(v) ⊂ K.

(∗)
v
πK

Furthermore,
preserves A∆ if and only if v ∈ ∆ or (∗) holds.
Suppose that K is a union of G v -components of Γ − st(v). If A∆ ∈ G, then
either v ∈ A∆ or A∆ ∈ G v and ∆ satisfies (∗) by Lemma 3.7. In either case, A∆ is
v
preserved by πK
. If A∆ ∈ H, then Θ = ∆−{v} lies in G as G contains all elements of
v
P (H). As v 6∈ Θ, the group AΘ ∈ G v and satisfies (∗). Hence πK
restricts to an inner
automorphism on AΘ , so also restricts to an inner automorphism on A∆ = hAΘ , vi.

14

MATTHEW B. DAY AND RICHARD D. WADE

v
Putting the above together gives πK
∈ Aut0 (AΓ ; G, Ht ). Conversely, if K is not a
v
union of G -components, there exists A∆ ∈ G v which does not satisfy (∗), which
v
v
implies A∆ is not preserved by πK
and πK
is not an element of Aut0 (AΓ ; G, Ht ). 

Remark 3.10. In the proof of Proposition 3.9, we use the hypothesis that G contains
P (H). We can weaken that hypothesis to this: G should contain H, and should
include every special subgroup of the form A∆−{v} , for A∆ ∈ H and v ∈ ∆. This
gives us the correct transvections, since if v, w ∈ Γ with v ∈ ∆ for some A∆ ∈ H,
then A∆−{w} ∈ G, and therefore v 6≤G w. It also gives us the correct extended
partial conjugations, since the only groups from P (H) that we use in that part of
the proof are those of the form A∆−{v} .
3.4. A generating set for Out0 (AΓ ; G, Ht ). We can now complete our proof
of Theorem A, which states that Out0 (AΓ ; G, Ht ) is generated by the inversions,
transvections, and extended partial conjugations it contains.
Proof of Theorem A. By Lemma 3.8, we may assume that G contains P (H). By
Proposition 3.9, when G contains P (H) the only extended Laurence generators
in Out0 (AΓ ; G) that are not contained in Out0 (AΓ ; G, Ht ) are inversions ιx with
x contained in some element of H (the conditions for transvections and partial
conjugations use G alone). Let φ ∈ Out(AΓ , G, Ht ). As φ ∈ Out(AΓ ; G), by Proposition 3.5, we may write φ as a product of inversions, transvections, and extended
partial conjugations in Out0 (AΓ ; G). By reshuffling this product using the identities
ιx ιy = ιy ιx
(
−1
(ρw
ιx if x = w
v)
w
ι x ρv =
w
if x 6= w,
ρ v ιx
(
v −1
) ιx if x = v
(πK
v
ιx π K
=
v
if x 6= v,
π K ιx
and using the fact that inversions commute and have order 2, we have
φ = ιx11 · ιx22 · · · ιxkk · φ0 ,
where x1 , . . . , xk are the vertices of Γ that are contained in some element of H, each
i is either equal to 0 or 1, and φ0 is a product of extended Laurence generators
that are contained in Out0 (AΓ ; G, Ht ). It remains to show that each i = 0. As φ0
acts trivially on the elements of H, for each i we have φ0 (xi ) = gi xi gi−1 for some
gi ∈ AΓ . If ψ = ιx11 · ιx22 · · · ιxkk , then
(−1)i

φ(xi ) = ψ(gi )xi

ψ(gi−1 ).

As φ restricts to an inner automorphism on each hxi i, it follows that i = 0, and
φ is a product of inversions, transvections, and extended partial conjugations in
Out0 (AΓ ; G, Ht ).

The above proof shows that the group Out0 (AΓ ; G, Ht ) is finite index in the
group Out0 (AΓ ; G ∪ P (H)), so for many purposes one can happily consider relative
automorphism groups without the extra set of special subgroups admitting a trivial
action. In the sequel it is convenient for us to remain in the more general setting.

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

15

3.5. Invariant special subgroups under Out0 (AΓ ; G, Ht ). We may now classify
when an arbitrary special subgroup A∆ is invariant under Out0 (AΓ ; G, Ht ).
Proposition 3.11 (Invariant special subgroups). Suppose that G and H are sets
of proper special subgroups of AΓ and G contains P (H). Let A∆ be any special
subgroup of AΓ . Then A∆ is invariant under Out0 (AΓ ; G, Ht ) if and only if the
following two conditions hold:
• for all v, w ∈ V (Γ), if v ∈ ∆ and v ≤G w, then w ∈ ∆, and
• for all v ∈ V (Γ), if v 6∈ ∆, then ∆ intersects at most one G v -component of
Γ − st(v).
Proof. If ∆ fails the first condition, pick vertices v, w such that v ≤G w with v ∈ ∆
0
t
and w 6∈ ∆. Then the transvection ρw
v is contained in Out (AΓ ; G, H ) (Proposiw
tion 3.9) but A∆ is not invariant under ρv (Lemma 2.2). Similarly if ∆ intersects
more than one G v -component of Γ − st(v), if we label one of those components
v
lies in Aut0 (AΓ ; G, Ht ) and does not preserve A∆ .
as K, the automorphism πK
Conversely, if ∆ satisfies the above conditions then every extended Laurence generator in Aut0 (AΓ ; G, Ht ) leaves A∆ invariant (again combining Proposition 3.9 and
Lemma 2.2), so Theorem A implies that A∆ is preserved by the whole group. 
To put the conditions of Proposition 3.11 into words, a subgroup A∆ is invariant
under Out0 (AΓ ; G, Ht ) if and only if ∆ is upwards closed under the order ≤G and
∆ is not G–star-separated by any outside vertex.
3.6. Consequences of Proposition 3.11. The next fact is essentially the same
as Hensel–Kielak [24], Lemma 4.2, part (i).
Corollary 3.12. Suppose Out0 (AΓ ; G) preserves both A∆1 and A∆2 . Then it also
preserves A∆1 ∩∆2 .
Proof. Let v, w ∈ V (Γ) with v ∈ ∆1 ∩ ∆2 and v ≤G w. Then v ∈ ∆i , and since A∆i
is preserved, we have w ∈ ∆i , by Proposition 3.11, for i = 1, 2. Then w ∈ ∆1 ∩ ∆2
and the intersection is upwards closed under ≤G .
Now suppose that w is a vertex that G w –star-separates ∆1 ∩ ∆2 , so that there
exist u, v ∈ ∆1 ∩ ∆2 in different G w -components of Γ − st(w). As each ∆i is not
G–star-separated by an outside vertex (Proposition 3.11), it follows that w ∈ ∆1
and w ∈ ∆2 . Then w ∈ ∆1 ∩ ∆2 . Hence if w 6∈ ∆1 ∩ ∆2 then ∆1 ∩ ∆2 intersects at
most one G w -component of Γ − st(w).
By Proposition 3.11 the group Out0 (AΓ ; G) preserves A∆1 ∩∆2 .

Proposition 3.11 allows one to prove a host of other invariance results in the
same way:
Lemma 3.13. Let G be a set of proper special subgroups of AΓ .
(1) If A∆ is a G-component of Γ containing at least two vertices, then A∆ is
invariant under Out0 (A∆ ; G).
(2) If A∆ and AΛ are preserved by Out0 (AΓ ; G) and there exists v ∈ ∆ ∩ Λ with
st(v) ⊂ ∆ ∪ Λ, then A∆∪Λ is is preserved by Out0 (AΓ ; G).
(3) If A∆ and AΛ are preserved by Out0 (AΓ ; G), the intersection ∆ ∩ Λ 6= ∅ is
nonempty, and Λ is a union of connected components of Γ, then A∆∪Λ is
preserved by Out0 (AΓ ; G).

16

MATTHEW B. DAY AND RICHARD D. WADE

Proof. For each point, one shows upwards closure under ≤G and that no outside
vertex G–star-separates.
For part (1), if v ∈ ∆ and v ≤G w, then as ∆ contains at least two vertices, there
is some u ∈ ∆ that is G-adjacent to v. This implies that w is G-adjacent to u (as
v ≤G w), so w ∈ ∆ as ∆ is closed under G–adjacency. If x lies outside of ∆, then
∆ is G x -connected (any element of G contained in A∆ is an element of G x ), so that
∆ is itself a G x -component of Γ − st(x).
For part (2), as both ∆ and Λ are upwards-closed under ≤G , so is the union
∆ ∪ Λ. Let v be a vertex with v ∈ ∆ ∩ Λ and st(v) ⊂ ∆ ∪ Λ. If x 6∈ Λ ∪ ∆, then x is
not adjacent to v: let K be the G x -component of Γ − st(x) containing v. As both
A∆ and AΛ are preserved by Out0 (AΓ ; G) and contain v, they intersect Γ − st(x) in
a subset of K. Hence ∆ ∪ Λ intersects this unique G x -component of Γ − st(x), also.
The last point follows from the preceding point, since if Λ is a union of connected
components of Γ and v ∈ Λ, then st(v) ⊂ Λ also.

If G is a set of special subgroups of AΓ and Θ is a subgraph of Γ, we let NG (Θ)
be the union of Θ and its G-adjacent vertices.
Proposition 3.14. Suppose G is a set of proper special subgroups of AΓ . Let
A∆ ∈ G and let Θ be a G-connected subgraph of Γ − ∆. Let
Λ = NG (Θ) ∩ ∆
be the subgraph of ∆ spanned by vertices that are G-adjacent to some element of Θ.
Then Out0 (AΓ ; G) preserves AΛ .
Proof. We will show that Λ is upwards closed under ≤G and it not G–star-separated
by an outside vertex (Proposition 3.11). First suppose that v, w ∈ V (Γ) with v ∈ Λ
and v ≤G w. Then w ∈ ∆ as A∆ ∈ G. As v ∈ Λ there is a vertex u ∈ Θ such that
v is G-adjacent to u. If v is connected to u by an edge, then so is w, since v ≤Γ w.
Otherwise there is AΞ ∈ G with u, v ∈ Ξ. Then w ∈ Ξ also (since v ≤G w). In
either case, w is in ∆ and is G-adjacent to the vertex u ∈ Θ, and therefore w ∈ Λ.
It remains to show that if v 6∈ Λ, the graph Λ intersects at most one G v component of Γ − st(v). If v 6∈ ∆, then as A∆ ∈ G, the graph ∆ intersects at
most one G v -component of Γ − st(v), so the same is true for Λ. We may therefore
assume that v ∈ ∆. Let u and w be any two vertices in Λ − st(v). By the definition
of Λ, u and w are G-adjacent to vertices in Θ. Since Θ is G-connected, there is a
G-path p from u to w through Θ (every vertex of p is in Θ except for the endpoints,
which are u and w). Since v ∈ ∆ but v 6∈ Λ, the vertex v is not G-adjacent to
any vertex in the interior of p. This implies that this path is in Γ − st(v), and
furthermore any G-adjacent vertices on the path are also G v -adjacent, and p is a
G v -path. Hence u and w are in the same G v -component of Γ − st(v). As u and w
were arbitrary, Λ intersects at most one G v -component of Γ − st(v).

Corollary 3.15. Let G be a set of proper special subgroups of AΓ , let A∆ ∈ G and
let H ⊂ G be a subset of G. Let Θ be a H-connected subset of Γ − ∆. If
Λ = NH (Θ) ∩ ∆,
0

then AΛ is invariant under Out (AΓ ; G).
Proof. Apply the above proposition with G 0 = H ∪ {A∆ }. The result follows as
NG 0 (Θ) ∩ ∆ = NH (Θ) ∩ ∆ and a subgroup invariant under Out0 (AΓ , G 0 ) is invariant
under Out0 (AΓ ; G), also.


RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

17

Corollary 3.16. Let A∆ ∈ G and let x be a vertex with x 6∈ ∆. Then Alk(x)∩∆ is
preserved by Out0 (AΓ ; G).
Proof. Apply Corollary 3.15 with H = ∅ and Θ = {x}.



4. Restriction homomorphisms
In this section we describe the image and kernel of a restriction homomorphism
on Out0 (AΓ ; G, Ht ). For our application to finiteness properties, we also show
restriction homomorphisms behave similarly when one passes to a principal congruence subgroup.
4.1. The induced peripheral structure. If G is a collection of special subgroups
of AΓ and ∆ is a subgraph of Γ, then we define the induced peripheral structure to
be the set
G∆ = {A∆∩Λ : AΛ ∈ G and ∆ ∩ Λ 6= ∆}
We say that G is saturated if G contains every proper special subgroup that is invariant under Out0 (AΓ ; G). We say that G is saturated with respect to (G, H) if G contains every proper special subgroup of AΓ that is invariant under Out0 (AΓ ; G, Ht )
(this is stronger than just being saturated). If G is saturated and A∆ ∈ G, then as
the intersection of two preserved subgroups is also preserved (Corollary 3.12) we
have G∆ ⊂ G.
The induced peripheral structure determines a partial ordering ≤G∆ of the vertices of ∆ in a natural way, so that u ≤G∆ v if and only if lk∆ (u) ⊂ st∆ (v), and any
element of G∆ containing u also contains v. We take time in this section to prove
some technical results about the behavior of the induced peripheral structure. For
motivation one may want to skip ahead to the proof of Theorem B, in which these
results are essential.
Proposition 4.1. Suppose that A∆ ∈ G, and that G is saturated. If u ∈ ∆, then
u ≤G v if and only if v ∈ ∆ and u ≤G∆ v.
Proof. The forward direction of this proposition (u ≤G v implies that v ∈ A∆ and
u ≤G∆ v) follows from the definitions of ≤G , ≤G∆ , and G∆ . For the converse, if
u ≤G∆ v then any special subgroup AΘ ∈ G containing u must also contain v (as
either Θ ∩ ∆ = ∆ or AΘ∩∆ ∈ G∆ ). Although lk∆ (u) ⊂ st∆ (v), to finish the proof
we must take care to show that lkΓ (u) ⊂ stΓ (v). Let x ∈ lkΓ (u). If x ∈ ∆, then
x ∈ stΓ (v) as lk∆ (u) ⊂ st∆ (v). This leaves the case when x 6∈ ∆. By Corollary 3.16,
the group Alk(x)∩∆ is invariant under Out0 (AΓ ; G). Hence Alk(x)∩∆ ∈ G as G is
saturated (therefore Alk(x)∩∆ ∈ G∆ , also). As u ≤G∆ v, and u ∈ lk(x) ∩ ∆, this
implies that v ∈ lk(x) ∩ ∆, so that x ∈ stΓ (v).

Proposition 4.2. Let A∆ ∈ G and suppose that G is saturated. Let v be a vertex
of ∆ and let
A∆
≥v = h{w ∈ ∆ : v ≤∆ w}i.
Then A∆
≥v ∈ G.
Proof. By Proposition 3.11, it is enough to show that A∆
≥v is upwards-closed under
≤G and not G–star-separated by any outside vertex. Suppose that u ≤G w and
u ∈ A∆
≥v . Then w ∈ ∆ and u ≤G∆ w by Proposition 4.1. Hence v≤∆ u ≤∆ w
∆
so w is also in A∆
≥v . This shows that the vertices in A≥v are upwards-closed with

18

MATTHEW B. DAY AND RICHARD D. WADE

x
respect to ≤G . Now suppose that x 6∈ A∆
≥v . If x 6∈ ∆ then A∆ ∈ G and the graph
x
∆ intersects at most one G -component of Γ − st(x). Therefore the same is true
for A∆
≥v . Otherwise x ∈ ∆ but v 6≤∆ x. Then there exists u ∈ lk∆ (v) that is not
∆
contained in st∆ (x). In this case, every vertex in A∆
≥v is adjacent to u so A≥v is
contained in the union of st(x) and the connected component of Γ−st(x) containing
u. Therefore A∆

≥v is not star-separated by any outside vertex.

Proposition 4.3. Let A∆ ∈ G and suppose that G is saturated. Let u, v and x be
vertices in ∆. Then u and v are in the same G x -component of Γ − st(x) if and only
x
if they are in the same G∆
-component of ∆ − st(x).
Proof. As G is saturated G∆ can be viewed as a subset of G. Hence if u and v are
x
connected by a G∆
-path in ∆ − st(x), then they are connected by a G x -path in
Γ − st(x). The tricky part is therefore the converse: let p be a G x -path in Γ − st(x)
from u to v. We want to replace p with a G x -path lying entirely in ∆ − st(x) Let
us first restrict to the special case where the interior of p lies in Γ − ∆. Let Θ be
the subgraph spanned by these interior points, and let
Λ = NG x (Θ) ∩ ∆.
Then AΛ is a subgroup of A∆ which is disjoint from x, contains u and v, and is
invariant under Out0 (AΓ ; G) by Proposition 3.14. As G is saturated, AΛ ∈ G x and
the vertices u and v are G x -adjacent.
In general, the path p can be written as a concatenation
p1 · l1 · p2 · l2 · · · pk · lk · pk+1 ,
x
path, and by
where each pi is contained in ∆ and each li in Γ − ∆. Each pi is a G∆
x
the previous paragraph the terminal vertex of each path pi is G∆ -adjacent to the
initial vertex of the path pi+1 (so the li pieces are unnecessary).

x
This gives a correspondence between G x -components of Γ − stΓ (x) and the G∆
components of ∆ − st∆ (x):
x
-component of
Corollary 4.4. Let G be saturated and let x ∈ ∆. Then K is a G∆
x
∆ − st∆ (x) if and only if there exists a G -component L of Γ − stΓ (x) such that
K = L ∩ ∆.

4.2. Proof of Theorem B. We are now able to finish Theorem B, which says
that if G is saturated with respect to the pair (G, H), then the restriction map R∆
applied to Out0 (AΓ ; G, Ht ) fits in an exact sequence:
1 → Out0 (AΓ ; G, (H ∪ {A∆ })t ) →Out0 (AΓ ; G, Ht )
R

∆
t
−→
Out0 (A∆ ; G∆ , H∆
) → 1.

Proof of Theorem B. An automorphism lies in the kernel of R∆ if and only if it
restricts to an inner automorphism on A∆ , hence
∼ Out0 (AΓ ; G, (H ∪ {A∆ })t ).
ker R∆ =
We break up describing the image into 3 steps.
t
Step 1. im R∆ ⊂ Out(A∆ ; G∆ , H∆
).
Each AΛ ∈ G∆ is preserved by Out0 (AΓ ; G, Ht ) as intersections of preserved
subgroups are also preserved (Corollary 3.12). Similarly, if AΛ ∈ H∆ there exists a

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

19

subgraph Λ0 containing Λ such that AΛ0 ∈ H. Hence elements of Out0 (AΓ ; G, Ht )
restrict to an inner automorphism on AΛ , also.
Step 2. im R∆ ⊂ Out0 (A∆ )
The image lies in Out0 (A∆ ) if and only if the image preserves each subgroup of
∆
the form A∆
≥v (Proposition 3.3). As G is saturated, each A≥v is invariant under
0
t
Out (AΓ ; G, H ) (Proposition 4.2), so is also invariant after restricting to A∆ .
t
Step 3. Out0 (A∆ ; G∆ , H∆
) ⊂ im R∆
We show that every inversion, transvection, and extended partial conjugation in
t
Out0 (A∆ ; G∆ , H∆
) is the image of an automorphism of the same type under R∆ .
0
t
As Out (A∆ ; G∆ , H∆
) is generated by such elements (Theorem A), this is enough
to finish the proof.
As G is saturated with respect to the pair (G, H) we have P (H) ⊂ G and P (H∆ ) ⊂
G∆ (Lemma 3.8). We may therefore make liberal use of Lemma 3.9, which describes
t
).
when such generators lie in Out0 (AΓ ; G, Ht ) and Out0 (A∆ ; G∆ , H∆
0
t
For inversions, if [ιv ] ∈ Out (A∆ ; G∆ , H∆ ) then v 6∈ AΛ for any subgroup AΛ ∈
H∆ . Hence v 6∈ AΛ0 for any subgroup AΛ0 ∈ H and [ιv ] is the image of an inversion
of the same name in Out0 (AΓ ; G, Ht ).
0
t
If [ρw
v ] is a transvection in Out (A∆ ; G∆ , H∆ ) then v ≤G∆ w. This implies that
w
v ≤G w by Proposition 4.1, and [ρv ] is the image of an element of the same name
in Out0 (AΓ ; G, Ht ).
x
-component of ∆ − st(x). By Corollary 4.4,
Finally, let x ∈ ∆ and let K be a G∆
x
there exists a G -component L of Γ − stΓ (v) such that L ∩ ∆ = K. Then the
x
x
] under R∆ . As any extended partial
] maps to [πK
extended partial conjugation [πL
0
t
conjugation in Out (A∆ ; G∆ , H∆ ) is a product of such elements, they are all in the
image of R∆ .


We take a moment to improve Theorem B for the purpose of computing examples. Suppose we are given AΓ , G, and H, with G not saturated. Suppose A∆ ∈ G,
and we want to compute the image of R∆ on Out0 (AΓ ; G, Ht ) by hand. Certainly we
could compute the saturation of G with respect to (G, H) by exhaustively checking
subgraphs of Γ. However, this is unnecessary, since it turns out that our hypotheses
in Theorem B are too strong. We improve the hypotheses in the following proposition. This is only used for computing examples (see Section 6), and not in the
proofs of our main theorems.
Proposition 4.5. Let AΓ , G, and H be as above, with G possibly not saturated.
If necessary, enlarge G so that H ⊂ G, and so that for every A∆ ∈ H and every
v ∈ ∆, we have A∆−{v} ∈ G. Let A∆ ∈ G, and define a collection P∆ of special
subgroups, where AΛ ∈ P∆ if and only if at least one of the following holds:
• Λ = lk(x) ∩ ∆ for some x 6∈ ∆.
• Λ = NG x (Θ) ∩ ∆, where Θ is maximal among G x -connected subgraphs of
Γ − st(x) that are disjoint from ∆, for some x ∈ ∆.
Then
t
R∆ : Out0 (AΓ ; G, Ht ) → Out0 (AΓ ; G∆ ∪ P∆ , H∆
)
is surjective.
Proof. The subgroups we are adding to G are invariant by Lemma 3.8, so enlarging G does not change Out0 (AΓ ; G, Ht ). The subgroups in P∆ are invariant by

20

MATTHEW B. DAY AND RICHARD D. WADE

Corollaries 3.15 and 3.16, so Out0 (AΓ ; G, Ht ) and Out0 (AΓ ; G ∪ P∆ , Ht ) are equal.
Then R∆ is well defined. To prove surjectivity, we review the proof of step 3
of the proof of Theorem B. This amounts to explaining why Laurence generators
t
from Out0 (A∆ ; G∆ ∪P∆ , H∆
) lift to Out0 (AΓ ; G, Ht ). As explained in Remark 3.10,
Proposition 3.9 goes through for both these groups, even though G and G∆ ∪ P∆ are
not saturated. So we may use the characterization of generators in Proposition 3.9.
It is obvious that inversions lift. Lifting transvections works because Proposition 4.1 goes through, because we include subgroups of the form Alk(x)∩∆ for x ∈
/ ∆.
Lifting partial conjugations works because Proposition 4.3 goes through, because
we include subgroups of the form hNG x (Θ) ∩ ∆i.

4.3. A version of Theorem B for principal congruence subgroups. The
action of Aut(AΓ ) on the abelianization of AΓ induces a homomorphism
Ψ : Aut(AΓ ) → GL(n, Z)
where n is the number of vertices in Γ. We define IAΓ to be the kernel of Ψ.
The notation IA is short for ‘identity on the abelianization.’ By taking entries in
matrices modulo some natural number l ≥ 2, there is a homomorphism
Ψ[l] : Aut(AΓ ) → GL(n, Z/lZ)
Let Aut[l] (AΓ ) be the kernel of Ψ[l] . The main objective of the next proposition
is to show that Aut[l] (AΓ ) is contained in Aut0 (AΓ ): the key point is that we can
detect whether an automorphism lies in Aut0 (AΓ ) by its action on H1 (AΓ ), even if
we take coefficients in Z/lZ. Following the terminology used in algebraic groups,
we call Aut[l] (AΓ ) the principal congruence subgroup of level l.
Proposition 4.6. The principal congruence subgroup Aut[l] (AΓ ) is a finite index
subgroup of Aut0 (AΓ ). If l ≥ 3, then Aut[l] (AΓ ) is torsion-free.
Proof. Let G be the image of Aut0 (AΓ ) in GL(n, Z/lZ). If the vertices v1 , . . . , vn
are ordered so that vi ≤Γ vj implies i ≤ j and all vertices in the same equivalence
class are consecutive, then G consists of block lower-triangular matrices of the form


M1
0 ···
0
 ∗ M2
0 


M = .
..  ,
..
 ..
.
. 
∗

∗

...

Mr

where r is the number of equivalence classes of vertices in Γ. Each Mi corresponds
to the action of Aut0 (AΓ ) on the abelianization of the ith equivalence class. Each
coset of Aut0 (AΓ ) in Aut(AΓ ) is represented by a graph symmetry α that permutes
equivalence classes in Γ (see, for example, the proof of Proposition 3.3). If α is
nontrivial, it follows that Ψ[l] (α) is permutation matrix lying outside of G. Let
φ be an automorphism of AΓ . If φ 6∈ Aut0 (AΓ ), then we can decompose φ as
φ = α · φ0 , where α is a permutation as above and φ0 ∈ Aut0 (AΓ ). As Ψ[l] (φ0 ) ∈ G
and Ψ[l] (α) 6∈ G, the image of φ is nontrivial in GL(n, Z/lZ), so φ 6∈ Aut[l] (AΓ ).
When l ≥ 3 the group Aut[l] (AΓ ) is torsion-free as IAΓ is torsion-free and the
principal congruence subgroup of level l in GL(n, Z) is torsion-free (see Toinet [35,
Theorem 7.14] or an alternative proof by Bregman in [3]).


RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

21

We define IAn to be the image of IAΓ in Out(AΓ ) and define Out[l] (AΓ ) to be
the image of Aut[l] (AΓ ) in Out(AΓ ). Again by Toinet [35], IAn is torsion-free. So
we have the following corollary:
Corollary 4.7. The principal congruence subgroup Out[l] (AΓ ) is a finite index
subgroup of Out0 (AΓ ). If l ≥ 3, then Out[l] (AΓ ) is torsion-free.
We use Out[l] (AΓ ; G, Ht ) to denote the intersection of Out(AΓ ; G, Ht ) with the
group Out[l] (AΓ ). We require the following variation of Theorem B in the next
section.
Theorem 4.8. Let G and H be sets of proper special subgroups of AΓ and suppose
that G is saturated with respect to the pair (G, H). Let A∆ ∈ G. Then the restriction
homomorphism R∆ applied to Out[l] (AΓ ; G, Ht ) fits in the exact sequence:
1 → Out[l] (AΓ ; G, (H ∪ {A∆ })t ) →Out[l] (AΓ ; G, Ht )
R

∆
t
−→
Out[l] (A∆ ; G∆ , H∆
) → 1.

Proof. Proposition 4.6 tells us that Out[l] (AΓ ) is contained in Out0 (AΓ ), so we
may restrict the exact sequence of Theorem B to Out[l] (AΓ ; G, Ht ). It is clear that
the kernel is then Out[l] (AΓ ; G, (H ∪ {A∆ })t ) and that the image is contained in
t
) (the action on H1 (A∆ ; Z) is given by deleting the appropriate
Out[l] (A∆ ; G∆ , H∆
rows and columns from the matrix giving the action on H1 (AΓ ; Z)). It remains to
t
). To see this,
justify that the image contains every element of Out[l] (A∆ ; G∆ , H∆
[l]
t
note that if Φ ∈ Out (A∆ ; G∆ , H∆ ), we construct an element mapping to Φ under
R∆ by writing Φ as a product in the generating set and lifting each generator to
Out0 (AΓ ; G, Ht ). The lift of each generator constructed in the proof of Theorem B
acts by conjugation on every vertex v lying outside of ∆ (so trivially on the image
of v in H1 (AΓ ; Z)), hence this lift of Φ will lie in Out[l] (AΓ ), and Φ is in the image
of R∆ .

The following is used implicitly in the next section. As we work in the finite
index subgroup Out[l] (AΓ ; G, Ht ) of Out0 (AΓ ; G, Ht ), it is important to know that
Out[l] (AΓ ; G, Ht ) leaves exactly the same special subgroups invariant.
Proposition 4.9. Let A∆ be a special subgroup of AΓ . Then A∆ is invariant under
Out0 (AΓ ; G, Ht ) if and only if A∆ is invariant under Out[l] (AΓ ; G, Ht )
Proof. If A∆ is invariant under Out0 (AΓ ; G, Ht ) then A∆ is invariant under the
group Out[l] (AΓ ; G, Ht ). Conversely, if A∆ is not invariant under Out0 (AΓ ; G, Ht ),
then there exists a partial conjugation or transvection φ such that φ(A∆ ) is not
conjugate to A∆ (c.f. the proof of Proposition 3.11). In this case, one can check
that φm (A∆ ) is also not conjugate to A∆ for all m ≥ 1 (see for example, the proof
of Lemma 2.2). As some power φm is in Out[l] (AΓ ; G, Ht ), it follows that A∆ is also
not invariant under Out[l] (AΓ ; G, Ht ).

This is not true for subgroups admitting a trivial action, however this discrepancy
can only come from a finite subgroup of inversions.
Proposition 4.10. Suppose that Out[l] (AΓ ; G, Ht ) acts trivially on A∆ but the
group Out0 (AΓ ; G, Ht ) does not. Then the image of R∆ on Out0 (AΓ ; G, Ht ) is a
finite group generated by inversions.

22

MATTHEW B. DAY AND RICHARD D. WADE

Proof. If the image of R∆ contains an extended partial conjugation or a transvection, then this element is infinite order and is the image of an element of the same
type in Out0 (AΓ ; G, Ht ). By taking an appropriate power, we attain a nontrivial
element in the image of Out[l] (AΓ ; G, Ht ) under R∆ . Hence the image of R∆ is
generated by inversions.

Corollary 4.11. For every triple (Γ, G, H) where G and H are special subgroups of
AΓ there exists a collection H0 of special subgroups such that
Out[l] (AΓ ; G, Ht ) ∼
= Out[l] (AΓ ; G, (H0 )t )
and every invariant subgroup A∆ has a trivial action under Out0 (AΓ ; G, (H0 )t ) if
and only if A∆ has a trivial action under Out[l] (AΓ ; G, (H0 )t ).
Proof. Extend H to include the groups A{x} for each inversion ιx that appears in
Proposition 4.10.

5. Constructing finite classifying spaces
We are now able to build finite classifying spaces for the principal congruence
subgroups of level l ≥ 3. We describe the different pieces going into the construction
in Section 5.1, and complete the proof of Theorem C in Section 5.4.
5.1. Building up classifying spaces. The main tool we need to build classifying
spaces is the following result from Geoghegan’s book:
Theorem 5.1 ([19], Theorem 7.3.4). If a group G acts cocompactly by rigid homeomorphisms on a contractible CW complex X such that the stabilizer of each cell
is type F , then G is type F also.
An action is rigid if every cell that is fixed setwise by an element is also fixed
pointwise. In particular, if X is the universal cover of a CW complex Y with
fundamental group π1 (Y ) = G, then G acts rigidly on X. We note two corollaries:
Corollary 5.2. Suppose that 1 → N → G → Q → 1 is a short exact sequence such
that Q and N are of type F. Then G has type F.
Proof. Take X to be the universal cover of a finite classifying space for Q, and use
the action of G on X via the quotient map. The stabilizer of each cell is isomorphic
to N .

Corollary 5.3. If a group G acts simplicially and cocompactly on a contractible
simplicial complex X such that the stabilizer of each simplex is type F , then G is
type F also.
Proof. The action of G on the barycentric subdivision X 0 of X is rigid. Furthermore
each stabilizer of a simplex in X 0 is finite index in the stabilizer of a simplex in X
(so is type F also).

Our building blocks consist of classifying spaces for RAAGs (Salvetti complexes),
symmetric spaces for arithmetic groups, and deformation spaces of trees. We will
highlight the important results below. Every right-angled Artin group acts freely
and cocompactly on a CAT(0) cube complex, hence:
Theorem 5.4 (Charney–Davis [8]). Every right-angled Artin group is type F .

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

23

Although the action of an arithmetic group Γ on its associated symmetric space
X is not always cocompact, Borel and Serre (equivariantly) extend X to a space
X in such a way that X/Γ is a compact differentiable manifold with corners. Triangulating this manifold gives:
Theorem 5.5 (Borel–Serre, [2, Section 11]). If Γ is a torsion-free, arithmetic
subgroup of GL(n, Q) then Γ is type F .
If AΓ ∼
= Zn is free abelian and G is a set of proper special subgroups, then
0
Out (AΓ ; G t ) is an arithmetic group (fixing a basis element corresponds to setting
certain matrix entries in SL(n, Z) to 0 or 1). For l ≥ 3, the torsion-free subgroup
Out[l] (AΓ ; G t ) is finite index in Out(AΓ ; G t ), therefore:
Proposition 5.6. If AΓ ∼
= Zn is a free abelian group, G is a set of special subgroups
of AΓ , and l ≥ 3, then Out[l] (AΓ ; G t ) is type F.
We now move to the free and non-abelian picture. A free factor system for a
group G is a finite set of subgroups G = {G1 , . . . , Gk } of G such that
G = G1 ∗ G2 ∗ · · · Gk ∗ Fm
for some free group Fm . (This is not the same thing as a Grushko decomposition
for G, since factors may be freely decomposable or infinite cyclic.) The group
Out(G; G) acts on a space X (G) defined in an analogous way to the spine of outer
space. Each vertex of X (G) is given by a minimal, simplicial action of G on a tree
T such that the vertex stabilizers of T are exactly the conjugates of the elements
of G (this implies that the edge stabilizers are trivial). Two trees are equivalent
if they are G–equivariantly homeomorphic. A simplex of X (G) is determined by a
sequence T0 , . . . , Tk of such trees where Ti is obtained Ti−1 by collapsing G-orbits
of edges. The relative automorphism group Out(G; G) admits a simplicial action
on X (G) by precomposing the action on a tree with a representative of an outer
automorphism.
Theorem 5.7 (Guirardel–Levitt, [20]). Let G be a group and let G be a free factor
system of G. Then the spine X (G) is contractible, and the group Out(G; G t ) acts
cocompactly on X (G).
We call Out(G; G t ) the Fouxe-Rabinovitch group of the free factor system G. If
k + m = 2 then the spine consists of a single vertex T (in other words, the whole
group Out(G; G) fixes a tree). There is a projection map:
P : Out(G; G) → Out(Fm )
induced by the quotient map G → Fm which sends every every element of a group
Gi to the identity element.
Proposition 5.8 (Guirardel–Levitt, [21], Proposition 3.7). Suppose that G = G1 ∗
G2 ∗ · · · Gk ∗ Fm is a free factor decomposition of G, with G = {G1 , G2 , . . . , Gk }.
Let Out1 (G; G t ) be a finite index subgroup of Out(G; G t ). If
(1) each group Gi and its center Z(Gi ) has a finite classifying space, and
(2) the image of Out1 (G; G t ) in Out(Fm ) is torsion-free,
Then Out1 (G; G t ) has a finite classifying space.

24

MATTHEW B. DAY AND RICHARD D. WADE

To prove the above, Guirardel and Levitt combine Corollary 5.3 with the cocompact action of Out1 (G; G t ) on the spine X (G). Conditions (1) and (2) ensure that
the intersection of Out1 (G; G t ) with the stabilizer of a tree T ∈ X (G) is type F .
We now specialize to the situation where
AΓ = A∆1 ∗ A∆2 ∗ · · · ∗ A∆k ∗ Fm
is a free factor system of a RAAG and G = {A∆i } is a family of special subgroups.
Each ∆i is a union of connected components of Γ, and there are m isolated vertices
that are not contained in any ∆i . (It may be that some ∆i is disconnected, or
is a single vertex.) If l ≥ 3, then the image of the principal congruence subgroup
Out[l] (AΓ ; G t ) in Out(Fm ) is the torsion-free group Out[l] (Fm ). Proposition 5.8 and
Theorem 5.4 imply:
Proposition 5.9. Let AΓ = A∆1 ∗ A∆2 ∗ · · · ∗ A∆k ∗ Fm be a free factor decomposition of a RAAG AΓ , where each A∆i is a special subgroup, and let l ≥ 3. Then
Out[l] (AΓ ; {A∆i }ti ) is type F .
5.2. Automorphism groups with trivial restriction maps. We now look at
the special case where the relative automorphism group Out0 (AΓ ; G, Ht ) has trivial
restriction homomorphisms. These groups are of special interest because they are
base cases in our inductive proof of Theorem C below. Having trivial restriction
homomorphisms is equivalent to Out0 (AΓ ; G, Ht ) acting trivially on every invariant
special subgroup A∆ . So, for this subsection, we assume that G = H and G is
saturated with respect to (G, G), so that Out0 (AΓ ; G, Ht ) = Out0 (AΓ ; G t ). We will
consider three different cases:
• Γ is disconnected and Γ is G-disconnected.
• Γ is disconnected and Γ is G-connected.
• Γ is connected and Z(Γ) is empty.
Each of these has a dedicated subsection below. When AΓ has a nontrivial center
we need to take a slightly different approach.
5.2.1. Γ is disconnected and G-disconnected. Here we have a Fouxe-Rabinovitch
group:
Proposition 5.10. Suppose G is saturated with respect to (G, G). If Γ is disconnected and G-disconnected, then there exists a free factor decomposition
Γ = A∆1 ∗ A∆2 ∗ · · · ∗ A∆k ∗ Fm ,
of AΓ such that

Out0 (AΓ ; G t ) ∼
= Out0 (AΓ ; {A∆i }ti ).

Proof. Since Γ is G-disconnected, there is a free splitting
Γ = A∆1 ∗ A∆2 ∗ · · · ∗ A∆k ∗ Fm ,
where Fm consists of the isolated vertices in Γ that are not contained in any element
of G and ∆1 , . . . , ∆k are the remaining G-components. A free factor ∆i may be
an isolated vertex, in which case A∆i is an element of G. Otherwise ∆i is a Gcomponent containing at least two vertices, and A∆i is invariant under Out0 (AΓ ; G t )
by part (1) of Lemma 3.13. So Out0 (AΓ ; G t ) contains the group Out0 (AΓ ; {A∆i }ti ).
Conversely, as each element of G is contained in some A∆i , the group Out0 (AΓ ; G t )
is contained in Out0 (AΓ ; {A∆i }ti ).


RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

25

By Proposition 5.9, this implies:
Corollary 5.11. Suppose G is saturated with respect to (G, G). If Γ is disconnected
and G-disconnected then Out[l] (AΓ ; G t ) is type F.
5.2.2. Γ is disconnected and G-connected. We look at the case where Γ is disconnected, but any two points in Γ are connected by a G-path. As above we assume G
is saturated. We will see that Out0 (AΓ ; G t ) need not be trivial, but is a particularly
nice free abelian group.

Figure 2. The group Out0 (AΓ ; {A∆1 , A∆2 }t ) is a free abelian
group with basis πvx1 and πvx2 .
Lemma 5.12. Suppose that Γ is disconnected but G-connected. Furthermore, suppose that G is saturated with respect to (G, G).
(1) If A∆ ∈ G and Λ ⊂ ∆ then AΛ ∈ G.
(2) Every vertex in Γ is contained in some element of G.
(3) For all vertices v ∈ Γ, we have A{v} ∈ G.
(4) If ∆ is a G-connected union of connected components of Γ then A∆ ∈ G.
(5) There exists a connected component ∆ of Γ such that the complement Λ =
Γ − ∆ is G-connected.
(6) If ∆ and Λ are as in point (5), then both A∆ and AΛ are in G.
Proof. Item (1) follows from the fact that Out0 (AΓ ; G t ) acts trivially on every
invariant subgroup A∆ , so that every special subgroup AΛ ⊂ A∆ must also be
invariant.
For item (2), if v is an isolated vertex in Γ, then v is contained in some element
of G as Γ is G-connected. Otherwise, v is contained in some connected component
∆ with at least two vertices. As A∆ is invariant under the whole of Out0 (AΓ ), the
group A∆ ∈ G, also. Part (3) follows immediately from (1) and (2).
Part (3) implies that the G–ordering on the vertices is trivial (so Out0 (AΓ ; G t )
contains no transvections), so to show that a subgroup A∆ is preserved, it is enough
to show that A∆ is not G–star-separated by an outside vertex. For (4), suppose
that ∆ is a G-connected union of connected components of Γ, and let v ∈ Γ − ∆. If
AΛ ∈ G, then AΛ−{v} is in G by (1), so every G-path in Γ − st(v) is also a G v -path.
So ∆ is G v -connected, since we assumed it was G-connected. So it intersects only
one G v -component, and therefore A∆ is invariant. This completes (4).
For part (5), let X be the graph of connected components of Γ, with an edge
between components C1 and C2 if there exists A∆ ∈ G intersecting both C1 and
C2 . The graph X is connected as Γ is G-connected, and there exists a connected
component ∆ that is not a cut vertex of X (every finite connected graph contains

26

MATTHEW B. DAY AND RICHARD D. WADE

at least two vertices that are not cut vertices). Then Λ = Γ − ∆ is G-connected.
The final bullet point follows from (4).

In this situation, the group Out0 (AΓ ; G t ) can contain nontrivial partial conjugations, but all such partial conjugations generate a free abelian group.
Proposition 5.13. Suppose G is saturated with respect to (G, G) and that Γ is
disconnected but G-connected. Then Out0 (AΓ ; G t ) is a finite rank free abelian group.
Proof. By Lemma 5.12, for every vertex v, the cyclic subgroup hvi is an element of G.
As each hvi is invariant under Out0 (AΓ ; G t ), this group contains no transvections,
and as the restriction to each hvi is trivial, Out0 (AΓ ; G t ) contains no inversions.
Therefore Out0 (AΓ ; G t ) is generated by extended partial conjugations. As in Part
(5) of Lemma 5.12, we pick a connected component ∆ such that the complement
Λ is G-connected. If both ∆ and Λ are single vertices, then AΓ ∼
= F2 and all partial
conjugations are inner automorphisms, so we may assume our graph has at least
three vertices. By possibly exchanging the roles of ∆ and Λ we may assume that
either both Λ and ∆ have more than two vertices, or that ∆ consists of a single
isolated vertex.
Case 1: both ∆ and Λ contain at least two vertices.
As Γ is G-connected, there exist vertices v ∈ ∆ and w ∈ Λ that are contained in
a common element of G. By Part (1) of Lemma 5.12, this implies that the special
subgroup generated by {v, w} is also in G. Let Θ1 = ∆ ∪ {w} and let Θ2 = Λ ∪ {v}.
Then AΘ1 is generated by two invariant subgroups A∆ and A{v,w} which have
nonempty intersection. As ∆ is a union of connected components, AΘ1 is invariant
under Out0 (AΓ ; G t ) by part (3) of Lemma 3.13. The same reasoning shows that
AΘ2 ∈ G, also. Let [φ] ∈ Out0 (AΓ ; G t ) and choose φ to be a representative of
[φ] restricting to the identity on AΘ1 . Then φ acts by conjugation by an element
g ∈ AΓ on AΘ2 . As v and w are in the intersection of Θ1 and Θ2 , it follows that
φ(v) = v = gvg −1
φ(w) = w = gwg −1 ,
so g centralizes both v and w. However, as v and w are in distinct connected
components of Γ, their common centralizer is trivial and g is the identity element.
Hence φ is trivial (as Γ = Θ1 ∪ Θ2 ), and as [φ] was arbitrary, Out0 (AΓ ; G t ) is trivial
also.
Case 2: ∆ is a single vertex v.
Suppose ∆ = {v} and let x be any vertex of Γ that G–star-separates Γ (in
other words, x is an acting letter of a nontrivial extended partial conjugation in
Out0 (AΓ ; G t )). Note that as any extended partial conjugation is inner when restricted to both ∆ and Λ, it follows that Γ − st(x) has exactly two G x -components,
one consisting of the vertex v, and one consisting of Λ − st(x). Then any vertex
that is G-adjacent to v must be contained in st(x) (such vertices exist as Γ is Gconnected). Let Θ be the subgraph of Γ spanned by such vertices x. Then Θ ⊂ Λ
as v does not G–star-separate.
Firstly, we note that it is not possible that Θ = Λ. Otherwise, pick u ∈ Λ that
is G-adjacent to v. Then by our above observation, u ∈ st(x) for each x ∈ Θ, so as
Θ = Λ the vertex u is central in AΛ . In this case Γ − st(u) is the single vertex v,
and u does not star-separate, which is a contradiction.
If Θ = ∅ then Out0 (AΓ ; G t ) is trivial.

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

27

If Θ 6= Λ, then Θ ∪ {v} is a proper subgraph of Γ which is Out0 (AΓ ; G t ) invariant
as Out0 (AΓ ; G t ) contains no transvections and all vertices which are acting letters
in nontrivial extended partial conjugations are contained in Θ. Then for each
x ∈ Θ, the partial conjugation πvx ∈ Out0 (AΓ ; G t ), and πvx is inner restricted to the
subgroup generated by Θ ∪ {v}. Hence x commutes with every other vertex in Θ.
As x was arbitrary, it follows that Θ is a clique and Out0 (AΓ ; G t ) is a free abelian
group generated by the partial conjugations of the form πvx .

5.2.3. Γ is connected and Z(AΓ ) is trivial. In this case we attain the same description as in the previous section using the work of Charney and Vogtmann [11].
Proposition 5.14. Suppose G is saturated with respect to (G, G). Suppose that Γ
is connected, and that the center of AΓ is trivial. Then Out0 (AΓ ; G t ) is a finite
rank free abelian group.
Proof. Let Γ0 be the set of maximal equivalence classes of vertices. In [11], Charney and Vogtmann show that for each [v] ∈ Γ0 , the subgroup Ast[v] is invariant
under Out0 (AΓ ). They combine the restriction maps Rst[v] to give an amalgamated
restriction map
Y
R : Out0 (AΓ ) →
Out(Ast[v] ),
[v]∈Γ0

and Theorem 4.1 of [11] shows that when Γ is connected, ker R is a finitely generated
free abelian group. If there is no maximal equivalence class [v] with Γ = st[v],
then each restriction map has image in the automorphism group of a proper special
subgroup. In this case, as each restriction map from Out0 (AΓ ; G t ) has trivial image,
the group Out0 (AΓ ; G t ) is a subgroup of ker R, so is also finitely generated and free
abelian. Otherwise there exists v such that [v] is maximal and st[v] = Γ. If [v] is
abelian, then A[v] is central in AΓ , contradicting our hypothesis, therefore we may
assume A[v] is non-abelian. In this case Γ is the join of [v] and ∆ = Γ − [v], both
A[v] and A∆ are invariant under Out0 (AΓ ), and
Out0 (AΓ ) ∼
= Out0 (A∆ ) ⊕ Out0 (A[v] ),
where this isomorphism is given by the product of the restriction maps R∆ and
R[v] on Out0 (AΓ ). By our hypothesis, both maps are trivial on Out0 (AΓ ; G t ), so
this group is trivial.

5.3. Reduction when Γ is connected and Z(AΓ ) is nontrivial. When AΓ has
a nontrivial center the graph Γ can be decomposed as a join Γ = Z ∗ ∆, where Z
consists of all vertices v such that st(v) = Γ. We have the following description of
Out(AΓ ):
Proposition 5.15 ([11], Proposition 4.4). If Z(AΓ ) = A[v] is nontrivial then
Out(AΓ ) ∼
= T o ((Out(AZ )) × Out(A∆ ))
0

where T is the free abelian group generated by transvections ρvw , where v 0 ∈ [v] and
w ∈ ∆. The map to Out(AZ ) is given by the restriction map RZ and the map to
Out(A∆ ) is given by the projection map P∆ . The subgroup T is the kernel of the
product map RZ × P∆ .
Note that we need to use the projection homomorphism P∆ to use a reduction
argument. The kernels of projection homomorphisms seem a lot harder to deal

28

MATTHEW B. DAY AND RICHARD D. WADE

with than restriction homomorphisms, although in this case the description is very
nice. If G and H are sets of special subgroups and (GZ , HZ ) and (G∆ , H∆ ) are the
induced peripheral structures on AZ and A∆ respectively, then:
Proposition 5.16. There is an exact sequence
t
t
1 → A → Out[l] (AΓ ; G, H) → Out[l] (AZ ; GZ , HZ
) × Out[l] (A∆ , G∆ ; H∆
) → 1,

where A is a finitely generated free abelian group.
Proof. In the relative setting, the decomposition in Proposition 5.15 gives an isomorphism
∼ T 0 o (Out(AZ ; GZ , Ht ) × Out(A∆ ; G∆ , Ht )),
Out(AΓ ; G, Ht ) =
Z
∆
where T 0 is the subgroup of T generated by transvections that lie in Out(AΓ ; G, Ht ),
and (GZ , HZ ) and (G∆ , H∆ ) are the induced peripheral structures on AZ and A∆
respectively. Passing to the finite index subgroup Out[l] (AΓ ; G, Ht ), we get the
exact sequence above where A is a finite index subgroup of T 0 . As the induced
action on AZ and the abelianization of A∆ is given by deleting appropriate rows
and columns from the matrix giving the action on the abelianization of AΓ , the
t
t
t
image in (Out(AZ ; GZ , HZ
) × Out(A∆ ; G∆ , H∆
) is equal to Out[l] (AZ ; GZ , HZ
)×
[l]
t

Out (A∆ , G∆ ; H∆ ).
5.4. Proof of Theorem C. Combining all the above work allows use to prove the
following theorem, which in particular implies Theorem C from the introduction:
Theorem 5.17. Let G and H be sets of proper special subgroups of AΓ . Then the
principal congruence subgroup Out[l] (AΓ ; G, Ht ) is type F.
Proof. Given a triple (Γ, G, H), where G and H are sets of special subgroups of AΓ ,
we let
n(Γ, G, H) = |V (Γ)|,
and let
m(Γ, G, H) = 2|V (Γ)| − r
where r is the number of special subgroups A∆ in AΓ such that Out[l] (AΓ ; G, Ht )
acts trivially on A∆ . We use the lexicographic ordering on such pairs (n, m) with
the minimal element (0, 0). We fix a triple (Γ, G, H) of complexity (n, m) and by
induction assume that Out[l] (AΓ , G, Ht ) has a finite classifying space for all triples
(Γ0 , G 0 , H0 ) with strictly lower complexity. (Note that we do not need to consider
base cases of minimal complexity, since these will handled the same way we handle
other cases.) Without changing the automorphism group (or complexity) we may
assume that G is saturated for the pair (G, H).
We first look at the situation where there exists A∆ ∈ G such that the associated
projection homomorphism R∆ on Out[l] (AΓ ; G, Ht ) has nontrivial image. In this
case, Theorem 4.8 provides us with an exact sequence:
1 → Out[l] (AΓ , G, (H ∪ {A∆ })t ) → Out[l] (AΓ ; G, Ht ) → Out[l] (A∆ , H∆ , G∆ ) → 1.
The triple (Γ, G, H ∪ {A∆ }) has strictly lower complexity than (Γ, G, H) as there
exist automorphisms in Out[l] (AΓ ; G, Ht ) with a nontrivial action on A∆ . The
triple (A∆ , G∆ , H∆ ) has strictly lower complexity as ∆ has fewer vertices. Hence
by induction the left and right sides of the exact sequence have finite classifying
spaces, so that Out[l] (AΓ ; G, Ht ) has a finite classifying space by Corollary 5.2. We

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

29

may therefore assume that each restriction map R∆ on Out[l] (AΓ ; G, Ht ) is trivial.
By Corollary 4.11, there is a way to extend H without changing Out[l] (AΓ ; G, Ht )
so that every restriction map is trivial on Out0 (AΓ ; G, Ht ), also. We go back to the
cases looked at previously:
• Γ is disconnected and Γ is G-disconnected.
• Γ is disconnected and Γ is G-connected.
• Γ is connected and Z(Γ) is empty.
• Z(Γ) is nonempty, but Γ is not complete.
• Γ is complete.
In the first case, Corollary 5.11 implies Out0 (AΓ ; G, Ht ) is type F (this is the case
where Out0 (AΓ ; G, Ht ) is a Fouxe-Rabinovitch group and the work of Guirardel–
Levitt implies type F). In the second and third cases Out0 (AΓ ; G, Ht ) is finitely
generated free abelian by Propositions 5.10 and 5.14, so the group Out[l] (AΓ ; G, Ht )
is also finitely generated free abelian, and is of type F. In the final case, since
AΓ ∼
= Zn , we know Out[l] (AΓ ; G, Ht ) is an arithmetic group and type F follows
from the work of Borel and Serre in Proposition 5.6.
Only the fourth case remains. Proposition 5.16 gives us the exact sequence
P

∆
t
1 → A → Out[l] (AΓ ; G, H) −−→
Out[l] (A∆ , G∆ ; H∆
) → 1,

where A is a finitely generated free abelian group (note that we may assume
that the restriction map RZ that appeared before is trivial). By our inductive
t
) is type F (∆ is a proper subgraph of Γ),
hypothesis, the group Out[l] (A∆ , G∆ ; H∆
[l]
so the whole group Out (AΓ ; G, H) is type F also.

The method of proof of Theorem C suggests the following proposition, which we
record for its own interest.
Proposition 5.18. Let AΓ be a RAAG and G, H any sets of special subgroups.
Then Out0 (AΓ ; G, Ht ) has a finite subnormal series
1 = N0 ≤ N1 ≤ · · · ≤ Nk = Out0 (AΓ ; G, Ht ),
such that for every i, the group Ni+1 /Ni is isomorphic to
• a finitely generated free abelian group,
• GL(m, Z) for some m ≥ 1, or
• a Fouxe-Rabinovitch group Out(A∆ ; Kt ), where ∆ is a subgraph of Γ, and
K consists of special subgroups giving a free factor decomposition of A∆ .
Note that in this last case, the group can be Out(Fm ) for some m if ∆ is edgeless
and K = ∅. In many examples, GL(1, Z) shows up as a factor many times.
Proof. This is by the same structural induction as the proof of Theorem C.
In the general inductive step, Theorem B gives us an exact sequence whose
image and kernel satisfy the inductive hypothesis. We build our subnormal series
by pulling back the one from the image and splicing it with the one from the kernel.
In the case that Out0 (AΓ ; G, Ht ) has trivial restriction maps, we break into
subcases. The first is that Γ is G-disconnected, in which case Out0 (AΓ ; G, Ht )
is a Fouxe-Rabinovitch group. The next two cases are that Γ is disconnected
but G-connected, or that Γ is connected and has trivial center. In both of these
cases, Out0 (AΓ ; G, Ht ) is finitely generated free abelian. The fourth case is that

30

MATTHEW B. DAY AND RICHARD D. WADE

AΓ has nontrivial center, but is not Zn . Then we use the projection exact sequence; the image of this sequence satisfies the inductive hypothesis, and the kernel is finitely generated free abelian. As in the general case, we lift the subnormal series from the image. The last case is that Γ is complete. After reordering the vertices, Out0 (AΓ ; G, Ht ) is a block-lower-triangular matrix group. Since
Out0 (AΓ ; G, Ht ) has trivial restrictions, it has at most one nontrivial diagonal block.
Then Out0 (AΓ ; G, Ht ) decomposes as a semidirect product, where the nontrivial diagonal block gives us a GL(m, Z)–factor, and the off-diagonal blocks give us factors
that are finitely generated free abelian.

6. Computation and examples
We start this section by listing a few special cases where relative (outer) automorphism groups of RAAGs have previously been considered. After that, we
give concrete examples of triples (Γ, G, H) that illustrate some of the phenomena
in the paper. In the final subsection, we give some new computations of virtual
cohomological dimension of outer automorphism groups of RAAGs.
6.1. Previously studied relative automorphism groups. We believe that the
study of Out(AΓ ; G, Ht ) in full generality is new in the present paper. However,
many special cases have been studied before.
6.1.1. Relative linear groups. Suppose F is a subspace arrangement in Qn where
each subspace in F is the span of a subset of the standard basis e1 , . . . , en . Then
the stabilizer GL(n, Z)F is Out(AΓ ; G), where Γ is the complete graph on n vertices,
and G is the collection of special subgroups corresponding to the subspaces in F .
After an appropriate reordering of the basis, every such GL(n, Z)F is a group of
block-triangular matrices. Some familiar special cases include:
• The affine group, when F = {he1 , . . . , en−1 i}.
• The group of upper-triangular matrices in GL(n, Z), when
F = {he1 i, he1 , e2 i, . . . , he1 , . . . , en−1 i}.
When n = 3, this group contains the 3-dimensional Heisenberg group as a
subgroup of index 8.
• More generally, the subgroup of GL(n, Z) stabilizing a flag F .
• The subgroup of GL(n, Z) stabilizing a direct product decomposition of Zn ,
when F is the list of factors in the decomposition.
Of course, stabilizers of flags and subspace arrangements can be considered in
much more general settings (working over other rings, without requiring special
subgroups, in classical linear groups, etc.).
6.1.2. Relative automorphism groups of free groups. There are a few special cases
that have previously been studied. Here we specialize to AΓ = Fn = hx1 , . . . , xn i,
so Γ is the edgeless graph on n vertices.
If G = {hx1 i, hx2 i, . . . , hxk i} for some k, then Aut(AΓ ; G t ) is a partially symmetric
automorphism group of Fn . These groups have been studied by Bux–Charney–
Vogtmann [5], Day–Putman [14], Jensen–Wahl [26], Wade [37] and others. In the
special case that k = n, this is called the pure symmetric automorphism group or
the basis-conjugating automorphism group, and has been studied by McCool [31]
and Collins [12].

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

31

In another direction, if G is a collection of disjoint special subgroups of Fn ,
then G is a free factor system for Fn , and Out(AΓ ; G) is the stabilizer of the free
factor system G. Free factor systems and their stabilizers have been considered by
Bestvina–Feighn–Handel [1], and Handel–Mosher [23], and others. More generally,
Handel–Mosher consider subgroup systems and their stabilizers. A subgroup system
is a collection G of finite-rank subgroups of Fn , considered up to conjugacy, and the
stabilizer of G is simply Out(AΓ ; G) (in our notation). Both free factor systems and
subgroup systems are usually studied without any requirement that the subgroups
be conjugate to special subgroups.
6.1.3. Automorphisms of free products. As noted above, Fouxe-Rabinovitch groups
are examples of relative automorphism groups. Let G be a group with a finite
Grushko decomposition G = G1 ∗ · · · ∗ Gm ∗ Fk , and let G = {G1 , . . . , Gm }. Then
Aut(G; G) and Aut(G; G t ) both play a role in the study of Aut(G). By giving a
list of generators, Fouxe-Rabinovitch defined a group in [18] that coincides with
Aut(G; G t ). These groups have come up again in more recent work, including
Carette [6], Guirardel–Levitt [20, 21], and McCullough–Miller [32]. Any RAAG
with disconnected defining graph has a nontrivial Grushko decomposition, with
special subgroups as free factors. Therefore these Fouxe-Rabinovitch groups are
relative automorphism groups of RAAGs.
6.1.4. Other relative automorphism groups of RAAGs. We recall that Aut0 (AΓ )
and Out0 (AΓ ) are relative (outer) automorphism groups, as shown in Proposition 3.3.
For a general RAAG AΓ , set G = {hxi|x ∈ V (Γ)}. Then Aut(AΓ ; G t ) is the
pure symmetric automorphism group and Out(AΓ ; G t ) is the pure symmetric outer
automorphism group. These groups have been studied by Day–Wade [15], Koban–
Piggott [28], and Toinet [34].
In a slightly different direction, Duncan–Remeslennikov [17] show that the subgroup of Aut(AΓ ) generated by inversions and transvections is equal to the group of
automorphisms preserving each A≥v setwise (rather than up to conjugacy). They
find a presentation for this group, which is described as St(K) in [16, 17].
Another example, perhaps more surprising, is that the untwisted outer automorphism group of a RAAG, as defined by Charney–Stambaugh–Vogtmann [9], turns
out to be virtually a relative outer automorphism group. The untwisted subgroup
U (AΓ ) of Out(AΓ ) is defined to be the subgroup generated by
• graphic automorphisms,
• inversions,
• partial conjugations, and
• non-adjacent transvections: automorphisms ρvw where v ∈
/ lk(w).
So U (AΓ ) is generated by the Laurence generating set with the adjacent transvections taken out. Charney–Stambaugh–Vogtmann [9] have shown that U (AΓ ) has a
proper action on a space, called an Outer space for AΓ . Let U 0 (AΓ ) be the intersection of the untwisted subgroup with Out0 (AΓ ). We show below that U 0 (AΓ ) is a
relative automorphism group. For any vertex v, let ANA
≥v be the subgroup generated
NA
by v and the vertices w such that v ≤ w and v is not adjacent to w. Let G≥
be
NA
the set of all proper special subgroups of the form A≥v .
NA
Proposition 6.1. The group U 0 (AΓ ) is equal to Out0 (AΓ ; G≥
).

32

MATTHEW B. DAY AND RICHARD D. WADE

Figure 3. An example graph for looking at the peripheral structure in the absolute case: here A∆ is preserved by the whole of
Out0 (AΓ ).
NA
Proof. If ρw
v is an adjacent transvection, then as v is contained in A≥v and w is
0
NA
0
not, this transvection is not in Out (AΓ ; G≥ ). By Proposition 3.9, U (AΓ ) contains
NA
NA
Out0 (AΓ ; G≥
). For the converse, we want to show that Out0 (AΓ ; G≥
) contains
every other inversion, transvection, and extended partial conjugation in Out0 (AΓ ).
This is clear for inversions. Now suppose that v ≤Γ w and v and w are non-adjacent.
NA
Suppose v is contained in ANA
≥u for some vertex u. Then u = w then w ∈ A≥u also.
Otherwise, as v ≤ w, it follows that u ≤ w, also. If w is adjacent to u, then w
is adjacent to v as lk(u) ⊂ st(v). This is a contradiction, so w also dominates u
NA
non-adjacently and hence w ∈ ANA
≥u . Hence every element of G≥ containing v also
0
NA
contains w, and the transvection ρw
v is contained in Out (AΓ ; G≥ ).
NA
NA
Now suppose that x is a vertex and A≥v is an element of G≥
that does not
NA
contain x. We shall show that A≥v intersects at most one component of Γ − st(x),
x
NA
so is preserved by every partial conjugation πK
. This implies that Out0 (AΓ ; G≥
)
contains all partial conjugations and will complete the proof. There are two cases.
If x does not dominate v then there is u ∈ lk(v) which is in Γ − st(x). As u
is adjacent to every element of ANA
≥v , this group intersects only the component of
Γ − st(x) containing u. Otherwise, x dominates v adjacently. As x ∈ lk(v), every
vertex in ANA
≥v is adjacent to x and the group is contained in Ast (x). In particular,
x
every partial conjugation πK
acts trivially on ANA

≥v .

6.2. Illustrative examples.
6.2.1. Excluded transvections and partial conjugations.
Example 6.2. For the graph given in Figure 3, the subgraph A∆ generated by
v, w, x, y, and z is invariant under Out0 (AΓ ). This is because it is the star of a
maximal equivalence class of vertices, and Charney–Vogtmann [11] showed these
are invariant. The peripheral subgroups P∆ in this case are {x}, {y}, and {x, y}.
Hence the image of the restriction map R∆ is
Out0 (A∆ ; P∆ ) = Out0 (A∆ ; {hxi, hyi, hx, yi}).
The graph ∆ is isomorphic to F4 ⊕ Z, and this relative automorphism group contains all the inversions in Out0 (A∆ ), but a proper subset of the extended partial
conjugations and transvections.

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

33

Figure 4. An example illustrating the necessity of taking subgroups of groups in H.
For example, the group Out0 (A∆ ) contains the partial conjugations πxv and πyv .
These are not in the relative automorphism group as they do not preserve hx, yi.
However the product πxv πyv is an extended partial conjugation in Out0 (A∆ ; P∆ ).
Likewise, we can see that Out0 (A∆ ) contains the transvection ρvx , but Out0 (AΓ )
and Out0 (A∆ ; P∆ ) do not. Certainly v ≥∆ x, but v 6≥Γ x, and v 6≥P∆ x. This last
point is because x ∈ hxi and hxi ∈ P∆ , but v ∈
/ hxi.
6.2.2. Subgroups of groups in H and amalgamated restriction maps. There is a
temptation to economize by amalgamating several restriction maps into a single
map. However, the images of amalgamated restriction maps can be difficult to
describe. This is related to the phenomenon of including groups A∆−{v} in G when
A∆ ∈ H, as in Proposition 4.5.
Example 6.3. Let Γ be the graph in Figure 4, with ∆ and Λ the indicated subgraphs. We set Ξ = ∆ ∩ Λ, and set G = {A∆ , AΛ } and set H = {AΞ }. The group
Out0 (AΓ ; G, Ht ) has an amalgamated restriction homomorphism
t
t
R : Out0 (AΓ ; G, Ht ) → Out0 (A∆ ; G∆ ∪ P∆ , H∆
) ⊕ Out0 (AΛ ; GΛ ∪ PΛ , HΛ
).

The restriction maps to each factor are surjective, however, R is not surjective. For
v
v
], [πxv ])
. We can see that ([πw
example, consider the partial conjugations πxv and πw
v
v
v
is in the image of R, since R([πK ]) = ([πw ], [πx ]), where K is the subgraph on
t
{w, x}. In particular, [πxv ] is in Out0 (AΛ ; GΛ ∪ PΛ , HΛ
). However, (1, [πxv ]) is not in
the image of R: if φ were an automorphism mapping to this pair, the requirements
that φ(w) commute with φ(x), φ(y) commute with φ(z), v ∈
/ crsupp(φ(wy)), and
v ∈ crsupp(φ(xz)) are inconsistent.
To see what goes wrong, consider applying the restriction maps R∆ and RΛ
serially. We have
t
R∆ : Out0 (AΓ ; G, Ht ) → Out0 (A∆ ; G∆ ∪ P∆ , H∆
);

it is surjective and its kernel is Out0 (AΓ ; G, {AΞ , A∆ }t ). Now, to correctly compute
the image of RΛ on this kernel, we must add A∆−{v} , A∆−{x} , and A∆−{z} to G.
Let G 0 denote this expanded version of G. Then we have a surjective map
t
RΛ : Out0 (AΓ ; G, {AΞ , A∆ }t ) → Out0 (AΛ ; GΛ0 ∪ PΛ0 , HΛ
),

where PΛ0 is computed using G 0 . Then hx, zi is in PΛ0 , since this is hN(G 0 )v ({w, y}) ∩
Λi, and {w, y} is (G 0 )v -connected since A∆−{v} ∈ G 0 . Then [πxv ] is not in the image
of RΛ , since it does not act trivially on hx, zi. Notice that [πxv ] being in the image
of RΛ on the kernel of R∆ is the same as (1, [πxv ]) being in the image of R. This
explains why (1, [πxv ]) is not in the image of R.

34

MATTHEW B. DAY AND RICHARD D. WADE

6.2.3. Absolute automorphism groups leading to relative ones. For any pair (Γ, G),
we can find an extension Λ of Γ where Γ is invariant in Λ and
RΓ : Out0 (AΛ ) → Out0 (AΓ ; G)
b of Γ with
is surjective. In fact, we can take this Λ to be the relative cone graph Γ
respect to G, as in the proof of Proposition 3.5. By taking kernels under further
restriction maps, we can get the group Out0 (AΓ ; G, Ht ) for any H ⊂ G we please.
This means that for every triple (Γ, G, H), there is an absolute automorphism group
Out0 (AΛ ), where Out0 (AΓ ; G, Ht ) arises in the study of Out0 (AΛ ) using restriction
maps. In particular, this means that all of the base cases in the proof of Theorem C
actually occur.
6.3. Computations of virtual cohomological dimension. Recall that the cohomological dimension cd(G) of G is the supremum of degrees in which G has nontrivial group cohomology, over all coefficient modules. The virtual cohomological
dimension of G, denoted vcd(G), is the cohomological dimension of any torsion-free
finite index subgroup of G.
We review a few facts about these dimensions.
• If G has a classifying space of dimension n, then cd(G) ≤ n.
• Suppose we have an exact sequence
1 → H → G → Q → 1.
Then cd(G) ≤ cd(H) + cd(Q).
• If H ≤ G, then cd(H) ≤ cd(G).
• If N is finitely-generated nilpotent, then vcd(N ) is equal to the sum of the
Q-ranks of the subquotient factors in the lower central series of N .
These can be found in standard references, such as Brown [4]. We also need the
following theorem, which is closely related to Theorem 5.1.
Theorem 6.4 (Geoghegan [19], Theorem 7.3.3). Suppose a group G acts cocompactly by rigid homeomorphisms on a contractible CW complex X such the stabilizer
of each i-cell has cohomological dimension less than or equal to di . Then the cohomological dimension of G is less than or equal to maxi (i + di ).
The exact sequence from Theorem B can be used to prove upper bounds on the
vcd(Out(AΓ )). Technically, we are bounding cohomological dimension of Out[l] (AΓ ),
and using the exact sequence from Theorem 4.8.
On the other hand, these exact sequences give us hints about where to look
for generators for nilpotent subgroups of Out(AΓ ) that we can use to find lower
bounds for vcd(Out(AΓ )). We give computations of vcd for two families of groups.
For the first, we verify a previously-known upper bound by different methods. For
the second, we find a new upper bound. In both, we find lower bounds by building
nilpotent subgroups.
We hope that these techniques can be generalized to give algorithms for computing vcd of Out(AΓ ) for general Γ.
6.3.1. The string of diamonds. Let Ad be the right-angled Artin group given by a
string of d diamonds, studied in Section 5.3 of Charney–Stambaugh–Vogtmann [9]
and depicted in Figure 5. Then Out(Ad ) is an untwisted automorphism group. It
is shown in [9] that the dimension of the spine of the associated Outer space has
dimension 4d − 1, which gives a bound for vcd(Out(Ad )).

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

c0

c2

c1
b1

b2

ad

a3

a2

a1

35

cd−1

c3

cd

bd

b3

Figure 5. The string of d diamonds, with vertex labels.
We verify their upper bound using our exact sequence, and use it to find a lower
bound. For convenience, we use πyx to denote the partial conjugation by x on the
component of Γ − st(x) containing y.
Proposition 6.5. When d = 1 we have
vcd(Out(A1 )) = vcd(Out(A1 ; {hc1 i})) = vcd(Out(A1 ; {hc1 i}t )) = 2, and
vcd(Out(A1 ; {hc0 i}, {hc1 i}t )) = 1.
and for d ≥ 2 we have
vcd(Out(Ad )) = 4d − 1
vcd(Out(Ad ; {hcd i}t )) = 4d − 2.
Proof. First we prove the upper bound inductively. If d = 1, Out(A1 ) is Out(F2 ⊕
F2 ), which has a finite index subgroup isomorphic to Out(F2 ) ⊕ Out(F2 ). The
groups Out(A1 ; {hc1 i}) and Out(A1 ; {hc1 i}t ) have a finite index subgroup isomorphic to Out(F2 ) ⊕ Z, where the cyclic factor is generated by ρcc10 . The group
Out(A1 ; {hc0 i}, {hc1 i}t ) is virtually Out(F2 ). As Out(F2 ) is virtually free, this
gives the correct upper bound for the vcd in all subcases. Abelian subgroups giving
the lower bounds are easy to find in the case d = 1.
Now we consider general d. We consider Ad−1 as a special subgroup of Ad in the
obvious way. Let B be the special subgroup hcd−1 , ad , bd , cd i of Ad ; then B ∼
= A1 .
By Proposition 2.3, both Ad−1 and B are invariant special subgroups in Out0 (Ad ).
By Theorem B and Proposition 4.5, we have exact sequences
1 → Out0 (Ad ; {B}t ) → Out0 (Ad ) → Out0 (B; {hcd−1 i}) → 1, and
1 → Out0 (Ad ; {B, Ad−1 }t ) → Out0 (Ad ; {B}t ) → Out0 (Ad−1 ; {hcd−1 i}t ) → 1.
a

b

c

The inner kernel is generated by the elements πbadd , πabdd , πcdd−1 , πcdd−1 , and πc0d−1 , using
Theorem A. This is isomorphic to F2 ⊕F2 ⊕Z, so is 3-dimensional. This isomorphism
is a little tricky to see, but it can be shown using the restriction map to Ast(cd−1 ) and
the projection map to Alk(cd−1 ) . Inductively, vcd(Out0 (Ad−1 ; {hcd−1 i}t )) = 4d − 6
and vcd(Out0 (B; {hcd−1 i})) = 2. The two exact sequences give us an upper bound
of 4d − 1 = 4d − 6 + 3 + 2 for vcd(Out(Ad )).
The argument for Out(Ad ; {hcd i}t ) is quite similar. We get the same exact
sequences, except that now we demand that all groups act trivially on hcd i. We have
vcd(Out0 (B; {hcd−1 i}, {hcd i}t )) = 1, and our upper bound is 4d − 2 = 4d − 6 + 3 + 1.
Having shown the upper bound, we use the groups in our exact sequences as
places to look for generators for an abelian subgroup that will give use a lower
bound for the dimension. In the inner kernel above, we pick three generators
a
c
giving us a copy of Z3 : πbadd , πcdd−1 , and πc0d−1 . From Out0 (B; {hcd−1 i}), we lift two

36

MATTHEW B. DAY AND RICHARD D. WADE
c

generators to Out0 (Ad ): ρabdd and ρcd−1
. We recursively select similar generators
d
from Out0 (Ad−1 ; {hcd−1 i}t ) and lift them to Out0 (Ad ). To summarize, we have a
subgroup G generated by:
• ρabii for 1 ≤ i ≤ d.
• πbaii for 1 ≤ i ≤ d.
• πcadi for 1 ≤ i ≤ d, i 6= 1 and i 6= d.
• πcc0i for 1 ≤ i ≤ d − 1.
c
• ρcc10 and ρcd−1
.
d
One can show that all of these elements commute in Out(Ad ). This is because
either the supports of the automorphisms are disjoint, or a partial conjugation is
x
x
involved and one can use the trick that πK
= (πΓ−K
)−1 in Out(Ad ) to reduce to
the case where the supports are disjoint. Since G is an abelian group, it makes
sense to ask whether the generators are linearly independent. In fact, these generators are linearly independent, as we now explain. One sees that the image of the
abelian group G in GL(n, Z) under the action on the abelianization is free abelian
of rank d + 2. Furthermore, in the kernel IAΓ , the fact that the remaining 3d − 3
partial conjugations are linearly independent can be seen using the first Johnson
homomorphism on IAΓ (see Section 4 of [36]). So G is isomorphic to Z4d−1 , proving
the lower bound.
For the group Out(Ad ; {hcd i}t ), we use the subgroup generated by the same
c
generators as G, except that we leave out ρcd−1
. This gives the correct lower
d
bound.

6.3.2. Graphs whose vertex class graph is a 4-path. Let p, q, r, s be positive integers
and let Γ be the graph whose vertex class graph Γ is the four-vertex path with
coloring (p, 1), (q, 0), (r, 0), and (s, 1). (If p = 1 or s = 1, replace the corresponding
label with (1, 0).) Concretely, Γ is a graph with four equivalence classes; call them
[w], [x], [y], and [z]. We label these so that |[w]| = p, |[x]| = q, |[y]| = r, and
|[z]| = s. The classes [w] and [z] generate free groups, and the classes [x] and [y]
are complete subgraphs. All possible edges appear between [w] and [x], between
[x] and [y], and between [y] and [z], and there are no other edges.
If q or r is greater than 1, then Γ contains triangles. This AΓ does not decompose
as a free or direct product. This Out(AΓ ) contains both adjacent and nonadjacent
transvections. Taken together, this excludes most previous techniques for bounding
the dimension of Out(AΓ ).
Proposition 6.6. Let Γ be the graph on p + q + r + s vertices described above.
Then
q(q − 1) r(r − 1)
vcd(Out(AΓ )) =
+
+ rs + pq + q(2s − 1) + r(2p − 1).
2
2
Proof. The upper bound comes from six applications of exact sequences. We summarize this in Figure 6. Each restriction map restricts to the star of a maximal
vertex class or a maximal vertex class itself. These are invariant by Proposition 2.3,
so these maps are well defined. Once we have forced central vertices to act trivially,
we project to automorphisms of the graph where these central vertices have been
deleted. We inspect leaves of the tree in the figure; these are the final kernels and
images that we can take apart no further, and adding up bounds for the vcd of each
leaf will give a bound for the group. The unlabeled arrows on the diagram are the
kernels of the adjacent restriction or projection maps on the same level.

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

37

Figure 6. The four restriction maps and two projection maps
in dismantling Out0 (AΓ ), when Γ is the initial graph pictured.
Dashed ovals represent groups in the peripheral structure that must
be left invariant, and solid ovals represent those that are acted on
trivially.
First we consider the projection maps. The projection kernels are generated by
transvections with central acting letters. These are the Zpq and Zrs in the figure,
and contribute pq and rs to the dimension. Next we consider the groups Out0 (h[x]i)
and Out0 (h[y]i), which appear as images of restriction maps. These are simply
GL(q, Z) and GL(r, Z). By Borel–Serre [2] (or see Brown [4], Example VIII.9.3),
their vcds are q(q − 1)/2 and r(r − 1)/2. Next we consider the innermost kernel.
This is Out0 (AΓ ; {h[w], [x], [y]i, h[x], [y], [z]i}t ). By Theorem A, this is trivial.
Finally, we have the free products. We focus on Out0 (h[x], [z]i; {h[x]i}t ); this is
a Fouxe-Rabinovitch group. Let G = h[x], [z]i and let G = {h[x]i}. Let X (G) be the
spine of the Guirardel–Levitt outer space for G with respect to G. Each simplex
in this spine represents a minimal, simplicial action of G on a tree, with vertex
stabilizers trivial or conjugate to h[x]i. Let T be a tree representing a simplex in
X (G). The stabilizer Out(G; G t )T of T has a finite index subgroup that acts trivially
on T /G. As explained in the proof of Proposition 3.7 in Guirardel–Levitt [21],
this finite index subgroup is isomorphic to h[x]ik−1 , where k is the degree of the
vertex in T /G with local group h[x]i. If T /G is a rose (a graph with exactly
one vertex), then k = 2s and T is a 0-simplex of X (G). This gives q(2s − 1) as
i + di , where T is an i-simplex and di = vcd(Out(G; G t )T ). If T is an i-simplex of
X (G), then adding i edges to a rose means the valence of the vertex with stabilizer
h[x]i is at most k ≤ 2s − i, and vcd(Out(G; G t )T ) ≤ q(2s − i − 1). This gives
q(2s − i − 1) + i as an upper bound for i + di . In any case, q(2s − 1) is an
upper bound for i + di over all simplices of X (G), and by Theorem 6.4, we have

38

MATTHEW B. DAY AND RICHARD D. WADE

vcd(Out0 (h[x], [z]i; {h[x]i}t )) ≤ q(2s − 1). Similarly, r(2p − 1) is an upper bound
for vcd(Out0 (h[y], [w]i; {h[y]i}t )). Summing these bounds over all seven images and
kernels gives our upper bound.
For the lower bound, we totally order the vertices of Γ as v1 , . . . , vn , and form a
group G generated by the following:
ρvvij where vi , vj ∈ [x] and i < j (q(q − 1)/2 generators),
ρvvij where vi , vj ∈ [y] and i < j (r(r − 1)/2 generators),
ρvu where v ∈ [x] and u ∈ [w] (pq generators),
ρvu where v ∈ [y] and u ∈ [z] (rs generators),
ρvu where v ∈ [x] and u ∈ [z] (qs generators),
πuv where v ∈ [x] and u ∈ [z], leaving out the last u for each v (q(s − 1)
generators),
• ρvu where v ∈ [y] and u ∈ [w] (rp generators), and
• πuv where v ∈ [y] and u ∈ [w], leaving out the last u for each v (r(p − 1)
generators).

•
•
•
•
•
•

It is straightforward to check that for any two generators in this list, either they
commute or their commutator is another generator in this list. Therefore G is
nilpotent. Further, at each level of the lower central series of G, the generators
contained there are linearly independent in their corresponding subquotient. This
can be verified by inspecting the action of G on the abelianization of AΓ , and the
image of IAΓ ∩ G under the Johnson homomorphism. Therefore the total count of
generators here is vcd(G). This gives the required lower bound on vcd(Out(AΓ )).

References
[1] M. Bestvina, M. Feighn, and M. Handel. The Tits alternative for Out(Fn ). I. Dynamics of
exponentially-growing automorphisms. Ann. of Math. (2), 151(2):517–623, 2000.
[2] A. Borel and J.-P. Serre. Corners and arithmetic groups. Comment. Math. Helv., 48:436–491,
1973. Avec un appendice: Arrondissement des variétés à coins, par A. Douady et L. Hérault.
[3] C. Bregman. Automorphisms and homology of non-positively curved cube complexes.
arXiv:1609.03602, 2016.
[4] K. S. Brown. Cohomology of groups, volume 87 of Graduate Texts in Mathematics. SpringerVerlag, New York-Berlin, 1982.
[5] K.-U. Bux, R. Charney, and K. Vogtmann. Automorphisms of two-dimensional RAAGS and
partially symmetric automorphisms of free groups. Groups Geom. Dyn., 3(4):541–554, 2009.
[6] M. Carette. The automorphism group of accessible groups and the rank of Coxeter groups.
Ph.D. thesis, Université Libre de Bruxelles, 2009.
[7] R. Charney, J. Crisp, and K. Vogtmann. Automorphisms of 2-dimensional right-angled Artin
groups. Geom. Topol., 11:2227–2264, 2007.
[8] R. Charney and M. W. Davis. Finite K(π, 1)s for Artin groups. In Prospects in topology
(Princeton, NJ, 1994), volume 138 of Ann. of Math. Stud., pages 110–124. Princeton Univ.
Press, Princeton, NJ, 1995.
[9] R. Charney, N. Stambaugh, and K. Vogtmann. Outer space for untwisted automorphisms of
right-angled Artin groups. Geom. Topol., 21(2):1131–1178, 2017.
[10] R. Charney and K. Vogtmann. Finiteness properties of automorphism groups of right-angled
Artin groups. Bull. Lond. Math. Soc., 41(1):94–102, 2009.
[11] R. Charney and K. Vogtmann. Subgroups and quotients of automorphism groups of RAAGs.
In Low-dimensional and symplectic topology, volume 82 of Proc. Sympos. Pure Math., pages
9–27. Amer. Math. Soc., Providence, RI, 2011.
[12] D. J. Collins. Cohomological dimension and symmetric automorphisms of a free group. Comment. Math. Helv., 64(1):44–61, 1989.

RELATIVE AUTOMORPHISM GROUPS OF RIGHT-ANGLED ARTIN GROUPS

39

[13] M. Culler and K. Vogtmann. Moduli of graphs and automorphisms of free groups. Invent.
Math., 84(1):91–119, 1986.
[14] M. Day and A. Putman. A Birman exact sequence for Aut(Fn ). Adv. Math., 231(1):243–275,
2012.
[15] M. B. Day and R. D. Wade. Subspace arrangements, BNS invariants, and pure symmetric
outer automorphisms of right-angled Artin groups. 2015 arxiv preprint. arxiv:1508.00622. To
appear in Groups Geom. Dyn.
[16] A. J. Duncan and V. N. Remeslennikov. Automorphisms of partially commutative groups II:
Combinatorial subgroups. Internat. J. Algebra Comput., 22(7):1250074, 44, 2012.
[17] A. J. Duncan and V. N. Remeslennikov. Automorphisms of Partially Commutative Groups
III: Inversions and Transvections. arXiv:1706.09517, 2017.
[18] D. I. Fouxe-Rabinovitch. Über die Automorphismengruppen der freien Produkte. I. Rec.
Math. [Mat. Sbornik] N.S., 8 (50):265–276, 1940.
[19] R. Geoghegan. Topological methods in group theory, volume 243 of Graduate Texts in Mathematics. Springer, New York, 2008.
[20] V. Guirardel and G. Levitt. The outer space of a free product. Proc. Lond. Math. Soc. (3),
94(3):695–714, 2007.
[21] V. Guirardel and G. Levitt. McCool groups of toral relatively hyperbolic groups. Algebr.
Geom. Topol., 15(6):3485–3534, 2015.
[22] V. Guirardel and A. Sale. Vastness properties of automorphism groups of RAAGs. arXiv
preprint arXiv:1609.04854, 2016.
[23] M. Handel and L. Mosher. Subgroup decomposition in Out(Fn ): Introduction and Research
Announcement. arXiv:1302.2681, 2013.
[24] S. Hensel and D. Kielak. Nielsen realisation for untwisted automorphisms of right-angled
Artin groups. ArXiv preprint, arXiv:1410.1618, 2014.
[25] C. Horbez. The Tits alternative for the automorphism group of a free product.
arXiv:1408.0546, 2014.
[26] C. A. Jensen and N. Wahl. Automorphisms of free groups with boundaries. Algebr. Geom.
Topol., 4:543–569, 2004.
[27] D. Kielak. Outer actions of Out(Fn ) on small RAAGs. arXiv:1607.07031, 2016.
[28] N. Koban and A. Piggott. The Bieri-Neumann-Strebel invariant of the pure symmetric automorphisms of a right-angled Artin group. Illinois J. Math., 58(1):27–41, 2014.
[29] M. R. Laurence. A generating set for the automorphism group of a graph group. J. London
Math. Soc. (2), 52(2):318–334, 1995.
[30] G. Levitt. Automorphisms of hyperbolic groups and graphs of groups. Geom. Dedicata,
114:49–70, 2005.
[31] J. McCool. On basis-conjugating automorphisms of free groups. Canad. J. Math., 38(6):1525–
1529, 1986.
[32] D. McCullough and A. Miller. Symmetric automorphisms of free products. Mem. Amer.
Math. Soc., 122(582):viii+97, 1996.
[33] H. Servatius. Automorphisms of graph groups. J. Algebra, 126(1):34–60, 1989.
[34] E. Toinet. A finitely presented subgroup of the automorphism group of a right-angled Artin
group. J. Group Theory, 15(6):811–822, 2012.
[35] E. Toinet. Conjugacy p-separability of right-angled Artin groups and applications. Groups
Geom. Dyn., 7(3):751–790, 2013.
[36] R. D. Wade. Johnson homomorphisms and actions of higher-rank lattices on right-angled
Artin groups. J. Lond. Math. Soc. (2), 88(3):860–882, 2013.
[37] R. D. Wade. Folding free-group automorphisms. Q. J. Math., 65(1):291–304, 2014.

Matthew B. Day, Department of Mathematical Sciences, 309 SCEN, University of Arkansas, Fayetteville, AR 72701, U.S.A.
e-mail: matthewd@uark.edu
Richard D. Wade, Mathematical Institute, University of Oxford, Andrew
Wiles Building, Woodstock Road, Oxford, OX2 6GG, U.K.
e-mail: wade@maths.ox.ac.uk

