It turns out that there is one more case, not covered in [2, Theorem 4.1], where Out(A Γ ) is relatively hyperbolic. This occurs when Out(A Γ ) is a virtually right-angled Artin group (RAAG) whose defining graph consists of at least two components.
Main statementWe will prove the following revised statement of [2, Theorem 4.1]. THEOREM 1.1. If Out(A Γ ) is infinite and not virtually a RAAG whose defining graph is either a single vertex or disconnected, then Out(A Γ ) is not relatively hyperbolic.Following the notation in [2], let S be the set of all transvections and partial conjugations in Aut(A Γ ), and S the set of all the (nontrivial) images of elements of S in Out(A Γ ). Let K = K(Out * (A Γ ), S ) be the commutativity graph of Out * (A Γ ) with respect to S .We first consider the case when S consists of only partial conjugations. In this case, Out * (A Γ ) is isomorphic to PSO(A Γ ), the pure symmetric outer automorphism group of A Γ . We complete the proof of Theorem 1.1 by considering the case when S has a transvection.
Pure symmetric (outer) automorphism groupThe subgroup PSA(A Γ ) ≤ Aut(A Γ ) generated by partial conjugations is the pure symmetric automorphism group of A Γ and the subgroup PSO(A Γ ) ≤ Out(A Γ ) generated