ON THE FIRST COHOMOLOGY OF AUTOMORPHISM
GROUPS OF GRAPH GROUPS

arXiv:1504.07449v5 [math.GR] 21 Apr 2017

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ
Abstract. We study the (virtual) indicability of the automorphism
group Aut(AΓ ) of the right-angled Artin group AΓ associated to a simplicial graph Γ. First, we identify two conditions – denoted (B1) and (B2)
– on Γ which together imply that H 1 (G, Z) = 0 for certain finite-index
subgroups G < Aut(AΓ ). On the other hand we will show that (B2) is
equivalent to the matrix group H = Im(Aut(AΓ ) → Aut(H1 (AΓ ))) <
GL(n, Z) not being virtually indicable, and also to H having Kazhdan’s
property (T). As a consequence, Aut(AΓ ) virtually surjects onto Z whenever Γ does not satisfy (B2). In addition, we give an extra property of
Γ ensuring that Aut(AΓ ) and Out(AΓ ) virtually surject onto Z. Finally, in the appendix we offer some remarks on the linearity problem
for Aut(AΓ ).

1. Introduction
Automorphism groups of right-angled Artin groups (or graph groups, or
partially commutative groups) form an interesting class of groups, as they
“interpolate” between the two extremal cases of Aut(F ), the automorphism
group of a non-abelian free group, and the general linear group GL(n, Z).
In this paper we study the (non-)triviality of the first cohomology group of
Aut(AΓ ) and certain classes of its finite-index subgroups; here, AΓ denotes
the right-angled Artin group defined by the simplicial graph Γ. Recall that
a discrete group G is said to be virtually indicable if there exists a subgroup
G0 < G of finite index with non-trivial first cohomology group; equivalently,
G0 admits a surjection onto Z. We say that a compactly generated group
G has Kazhdan’s property (T) if every unitary representation of G that has
almost invariant vectors has an invariant unit vector. Groups with Kazhdan’s
property (T) are not virtually indicable, however the converse is not true;
for instance, Aut(F3 ) has finite abelianization but does not enjoy property
(T) [20, 15, 3].
As is often the case with properties of (automorphisms of) right-angled
Artin groups, whether H 1 (Aut(AΓ ), Z) vanishes or not depends on the structure of the underlying graph Γ. Below, we will identify a number of conditions on Γ ensuring that Aut(AΓ ) has (non-)trivial first cohomology. These
conditions are phrased on the usual partial ordering of the vertex set V (Γ)
of Γ. Namely, given vertices v, w ∈ V (Γ), we say that v ≤ w if lk(v) ⊂ st(w);
see section 2 for an expanded definition. We write v ∼ w to mean v ≤ w
and w ≤ v.
1.1. Finite abelianization. We first consider a property of a graph which
guarantees that the partial ordering ≤ is “sufficiently rich”. More concretely,
1

2

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

we say that a simplicial graph Γ has property (B) if the following two conditions hold:
(B1) For all u, v ∈ V (Γ) that are not adjacent, we have u ∼ v;
(B2) For all v, w ∈ V (Γ) with v ≤ w, there exists u ∈ V (Γ) such that
u 6= v, w and v ≤ u ≤ w.
We will prove that if Γ has property (B) then a natural class of finiteindex subgroups of Aut(AΓ ) have finite abelianization. Before we state our
first result, recall that the Torelli group IAΓ is the kernel of the natural
homomorphism Aut(AΓ ) → Aut(H1 (AΓ )) = GL(n, Z) where n denotes the
number of vertices of Γ. In particular, we may see Aut(AΓ )/IAΓ as a
subgroup of GL(n, Z).
Our first result is:
Theorem 1.1. Let Γ be a simplicial graph with property (B). If G <
Aut(AΓ ) is a finite-index subgroup containing IAΓ , then H 1 (G, Z) = 0.
Remark 1.2. Denote by Fk the free group on k letters. As we will see in
Lemma 3.1 below, Γ has property (B) if and only if AΓ ∼
= Fn1 ×. . .×Fnk ×Za ,
where n1 , . . . , nk > 2 and a 6= 2. Observe, however, that if w is a vertex
corresponding to the abelian factor then for any other vertex v there is a
transvection tvw ∈ Aut(AΓ ) mapping v 7→ vw and fixing the rest of the
generators. In particular, Aut(AΓ ) does not keep the factors invariant in
general; this serves to highlight the (well-known) fact that the automorphism
group of such a direct product is a lot more complicated than the product
of the automorphism groups of the factors.
In view of the remark above, one sees that a number of particular cases
of Theorem 1.1 were previously known. Indeed, if Aut(AΓ ) = Aut(Fn ) and
n ≥ 3, then our main result appears as Theorem 4.1 of [3]. Moreover,
Satoh [23] has described the (finite) abelianization of the m-Torelli subgroup
IA(m) < Aut(Fn ), also for n ≥ 3; see section 2 for definitions. We stress,
however, that deciding whether every finite-index subgroup of Aut(Fn ) has
finite abelianization – or, more generally, Kazhdan’s property (T), see below
– for n ≥ 4 remains a challenging open problem. The answer is known to
be negative for n = 3 (see [20, 15, 3]), and for n = 2 since Aut(F2 ) surjects
onto a free group.
On the other end of the spectrum, if Γ is a complete graph on n ≥ 3
vertices – in which case it also satisfies property (B) – then every finiteindex subgroup of Aut(AΓ ) = GL(n, Z) has finite abelianization, for instance
because GL(n, Z) has Kazhdan’s property (T) [16].
1.2. Property (T). In the opposite direction to Theorem 1.1, we will show
that the failure of property (B2) has strong consequences for the matrix
group Aut(AΓ )/IAΓ < GL(n, Z), with n the number of vertices of Γ, which
will in particular imply that an explicit finite-index subgroup Aut(AΓ ) surjects onto Z.
Following the notation from [8] we denote by SAut0 (AΓ ) the finite-index
subgroup of Aut(AΓ ) generated by transvections and partial conjugations;
see section 2 for definitions. By Corollary 4.10 of [25], IAΓ < SAut0 (AΓ ).
We will prove:

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

3

Theorem 1.3. Let Γ be a simplicial graph. Then the following conditions
are equivalent:
i) Γ has property (B2),
ii) Aut(AΓ )/IAΓ has Kazhdan’s property (T),
iii) Aut(AΓ )/IAΓ is not virtually indicable,
iv) H 1 (SAut0 (AΓ )/IAΓ , Z) = 0.
Note that, in particular, Theorem 1.3 gives a characterization of property
(T) for matrix subgroups Aut(AΓ )/IAΓ < GL(n, Z) in terms of their virtual
indicability. Observe also that, since property (T) is inherited by quotients,
Theorem 1.3 immediately yields:
Corollary 1.4. Let Γ be a simplicial graph which does not satisfy property
(B2). Then SAut0 (AΓ ) surjects onto Z; consequently, SAut0 (AΓ ) does not
have Kazhdan’s property (T).
In the light of this corollary, a natural problem is:
Problem 1.5. Suppose that the graph Γ satisfies (B2) but not (B1). Does
Aut(AΓ ) have Kazhdan’s property (T)? Is Aut(AΓ ) virtually indicable?
We note that an affirmative answer to the second question in Problem 1.5
implies a negative answer to the first.
1.3. Virtual indicability. As it turns out, the answer to the second question in Problem 1.5 is affirmative for certain classes of graphs. This will
come as a consequence of our next result, which asserts that the existence
of a vertex w ∈ V (Γ) that is minimal with respect to the partial order ≤,
and such that Γ − st(w) is disconnected, also implies the virtual indicability
of Aut(AΓ ). More concretely, let Aut1 (AΓ ) be the finite-index subgroup of
Aut(AΓ ) generated by transvections, partial conjugations, and the so called
thin inversions; see again section 2 for definitions. We will show:
Theorem 1.6. Let Γ be a simplicial graph. Suppose there exists a vertex
w ∈ V (Γ) such that there is no v ∈ V (Γ) with v ≤ w. Then Aut1 (AΓ )
surjects onto Z. If moreover Γ − st(w) is not connected, then also Out1 (AΓ )
surjects onto Z.
Here, Out1 (AΓ ) is the quotient of Aut1 (AΓ ) by the normal subgroup of
inner automorphisms which has finite index in the group Out(AΓ ) of outer
automorphisms of AΓ . In a previous version of this paper (which includes
the published version), a result implying Theorem 1.6 was stated with the
group Aut0 (AΓ ) generated by transvections, partial conjugations, and all
inversions instead of Aut1 (AΓ ). Unfortunately, there was a gap in the proof;
nevertheless, the same argument works after passing down to the group
Aut1 (AΓ ); see Section 5.
As an immediate consequence, we obtain:
Corollary 1.7. Let Γ be a simplicial graph as in Theorem 1.6. Then
Aut(AΓ ) and Out(AΓ ) do not have Kazhdan’s property (T).
As mentioned above, Theorem 1.6 provides examples of graphs for which
Question 1.5 has a positive answer:

4

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

Example 1.8. Consider the graph Γ which is the disjoint union of a single
vertex {w}, and a complete graph Γ1 of at least three vertices. Then Γ
satisfies (B2), but not (B1) since w is not equivalent to any other vertex. As
w is a minimal element for ≤, it follows from Theorem 1.6 that Aut1 (AΓ )
surjects onto Z. If we add a second complete graph Γ2 having at least three
vertices too, then Theorem 1.6 implies that also Out1 (AΓ ) surjects onto Z.
Finally we remark that, in the particular case when Γ is a tree, it is
possible to give a explicit characterization of the hypotheses of Theorem
1.6; see Proposition 5.4 below.
1.3.1. Further applications. Theorems 1.3 and 1.6 have a number of other
immediate consequences which highlight that the behaviour of Aut(AΓ ) for
an arbitrary Γ can be quite different to that of the two extremal cases of
Aut(Fn ) and GL(n, Z), as we now discuss. For the sake of concreteness, Γ
denotes a finite simplicial graph that does not satisfy property (B2); as we
will see in the proof of Theorem 1.3, this yields the existence of a transvection
that maps non-trivially under the homomorphism SAut0 (AΓ ) → Z.
A. Actions of Aut(AΓ ) on non-positively curved spaces. Bridson has proved
that, whenever n ≥ 4, if any finite index subgroup of G < Aut(Fn ) acts on
a complete non-positively curved space (i.e. a complete CAT(0) space) by
(semisimple) isometries then every power of a transvection that lies in G
fixes a point; see Theorem 1.1 of [5]. However, in the light of Theorem 1.3
the analogous statement does not hold for arbitrary Aut(AΓ ). Indeed, using
the existence of a transvection t ∈ SAut0 (AΓ ) that maps nontrivially to Z,
we can construct (say) a non-trivial homomorphism
SAut0 (AΓ ) → Isom+ (H2 ) = SL(2, R)
such that the image of t is a hyperbolic isometry.
B. Homomorphisms from Aut(AΓ ) into mapping class groups. Recall that
the mapping class group Mod(S) of a topological surface S is the group
of homeomorphisms of S, modulo isotopy. As a consequence of the above
result of Bridson, one deduces that any homomorphism from (a finite index
subgroup of) Aut(Fn ) to Mod(S) must send (powers of) transvections to
roots of Dehn multitwists; see Corollary 1.2 of [5]. The analogous statement
for SL(n, Z) is due to Farb-Masur [12].
Again using the existence of a transvection t ∈ SAut0 (AΓ ) that maps
nontrivially to Z, we deduce that there exist homomorphisms SAut0 (AΓ ) →
Mod(S) for which the image of t is a pseudo-Anosov (in particular, not a
root of a multitwist).
C. Representations of Aut(AΓ ) into SL(m, R). Again in the same paper
(see Corollary 8.3 of [5]), Bridson deduces that the image of a (power of
a) transvection under a representation from (a finite index subgroup of)
Aut(Fn ) into SL(m, R), where n ≥ 6 and m is arbitrary, is unipotent: all
its eigenvalues are roots of unity. For SL(n, Z), the analogous statement
follows from Margulis’ Superrigidity Theorem [19]. However, using the same
argument as in (A), we see that this is not true for arbitrary Aut(AΓ ).

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

5

1.4. Linearity problem for Aut(AΓ ). In a different direction, during our
work we noticed that if the graph Γ satisfies a certain (drastic) weakening
of property (B1) above then Aut(AΓ ) is not linear; this refines a question of
Charney (see Problem 14 of [6]). More concretely, we say that a simplicial
graph Γ satisfies property (NL) if there exist pairwise non-adjacent vertices
v1 , v2 , v3 ∈ V (Γ) such that v3 ≤ vi , for i = 1, 2. Using an argument of
Formanek-Procesi [14], we will observe:
Proposition 1.9. Let Γ be a simplicial graph with property (NL). Then
Aut(AΓ ) is not linear.
The plan of the paper is as follows. In section 2 we will give all the
necessary definitions and results that will be used throughout the paper.
Sections 2, 3, and 4 are devoted to the proofs of Theorem 1.1, 1.3, and 1.6,
respectively. Finally, in the appendix we will discuss the linearity problem
for automorphism groups of right-angled Artin groups.
Acknowledgements. The first author was supported by a 2014 Campus
Iberus grant, and thanks the Universidad de Zaragoza for its hospitality. The
second author was partially supported by Gobierno de Aragón, European
Regional Development Funds and MTM2010-19938-C03-03. The authors
would like to thank Matt Day, Andrei Jaikin, Juan Souto and Ric Wade for
conversations. We are grateful to Dawid Kielak for suggesting us to include
the application to Property (T), and to Neil Fullarton for pointing out a
mistake in an earlier version of this paper. Finally, we thank the referee for
useful comments and suggestions.
2. Definitions
2.1. Graphs. Let Γ be a simplicial graph, and denote its vertex set by
V (Γ). Given v ∈ V (Γ), the link lk(v) of v is the full subgraph spanned by
those vertices of Γ that are adjacent to v. The star st(v) of v is defined as
the subgraph spanned by the vertices in lk(v) ∪ {v}. As mentioned in the
introduction, there is a natural partial ordering on V (Γ) given by
v ≤ w ⇐⇒ lk(v) ⊂ st(w),
for any two vertices v, w ∈ V (Γ). We will write v ∼ w to mean v ≤ w and
w ≤ v and [v] for the equivalence class of v with respect to the relation ∼.
2.2. Right-angled Artin groups. The right-angled Artin group defined
by Γ is the group given by the presentation
AΓ = hv ∈ V (Γ) | [u, v] = 1 ⇐⇒ u and v are connected by an edgei.
Observe that if Γ consists of n isolated vertices, then AΓ = Fn , the free
group on n letters. On the other end of the spectrum, if Γ is a complete
graph on n vertices then AΓ = Zn .
2.3. Automorphisms of right-angled Artin groups. Let AΓ be the
right-angled Artin group defined by the finite simplicial graph Γ, and Aut(AΓ )
its automorphism group. Laurence [17] and Servatius [24] proved that
Aut(AΓ ) is generated by the following types of automorphisms:

6

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

• Graphic automorphisms: Every isomorphism Γ → Γ gives rise to an
automorphism of AΓ , called a graphic automorphism.
• Inversions: Given v ∈ V (Γ), the inversion ιv is the automorphism
of AΓ defined by
(
ιv (v) = v −1
ιv (z) = z, z 6= v.
• Transvections: Let v, w ∈ V (Γ) with v ≤ w. The transvection tvw
is the automorphism of AΓ defined by
(
t(v) = vw
t(z) = z, z 6= v.
• Partial conjugations: Let v ∈ V (Γ) and Y a connected component
of Γ − st(v). The partial conjugation cv,Y is the automorphism of
AΓ defined by
(
cv,Y (w) = v −1 wv, w ∈ Y
cv,Y (z) = z, z ∈
/ Y.
A thin vertex v ∈ V (Γ) is a vertex such that its equivalence class [v] has
only one element. An inversion ι is thin if it fixes every thin vertex.
2.4. A finite presentation of Aut(AΓ ). A central ingredient of the proof
of Theorem 1.6 will be the finite presentation of Aut(AΓ ) computed by Day
[8], which we now describe.
Let Γ be a simplicial graph. In order to relax notation, we will blur the
difference between vertices of Γ and generators of the right-angled Artin
group AΓ . Write L = V (Γ) ∪ V (Γ)−1 ⊂ AΓ .
A type (1) Whitehead automorphism is an element α ∈ Sym(L) ⊂ Aut(AΓ ),
where Sym(L) denotes the group of permutations of L. A type (2) Whitehead automorphism is specified by a subset A ⊂ L and an element v ∈ L
with v ∈ A but v −1 ∈
/ A. Given these, we set (A, v)(v) = v and, for w 6= v,

(A, v)(w) =








w, if w ∈
/ A and w−1 ∈
/A
wv, if w ∈ A and w−1 ∈
/A


v −1 w, if w ∈
/ A and w−1 ∈ A



 −1
v wv, if w ∈ A and w−1 ∈ A
Observe that the Laurence-Servatius generators described in the previous subsection are Whitehead automorphisms. Indeed, if v ∈ V (Γ) and Y
is a connected component of Γ − st(v), then the partial conjugation that
conjugates all the elements in Y by v is
cv,Y = (Y ∪ Y −1 ∪ {v}, v).
Similarly, if v ≤ w the transvection that maps v 7→ vw is
tvw = ({v, w}, w).
In [8], Day proved:

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

7

Theorem 2.1 ([8]). Aut(AΓ ) is the group generated by the set of all Whitehead automorphisms, subject to the following relations:
(R1) (A, v)−1 = (A − v ∪ v −1 , v −1 ),
(R2) (A, v)(B, v) = (A ∪ B, v) whenever A ∩ B = {v},
(R3) (B, w)(A, v)(B, w)−1 = (A, v), whenever {v, v −1 }∩B = ∅, {w, w−1 }∩
A = ∅, and at least one of A ∩ B = ∅ or w ∈ lk(v) holds,
(R4) (B, w)(A, v)(B, w)−1 = (A, v)(B−w∪v, v), whenever {v, v −1 }∩B =
∅, w ∈
/ A, w−1 ∈ A, and at least one of A ∩ B = ∅ or w ∈ lk(v)
holds,
(R5) (A−v∪v −1 , w)(A, v) = (A−w∪w−1 , v)σv,w , where w ∈ A, w−1 ∈
/ A,
w 6= v but w ∼ v, and where σv,w is the type (1) automorphism such
that σv,w (v) = w−1 , σv,w (w) = v, fixing the rest of generators.
(R6) σ(A, v)σ −1 = (σ(A), σ(v)), for every σ of type (1).
(R7) All the relations among type (1) Whitehead automorphisms.
(R9) (A, v)(L−w−1 , w)(A, v)−1 = (L−w−1 , w), whenever {w, w−1 }∩A =
∅, and
(R10) (A, v)(L − w−1 , w)(A, v)−1 = (L − v −1 , v)(L − w−1 , w), whenever
w ∈ A and w−1 ∈
/ A.
Remark 2.2. In Day’s list of relations [8] there is an extra type of relator,
which Day calls (R8); however, as he mentions, this relation is redundant
and therefore we omit it from the list above.
2.5. Torelli group. Observe that H1 (AΓ , Z) = Zn , where n is the number
of vertices of Γ. Therefore we have a natural homomorphism
Aut(AΓ ) → Aut(H1 (AΓ , Z)) = GL(n, Z).
The kernel of this homomorphism, which we will denote by IAΓ , is called the
Torelli subgroup of Aut(AΓ ). Observe that every partial conjugation is an
element of IAΓ . We now describe another type of element of IAΓ that will
be needed in the sequel. Let u, v, w be vertices with lk(v) ⊂ st(u) ∩ st(w).
Consider the automorphism τu,v,w of AΓ given by
(
τu,v,w (v) = v[u, w]
τu,v,w (z) = z, z 6= v.
Every automorphism of the above form will be referred to as a τ -map. Day
proved that partial conjugations and τ -maps suffice to generate IAΓ ; see
Theorem B of [9], or Theorem 4.7 of [25] for an alternate proof.
Theorem 2.3 ([9]). The Torelli group IAΓ is finitely generated by the set
of partial conjugations and τ -maps.
3. Proof of Theorem 1.1
In this section we will give a proof of Theorem 1.1. Recall from the
introduction that a simplicial graph Γ has property (B) if the following two
conditions hold:
(B1) For all u, v ∈ V (Γ) with u ∈
/ lk(v), we have u ∼ v;
(B2) For all v, w ∈ V (Γ) with v ≤ w, there exists u ∈ V (Γ) such that
u 6= v, w and v ≤ u ≤ w.

8

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

As mentioned in the introduction, the fact that the graph Γ has property
(B) turns out to be the graph-theoretic interpretation of the fact that AΓ
splits as a direct product of free groups of rank different from 2. More
concretely, we have:
Lemma 3.1. Let Γ be a finite simplicial graph, and AΓ the associated rightangled Artin group. The following two statements are equivalent:
(i) Γ satisfies property (B).
(ii) AΓ ∼
= Fn1 × . . . × Fnk × Za , where n1 , . . . , nk > 2 and a 6= 2.
If these statements hold, the numbers n1 , . . . , nk , and a are the sizes of the
equivalence classes [v].
Proof. The implication (ii) ⇒ (i) follows from the Isomorphism Theorem of
Droms [10] and Laurence [17]: two right-angled Artin groups are isomorphic
if and only if the defining graphs are isomorphic.
Suppose now that Γ satisfies property (B). Given a vertex v ∈ V (Γ),
denote by Γ[v] the full subgraph of Γ spanned by the elements of [v].
We claim that, for every v ∈ V (Γ), the graph Γ[v] is either complete or
totally disconnected. To see this, suppose that Γ[v] has two vertices w1 , w2
with w2 ∈ lk(w1 ), and note that w1 ∈ lk(w2 ) also. Consider a third vertex
u 6= w1 , w2 in Γ[v] . Since u ∼ w1 and w2 ∈ lk(w1 ) then w2 ∈ st(u). Similarly,
w1 ∈ st(u), and hence the claim follows.
Second, observe that property (B1) implies that if [v] 6= [w] then every
vertex of Γ[v] is adjacent to every vertex of Γ[w] ; indeed, if there exist v 0 ∈ Γ[v]
and w0 ∈ Γ[w] with v 0 ∈
/ lk(w0 ) then we would have v 0 ∼ w0 , by (B1), which
contradicts the assumption [v] 6= [w]. In particular, this also implies that
there is at most one equivalence class [v] for which Γ[v] is a complete graph.
Now, the first claim above implies that AΓ[v] is either a free abelian group
(in the case when Γ[v] is a complete graph) or a non-abelian free group (in
the case when Γ[v] is totally disconnected). In turn, the second claim gives
that if [v] 6= [w] then every element of AΓ[v] commutes with every element
of AΓ[w] . In other words, we have deduced that
(1)

AΓ ∼
= Fn1 × . . . × Fnk × Za ,

where n1 , . . . , nk are the cardinalities of equivalence classes whose elements
span a totally disconnected graph, while a is the cardinality of the equivalence class whose elements span a complete graph.
Finally, observe that ni 6= 2 for all i in virtue of (B2) above. Indeed, if
Fn1 = hv, wi, we claim the vertex u given in (B2) cannot exist. Otherwise, u
would belong to a different factor of AΓ in the direct product decomposition
given in equation (1) above, which implies that v ∈ lk(u). However, v ∈
/
st(w), which contradicts that u ≤ w. Similarly, we claim that a 6= 2 also. To
see this, suppose that a = 2 and denote the abelian factor by hvi×hwi. Then
the vertex u given by (B2) cannot exist, for if v ≤ u then lk(v) ⊆ st(u), which
implies u = w as lk(v) = Γ − v. This finishes the proof of the lemma.

The key ingredient in the proof of Theorem 1.1 will be to understand the
abelianization of a certain finite-index subgroup of the m-Torelli subgroup

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

9

IAΓ (m) of Aut(AΓ ), which is defined as the kernel of the homomorphism
Aut(AΓ ) → GL(n, Z) → GL(n, Zm ),
where the second arrow is given by reducing matrix entries modulo m and
n is the number of vertices of Γ.
We denote
SIAΓ (m) := SAut0 (AΓ ) ∩ IAΓ (m).
Observe that this subgroup is the kernel of the homomorphism
SAut0 (AΓ ) → SL(n, Z) → SL(n, Zm )
and that SIAΓ (m) has finite index in Aut(AΓ ) for every m ≥ 0. Now,
for n ≥ 3 the kernel of the homomorphism SL(n, Z) → SL(n, Zm ) is normally generated by m-powers of transvections in SL(n, Z) [1]; recall that a
transvection in SL(n, Z) is a matrix of the form Tij := In + Eij for i 6= j,
where In is the identity matrix and Eij is the matrix that has a 1 in the
(i, j) position and zeroes elsewhere.
We need to analyze the image H of SAut0 (AΓ ) under the natural homomorphism Aut(AΓ ) → GL(n, Z), as done in [25]. Consider the partition of V (Γ) given by the equivalence relation ∼, and order the classes
{[v1 ], . . . , [vk ]} in ascending order, i.e. so that vj ≤ vi implies j ≤ i.
Then there is a transvection tvw ∈ SAut0 (AΓ ) if and only if v ∈ [vj ] and
w ∈ [vi ] with vj ≤ vi . As H is generated by the images of the transvections in SAut0 (AΓ ), we see that any matrix in H is block lower triangular,
with the sizes of the diagonal blocks corresponding to the cardinality of
each of the clases. The transvections in H are precisely those of the form
Tri cj = In + Eri cj for some (i, j) such that vj ≤ vi and with ri corresponding
to the block [vi ], cj corresponding to the block [vj ]. Moreover, for any matrix M ∈ H and any 1 ≤ i, j ≤ k, if the (i, j)-block of M is not zero then we
must have vj ≤ vi . The fact that the product of two matrices of this form is
again a matrix of this form follows from the transitivity of the partial order
≤ on V (Γ).
Using the previous facts we are going to prove the following technical
lemma, which will be used in the proof of Theorem 1.1:
Lemma 3.2. Assume that there is no class [v] with respect to ∼ that has
exactly 2 elements. Then for all m ≥ 0, SIAΓ (m) is normally generated by
IAΓ and all m-th powers of transvections in Aut(AΓ ).
Proof. Let H(m) be the kernel of the map H → SL(n, Zm ) and T be the
group normally generated by the m-powers of the transvections in H. We
claim that H(m) = T , which in turn implies the desired result.
We obviously have T ⊆ H(m), so we only need to prove the reverse
inclusion. Let M be a matrix in H(m); by the above discussion M is a
block lower triangular matrix with diagonal blocks corresponding to the
classes {[v1 ], . . . , [vk ]}. Observe also that if there was some class with only
one element then the corresponding block diagonal entry of M would be a
single 1. In addition, note that all the matrices in the diagonal blocks of
M are a product of transvections in GL(ni , Z) where ni is the number of
elements in the class [vi ]; in particular such diagonal blocks are elements
of SL(ni , Z). Let M1 be the matrix in the first diagonal block of M . As

10

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

mentioned above, if [v1 ] has only one element, then M1 is a 1; otherwise,
the hypothesis implies that the size n1 of M1 is at least 3. Observe that M1
lies in the kernel of the map from GL(n1 , Z) to GL(n1 , Zm ), and therefore
M1 is a product of conjugates (in SL(n1 , Z)) of m-powers of transvections
in SL(n1 , Z).
Embed SL(n1 , Z) into SL(n, Z) via the first diagonal block. Via this
embedding, the previous expression of M1 as a product of conjugates of mpowers of transvections in SL(n1 , Z) yields a matrix N1 ∈ T such that M N1
has the first diagonal block equal to In1 . Now, we may repeat the argument
with the rest of the diagonal blocks and find matrices N2 , . . . , Nk ∈ T such
that Q = N1 . . . Nk ∈ T (and in particular lies in H(m)) and M Q has every
diagonal block equal to the identity matrix. To finish the proof, we claim
that there is some matrix P ∈ T such that P M Q is the identity. This P
should be the result of left multiplying M Q by elementary matrices in T so
that the associated row operation kills the non-diagonal entries. To see that
this is possible, note that all the non-diagonal entries of M Q are multiples
of m and that if there is some non-zero entry in the subblock (i, j) then by
the observations above over H we must have vj ≤ vi . This in turn implies
that any transvection Trmi cj = In + mEri cj lies in T and as these are precisely
the kind of transvections that we need we get the result.

As indicated above, the proof of Theorem 1.1 boils down to understanding
the abelianization of SIAΓ (m), which we describe in the next proposition.
Given a group G, we denote by G0 its commutator subgroup [G, G]. Also,
we denote by Gab the abelianization of G, i.e. Gab = G/G0 . We will show:
Proposition 3.3. Let Γ be a graph that satisfies property (B). For every
m ≥ 0, the abelianization of SIAΓ (m) is a finite m-group. In other words,
SIAΓ (m)ab is finite and the order of every element divides m.
Remark 3.4. As mentioned in the introduction, Proposition 3.3 is implied
by the work of Satoh [23] when AΓ is a free group.
The proof of Proposition 3.3 is broken down into a series of lemmas.
Throughout the remainder of the paper, given α, β ∈ Aut(AΓ ), we will
write αβ to mean the conjugate of α by β, i.e. αβ := β −1 αβ. We begin with
an easy consequence of (B1).
Lemma 3.5. Let Γ be a graph that satisfies (B1). For any v ∈ Γ such that
st(v) 6= Γ, we have Γ − st(v) is totally disconnected. In particular, there is
a partial conjugation in Aut(AΓ ) of the form cv,{u} , with u 6∈ st(v).
Proof. Let u ∈ Γ − st(v). Then (B1) implies u ∼ v, which in turn gives
lk(u) ⊆ st(v). Thus we obtain that u is an isolated vertex in Γ − st(v). 
In order to relax notation, we will write cv,u := cv,{u} . The following result
is an analog in our context of the crossed lantern relation for the mapping
class group, see [22].
Lemma 3.6. Let Γ be a graph with property (B1). Let v, w ∈ V (Γ) with
v ∈
/ lk(w) and consider c1 := cw,v . Then there exist t, c2 ∈ Aut(AΓ ) such
m −1
m
0
that cm
1 = [t , c2 ] for all m ≥ 0. In particular, c1 ∈ SIAΓ (m) for all
m ≥ 0.

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

11

Proof. As v ∈
/ lk(w), property (B1) implies that v ∼ w. In particular, the
transvection t := tvw−1 is well-defined. Next, let c2 := cv,w . We have
tc1 (v) = t(w−1 vw) = w−1 t(v)w = w−1 v,
c1 t(v) = c1 (vw−1 ) = c1 (v)w−1 = w−1 v
thus c1 = t−1 c1 t. On the other hand,
tc1 c2 (v) = tc1 (v) = w−1 v,
c2 t(v) = c2 (vw−1 ) = vv −1 w−1 v = w−1 v
and
tc1 c2 (w) = tc1 (v −1 wv) = t(w−1 v −1 www−1 vw) = v −1 wv = c2 (w) = c2 t(w),
so c1 c2 = t−1 c2 t. Therefore c1 = ct2 c−1
2 and
m−1

t
cm
1 = c1

m−2

ct1

m

m−1

t
. . . ct1 c1 = ct2 (c−1
2 )

m−1

ct2

m−2

t
(c−1
2 )

2

t t −1
. . . ct2 (c−1
2 ) c2 c2
m

m −1
= ct2 c−1
2 = [t , c2 ].

as desired.

,


Lemma 3.7. Let Γ be a graph with property (B1), and u, v, w ∈ V (Γ) with
lk(v) ⊂ st(u) ∩ st(w). Consider the τ -map τ := τu,v,w given by
(
τ (v) = v[u, w]
τ (z) = z, z 6= v.
Then τ m ∈ SIA0Γ (m)
Proof. First, observe that if u and v are connected then u ∈ lk(v) ⊂ st(w),
which implies that the map τ is the identity. Thus we may assume that u and
v are not connected. Note that the hypotheses imply that the transvection
tvw is well-defined. Consider also the partial conjugation c := cu,v . A quick
calculation shows that
−1 tvw
.
τ = c−1 t−1
vw ctvw = c c

Therefore, as both c and ctvw lie in SIAΓ (m) we deduce that
τ m SIA0Γ (m) = (c−1 ctvw )m SIA0Γ (m) = c−m (cm )tvw SIA0Γ (m)
which using Lemma 3.6 gives the desired result.



Lemma 3.8. Let Γ be a graph with property (B2). Let v, w ∈ V (Γ) with
v ≤ w and consider the transvection tvw . Then, for any integer m ≥ 0,
2

0
tm
vw ∈ SIAΓ (m)

Proof. By (B2) there exists u ∈ V (Γ) such that u 6= v, w and v ≤ u ≤ w.
There are two cases to consider, depending on whether u and v are connected
or not. Suppose first that u and v are connected, in which case u and w are
also connected since v ≤ w. Therefore, u commutes with both v and w and
so
m
−m2
[tm
vu , tuw ] = tvw ,
2

0
which implies tm
vw ∈ SIAΓ (m).

12

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

Suppose now that u and v are not connected, and consider c := cu,v It is
immediate to check that
m
−m
−m
m
[tm
(ct−m
vu , tuw ] = c
vw ) . . . (ctvw )

which, as both c and t−m
vw lie in SIAΓ (m), yields
2

2

m
0
−m m −m
0
SIA0Γ (m) = [tm
c tvw SIA0Γ (m) = t−m
vu , tuw ]SIAΓ (m) = c
vw SIAΓ (m),

as we wanted to show.



We can now prove Proposition 3.3:
Proof of Proposition 3.3. Let m ≥ 0. Consider the decomposition
AΓ = Fn1 × . . . × Fnk × Za
whose existence is guaranteed by Lemma 3.1. As obtained in the proof of
that lemma, n1 , . . . , nk and a are precisely the cardinalities of the equivalence classes with respect to the relation ∼; moreover, we have a 6= 2 and
ni 6= 2 for all i. Now, Lemma 3.2 implies then that SIAΓ (m) is normally
generated by partial conjugations, τ -maps, and m-powers of transvections
in Aut(AΓ ). By Lemmas 3.6, 3.7, and 3.8, we deduce that m-th powers of
these automorphisms lie in SIA0Γ (m). Observe that SIA0Γ (m) is normal in
SIAΓ , and so we have an infinite family of generators all whose m-th powers lie in SIA0Γ (m). But as SIAΓ (m)/SIA0Γ (m) is abelian, this means that
the order of any of its elements divides m. On the other hand SIAΓ (m)
is finitely generated, and thus so is SIAΓ (m)/SIA0Γ (m). Hence the result
follows.

Armed with the above, we are now in a position to prove Theorem 1.1:
Proof of Theorem 1.1. Let Γ be a simplicial graph with property (B), and
suppose G ≤ Aut(AΓ ) is a finite-index subgroup containing the Torelli subgroup IAΓ , which in turn implies that IA0Γ ≤ G0 . Then there is some
G1 ≤ G, normal in Aut(AΓ ) and which contains IAΓ , such that the index
[Aut(AΓ ) : G1 ] is also finite.
Let m = [Aut(AΓ ) : G1 ], and observe that for every α ∈ Aut(AΓ ) we have
αm ∈ G1 . By Lemma 3.2, SIAΓ (m) is normally generated by IAΓ and mpowers of transvections in Aut(AΓ ). As a consequence, SIAΓ (m) ≤ G1 ≤ G
and thus SIA0Γ (m) ≤ G0 also. Since SIAΓ (m) and G both have finite index
in Aut(AΓ ) and [SIAΓ (m) : SIA0Γ (m)] is finite by Proposition 3.3, we deduce
that [G : G0 ] is also finite, which implies the result.

4. Kazhdan’s property T
In this section we will prove Theorem 1.3, whose statement we now recall
for the reader’s convenience.
Theorem 1.3. Let Γ be a simplicial graph. Then the following conditions
are equivalent
i) Γ has property (B2),
ii) Aut(AΓ )/IAΓ has Kazhdan’s property (T),
iii) Aut(AΓ )/IAΓ is not virtually indicable,
iv) H 1 (SAut0 (AΓ )/IAΓ , Z) = 0.

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

13

Recall from the introduction that SAut0 (AΓ ) denotes the finite-index subgroup of Aut(AΓ ) generated by transvections and partial conjugations. By
a result of Wade (see Corollary 4.10 of [25]), the subgroup SAut0 (AΓ ) contains IAΓ . As we did before, denote by H the image of SAut0 (AΓ ) under
the natural homomorphism Aut(AΓ ) → GL(n, Z), where n is the number of
vertices of Γ.
The most involved part in the proof of Theorem 1.3 is to show that the
quotient group H has Kazhdan’s property (T) whenever the graph Γ satisfies
property (B2). We will do this using a certain inductive argument on the
number of equivalence classes of vertices of Γ with respect to the equivalence
relation ∼. To this end, we need to gain a better understanding of the
structure of the group H, and we now proceed to do so.
For the time being, suppose Γ is an arbitrary graph with n vertices.
Assume as in the previous section that the classes {[v1 ], . . . , [vk ]} are ordered
so that vj ≤ vi implies j ≤ i. Denote by ni the cardinality of the class
[vi ], and let V1 , . . . , Vk be the partition of the set {1, . . . , n} given by V1 =
{1, . . . , n1 }, V2 = {n1 + 1, . . . , n1 + n2 } and so on. Consider the directed
graph Λ with vertices labelled by the Vi and an arrow (i.e. a directed edge)
from Vj to Vi whenever vj ≤ vi ; in particular, there is an arrow from Vi to
itself. We deduce that H is generated by the set
{Tst ∈ GL(n, Z) | s ∈ Vi , t ∈ Vj and there is an arrow Vj → Vi in Λ}
We recall that the elements in H are block lower triangular matrices and
that the diagonal blocks have sizes n1 , . . . , nk .
In fact, we may work in the following slightly more general setting. Assume {V1 , . . . , Vk } is a partition of {1, . . . , n}, and let Λ be any directed
graph so that if there is an arrow Vj → Vi we have j ≤ i. We assume
also that the graph is transitive, i.e., that if there are arrows Vj → Vi and
Vi → Vl , then there is also an arrow Vj → Vl . We define HΛ as the group
generated by the set
{Tst ∈ SL(n, Z) | s ∈ Vi , t ∈ Vj and there is an arrow Vj → Vi in Λ}.
In other words, we work with groups generated by transvections that look
like those coming from a right-angled Artin group, without worrying about
whether or not this is the case – doing so will simplify the inductive argument
below. We stress that all we said before about the block structure of the
matrices in H remains true for HΛ (the transitivity assumption is needed
for this to be true).
There are two normal subgroups of HΛ that will be relevant below. Namely,
the subgroup N1 < HΛ , generated by the set
{Tst ∈ SL(n, Z) | s ∈ Vi , t ∈ V1 and there is an arrow V1 → Vi in Λ},
and the subgroup N2 < HΛ , generated by the set
{Tst ∈ SL(n, Z) | s ∈ Vk , t ∈ Vj and there is an arrow Vj → Vk in Λ}.
The block structure of the elements of HΛ implies that the groups N1 and N2
are also of the type we are considering. Indeed, N1 = HΛ1 , where Λ1 is the
graph obtained from Λ by removing all the arrows except those starting in
V1 ; analogously, N2 = HΛ2 , with Λ2 the graph obtained from Λ by removing
all the arrows except those ending in Vk .

14

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

Moreover, using the same reasoning we obtain that
HΛ /N1 ∼
= H ≤ SL(n − n1 , Z)
Λ̄1

where Λ̄1 is the graph obtained from Λ by removing the vertex V1 , and
HΛ /N2 ∼
= H ≤ SL(n − nk , Z)
Λ̄2

where Λ̄2 is the graph obtained from Λ by removing the vertex Vk .
We now prove the base case for the inductive argument that we will need
in the proof of Theorem 1.3:
Lemma 4.1. Assume that one of the following holds:
i) Λ has one arrow V1 → V1 , n1 > 2 and there are only arrows starting
at V1 .
ii) Λ has one arrow Vk → Vk , nk > 2 and there are only arrows ending
at Vk .
Then HΛ has Kazhdan’s property (T).
Proof. Assume ii) holds. Note that
HΛ = SLnk (Z) n Mnk ×m (Z)
P
where m = {nj | j 6= k, and there is an arrow Vj → Vk } and SLnk (Z)
acts on Mnk ×m (Z) by right matrix multiplication. This group has property
(T) by Proposition 1.1 of [7]. The proof for i) is analogous.

We now furnish the inductive argument that will be used in the proof of
Theorem 1.3:
Proposition 4.2. Let Λ be a graph as above. Assume that ni 6= 2 for
i = 1, . . . , k and that, whenever nj = ni = 1, if there is an arrow Vj → Vi
with Vj 6= Vi then there is some r 6= i, j and arrows Vj → Vr , Vr → Vi . Then
HΛ has Kazhdan’s property (T).
Proof. We claim first that the group HΛ is perfect, i.e. it has trivial abelianization. Let Tst , s 6= t, be any element in the generating set used to define
HΛ . By definition there are Vi and Vj with s ∈ Vi and t ∈ Vj such that
there is an arrow Vj → Vi in Λ. The claim will follow if we show that there
is always some l 6= s, t such that Tsl , Tlt ∈ HΛ , for if this were the case we
would have
0
Tst = [Tsl , Tlt ] ∈ HΛ
.
If ni ≥ 3, then we may take l ∈ Vi with l 6= s and then we have Tsl ,Tlt ∈ HΛ .
The same thing happens if nj ≥ 3. Thus assume ni = nj = 1. By hypothesis,
there is some r 6= i, j and arrows Vj → Vr , Vr → Vi so we may choose l ∈ Vr .
Hence the claim follows. (We remark that this proof also implies that the
real version of HΛ is perfect, where all the SL(ni , Z)-blocks are turned into
SL(ni , R) blocks and all the Mni ×nj (Z)-blocks are turned into Mni ×nj (R)blocks.)
Next, we now proceed by induction on n. The argument boils down to
removing either the initial or terminal vertex of Λ, thus passing to groups of
the same type that are contained in SL(m, Z) for m < n. Observe that the
graph obtained by removing such a vertex still satisfies the same properties
on the arrows.

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

15

First, observe that the result is trivial if Γ has only one vertex, so assume
this is not the case.
Let, with the same notation used above,
N2 = HΛ2
where Λ2 is the graph obtained from Λ by removing all the arrows except
of those ending in Vk . Assume first that nk ≥ 3, in which case Lemma 4.1
implies that N2 has property (T). On the other hand,
HΛ /N2 ∼
= HΛ̄2 ≤ SL(n − nk , Z)
where Λ̄2 is the graph obtained from Λ by removing the vertex Vk . Observe
that the hypotheses on Λ also holds for Λ̄2 so by induction we may assume
that HΛ /N2 has property (T). At this point we deduce from Proposition
1.7.6 of [2] that HΛ has property (T) also.
Proceeding in an analogous manner with N1 instead of N2 gives the desired result whenever n1 ≥ 3. Therefore we may assume that n1 = nk = 1.
At this point, let C be either the trivial group, in the case when there is no
arrow V1 → Vk , or the subgroup generated by Tn1 otherwise. Observe that
in both cases C is central in HΓ (since the upper and the lower diagonal
block in any matrix in HΛ are each a single 1). Moreover, C = N1 ∩ N2 .
As before, HΛ /N1 and HΛ /N2 have property (T). Observe that
HΛ /C ∼
= HΛ /N1 N2 n (N1 /C ⊕ N2 /C)
where we regard HΛ /N1 N2 as matrices in SL(n − 2, Z) acting via left multiplication on N1 /C and via right multiplication on N2 /C. Now, as HΛ /N1
has property (T), we deduce from Remark 1.7.7 in [2] that both HΛ /N1 N2
and the pair (HΛ /N1 , N1 N2 /N1 ) have property (T). Similarly, since HΛ /N2
has property (T), we deduce from the aforementioned remark in [2] that the
same is true for the pair (HΛ /N2 , N1 N2 /N2 ). Moreover, we have
HΛ /N1 = HΛ /N1 N2 n N2 /C, and
HΛ /N2 = HΛ /N1 N2 n N1 /C.
At this point Lemma 5.2 of [13] implies that the pair (HΛ /C, N1 /C ⊕ N2 C)
also has property (T), and Remark 1.7.7 in [2] implies that the same is
true for HΛ /C. In the case when C = 1 this finishes the proof; otherwise,
Theorem 1.7.11 of [2] and the first part of the proof yield the desired result.

Proof of Theorem 1.3. We first prove that (i) implies (iv). Seeking a contradiction, assume that iv) holds but that Γ does not have property (B2);
in other words, there are vertices v 6= w with v ≤ w such that there is no
vertex u 6= v with v ≤ u ≤ w. In particular, [v] = {v} and [w] = {w}, where
[·] denotes the equivalence class with respect to the equivalence relation ∼.
Now, it follows from Wade’s presentation of the group H (see Proposition
4.11 of [25]), that whenever the image Tvw of the transvection tvw in H appears in some relator of H, it does so with exponent sum 0. Therefore the
homomorphism
π:H→Z

16

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

given by π(Tvw ) = 1 (with additive notation in Z) and π(Trs ) = 0 for any
other generator Trs is well-defined. In particular, H 1 (SAut0 (AΓ )/IAΓ , Z) 6=
0 which contradicts iv).
Obviously ii) implies iii) and iii) implies iv) so it suffices to show that
(ii) implies (iii), i.e. that if Γ has property (B2) then Aut(AΓ )/IAΓ has
property (T). As property (T) is invariant under finite index extensions,
(see Theorem 1.7.1 of [2]), it is enough to show that H has property (T).
As Γ has property (B2), Lemma 3.1 implies that there is no class [v] with
exactly two elements. Therefore, if Γ has (B2) then the associated graph Λ
satisfies the hypotheses of Proposition 4.2, and hence H = HΛ has property
(T).

5. Virtual indicability
We now proceed to give a proof of Theorem 1.6. Recall from the introduction that Aut1 AΓ is the finite-index subgroup of Aut(AΓ ) generated by
transvections, partial conjugations and thin inversions. Day’s presentation
of Aut(AΓ ), described in Theorem 2.1 above, implies that Aut1 (AΓ ) contains precisely those graphic automorphisms that preserve each equivalence
class with respect to the equivalence relation ∼ and fix thin vertices. We
denote the subgroup of such graphic automorphisms by Sym1 (AΓ ).
In order to prove Theorem 1.6 we will need to work with a presentation
of Aut1 (AΓ ). To this end, a modification of Day’s arguments in [8] implies
the following:
Proposition 5.1 ([8]). The group Aut1 (AΓ ) has a finite presentation with
generators the set of type (2) Whitehead automorphisms and Sym1 (AΓ ), and
relators (R1), (R2), (R3), (R4), (R5), (R9), (R10) above together with
(R6)’ σ(A, a)σ −1 = (σ(A), σ(a)), for every σ ∈ Sym1 (AΓ ).
(R7)’ All the relations among automorphisms in Sym1 (AΓ ).
Sketch proof of Proposition 5.1. First, it follows directly from the definition
that Aut1 (Γ) is generated by all the type (2) Whitehead automorphisms,
and every thin inversion. Thanks to relator (R5), we may add the elements
of Sym1 (AΓ ) to this list of generators.
Let R1 be the list (R1)-(R10) of Day’s relators, except that (R6) and (R7)
are substituted by (R6)’ and (R7)’, respectively. Observe that every relation
in R1 is indeed a relation in Aut1 (AΓ ). Therefore, it remains to justify why
these form a complete set of relations in Aut1 (AΓ ).
By Theorem A.1 of [8], every automorphism α ∈ Aut(AΓ ) may be written
as a product α = βγ, where β lies in the subgroup of Aut(AΓ ) generated
by short-range automorphisms and γ is in the subgroup generated by longrange automorphisms. Here, we say that δ ∈ Aut(AΓ ) is long-range if either
it is a type (1) Whitehead automorphism, or it is a type (2) automorphism
specified by a subset (A, v) such that δ fixes all the elements adjacent to
v in Γ. Similarly, we say that δ ∈ AΓ is short-range if it is a type (2)
automorphism specified by a subset (A, v) and δ fixes all the elements of Γ
not adjacent to v. Following Day, we denote by Ωl (resp. Ωs ) the set of all
long-range (resp. short-range) automorphisms.

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

17

Consider now α ∈ Aut1 (AΓ ), and observe that all short-range automorphisms are in Aut1 (AΓ ). The proof of the splitting in Theorem A.1 of [8]
above is based in the so called sorting substitutions in [8] Definition 3.2. Of
these, only substitution (3.1) involves an element possibly not in Aut1 (AΓ )
and this element is just moved along, meaning that if our initial string consists solely of elements in Aut1 (AΓ ), then so does the final string. Moreover,
observe that the relators needed for these moves all lie in R1 (an explicit list
of the relators needed, case by case, can be found in [8, Lemma 3.4]). All
this implies that up to conjugates of relators in R1 , we may write α = βγ
with β in the subgroup of Aut1 (AΓ ) generated by Ωs and γ in the subgroup
generated by Ω1l = Ωl ∩ Aut1 (AΓ ).
By Proposition 5.5 of [8], the subgroup of Aut1 (AΓ ) generated by Ωs has
a presentation whose every generator is a short-range automorphism or an
element of Sym1 (AΓ ), and whose every relator lies in R1 . Indeed, in the
proof of [8, Proposition 5.5], the generators that we need to add to Ωs to get
the desired presentation are precisely the elements of the form σab of (R5),
which belong to Sym1 (AΓ ).
In addition, the subgroup Aut1 (AΓ ) generated by Ω1l has a presentation
whose every relator is in R1 . To see that this is indeed the case, first recall
from Proposition 5.4 of [8] that the subgroup of Aut(AΓ ) generated by Ωl
admits a presentation in which every relation (also in the list (R1)-(R10)
of Theorem 2.1) is written in terms of Ωl . In order to prove this, Day uses
a certain inductive argument called the peak reduction algorithm. But by
Remark 3.22 of [8], every element of Aut1 (AΓ ) may be peak-reduced using
elements of Aut1 (AΓ ) only. Indeed, the only subcase of [8, Remark 3.22]
which is problematic in this setting is the use of subcase (3c) of [8, Lemma
1.18]. But the relator used in that subcase is precisely (R5) where the type
(1) Whitehead automorphism is σab , which belongs to Sym1 (AΓ ).
Moreover, the process of peak reduction needs relators in R1 only; this
is a consequence of the fact, observed already in Remark 3.22 of [8], that
type (1) Whitehead automorphisms are only moved around when lowering
peaks, and if they lie in Ω1l then the needed relator is precisely (R5), where
the type (1) Whitehead automorphism is σab ∈ Sym1 (AΓ ).

Remark 5.2. Essentially the same proof above can be used to show that
the group Aut0 (AΓ ) generated by transvections, partial conjugations and
all the inversions admits an analogous finite presentation as the previous
one; however, here one needs to include all those graphic automorphisms
Sym0 (AΓ ) that preserve the equivalence classes for ∼.
We are now in a position to prove Theorem 1.6, whose statement we now
recall for the reader’s convenience:
Theorem 1.6. Let Γ be a simplicial graph. Suppose there exists a vertex
w ∈ V (Γ) such that there is no v ∈ V (Γ) with v ≤ w. Then Aut1 (AΓ )
surjects onto Z. If moreover Γ − st(w) is not connected, then also Out1 (AΓ )
surjects onto Z.
Proof of Theorem 1.6. We are going to construct an explicit surjective homomorphism Aut1 (AΓ ) → Z. Before proceeding to do so, observe that the
fact that there is no v ∈ V (Γ) with v ≤ w implies [w] = {w} and Γ 6= st(w).

18

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

In particular, w is thin. Let Y be a connected component of Γ − st(w) and
consider the partial conjugation cw,Y ; as mentioned in the paragraph before
Theorem 2.1, in terms of Whitehead automorphisms we write
cw,Y = (Y ∪ Y −1 ∪ {w}, w).
We claim that for any pair v1 , v2 6∈ st(w) such that v1 ∈ Y and [v1 ] = [v2 ]
we must have v2 ∈ Y . Indeed, since v1 6≤ w, there exists some z ∈ lk(v1 )
with z 6∈ st(w). But v1 ∼ v2 , and hence z ∈ st(v2 ). Therefore v1 and v2 are
connected in Γ − st(w) and so v2 ∈ Y , as desired.
In the light of the above claim, any connected component of Γ − st(w)
is a union of sets of the form [v] ∩ (Γ − st(w)). Consider any graphic automorphism σ ∈ Sym1 (AΓ ). As [w] = {w} we must have σ(w) = w. It
also follows from the definition of Sym1 (AΓ ) that, for any vertex v and any
σ ∈ Sym1 (AΓ ), σ preserves each [v] ∩ (Γ − st(w)) setwise, and hence also
every connected component of Γ − st(w).
Let πY be the map which from the set of Whitehead automorphisms to Z
which is defined as follows: given a Whitehead automorphism g ∈ Aut1 (AΓ ),
we set

−1
⊆A
 1 if g = (A, w) with Y ∪ Y

πY (g) = −1 if g = (A, w−1 ) and Y ∪ Y −1 ⊆ A


0 otherwise.
We claim that πY yields a well defined surjective homomorphism Aut1 (AΓ →
Z). In order to prove the claim, we go through the list of Day’s relations (R1)
– (R9) described in Theorem 2.1, and check that each of them is preserved
by πY . Observe it is immediate that πY preserves (R1), (R2), (R3), (R7)’
and (R9). Relation (R5) is trivial since there is no v 6= w with v ∼ w, from
the hypotheses on Γ, and therefore there is nothing to verify. Finally, we
check that πY preserves (R4); to this end, the only problematic case is
(B, v)(A, w)(B, v)−1 = (A, w)((B − v) ∪ w, w),
whenever {w, w−1 } ∩ B = ∅, v ∈
/ A, v −1 ∈ A, and at least one of A ∩ B = ∅
or v ∈ lk(w) holds. Observe that, unless Y ∪Y −1 ⊂ B, this relator is trivially
preserved by πY , so we assume that Y ∪ Y −1 ⊂ B. At this point, the fact
that (B, v) and ((B − v) ∪ w, w) are both defined implies that v ≤ w; see, for
instance, Lemma 2.5 of [8] for a proof. By the hypotheses on Γ, we deduce
that v = w, which contradicts the conditions on A and B of relation (R4).
Next, (R6)’ is obviously preserved by πY since all the elements in Sym1 (AΓ )
fix w, because w is thin.
Now, consider (R10). The only case when this relator gives problems is
when there is some (A, w) or (A, w−1 ) well defined and a v ∈ L with v ∈ A,
v −1 6∈ A because the we would have
(A, w)(L − v −1 , v)(A, w)−1 = (L − v −1 , v)(L − w−1 , w)
or the same thing but with (A, w−1 ) instead of (A, w). But then the condition v ∈ A, v −1 6∈ A implies, again by Lemma 2.5 of [8], that v ≤ w
which is impossible unless v = w±1 . But this case has to be excluded from
(R10) since in other case it would mean that all the conjugations (L−v −1 , v)
vanish (in fact in that case we would be in Out(AΓ )).

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

19

Now, assume that Γ − st(w) is not connected. Then we may find a connected component Z 6= Y . We may repeat the construction above, obtaining
a surjective homomorphism πZ : Aut1 (AΓ ) → Z. We claim that map
π := πY − πZ : H → Z
can be lifted to a well-defined surjective homomorphism Out1 (AΓ ) → Z; to
this end, the only thing to verify is that π annihilates all the conjugations
(L − v −1 , v). The definition of πL and πK implies that we need to check only
that π(L − w−1 , w) and π(L − w, w−1 ) vanish. But as Y ∪ Y −1 and Z ∪ Z −1
are contained in L − w−1 , we have
(2)

π(L − w−1 , w) = πY (L − w−1 , w) − πZ (L − w−1 , w) = 0,

and
(3)

π(L − w, w−1 ) = πY (L − w, w−1 ) − πZ (L − w, w−1 ) = 0,

as desired. This finishes the proof of Theorem 1.6.



Remark 5.3. The reason why the proof above breaks if one considers Aut0 (AΓ )
instead of Aut1 (AΓ ) is precisely relator (R6’). Indeed, we are using the fact
that all the elements in Sym1 (AΓ ) fix w, because w is thin; however, this
need not be true if we take Sym0 (AΓ ) instead.
Finally, as we also mentioned in the introduction, it is easy to give a
characterization of when the hypotheses of Theorem 1.6 are satisfied in the
case when the graph Γ is a tree. Recall that a leaf of a tree is a vertex whose
link has exactly one element. We have:
Proposition 5.4. Let Γ be a connected tree. Then Γ the following conditions
related to the hypotheses of Theorem 1.6 are equivalent:
i) there is a minimal vertex w,
ii) there is a minimal vertex w such that Γ − st(w) is disconnected,
iii) there is a vertex w whose distance to each leaf of Γ is at least 3.
Proof. Observe that for any vertex w there is some v 6= w with v ≤ w if and
only if d(v, w) ∈ {1, 2} and v is a leaf. Therefore the existence of a minimal
vertex w is equivalent to the existence of a vertex at distance at least 3 to
each leaf. Moreover, if the distance from a vertex w to each leaf is at least
3, then Γ − st(w) is disconnected.

6. Appendix. On the linearity problem for Aut(AΓ )
A question of Charney (see Problem 14 of [6]) asks for which graphs Γ
is Aut(AΓ ) linear; recall that a group H is said to be linear if there is an
injective homomorphism H → GL(n, K) for some field K and some n > 0.
During our work, we noticed that if the graph Γ satisfies a certain (drastic) weakening of property (B), then an argument of Formanek-Procesi [14]
immediately yields that Aut(AΓ ) is not linear, thus offering a refinement of
Charney’s question.
We give a short account of Formanek-Procesi’s result for the sake of completeness, following the summary given in [4]. Let H be a group, and let
v1 , v2 , v3 ∈ H such that hv1 , v2 , v3 i ∼
= F3 , the free group on three generators.
Let α1 , α2 ∈ Aut(H) be such that

20

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

(

αi (vj ) = vj , for i, j = 1, 2

.
αi (v3 ) = v3 vi , for i = 1, 2.
The group hα1 , α2 i is called a poison subgroup of Aut(H); observe that
hα1 , α2 i ∼
= F2 . The result of Formanek-Procesi [14] asserts:
Theorem 6.1 ([14]). Let H be a group. If Aut(H) contains a poison subgroup, then Aut(H) is not linear.
In [14], Formanek-Procesi used the result above to prove that the (outer)
automorphism group of the free group Fn on n ≥ 3 generators contains
poison subgroups, and thus is not linear. We now mimic their reasoning, and
introduce a property of a simplicial graph Γ that guarantees that Aut(AΓ )
has a poison subgroup, and thus is not linear either.
Definition 6.2. Let Γ be a simplicial graph. We say that Γ satisfies property (NL) if there exist pairwise non-adjacent vertices v1 , v2 , v3 ∈ V (Γ) such
that v3 ≤ vi , for i = 1, 2.
We now prove Proposition 1.9, whose statement we now recall:
Proposition 1.9. Let Γ be a simplicial graph that satisfies property (NL).
Then Aut(AΓ ) contains a poison subgroup and thus is not linear.
Proof. Let Γ be a simplicial graph with property (NL), and let v1 , v2 , v3 ∈
V (Γ) be three pairwise non-adjacent vertices; by definition,
hv1 , v2 , v3 i ∼
= F3 .
Since v3 ≤ vi for i = 1, 2, we may consider now the transvections tv3 vi for
i = 1, 2. It follows that the group generated by α1 := tv3 v1 and α2 := tv3 v2
is a poison subgroup of Aut(AΓ ), as desired.

Remark 6.3. Property (NL) is more frequent than one could in principle
have thought. For instance, it is satisfied as soon as Γ has three isolated
vertices, in which case Aut(F3 ) < Aut(AΓ ). We remark, however, that an
arbitrary graph with property (NL) need not have any isolated vertices, see
Figure 1 for an example.
00
11
11
00
00
11

v3

v1

v2

Figure 1. A graph Γ with property (NL) and no isolated vertices
Following Erdős-Rényi [11], we denote by G(n, N ) the space of graphs
with n vertices and N edges, where we choose graphs Γn,N ∈ G(n, N ) at
random with respect to the uniform probability distribution in G(n, N ). Fix
a constant c ∈ R, and set N (n) = 21 n log(n) + cn. Erdős-Rényi [11] showed

FIRST COHOMOLOGY OF AUTOMORPHISM GROUPS OF RAAGS

21

that the probability Pn,N (n) (k) that a random graph Γn,N (n) has k isolated
vertices behaves, as n grows, as a Poisson distribution with parameter λ =
e−2c ; see Theorem 2c of [11]. More concretely one has:
λk e−λ
.
n→∞
k!
In the light of this result, the probability that a random graph Γn,N (n)
satisfies property (NL) is strictly bigger than
lim Pn,N (n) (k) =

λ3 e−λ
,
3!
where again λ = e−2c . Thus we see that, at least for that particular N (n),
a definite (albeit small) proportion of random graphs satisfy property (NL).
References
[1] H. Bass, J. Milnor, J.P. Serre, Solution of the congruence subgroup problem for SLn
(n ≥ 3) and Sp2n (n ≥ 2). Inst. Hautes Études Sci. Publ. Math. No. 33 (1967).
[2] B. Bekka, P. de la Harpe, A. Valette, Kazhdan’s property (T). New Mathematical
Monographs, 11. Cambridge University Press, Cambridge, 2008
[3] O. Bogopolski, R. Vikentiev, Subgroups of small index in Aut(Fn ) and Kahzdan’s Property (T). Combinatorial and geometric group theory, 117, Trends Math.,
Birkhäuser/Springer Basel AG, Basel, 2010.
[4] T. Brendle, H. Hamidi-Tehrani, On the linearity problem for mapping class groups,
Algebraic and Geometric Topology 1 (2001)
[5] M. R. Bridson, The rhombic dodecahedron and semisimple actions of Aut(Fn ) on
CAT(0) spaces, Fund. Math. 214 (2011).
[6] R. Charney, Problems related to Artin Groups, American Institute of Mathematics,
Problems in Geometric Group Theory. Available from http://people.brandeis.
edu/~charney/webpubs.html.
[7] Y. de Cornulier. Finitely presentable, non-Hopfian groups with Kazhdan’s Property
(T) and infinite outer automorphism groups. Proc. Amer. Math. Soc.
[8] M. Day. Peak reduction and finite presentations for automorphism groups of right
angled Artin groups, Geom. Topol. 13 (2009)
[9] M. Day. Symplectic structures on right-angled Artin groups: between the mapping
class group and the symplectic group. Geom. and Topol. 13 (2), 857-899.
[10] C. Droms, Isomorphisms of graph groups. Proc. Amer. Math. Soc. 100 (1987)
[11] P. Erdős, A. Rényi, On random graphs. I. Publ. Math. Debrecen 6 1959.
[12] B. Farb, H. Masur, Superrigidity and mapping class groups. Topology 37 (1998).
[13] T. Fernós. Relative property (T) and linear groups. Ann. Inst. Fourier (Grenoble)
56 (2006), no. 6, 1767–1804.
[14] E. Formanek, C. Procesi, The automorphism group of a free group is not linear. J.
Algebra 149 (1992).
[15] F. Grunewald and A. Lubotzky, Linear representations of the automorphism group
of free groups. Geometric and Functional Analysis (GAFA),18 (2009).
[16] D. Kazhdan, On the connection of the dual space of a group with the structure of
its closed subgroups, Funkcional. Anal. i Priloen. 1 (1) 1967.
[17] M. R. Laurence, A generating set for the automorphism group of a graph group, J.
London Math. Soc. (2) 52 (1995).
[18] R. Lyndon, P. E. Schupp, Combinatorial group theory. Springer-Verlag, Berlin-New
York, 1977
[19] G. A. Margulis, Discrete subgroups of semisimple Lie groups. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 17. Springer-Verlag, Berlin, 1991
[20] J. McCool, A faithful polynomial presentation of Out(F3 ). Math. Proc. Camb. Phil.
Soc., 106 (1989)

22

JAVIER ARAMAYONA & CONCHITA MARTÍNEZ-PÉREZ

[21] J. McCarthy, On the first cohomology group of cofinite subgroups in surface mapping
class groups. Topology 40 (2001).
[22] A. Putman, An infinite presentation of the Torelli group. Geom. Funct. Anal. 19
(2009).
[23] T. Satoh, The abelianization of the congruence IA-automorphism group of a free
group. Math. Proc. Cambridge Philos. Soc. 142 (2007),
[24] H. Servatius, Automorphisms of graph groups, J. Algebra 126 (1989).
[25] R. Wade, Thesis. Available from http://www.math.utah.edu/~wade/research.
html

