A note on virtual duality and automorphism groups of right-angled Artin groups

Abstract

A theorem of Brady and Meier states that a right-angled Artin group is a duality group if and only if the flag complex of the defining graph is Cohen–Macaulay. We use this to give an example of a RAAG with the property that its outer automorphism group is not a virtual duality group. This gives a partial answer to a question of Vogtmann. In an appendix, Brück describes how he used a computer-assisted search to find further examples.

1. Introduction

The definition of a duality group was introduced by Bieri and Eckmann in [5] in order to describe groups that have a (possibly twisted) pairing between homology and cohomology. A group $G$ is a virtual duality group if some (equivalently, any) finite-index torsion-free subgroup of $G$ is a duality group. By Poincaré duality, fundamental groups of closed aspherical manifolds are duality groups. Furthermore, mapping class groups [22], ${\rm{GL}}_n(\mathbb{Z})$ [6], and ${\rm{Out}}(F_n)$ [4, 12] are also virtual duality groups for more subtle reasons. As outer automorphism groups of right-angled Artin groups interpolate between ${\rm{GL}}_n(\mathbb{Z})$ and ${\rm{Out}}(F_n)$ , it is not unreasonable to guess that ${\rm{Out}}(A_\Gamma )$ might also be a virtual duality group. The purpose of this note is to show that in general, this is not the case.

Theorem A. Let $\Gamma$ be the graph given in Figure 1. Then ${\rm{Out}}(A_\Gamma )$ is not a virtual duality group.

With hindsight, the failure of duality here should not be too surprising, simply because right-angled Artin groups themselves are rarely duality groups. A wonderful theorem of Brady and Meier [8] shows that a right-angled Artin group $A_\Gamma$ is a duality group if and only if the flag complex $\hat{\Gamma }$ of the defining graph is Cohen–Macaulay (see Definition 2.1). To briefly sketch how their result implies Theorem A, let $\Delta$ be the join of the subgraphs $\Gamma _1$ and $\Gamma _2$ given in Figure 1. The Join Lemma, given below, gives a method for constructing outer automorphism groups of RAAGs with finite-index RAAG subgroups. Its proof follows reasonably quickly from existing results (see Section 2.3 for details).

Lemma 1.1 (Join Lemma). Let $A_{\Gamma _1}$ and $A_{\Gamma _2}$ be two noncyclic right-angled Artin groups with finite outer automorphism groups. If $\Gamma =\Gamma _1 \sqcup \Gamma _2$ is the disjoint union of the two graphs, and $\Delta =\Gamma _1 \star \Gamma _2$ is their join, then ${\rm{Out}}(A_\Gamma )$ has a finite-index subgroup isomorphic to the right-angled Artin group $A_{\Gamma _1} \oplus A_{\Gamma _2} \cong A_\Delta$ .

The construction of the graph $\Gamma$ in Figure 1 ensures that both $A_{\Gamma _1}$ and $A_{\Gamma _2}$ have finite outer automorphism groups, so that ${\rm{Out}}(A_\Gamma )$ has a finite-index subgroup isomorphic to $A_{\Gamma _1} \oplus A_{\Gamma _2} \cong A_\Delta$ . However, the flag complex $\hat{\Delta }$ is not Cohen–Macaulay, so neither $A_\Delta$ nor ${\rm{Out}}(A_\Gamma )$ is a (virtual) duality group. Full details are given in Section 2. More generally, the Join Lemma gives a way of constructing many examples of RAAGs $A_\Delta$ appearing as finite-index subgroups of ${\rm{Out}}(A_\Gamma )$ for certain $\Gamma$ .

Theorem A gives a very partial answer to Question 3 from Vogtmann’s Groups St. Andrews lecture notes on automorphism groups of RAAGs [28]. We discuss this in more detail and highlight related questions in Section 3. After circulating a draft of this paper, Brück used a computer search to find further examples of RAAGs satisfying the conclusion of Theorem A. He kindly agreed to describe these examples and his approach in an appendix. More recently, Wiedmer [29] built on these ideas to prove the remarkable result that every right-angled Artin group $A_\Gamma$ is commensurable with ${\rm{Out}}(A_\Delta )$ for some other RAAG $A_\Delta$ . This gives a vast range of examples of RAAGs whose outer automorphism groups are not duality groups.

2. Proof of Theorem A

In this section, we provide background, definitions, and expand on the sketch proof given in the introduction to give a full proof of Theorem A.

Figure 1. A graph $\Gamma =\Gamma _1 \sqcup \Gamma _2$ such that ${\rm{Out}}(A_\Gamma )$ is not a virtual duality group. The grey triangles are added to show the flag complex $\hat{\Gamma }$ determined by $\Gamma$ .

2.1. Right-angled Artin groups

Let $\Gamma$ be a finite graph with vertex set $V(\Gamma )$ . The right-angled Artin group determined by the graph $\Gamma$ is the finitely presented group $A_\Gamma$ with the presentation:

\begin{equation*} A_\Gamma = \langle v \in V(\Gamma ) \, | \, vw=wv \text { if $v$ and $w$ span an edge in $\Gamma $.} \rangle \end{equation*}

We will always assume subgraphs $\Delta \subset \Gamma$ are full, so that two vertices in $\Delta$ are connected by an edge if and only if they are connected by an edge in $\Gamma$ . We will also assume that our graphs are simple, so that there are no loops and no double edges in $\Gamma$ (this is safe to do as relations given by loops or double edges do not change the group obtained from the above presentation). We make use of the following facts:

• The centre of a right-angled Artin group $A_\Gamma$ is generated by the vertices $v$ that are adjacent to every other vertex.

• A RAAG $A_\Gamma$ is one-ended if and only if $\Gamma$ is connected and contains at least two vertices ([18] proves something much stronger than this - probably the simplest way to show this directly is by using [18, Lemma 1.1]).

For introductions to RAAGs and their automorphisms, we recommend the survey papers of Charney [13] and Vogtmann [28].

2.2. Flag complexes, the Cohen–Macaulay condition, and duality for RAAGs

For a simple graph $\Gamma$ , we use $\hat{\Gamma }$ to denote the flag complex determined by $\Gamma$ . One can define $\hat{\Gamma }$ as being obtained from $\Gamma$ by filling in any ‘visible’ simplices, or as the the largest simplicial complex on the vertex set $V(\Gamma )$ with the same edge set as $\Gamma$ . The star of a simplex $\sigma$ is the subcomplex spanned by simplices containing $\sigma$ , and the link of $\sigma$ is the subcomplex consisting of simplices $\tau \in \mathrm{st}(\sigma )$ with $\sigma \cap \tau = \emptyset$ .

Definition 2.1 (Cohen–Macaulay complexes). A finite simplicial complex $X$ is Cohen–Macaulay of dimension $n$ if

• • the reduced homology $\overline{H}_*(X;\;\mathbb{Z} )$ is free abelian (possibly trivial) and concentrated in degree $n$ ,

• • each maximal simplex is $n$ -dimensional, and

• • for each non-maximal $k$ -simplex $\sigma$ , the reduced homology $\overline{H}_*(\mathrm{lk}(\sigma );\;\mathbb{Z})$ is free abelian (possibly trivial) and concentrated in degree $n-k-1$ .

A group $G$ is a duality group of dimension $n$ if there exists a $G$ –module $D$ and an element $e \in H_n(G;\;D)$ such that the cap product with $e$ induces an isomorphism

\begin{equation*}H^{n-k}(G;\; M) \cong H_k(G;\; D \otimes M) \end{equation*}

for all $k$ and all $G$ –modules $M$ . If we can take $D=\mathbb{Z}$ in the above then $G$ is a Poincaré duality group (Bieri and Eckmann allow a nontrivial action on $\mathbb{Z}$ in this definition). We do not work with the definition in this note, instead relying on the following theorem of Brady and Meier.

Theorem 2.2 ([8], Theorem C). Let $\Gamma$ be a finite simple graph. The right-angled Artin group $A_\Gamma$ is a duality group if and only if the flag complex $\hat{\Gamma }$ is Cohen–Macaulay.

A group $G$ is a virtual duality group if some finite-index subgroup $H$ of $G$ is a duality group. In this case, $H$ is torsion-free, and every finite-index torsion-free subgroup of $G$ is also a duality group. This is well-known and follows directly from results in [5] but as it is important in what follows we record it below.

Lemma 2.3. If $G$ is a virtual duality group and $H$ is a finite-index, torsion-free subgroup of $G$ , then $H$ is a duality group.

Proof. As $G$ is a virtual duality group, there exists a finite-index subgroup $H_0$ of $G$ that is a duality group. Let $H'=H\cap H_0$ . As $H'$ is finite-index in $H_0$ , it is also a duality group by [5, Theorem 3.2]. By [5, Theorem 3.3], any torsion-free, finite-index overgroup of a duality group is also a duality group. As $H'$ is also finite-index in $H$ , it follows that $H$ is a duality group.

2.3. Finiteness conditions for ${\rm{Out}}(A_\Gamma )$ and the join Lemma

In this section, we show that for our example graph in Figure 1 the group ${\rm{Out}}(A_\Gamma )$ has a finite index subgroup isomorphic to $A_{\Gamma _1} \oplus A_{\Gamma _2}$ . For experts, this is the subgroup of ${\rm{Out}}(A_\Gamma )$ generated by partial conjugations, and it is finite index as $\Gamma$ is chosen in a way so that ${\rm{Out}}(A_\Gamma )$ contains no transvections. We break this down into two steps, starting with conditions that describe when ${\rm{Out}}(A_\Gamma )$ is finite:

Proposition 2.4 ([14], Section 6). Let $\Gamma$ be a finite graph. The group ${\rm{Out}}(A_\Gamma )$ is finite if and only if for each vertex $u$ :

• • any two vertices in $\Gamma - \mathrm{st}(u)$ are connected by a path in $\Gamma - \mathrm{st}(u)$ , and

• • if $\mathrm{lk}(u) \subset \mathrm{st}(v)$ for some vertex $v$ then $u=v$ .

Going back in the other direction, finiteness of the outer automorphism group ${\rm{Out}}(A_\Gamma )$ imposes the following restrictions on the graph $\Gamma$ and its associated RAAG.

Lemma 2.5. Let $\Gamma$ be a graph such that ${\rm{Out}}(A_\Gamma )$ is finite. Then

• • $\Gamma$ is connected, so that $A_\Gamma$ is either cyclic or one-ended.

• • If $\Gamma$ is not a single point (so that $A_\Gamma$ is noncyclic), the centre $Z(A_\Gamma )$ of $A_\Gamma$ is trivial.

Proof. Let $\Gamma$ be a graph such that ${\rm{Out}}(A_\Gamma )$ is finite. The first condition of Proposition 2.4 implies that $\Gamma$ has at most two connected components, and if there are exactly two connected components then the star of each vertex $u$ is equal to its own component. Suppose there are exactly two components $C_1$ and $C_2$ such that for each $u \in C_i$ we have $\mathrm{st}(u)=C_i$ . This contradicts the second bullet point from Proposition 2.4: either we can find two distinct vertices $u$ and $v$ in the same component that satisfy $\mathrm{lk}(u) \subset \mathrm{st}(v)$ , or there is an isolated vertex $u$ whose link is empty and therefore contained in the star of every other vertex. Hence, $\Gamma$ is connected. Furthermore, if there are at least two vertices in $\Gamma$ then $Z(A_{\Gamma })$ must be trivial, otherwise the star of some vertex is the whole graph and we would have a contradiction to the second bullet point from Proposition 2.4.

The second proposition we use is a bit more general and follows from Guirardel and Levitt’s work on automorphism groups of free products [19].

Proposition 2.6. Let $A$ and $B$ be one-ended groups with centres denoted $Z(A)$ and $Z(B)$ , respectively. If $A$ and $B$ have finite outer automorphism groups, then ${\rm{Out}}(A \ast B)$ has a finite-index subgroup isomorphic to

\begin{equation*} A/Z(A) \oplus B/Z(B). \end{equation*}

Sketch proof. As both $A$ and $B$ are one-ended, $G=A\ast B$ is the Grushko decomposition of $G$ . In this case, the Outer space of the free product (see [19]) reduces to a single point: the Bass–Serre tree given by the splitting $A\ast B$ is invariant under the whole of ${\rm{Out}}(G)$ . By looking at the stabiliser of this tree ([19, Section 5] or alternatively [3, 24]) one obtains a subgroup ${\rm{Out}}^0(G)$ of ${\rm{Out}}(G)$ of index at most two that splits as the following short exact sequence:

\begin{equation*} 1 \to A/Z(A) \oplus B/Z(B) \to {\rm {Out}}^0(G) \to {\rm {Out}}(A) \oplus {\rm {Out}}(B) \to 1. \end{equation*}

When both ${\rm{Out}}(A)$ and ${\rm{Out}}(B)$ are finite, the kernel of this exact sequence is finite index in ${\rm{Out}}(G)$ .

Combining the above allows us to prove the Join Lemma from the introduction:

Proof of the Join Lemma. Let $\Gamma =\Gamma _1 \sqcup \Gamma _2$ be the disjoint union of two graphs with the property that their associated RAAGs $A_{\Gamma _i}$ are noncyclic and have finite outer automorphism groups. By Lemma 2.5, both $A_{\Gamma _1}$ and $A_{\Gamma _2}$ are one-ended and have trivial centres. As $A_\Gamma \cong A_{\Gamma _1} \ast A_{\Gamma _2}$ , Proposition 2.6 tells us that ${\rm{Out}}(A_\Gamma )$ has a finite index subgroup isomorphic to $A_{\Gamma _1} \oplus A_{\Gamma _2}$ .

Applying the Join Lemma to our specific example, we have:

Lemma 2.7. Let ${\rm{Out}}(A_\Gamma )$ be the graph given in Figure 1. Then ${\rm{Out}}(A_\Gamma )$ has a finite index subgroup isomorphic to $A_{\Gamma _1} \oplus A_{\Gamma _2}$ .

Sketch proof. In order to apply the Join Lemma we check the conditions of Proposition 2.4 vertex-by-vertex: that is, for each $u \in \Gamma _i$ , the star of $u$ does not separate $\Gamma _i$ and if $\mathrm{lk}(u) \subset \mathrm{st}(v)$ then $u=v$ . For $\Gamma _1$ this is straightforward. For $\Gamma _2$ this is a little harder, but we feel that a line-by-line proof is not beneficial to the paper or the reader. To convince oneself that this holds, we recommend that one looks at the following cases for a vertex $u \in \Gamma _2$ : $u$ is a vertex on one of the two strings attached to the hexagon, $u$ is the endpoint of a string, $u$ is one of the two vertices in the middle of the hexagon, and lastly $u$ is one of the two points on the boundary of the hexagon that are not endpoints of a string. These cases cover all vertices in $\Gamma _2$ , and in each case the star of $u$ does not separate the graph and the link of $u$ is not contained in the star of any other vertex.

2.4. The proof of Theorem A and the Aut case

Proof of Theorem A. Let $\Gamma$ be the graph from Figure 1. By Lemma 2.7, the group ${\rm{Out}}(A_\Gamma )$ has a finite-index subgroup isomorphic to $A_{\Gamma _1} \oplus A_{\Gamma _2}$ . This is the right-angled Artin group on the graph $\Delta = \Gamma _1 \star \Gamma _2$ formed by taking the join of the two graphs $\Gamma _1$ and $\Gamma _2$ . A one-dimensional maximal simplex in $\widehat{\Gamma _2}$ (i.e. an edge on one of the strings) is contained in simplices of dimension at most three in the join $\widehat{\Delta } \cong \widehat{\Gamma _1} \star \widehat{\Gamma _2}$ , whereas $\widehat{\Delta }$ is 4-dimensional. As the maximal simplices of $\widehat{\Delta }$ are not of uniform dimension, the flag complex $\widehat{\Delta }$ is not Cohen–Macaulay. Therefore, $A_\Delta$ is not a duality group. As every finite-index, torsion-free subgroup of a virtual duality group is a duality group (Lemma 2.3), the group ${\rm{Out}}(A_\Gamma )$ is not a virtual duality group.

For completeness, we note that we can obtain a similar result in the Aut case:

Proposition 2.8. If $\Gamma _2$ is the graph given in Figure 1, then ${\rm{Aut}}(A_{\Gamma _2})$ is not a virtual duality group.

Proof. As ${\rm{Out}}(A_{\Gamma _2})$ is finite and the centre of $A_{\Gamma _2}$ is trivial, the group of inner automorphisms is finite-index in ${\rm{Aut}}(A_{\Gamma _2})$ and is isomorphic to $A_{\Gamma _2}$ . As $\widehat{\Gamma _2}$ is not Cohen–Macaulay (the maximal simplices of $\widehat{\Gamma _2}$ do not all have the same dimension), the group $A_{\Gamma _2}$ is not a duality group, so that ${\rm{Aut}}(A_{\Gamma _2})$ is not a virtual duality group.

3. Further discussion

In this section, we collect some related questions. Most of these problems have appeared elsewhere previously. Vogtmann gave five questions centred around $\mathcal{O}_\Gamma$ (the RAAG version of outer space) at the end of [28]. This is question three:

Question 3.1 (Vogtmann, [28]). Is ${\rm{Out}}(A_\Gamma )$ a virtual duality group? Is there a bordification of $\mathcal{O}_\Gamma$ which is a hybrid of the Borel–Serre bordification of the symmetric space $\mathbb{D}_n$ and the Bestvina–Feighn bordification of Outer space ${\rm{CV}}_n$ ? If so, is bordified $\mathcal{O}_\Gamma$ highly connected at infinity?

The space $\mathcal{O}_\Gamma$ was recently shown to be contractible in work of Bregman, Charney, and Vogtmann [9] and admits a proper action of ${\rm{Out}}(A_\Gamma )$ . Our example shows that the classification of when ${\rm{Out}}(A_\Gamma )$ is a virtual duality group is a delicate problem. Note that even when duality fails, the behaviour of $\mathcal{O}_\Gamma$ at infinity (often described via a bordification) is a very interesting problem. The outer automorphism group constructed in Theorem A suggests that as well as expecting pieces of a potential bordification to behave like the Borel–Serre bordification of symmetric space [6] and the Bestvina–Feighn bordification of Outer space [4, 12], we should expect (bordifications of?) Salvetti complexes to also appear, at least in the geometry if not in the actual construction (the explicit construction of $\mathcal{O}_\Gamma$ is in terms of blow-ups and collapses of certain cubulations of $A_\Gamma$ : when ${\rm{Out}}(A_\Gamma )$ is virtually $A_\Delta$ , we should expect $\mathcal{O}_\Gamma$ to be related to the Salvetti complex of $A_\Delta$ , but we do not think this relationship is clear from the definitions).

Recently, Brück [11] has constructed an ${\rm{Out}}(A_\Gamma )$ complex $X_\Gamma$ which is a hybrid of the free factor complex and the Tits building for ${\rm{GL}}_n(\mathbb{Z})$ , although $X_\Gamma$ has larger ${\rm{Out}}(A_\Gamma )$ -stabilizers than one might hope for (for instance, $X_\Gamma$ is trivial for the graph from our main theorem). Brück showed that these complexes are Cohen–Macaulay, so one hope is that $X_\Gamma$ could be used to reduce problems about duality to the behaviour of ${\rm{Out}}(A_\Gamma )$ -stabilizers in $X_\Gamma$ .

3.1. Obstructions to duality: Fouxe–Rabinovitch groups

Recall that if

\begin{equation*} \mathcal {G}=G_1 \ast G_2 \ast \cdots \ast G_k \ast F_n \end{equation*}

is a (not necessarily maximal) free factor decomposition of a group, the associated Fouxe–Rabinovitch group is the subgroup of ${\rm{Out}}(G)$ consisting of outer automorphisms $\Phi$ that have representatives $\phi _1, \ldots, \phi _k \in \Phi$ such that each representative $\phi _i$ acts as the identity when restricted to $G_i$ . This is written as ${\rm{Out}}(G;\; \mathcal{G}^t)$ .

The decomposition series constructed in our work with Day [17] break up ${\rm{Out}}(A_\Gamma )$ into consecutive quotients that are either free-abelian, ${\rm{GL}}(n,\mathbb{Z})$ , or certain Fouxe–Rabinovitch groups. If all the consecutive quotients are virtual duality groups, then so is ${\rm{Out}}(A_\Gamma )$ (when working with more general subnormal series one has to be a little bit careful about the passage to finite index subgroups, however here we can use congruence subgroups). This leads us to ask the following question, which also appeared briefly in [15].

Question 3.2. Let $\mathcal{G}$ be a free factor decomposition of a RAAG $A_\Gamma$ . When is ${\rm{Out}}(A_\Gamma ;\; \mathcal{G}^t)$ a virtual duality group?

For the graph in Figure 1, the RAAG subgroup $A_\Delta$ of ${\rm{Out}}(A_\Gamma )$ appears as the Fouxe–Rabinovitch group ${\rm{Out}}(A_\Gamma ;\;\{A_{\Gamma _1},A_{\Gamma _2}\}^t)$ . Here, the failure of duality comes from failure of the factor groups to be duality groups.

However, we conjecture that there is another possible obstruction. In comparison with known examples in the literature, we expect natural classifying spaces for duality groups to look uniformly of the same dimension as the group (i.e. all maximal simplices/cells are of dimension $d={\rm{cd}}(G)$ ). For Fouxe–Rabinovitch groups, classifying spaces of minimal dimension can be obtained as a blow-up of the spine of relative Outer space by replacing each simplex $\sigma$ with a copy of $\sigma \times \textrm{E}{\rm{Stab}}(\sigma )$ [15] (at least after passing to an appropriate torsion-free f.i. subgroup). However, as we will see below, one can have simplices in relative Outer space of the same dimension whose stabilisers have different (geometric/cohomological) dimensions. As the spine is uniform, the resulting blow-up will not be uniform - some maximal simplices will be of dimension strictly less than ${\rm{cd}}(G)$ .

The group of pure symmetric outer automorphisms (also called basis-conjugating automorphisms) ${\rm{PSO}}(A_\Gamma )$ is the subgroup of ${\rm{Out}}(A_\Gamma )$ given by all outer automorphisms $\Phi$ whose representatives $\phi \in \Phi$ send every generator $v\in V(\Gamma )$ to a conjugate of itself. For $A_\Gamma =\mathbb{Z}^2 \ast \mathbb{Z}^3 \ast \mathbb{Z}^4$ , the group ${\rm{PSO}}(A_\Gamma )$ forms a Fouxe–Rabinovitch group. Either using the work in [16] or by working directly from a presentation, one can show that

\begin{equation*}{\rm {PSO}}(\mathbb {Z}^2 \ast \mathbb {Z}^3 \ast \mathbb {Z}^4) \cong \mathbb {Z}^2 \ast \mathbb {Z}^3 \ast \mathbb {Z}^4. \end{equation*}

This gives another example of a Fouxe–Rabinovitch group that is not a virtual duality group. In this case, ${\rm{Out}}(A_\Gamma )$ fits in a short exact sequence

\begin{equation*} 1 \to \mathbb {Z}^2 \ast \mathbb {Z}^3 \ast \mathbb {Z}^4 \to {\rm {Out}}(A_\Gamma ) \to {\rm {GL}}_2(\mathbb {Z}) \oplus {\rm {GL}}_3(\mathbb {Z}) \oplus {\rm {GL}}_4(\mathbb {Z})\to 1, \end{equation*}

so unlike our first example the group ${\rm{PSO}}(A_\Gamma )$ is not finite-index in ${\rm{Out}}(A_\Gamma )$ . It would be interesting to know how this decomposition is reflected in the geometry of the outer space for the RAAG.

The following simplification of Question 3.2 is interesting in its own right:

Question 3.3. Let $\mathcal{F}$ be a free factor system in a free group $F_N$ . When is ${\rm{Out}}(F_N;\; \mathcal{F}^t)$ a virtual duality group?

This is true when $\mathcal{F} = \emptyset$ (by Bestvina and Feighn [4]), and in the case where $\mathcal{F}=\mathbb{Z} \ast \mathbb{Z} \ast \cdots \ast \mathbb{Z}$ is the free factor decomposition that determines the pure symmetric automorphism group (by Brady, McCammond, Meier, and Miller [7]). In both of the above cases, simplex stabilisers behave well in the spine of the (relative) outer space, and the problem illustrated in Figure 2 does not occur. However, this is not true for an arbitrary free factor system of $F_N$ .

Figure 2. Three points in the spine of the relative outer space for $A_\Gamma =\mathbb{Z}^2 \ast \mathbb{Z}^3 \ast \mathbb{Z}^4$ , whose ${\rm{Out}}(A_\Gamma )$ -stabilizers are isomorphic to $\mathbb{Z}^2$ , $\mathbb{Z}^3$ , and $\mathbb{Z}^4$ , respectively.

3.2. Commensurability problems

Given the construction in Theorem A, it seems worthwhile to repeat the following question, a version of which appeared as Question 1.1 in [16].

Question 3.4. When does ${\rm{Out}}(A_\Gamma )$ have a finite-index subgroup isomorphic to a right-angled Artin group $A_\Delta$ ? Conversely, which RAAGs appear as such finite-index subgroups?

One can also ask similar questions up to quasi-isometry. The above problem is discussed at some length in the introduction of [16], so we will limit ourselves to mentioning more recent developments. Notably, the work of Aramayona and Martinez–Perez [2] on when ${\rm{Out}}(A_\Gamma )$ can have property (T) has been recently extended by Sale [27]. Through this work, as well as Guirardel and Sale’s work on vastness properties and ${\rm{Out}}(A_\Gamma )$ [20], we now have much better control over the behaviour of outer automorphism groups of RAAGs that, roughly speaking, do not look like ${\rm{Out}}(F_n)$ or ${\rm{GL}}(n,\mathbb{Z})$ . These results give reasons to be more optimistic about the tractability of the first part of Question 3.4. The second part of this question seems much harder, given the fact that quasi-isometry and commensurability classification problems for RAAGs themselves are incredibly difficult (see [23, 25]). However, the Join Lemma does provide a way to construct families of examples $A_\Delta$ that are finite index in ${\rm{Out}}(A_\Gamma )$ for some $\Gamma$ (and now the work of Wiedmer greatly extends this [29]). It is also worth noting that [16, Question 1.2] gave a more general recognition problem about RAAGs, which was later answered in the negative by Bridson [10].

Remark 3.5. Let $\Gamma$ be the example graph in Figure 1 and $A_\Delta =A_{\Gamma _1} \times A_{\Gamma _2}$ be the associated finite-index RAAG subgroup of ${\rm{Out}}(A_\Gamma )$ . Corey Bregman pointed out some extensions to our main example where ${\rm{Out}}(A_\Gamma )$ behaves similarly but $\Gamma$ is connected. If $\Gamma '$ is the cone of our example graph with an additional vertex, then ${\rm{Out}}(A_{\Gamma '})$ is commensurable with $A_\Delta \times \mathbb{Z}^{|\Gamma |}$ (there is an additional free abelian group generated by transvections by the additional central element and these commute with the existing partial conjugations). Rather than taking the cone, one can take $\Gamma ''$ to be the join of $\Gamma$ with two vertices (while working with flag complexes, we can think of this as the suspension of $\Gamma$ ), in which case ${\rm{Out}}(A_{\Gamma ''})\cong{\rm{Out}}(A_\Gamma ) \times{\rm{Out}}(F_2)$ , so is commensurable with $A_\Delta \times F_2$ , as ${\rm{Out}}(F_2)$ is virtually free. Further connected examples are given in the appendix.