## McCool groups of toral relatively hyperbolic groups

Vincent Guirardel and Gilbert Levitt

August 5, 2014

## Abstract

The outer automorphism group Out( G ) of a group G acts on the set of conjugacy classes of elements of G . McCool proved that the stabilizer Mc( C ) of a finite set of conjugacy classes is finitely presented when G is free. More generally, we consider the group Mc( H ) of outer automorphisms Φ of G acting trivially on a family of subgroups H i , in the sense that Φ has representatives α i with α i equal to the identity on H i .

When G is a toral relatively hyperbolic group, we show that these two definitions lead to the same subgroups of Out( G ), which we call 'McCool groups'of G. We prove that such McCool groups are of type VF (some finite index subgroup has a finite classifying space). Being of type VF also holds for the group of automorphisms of G preserving a splitting of G over abelian groups.

We show that McCool groups satisfy a uniform chain condition: there is a bound, depending only on G , for the length of a strictly decreasing sequence of McCool groups of G . Similarly, fixed subgroups of automorphisms of G satisfy a uniform chain condition.

## 1 Introduction

Mapping class groups of punctured surfaces may be viewed as subgroups of Out( F n ) for some n (with F n denoting the free group of rank n ). Indeed, they consist of automorphisms of F n fixing conjugacy classes corresponding to punctures. More generally, the group of automorphisms of F n fixing a finite number of conjugacy classes was studied by McCool, who proved in particular that such groups are finitely presented [McC75]. We therefore define:

Definition 1.1. Let G be a group. Let C be a set of conjugacy classes [ c i ] of elements of G . We denote by Mc( ) C the subgroup of Out( G ) consisting of outer automorphisms fixing each [ c i ] . If C is finite, we say that Mc( ) C is an elementary McCool group of G (or of Out( G ) ).

Work on automorphisms suggests a more general definition:

Definition 1.2. Let G be a group. Let H = { H i } be an arbitrary family of subgroups of G . We say that ϕ ∈ Aut( G ) , and its image Φ ∈ Out( G ) , act trivially on H if ϕ acts on each H i as conjugation by some g i ∈ G . Note that Φ acts trivially if and only if it has representatives ϕ i ∈ Aut( G ) with ϕ i equal to the identity on H i .

We denote by Mc( H ) , or Mc ( G H ) , the subgroup of Out( G ) consisting of all Φ acting trivially on H .

If H is a finite family of finitely generated subgroups, we say that Mc( H ) is a McCool group of G (or of Out( G ) ).

Elementary McCool groups correspond to McCool groups with H a finite family of cyclic groups. Mc( H ) does not change if we replace the H i 's by conjugate subgroups, so it is really associated to a family of conjugacy classes of subgroups.

For a topological analogy, one may think of Mc( H ) as the group of automorphisms of G = π 1 ( X ) induced by homeomorphisms of X equal to the identity on subspaces Y i with π 1 ( Y i ) = H i .

McCool groups are relevant for automorphisms for the following reason (see [GL12]). Consider a splitting of a group ˆ G as a graph of groups in which G is a vertex group, and the H i 's are the incident edge groups. Then any element of Mc G ( H ) extends 'by the identity' to an automorphism of ˆ . G Topologically, if X is a vertex space in a graph of spaces ˆ , X and edge spaces are attached to subspaces Y i ⊂ X , then any homeomorphism of X equal to the identity on the Y i 's extends to ˆ X by the identity.

In this paper we will consider McCool groups when G is a toral relatively hyperbolic group : G is torsion-free, and hyperbolic relative to a finite set of finitely generated abelian subgroups. This includes in particular torsion-free hyperbolic groups, limit groups, and groups acting freely on R n -trees.

We will show (Corollary 1.6) that in this case any Mc( H ) is an elementary McCool group Mc( C ); in other words, it is equivalent for a subgroup of Out( G ) to be an elementary McCool group Mc( C ), or to be a McCool group Mc( H ) with H a finite family of finitely generated groups, or to be Mc( H ) with H arbitrary. We will not always make the distinction in the statements given below.

It was proved by McCool [McC75] that (elementary) McCool groups of a free group are finitely presented. Culler-Vogtmann [CV86, Corollary 6.1.4] proved that they are of type VF : they have a finite index subgroup with a finite classifying space (i.e. there exists a classifying space which is a finite complex). We proved in [GL12] that Out( G ) is of type VF if G is toral relatively hyperbolic (in particular, Out( G ) is virtually torsion-free). Our first main results extend this to certain naturally defined subgroups of Out( G ).

Theorem 1.3. If G is a toral relatively hyperbolic group, then any McCool group Mc( H ⊂ ) Out( G ) is of type VF.

Theorem 1.4. If G is a toral relatively hyperbolic group, and T is a simplicial tree on which G acts with abelian edge stabilizers, then the group of automorphisms Out( T ) ⊂ Out( G ) leaving T invariant is of type VF.

Our most general result in this direction (Corollary 6.3) combines these two theorems; it implies in particular that Mc( H ∩ ) Out( T ) is of type VF if T is as above and H is any family of subgroups, each of which fixes a point in T .

Remark. Some of these results may be extended to groups which are hyperbolic relative to virtually polycyclic subgroups, but with the weaker conclusion that the automorphism groups are of type F ∞ (see [GLa]). On the other hand, one can show that, if there exists a hyperbolic group which is not residually finite, then there exists a hyperbolic group with Out( G ) not virtually torsion-free (hence not VF).

Our second main result is the following:

Theorem 1.5. Let G be a toral relatively hyperbolic group. McCool groups of G satisfy a uniform chain condition: there exists C = C G ( ) such that, if

$$\text{Mc} ( \mathcal { H } _ { 0 } ) \supsetneq \text{Mc} ( \mathcal { H } _ { 1 } ) \supsetneq \dots \supsetneq \text{Mc} ( \mathcal { H } _ { p } )$$

is a strictly decreasing chain of McCool groups in Out( G ) , then p ≤ C .

This is based, among other things, on the vertex finiteness proved in [GL13]: if G is toral relatively hyperbolic, then all vertex groups occurring in splittings of G over abelian groups lie in finitely many isomorphism classes.

The chain condition, proved in Section 5 for McCool groups Mc( H ) with H a finite family of finitely generated groups, implies:

Corollary 1.6. Let G be a toral relatively hyperbolic group. If H is a (possibly infinite) family of (possibly infinitely generated) subgroups H i ⊂ G , there exists a finite set of conjugacy classes C such that Mc( H ) = Mc( ) C . In particular, any Mc( H ) is a McCool group, and any McCool group is an elementary McCool group Mc( ) C .

The chain condition also implies that no McCool group Mc( H ⊂ ) Out( G ) is conjugate to a proper subgroup. Note, however, that McCool groups may fail to be co-Hopfian (they may be isomorphic to proper subgroups). To illustrate the variety of McCool groups, we show:

Proposition 1.7. Out( F n ) contains infinitely many non-isomorphic McCool groups if n ≥ 4 ; it contains infinitely many non-conjugate McCool groups if n ≥ 3 .

It may be shown that the bounds on n are sharp (see the appendix). We will also show in the appendix that, if G is a torsion-free one-ended hyperbolic group, then Out( G ) only contains finitely many McCool groups up to conjugacy.

Say that J ⊂ G is a fixed subgroup if there is a family of automorphisms α i ∈ Aut( G ) such that J = ∩ i Fix α i , with Fix α = { g ∈ G | α g ( ) = g } . The chain condition also implies:

Theorem 1.8. Let G be a toral relatively hyperbolic group. There is a constant c = ( c G ) such that, if J 0 /notsubsetoreql J 1 /notsubsetoreql . . . /notsubsetoreql J p is a strictly ascending chain of fixed subgroups, then p ≤ c .

This was proved by Martino-Ventura [MV04] for G free, with c F ( n ) = 2 n . In [GLb], we will apply Theorems 1.3 and 1.8 to the study of stabilizers for the action of Out( G ) on spaces of R -trees.

As explained above, one does not get new groups by allowing the set C in Definition 1.1 to be infinite, or by considering arbitrary subgroups as in Definition 1.2. The following definition provides a genuine generalization.

Definition 1.9. Let G be a group, and C a finite set of conjugacy classes [ c i ] . We write C -1 for the set of classes [ c -1 i ] . Let ̂ Mc( ) C be the subgroup of Out( G ) consisting of automorphisms leaving C ∪ C -1 globally invariant; it contains Mc( ) C as a normal subgroup of finite index. We say that ̂ Mc( ) C is an extended elementary McCool group of G .

More generally, if H is a finite family of subgroups, one can define finite extensions of Mc( H ) by allowing the H i 's to be permuted, or the action on H i to be only 'almost' trivial.

Proposition 1.10. Given a toral relatively hyperbolic group G , there exists a number C such that, if a subgroup ̂ M ⊂ Out( G ) contains a group Mc( H ) with finite index, then the index [ M : Mc( H )] is bounded by C .

̂ In particular, for C finite, the index of Mc( ) C in ̂ Mc( ) C is bounded by a constant depending only on G .

It follows that extended elementary McCool groups satisfy a uniform chain condition as in Theorem 1.5 (see Corollary 6.4). We also have:

Corollary 1.11. Let G be a toral relatively hyperbolic group. Let A be any subgroup of Out( G ) , and let C A be the (possibly infinite) set of conjugacy classes of G whose A -orbit is finite. The image of A in the group of permutations of C A is finite, and its order is bounded by a constant depending only on G . In other words, there is a subgroup A 0 ⊂ A of bounded finite index such that every conjugacy class in G is fixed by A 0 or has infinite orbit under A 0 .

When G is free, one may take for A 0 the intersection of A with a fixed finite index subgroup of Out( G ) (independent of A ) [HM13].

One may also consider subgroups of Aut( G ).

Definition 1.12. Let H be a family of (conjugacy classes of) subgroups, and H 0 &lt; G another subgroup. Let Ac( H , H 0 ) ⊂ Aut( G ) be the group of automorphisms acting trivially on H (in the sense of Definition 1.2) and fixing the elements of H 0 .

Proposition 1.13. If G is a non-abelian toral relatively hyperbolic group, then Ac( H , H 0 )

is an extension

$$1 \to K \to \text{Ac} ( \mathcal { H }, H _ { 0 } ) \to \text{Mc} ( \mathcal { H } ^ { \prime } ) \to 1$$

where Mc( H ′ ) ⊂ Out( G ) is a McCool group, and K is the centralizer of H 0 (isomorphic to G or to Z n for some n ≥ 0 ).

Corollary 1.14. Theorems 1.3 and 1.5 also hold in Aut( G ) : groups of the form Ac( H , H 0 ) are of type VF and satisfy a uniform chain condition.

Theorems 1.3 and 1.4 are proved in Section 3, and Theorem 1.5 is proved in Section 5. All other results are proved in Section 6.

Acknowledgements The first author acknowledges support from ANR-11-BS01-013, the Institut Universitaire de France, and from the Lebesgue center of mathematics. The second author acknowledges support from ANR-10-BLAN-116-03.

## 2 Preliminaries

In this paper, G will always denote a toral relatively hyperbolic group. Any non-trivial abelian subgroup A of G is contained in a unique maximal abelian subgroup. The maximal abelian subgroups are malnormal ( G is CSA), finitely generated, and there are finitely many non-cyclic ones up to conjugacy. Two subgroups of A which are conjugate in G are equal.

The center of a group H will be denoted by Z H ( ). We write N K ( H ) for the normalizer of a group H in a group K , with N H ( ) = N G ( H ). Centralizers are denoted by Z K ( H ).

We say that Φ ∈ Out( G ) preserves a subgroup H , or leaves H invariant, if its representatives ϕ ∈ Aut( G ) map H to a conjugate. If ϕ ∈ Aut( G ) equals the identity on H , we say that it fixes H .

Definition 2.1. If H is a family of subgroups, we let Out( G ; H ⊂ ) Out( G ) be the group of automorphisms preserving each H ∈ H , and ̂ Out( G ; H ) the group of automorphisms preserving H globally (possibly permuting groups in H ).

We denote by

$$O u t ( G ; \mathcal { H } ^ { ( t ) } ) = \text{Mc} ( \mathcal { H } ) \subset O u t ( G )$$

the group of automorphisms acting trivially on groups in H (as in Definition 1.2).

We write

$$\text{Out} ( G ; \mathcal { H } ^ { ( t ) }, \mathcal { K } ) \coloneqq \text{Out} ( G ; \mathcal { H } ^ { ( t ) } ) \cap \text{Out} ( G ; \mathcal { K } ),$$

and

$$O u t ( G ; \mathcal { H }, \mathcal { K } ) \coloneqq O u t ( G ; \mathcal { H } \cup \mathcal { K } ).$$

Remark. Out( G ; H (t) ) and Mc( H ) denote the same group. The notation Out( G ; H (t) ) is more flexible and will be convenient in Section 3.

We will often view a set of conjugacy classes C = [ { c i ] } as a family of cyclic subgroups H = {〈 c i 〉} , since Mc( C ) = Mc( H ). Note that Out( G ; H ) is larger than Mc( C ) = Mc( H ) since c i may sent to a conjugate of c -1 i .

For example, suppose that H &lt; G = Z n is the subgroup generated by the first k basis elements, and H = { H } . Then Out( G ) = GL n, ( Z ); the group Out( G ; H ) consists of block triangular matrices, and Out( G ; H (t) ) = Mc( H ) is the group of matrices fixing the first k basis vectors.

̂ Given a family H and a subgroup J , we denote by H | J the J -conjugacy classes of subgroups of J conjugate to a group of H . We view H | J as a family of subgroups of J , each defined up to conjugacy in J . In the next subsection we will define a closely related notion H || J when J = G v is a vertex stabilizer in a tree.

There are inclusions Out( G ; H (t) ) ⊂ Out( G ; H ⊂ ) ̂ Out( G ; H ). Note that Out( G ; H (t) ) has finite index in Out( G ; H ) and Out( G ; H ) if H is a finite family of cyclic groups.

If C is a set of conjugacy classes [ c i ], viewed as a set of cyclic subgroups, C | J is the set of J -conjugacy classes of elements of J representing elements in C .

Now suppose that subgroups of J which are conjugate in G are conjugate in J ; this holds for instance if J is malnormal (in particular if J is a free factor), and also if J is abelian. In this case we may view H | J as a subset of H ; it is finite if H is.

## 2.1 Trees and splittings

A tree will be a simplicial tree T with an action of G without inversions. A tree T is relative to H (resp. to C ) if any group in H (resp. any element representing a class in C ) fixes a point in T .

Two trees are considered to be the same if there is a G -equivariant isomorphism between them. In this paper, all trees will have abelian edge stabilizers.

Unless mentioned otherwise, we assume that the action is minimal (there is no proper invariant subtree). We usually assume that there is no redundant vertex (if T \ { x } has two components, some g ∈ G interchanges them). If a finitely generated subgroup H ⊂ G acts on T with no global fixed point, there is a smallest H -invariant subtree called the minimal subtree of H .

The tree T is trivial if there is a global fixed point (minimality then implies that T is a point). An element of G , or a subgroup, is elliptic if it fixes a point in T . Conjugates of elliptic subgroups are elliptic, so we also consider elliptic conjugacy classes.

An action of G on a tree T gives rise to a splitting of G , i.e. a decomposition of G as the fundamental group of the quotient graph of groups Γ = T/G . Conversely, T is the Bass-Serre tree of Γ. All definitions given here apply to both splittings and trees. In particular, a splitting is relative to H if every H ∈ H has a conjugate contained in a vertex group.

Minimality implies that the graph Γ is finite. There is a one-to-one correspondence between vertices (resp. edges) of Γ and G -orbits of vertices (resp. edges) of T . We denote by V the set of vertices of Γ, and by G v the group carried by a vertex v ∈ V . We also view v as a vertex of T with stabilizer G v . Similarly, we denote by e an edge of Γ or T , by G e the corresponding group (always abelian in this paper), and by E the set of non-oriented edges of Γ.

Edge groups being abelian, hence relatively quasiconvex, every vertex group G v is toral relatively hyperbolic (see for instance [GL12]).

The edge groups carried by edges of Γ incident to a given vertex v will be called the incident edge groups of G v . We denote by Inc v the family of incident edge groups (we view it as a finite family of subgroups of G v , each well-defined up to conjugacy).

If H is a finite family of subgroups of G , and v is a vertex stabilizer of T , we denote by H || G v the family of subgroups H ⊂ G v which are conjugate to a group of H and fix no other point in T . Two such groups are conjugate in G v if they are conjugate in G ([GL12], Lemma 2.2 where the notation H | G v is used instead), so we may also view H || G v as a subset of H (it contains some of the groups of H having a conjugate in G v ), or as a finite family of subgroups of G v , each well-defined up to conjugacy ( H || G v may be smaller than H | G v because we do not include subgroups of edge groups).

Any splitting of G v relative to Inc v extends to a splitting of G . If T is relative to H , any splitting of G v relative to Inc v ∪H || G v is relative to H | G v and extends to a splitting of G relative to H .

If C is a set of conjugacy classes, we view C || G v as the subset of C consisting of classes having a representative that fixes v and no other vertex. In particular, C || G v is finite if C is.

A tree T ′ is a collapse of T if it is obtained from T by collapsing each edge in a certain G -invariant collection to a point; conversely, we say that T refines T ′ . In terms of graphs of groups, one passes from Γ = T/G to Γ ′ = T /G ′ by collapsing edges; for each vertex v ′ ∈ Γ , the vertex group ′ G v ′ is the fundamental group of the graph of groups Γ v ′ occuring as the preimage of v ′ in Γ.

All maps between trees will be G -equivariant. Given two trees T and T ′ , we say that T dominates T ′ if there is a map f : T → T ′ , or equivalently if every subgroup which is elliptic in T is also elliptic in T ′ ; in particular, T dominates any collapse T ′ . We sometimes say that f is a domination map. Minimality implies that it is onto.

Two trees belong to the same deformation space if they dominate each other. In other words, a deformation space D is the set of all trees having a given family of subgroups as their elliptic subgroups. We say that D dominates D ′ if trees in D dominate those in D ′ .

## 2.2 JSJ decompositions [GL09, GL10]

Let H be a family of subgroups of G . Recall that a tree T is relative to H if all groups of H are elliptic in T .

We denote by H + ab the family obtained by adding to H all non-cyclic abelian subgroups of G .

/negationslash

The group G is freely indecomposable relative to H if it does not split over the trivial group relative to H ; equivalently, G cannot be written non-trivially as A ∗ B with every group of H contained in a conjugate of A or B (if H is trivial, we also require G = Z , as we consider Z as freely decomposable). Non-cyclic abelian groups being one-ended, being freely indecomposable relative to H is the same as relative to H + ab .

Let A be another family of subgroups (in this paper, A consists of the trivial group or is the family of all abelian subgroups). Once H and A are fixed, we only consider trees relative to H , with edge stabilizers in A . We also assume that trees are minimal.

Atree T (with edge stabilizers in A , relative to H ) is universally elliptic (with respect to H ) if its edge stabilizers are elliptic in every tree. It is a JSJ tree if, moreover, it dominates every universally elliptic tree. The set of JSJ trees is called the JSJ deformation space (over A relative to H ). All JSJ trees have the same vertex stabilizers, provided one restricts to stabilizers not in A .

When A consists of the trivial group, the JSJ deformation space is called the Grushko deformation space (relative to H ). The group G has a relative Grushko decomposition G = G 1 ∗· · · ∗ G n ∗ F p , with F p free, every H ∈ H contained in some G i (up to conjugacy), and G i freely indecomposable relative to H | G i . Vertex stabilizers of the relative Grushko deformation space D are precisely conjugates of the G i 's. The deformation space is trivial (it only contains the trivial tree) if and only if G is freely indecomposable relative to H . Writing G = { G ,. . . , G 1 n } , note that Out( G ; H ∪ G ) has finite index in Out( G ; H ), because automorphisms in Out( G ; H ) leave D invariant and therefore permute the G i 's (up to conjugacy).

Now suppose that A consists of all abelian subgroups, and G is freely indecomposable relative to a family H . Then [GL10, 11.1] the JSJ deformation space relative to H + ab contains a preferred tree T can ; this tree is invariant under Out( ̂ G ; H ) (the group of automorphisms preserving H ).

It is obtained as a tree of cylinders . We describe this construction in the case that will be needed here (see Proposition 6.3 of [GL11] for details). Let T be any tree with non-trivial abelian edge stabilizers, relative to all non-cyclic abelian subgroups. Say that two edges e, e ′ belong to the same cylinder if their stabilizers commute. Cylinders are subtrees intersecting in at most one point.

The tree of cylinders T c is defined as follows. It is bipartite, with vertex set V 0 ∪ V 1 . Vertices in V 0 are vertices of T belonging to at least two cylinders. Vertices in V 1 are cylinders of T . A vertex v ∈ V 0 is joined to a vertex Y ∈ V 1 if v (viewed as a vertex of T ) belongs to Y (viewed as a subtree of T ). Equivalently, one obtains T c from T by replacing each cylinder Y by the cone on its boundary (points of Y belonging to at least one other cylinder).

The tree T c only depends on the deformation space D containing T , and it belongs to D . Like T , it has non-trivial abelian edge stabilizers, and is relative to all non-cyclic abelian subgroups. It is minimal if T is minimal, but vertices in V 1 may be redundant vertices.

The stabilizer of a vertex v 1 ∈ V 1 is a maximal abelian subgroup. The stabilizer of a vertex in V 0 is non-abelian and is the stabilizer of a vertex of T . The stabilizer of an edge v v 0 1 with v i ∈ V i is an infinite abelian subgroup, it is a maximal abelian subgroup of G v 0 (but it is not always maximal abelian in G v 1 ).

The Out( ̂ G ; H )-invariant tree T can mentioned above is the tree of cylinders of JSJ trees relative to H + ab . It is a JSJ tree, and the tree of cylinders of T can is T can itself.

Let Γ can = T can /G be the quotient graph of groups, and let v ∈ V 0 /G be a vertex with G v non-abelian. If G v does not split over an abelian group relative to incident edge groups and to H || G v , it is universally elliptic (with respect to both H and H + ab ); we say that G v (or v ) is rigid . Otherwise it is flexible .

A key fact here is that every flexible vertex v of Γ can is quadratically hanging (QH) . The group G v is the fundamental group of a compact (possibly non-orientable) surface

Σ, and incident edge groups are boundary subgroups of π 1 (Σ) (i.e. fundamental groups of boundary components of Σ); in particular, incident edge groups are cyclic. At most one incident edge group is attached to a given boundary component (groups carried by distinct incident edges are non-conjugate in G v ). If H is conjugate to a group of H , then H ∩ G v is contained in a boundary subgroup. Conversely, every boundary subgroup is an incident edge group or has a finite index subgroup which is conjugate to a group of H .

As in [Sze08], we denote by PM + (Σ) the group of isotopy classes of homeomorphisms of Σ mapping each boundary component to itself in an orientation-preserving way. We view PM + (Σ) as a subgroup of Out( π 1 (Σ)) = Out( G v ), indeed PM + (Σ) = Out( G v ; Inc (t) v , H (t) || G v ).

## 2.3 Automorphisms of trees

There is a natural action of Out( G ) on the set of trees, given by precomposing the action on T with an automorphism of G . We denote by Out( T ) the stabilizer of a tree T . We write Out( T, H ) for Out( T ) ∩ Out( G ; H ), and so on.

If T is a point, Out( T ) = Out( G ). If G is abelian and T is not a point, then T is a line on which G acts by integral translations, and Out( T ) is the group of automorphisms of G preserving the kernel of the action.

We now study Out( T ) in the general case, following [Lev05a].

We always assume that edge stabilizers are abelian. This implies that all vertex or edge stabilizers H have the property that the normalizer N H ( ) acts on H by inner automorphisms: indeed, N H ( ) is abelian if H is abelian, equal to H if H is not abelian.

One first considers the action of Out( T ) on the finite graph Γ = T/G . We always denote by Out ( 0 T ) the finite index subgroup consisting of automorphisms acting trivially. We study it through the natural map

$$\underset { v \in V } { \text{qu} \, \in \, \max \, \partial \, \max \, \rho } } \\ \rho & = \prod _ { v \in V } \rho _ { v } \colon \text{Out} ^ { 0 } ( T ) \to \prod _ { v \in V } \text{Out} ( G _ { v } )$$

recording the action of automorphisms on vertex groups (see Section 2 of [Lev05a]); recall that V is the vertex set of Γ. Since N G ( v ) acts on G v by inner automorphisms, ρ v (Φ) is simply defined as the class of α | G v , where α ∈ Aut( G ) is any representative of Φ ∈ Out ( 0 T ) leaving G v invariant.

The image of ρ is contained in ∏ v ∈ V Out( G v ; Inc v ) (the family of incident edge groups at a given v is preserved). It contains the subgroup ∏ v ∈ V Out( G v ; Inc (t) v ) because automorphisms of G v acting trivially on incident edge groups extend 'by the identity' to automorphisms of G preserving T .

The kernel of ρ is the group of twists T , a finitely generated abelian group when no edge group is trivial (bitwists as defined in [Lev05a] belong to T because the normalizer of an abelian subgroup is its centralizer). We therefore have an exact sequence

$$\omega _ { \text{group} } & \in \infty \cos \Gamma \Gamma \Gamma \Gamma \cos \Gamma \Gamma \cos \Gamma \Gamma \Gamma \cos \Gamma \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \sin \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \tan \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \ cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \osigma \Gamma \Gamma \cos \Gamma \cos \Gamma \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \gamma \cos \Gamma \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma\cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma \cos \Gamma
1 & 1 & \to \mathcal { T } \to \text{Out} ^ { 0 } ( T ) \xrightarrow \longrightarrow \text{Up} \prod _ { v \in V } \text{Out} ( G _ { v } ; \text{Inc} _ { v } ).$$

Now suppose that T is relative to families H and K (i.e. each H i , K j fixes a point in T ). A trivial but important remark is that T ⊂ Out( G ; H (t) , K (t) ). As pointed out in Lemma 2.10 of [GL12], we have

$$& \text{Lemina $Z.tv$ or $[\mathbb{o} L 1 z ], we have} \\ & \prod _ { v \in V } \text{Out} ( G _ { v } ; \text{Inc} _ { v } ^ { ( t ) }, \mathcal { H } _ { \| G _ { v } } ^ { ( t ) }, \mathcal { K } _ { \| G _ { v } } ) \subset \rho \left ( \text{Out} ^ { 0 } ( T ) \cap \text{Out} ( G ; \mathcal { H } ^ { ( t ) }, \mathcal { K } ) \right ) \subset \prod _ { v \in V } \text{Out} ( G _ { v } ; \text{Inc} _ { v }, \mathcal { H } _ { \| G _ { v } } ^ { ( t ) }, \mathcal { K } _ { \| G _ { v } } )$$

(see Subsection 2.1 for the definition of H || G v ; groups of H || G v that are conjugate in G are necessarily conjugate in G v ).

Given an edge e of Γ, there is a natural map ρ e : Out ( 0 T ) → Out( G e ), defined in the same way as ρ v above. If v is an endpoint of e , the inclusion of G e into G v induces a homomorphism ρ v,e : Out( G v ; Inc v ) → Out( G e ) with ρ e = ρ v,e ◦ ρ v (it is well-defined because the normalizer N G v ( G e ) acts on G e by inner automorphisms).

The fact noted above that the image of Out ( 0 T ) by ρ contains ∏ v ∈ V Out( G v ; Inc (t) v ) expresses that automorphisms Φ v ∈ Out( G v ) acting trivially on incident edge groups may be combined into a global Φ ∈ Out( G ). In Subsection 3.2.4 we will need a more general result, where we only assume that the Φ v 's have compatible actions on edge groups.

Lemma 2.2. Consider a family of automorphisms Φ v ∈ Out( G v ; Inc v ) such that, if e = vw is any edge of Γ , then ρ v,e (Φ ) v = ρ w,e (Φ w ) . There exists Φ ∈ Out ( 0 T ) such that ρ v (Φ) = Φ v for every v .

We leave the proof to the reader. The lemma applies to any graph of groups such that, for every vertex or edge group H , the normalizer N H ( ) acts on H by inner automorphisms. Φ is not unique, it may be composed with any element of T .

In Subsection 3.2.4 we will have a family of automorphisms Φ e ∈ Out( G e ), and we will want Φ ∈ Out ( 0 T ) such that ρ e (Φ) = Φ e for every e . By the lemma, it suffices to find automorphisms Φ v ∈ Out( G v ; Inc v ) inducing the Φ 's. e

## 2.4 Rigid vertices

We now specialize to the case when T = T can is the canonical JSJ decomposition relative to H + ab discussed in Subsection 2.2.

If v is a QH vertex, the image of Out ( 0 T ) ∩ Out( G ; H (t) ) in Out( G v ) contains PM + (Σ) = Out( G v ; Inc (t) v , H (t) || G v ) with finite index (see [GL12], Proposition 4.7).

If v is a rigid vertex, then G v does not split over an abelian group relative to Inc v ∪ H || G v . By the Bestvina-Paulin method and Rips theory, one deduces that the image of Out ( 0 T ) ∩ Out( G ; H (t) ) in Out( G v ) is finite if H is a finite family of finitely generated subgroups (see [GL12], Theorem 3.9 and Proposition 4.7).

Lemma 2.3. Let H K , be finite families of finitely generated subgroups, with each group in K abelian. Assume that G is one-ended relative to H∪K , and let T can be the canonical JSJ tree relative to ( H∪K ) + ab .

The image of

$$O u t ^ { 0 } ( T ) \cap O u t ( G ; \mathcal { H } ^ { ( t ) }, \mathcal { K } )$$

by ρ v : Out ( 0 T ) → Out( G v ) is finite if v is a rigid vertex of T can . Its image by ρ e : Out ( 0 T ) → Out( G e ) is finite if e is any edge.

Proof. Define K Z by removing all non-cyclic groups from K . Being freely indecomposable relative to H∪K is the same as being freely indecomposable relative to H∪K Z , and a tree is relative to ( H∪K ) + ab if and only if it is relative to ( H∪K Z ) + ab . We may therefore view T can as the canonical JSJ tree relative to ( H∪K Z ) + ab .

Let v be a rigid vertex. The group Out( G ; H (t) , K ) is contained in Out( G ; H (t) , K Z ), which contains Out( G ; H (t) , K (t) Z ) with finite index. As explained above, the image of Out ( 0 T ) ∩ Out( G ; H (t) , K (t) Z ) in Out( G v ) is finite ([GL12], Prop. 4.7). The first assertion of the lemma follows.

Since T can is bipartite, every edge e is incident to a vertex v which is QH or rigid. In the first case G e is cyclic, so there is nothing to prove. In the second case the map ρ e : Out ( 0 T ) → Out( G e ) factors through Out( G v ), and the second assertion follows from the first.

## 3 Finite classifying space

In this section, we prove that McCool groups of a toral relatively hyperbolic group have type VF (Theorem 1.3), and that so does the stabilizer of a splitting (Theorem 1.4). In the course of the proof, we will describe the automorphisms of a given maximal abelian subgroup which are restrictions of an automorphism of G belonging to a given McCool group (Proposition 3.10).

We start by recalling some standard facts about groups of type VF.

A group has type F if it has a finite classifying space, type VF if some finite index subgroup is of type F. A key tool for proving that groups have type F is the following statement:

Theorem 3.1 (see for instance [Geo08, Th. 7.3.4]) . Suppose that G acts simplicially and cocompactly on a contractible simplicial complex X . If all point stabilizers have type F, so does G . In particular, being of type F is stable under extensions.

If G has a finite index subgroup acting as in the theorem, then G has type VF. In particular:

Corollary 3.2. Given an exact sequence 1 → N → G → Q → 1 , suppose that Q has type VF, and G has a finite index subgroup G &lt; G 0 such that G 0 ∩ N has type F. Then G has type VF.

Remark 3.3 . Suppose that G acts on X as in Theorem 3.1. If point stabilizers are only of type VF, one cannot claim that G has type VF, even if G is torsion-free. This subtlety was overlooked in Theorem 5.2 of [GL07b] (we will give a corrected statement in Corollary 3.8), and it introduces technical complications (which would not occur if we only wanted to prove that the groups under consideration have type F ∞ ). In particular, to study the stabilizer of a tree with non-cyclic edge stabilizers in Subsection 3.2.3, we have to prove more precise versions of certain results (such as the 'moreover' in Theorem 3.4).

## 3.1 McCool groups are VF

In this subsection we prove the following strengthening of Theorem 1.3.

Theorem 3.4. Let G be a toral relatively hyperbolic group. Let H and K be two finite families of finitely generated subgroups, with each group in K abelian. Then Out( G ; H (t) , K ) is of type VF.

Morerover, if groups in H are also abelian, there exists a finite index subgroup Out ( 1 G ; H K , ) ⊂ Out( G ; H K , ) such that Out ( 1 G ; H K ∩ , ) Out( G ; H (t) , K ) is of type F .

Recall (Definition 2.1) that Out( G ; H (t) , K ) consists of classes of automorphisms acting trivially on each group H i ∈ H (i.e. as conjugation by some g i ∈ G ), and leaving each K j ∈ K invariant up to conjugacy.

It will follow from Corollary 1.6 that the main assertion of Theorem 3.4 holds if H is an arbitrary family of subgroups (see Corollary 6.3), but finiteness is needed at this point in order to apply Lemma 2.3.

Convention 3.5. In this section, a superscript -1 , as in Out ( 1 G ; H K , ) , always indicates a subgroup of finite index. The superscript -0 refers to a trivial action on a quotient graph of groups (see Section 2.3).

## 3.1.1 The abelian case

The following lemma deals with the case when G = Z n .

Lemma 3.6. Let H and K be finite families of subgroups of Z n . Let A = Out( Z n ; H (t) , K ) be the subgroup of GL n, ( Z ) consisting of matrices acting as the identity on groups H i ∈ H and leaving each K j ∈ K invariant. Then A is of type VF. More precisely, every torsionfree subgroup of finite index A ′ ⊂ A is of type F.

Recall that GL n, ( Z ) is virtually torsion-free, so groups such as A ′ exist.

Proof. The set of endomorphisms of Z n acting as the identity on H i and preserving K j is a linear subspace defined by linear equations with rational coefficients. It follows that the groups A and A ′ are arithmetic: they are commensurable with a subgroup of GL n, ( Z ) defined by Q -linear equations. By Borel-Serre [BS73], every torsion-free arithmetic subgroup of GL n, ( Q ) is of type F.

To deduce Theorem 3.4 when G is abelian, we simply define Out ( 1 G ; H K , ) as any torsion-free finite index subgroup of Out( G ; H K , ).

If G is not abelian, we shall distinguish two cases.

## 3.1.2 The one-ended case

We first assume that G is freely indecomposable relative to H∪K : one cannot write G = A ∗ B with each group of H∪K contained in a conjugate of A or B . We then consider the canonical tree T can as in Subsection 2.2 (it is a JSJ tree relative to H K , , and to non-cyclic abelian subgroups). It is invariant under Out( G ; H K , ), so Out( G ; H K , ) ⊂ Out( T can ).

We write Out ( 0 T can ) for the finite index subgroup consisting of automorphisms acting trivially on the finite graph Γ can = T can /G , and

$$O u ^ { 0 } ( G ; \mathcal { H }, \mathcal { K } ) = O u t ( G ; \mathcal { H }, \mathcal { K } ) \cap O u t ^ { 0 } ( T _ { \text{can} } ) ;$$

it has finite index in Out( G ; H K , ).

Recall that non-abelian vertex stabilizers G v of T can (or vertex groups of Γ can ) are rigid or QH. Also recall from Subsection 2.3 that, for each vertex v , there is a map ρ v : Out ( 0 T can ) → Out( G v ; Inc v ), with Inc v the family of incident edge groups (see Subsection 2.1).

We define a subgroup Out ( r G ; H K , ) ⊂ Out( G ; H K , ) by restricting to automorphisms Φ ∈ Out ( 0 G ; H K , ), and imposing conditions on the image of Φ by the maps ρ v .

- · If G v is rigid, we ask that ρ v (Φ) be trivial.
- · If G v is abelian, we fix a torsion-free subgroup of finite index Out ( 1 G v ) ⊂ Out( G v ), and we ask that ρ v (Φ) belong to Out ( 1 G v ).
- · If G v is QH, it is the fundamental group of a compact surface Σ. Each boundary component is associated to an incident edge or a group in H ∪ K (see Subsection 2.2), so ρ v (Φ) preserves the peripheral structure of π 1 (Σ) and may therefore be represented by a homeomorphism of Σ. Since groups in H∪K , and their conjugates, only intersect G v along boundary subgroups, the image of Out ( 0 G ; H K , ) by ρ v contains the mapping class

group PM + (Σ) = Out( G v ; Inc (t) v , H (t) || G v , K (t) || G v ) (see Subsection 2.2); the index is finite. We fix a finite index subgroup PM + 1 , (Σ) of type F, and we require ρ v (Φ) ∈ PM + 1 , (Σ). In particular, Φ acts trivially on all boundary subgroups of Σ.

Let Out ( r G ; H K , ) consist of automorphisms Φ ∈ Out ( 0 G ; H K , ) whose images ρ v (Φ) satisfy the conditions stated above. These automorphisms act trivially on edge stabilizers.

It follows from Lemma 2.3 that Out ( r G ; H K ∩ , ) Out( G ; H (t) , K ) always has finite index in Out( G ; H (t) , K ). If groups in H are abelian, then Out ( r G ; H K , ) has finite index in Out( G ; H K , ). It therefore suffices to prove that

$$O \coloneqq \text{Out} ^ { r } ( G ; \mathcal { H }, \mathcal { K } ) \cap \text{Out} ( G ; \mathcal { H } ^ { ( t ) }, \mathcal { K } )$$

is of type F (this argument, based on Lemma 2.3, is the only place where we use the assumptions on H and K ).

Every edge of T can has an endpoint v with G v rigid or QH, so elements of O act trivially on edge stabilizers of T can . Consider an abelian vertex stabilizer G v . Elements in ρ v ( O ) are the identity on incident edge groups and groups in H || G v , and leave groups in K || G v invariant. By Lemma 3.6 these conditions define a group B v ⊂ Out( G v ) which is of type VF, and C v := B v ∩ Out ( 1 G v ) is a group of type F containing ρ v ( O ).

Recall from Subsection 2.3 the exact sequence

We claim that the image of O by ρ is a direct product ∏ v ∈ V C v , with C v as above if G v is abelian, C v = PM + 1 , (Σ) if v is QH, and C v trivial if v is rigid. The image is contained in the product. Conversely, given a family (Φ v ) v ∈ V , with Φ v ∈ C v , the automorphisms Φ v act trivially on incident edge groups, so there is Φ ∈ Out ( 0 T can ) with ρ v (Φ) = Φ . v Since Φ v acts trivially on Inc v ∪ H || G v and preserves K || G v , this automorphism is in O . This proves the claim.

$$\underset { v \in V } { \text{subsection $2.0$ the exact sequence} } \\ 1 \to \mathcal { T } \to \text{Out} ^ { 0 } ( T _ { \text{can} } ) \overset { \rho } { \longrightarrow } \prod _ { v \in V } \text{Out} ( G _ { v } ; \text{Inc} _ { v } ).$$

It follows that ρ O ( ) is of type F. The group of twists T is contained in O , because twists act trivially on vertex groups and T is relative to H∪K , so we can conclude that O is of type F by Theorem 3.1 if we know that T is of type F. The group T is a finitely generated abelian group. It is torsion-free, hence of type F, as shown in Section 4 of [GL12] (alternatively, one can replace Out ( r G ; H K , ) by its intersection with a torsion-free finite index subgroup of Out( G ), which exists by Corollary 4.4 of [GL12]).

This proves Theorem 3.4 in the freely indecomposable case. To prove it in general, we need to study automorphisms of free products.

## 3.1.3 Automorphisms of free products

In this subsection, G does not have to be relatively hyperbolic.

Let G = { G i } be a family of subgroups of G . We have defined Out( G ; G ) as automorphisms leaving the conjugacy class of each G i invariant, and Out( G ; G (t) ) as automorphisms acting trivially on each G i .

More generally, consider a group of automorphisms Q ⊂ i Out( G i ) and Q = {Q } i . We would like to define Out( G ; G ( Q ) ) ⊂ Out( G ; G ) as the automorphisms Φ acting on each G i as an element of Q i . To be precise, given Φ ∈ Out( G ; G ), choose representatives ϕ i of Φ in Aut( G ) with ϕ i ( G i ) = G i . We say that Φ belongs to Out( G ; G ( Q ) ) if every ϕ i represents an element of Q i . This is well-defined (independent of the chosen ϕ i 's) if each G i is a free factor (more generally, if the normalizer of G i acts on G i by inner automorphisms).

The goal of this subsection is to show:

Proposition 3.7. Let G = G 1 ∗ · · · ∗ G n ∗ F p , with F p free of rank p , and let G = { G i } . Assume that all groups G i and G /Z G i ( i ) have type F.

Let Q = {Q } i be a family of subgroups Q ⊂ i Out( G i ) . If every Q i is of type VF, then Out( G ; G ( Q ) ) has type VF.

More precisely, there exists a finite index subgroup Out ( 1 G ; G ) ⊂ Out( G ; G ) , independent of Q , such that, if every Q i is of type F, then Out ( 1 G ; G ) ∩ Out( G ; G ( Q ) ) has type F.

The 'more precise' assertion implies the first one, since Out( G ; G ( Q ′ ) ) has finite index in Out( G ; G ( Q ) ) if every Q ′ i is a finite index subgroup of Q i .

Assume that G i and G /Z G i ( i ) have type F. The proposition says in particular that the Fouxe-Rabinovitch group Out( G ; G (t) ) is of type VF, and that Out( G ; G ) is of type VF if every Out( G i ) is. If we consider the Grushko decomposition of G , then Out( G ; G ) has finite index in Out( G ) and we get:

Corollary 3.8 (Correcting [GL07b], Theorem 5.2) . Let G = G 1 ∗ · · · ∗ G n ∗ F p , with F p free, G i non-trivial, not isomorphic to Z , and not a free product. If every G i and G /Z G i ( i ) has type F, and every Out( G i ) has type VF, then Out( G ) has type VF.

Proof of Proposition 3.7. We prove the 'more precise' assertion, so we assume that Q ⊂ i Out( G i ) has type F. We shall apply Theorem 3.1 to the action of Out( G ; G ( Q ) ) on the outer space defined in [GL07b]. We let D be the Grushko deformation space relative to G , i.e. the JSJ deformation space of G over the trivial group relative to G (see Subsection 2.2). Trees in D have trivial edge stabilizers, and non-trivial vertex stabilizers are conjugates of the G i 's.

Like ordinary outer space [CV86], the projectivization ˆ of D D is a complex consisting of simplices with missing faces, and the spine of ˆ is a simplicial complex. D It is contractible for the weak topology [GL07a].

The group Out( G ; G ) acts on D , hence on the spine, and the action of the FouxeRabinovitch group Out( G ; G (t) ) ⊂ Out( G ; G ( Q ) ) is cocompact because there are finitely many possibilities for the quotient graph T/G , for T ∈ D . In order to apply Theorem 3.1, we just need to show that stabilizers are of type F.

Out( G ; G ) also acts on the free group (isomorphic to F p ) obtained from G by killing all the G i 's (it may be viewed as the topological fundamental group of Γ = T/G , for any T ∈ D ). In other words, there is a natural map Out( G ; G ) → Out( F p ). We fix a torsionfree finite index subgroup Out ( 1 F p ) ⊂ Out( F p ), and we define Out ( 1 G ; G ) ⊂ Out( G ; G ) as the pullback of Out ( 1 F p ).

Given T ∈ D , we let S be its stabilizer for the action of Out 1 ( G ; G ), and S Q its stabilizer for the action of Out ( 1 G ; G ) ∩ Out( G ; G ( Q ) ). We complete the proof by showing that S Q has type F.

We first claim that S equals Out ( 0 T ), the group of automorphisms of G leaving T invariant and acting trivially on Γ = T/G . Clearly Out ( 0 T ) ⊂ S . Conversely, we have to show that any Φ ∈ S acts as the identity on Γ. First, Φ fixes all vertices of Γ carrying a nontrivial group G v , because G v is a G i (up to conjugacy) and the G i 's are not permuted. In particular, by minimality of T , all terminal vertices of Γ are fixed. Also, by our definition of Out ( 1 G ; G ), the image of Φ in Out( π 1 (Γ)) is trivial or has infinite order. The claim follows because any non-trivial symmetry of Γ fixing all terminal vertices maps to a non-trivial element of finite order in Out( π 1 (Γ)) if Γ is not a circle.

The map ρ (see Subsection 2.3) maps S onto ∏ i Out( G i ), and the image of S Q is ∏ i Q i , a group of type F. The kernel is the group of twists T , which is contained in S Q ,

so it suffices to check that T has type F. Since edge stabilizers are trivial, T is a direct product ∏ i K i , with K i = G n i i /Z G ( i ); here n i is the valence of the vertex carrying G i in Γ, and the center Z G ( i ) is embedded diagonally (see [Lev05a]). There are exact sequences

$$1 \to G _ { i } ^ { n _ { i } - 1 } \to G _ { i } ^ { n _ { i } } / Z ( G _ { i } ) \to G _ { i } / Z ( G _ { i } ) \to 1,$$

so the assumptions of the proposition ensure that T is of type F.

## 3.1.4 The infinitely-ended case

We can now prove Theorem 3.4 in full generality. We let G = G 1 ∗ · · · ∗ G n ∗ F p be the Grushko decomposition of G relative to H∪K (see Subsection 2.2), and G = { G i } . Each G i is toral relatively hyperbolic, so has type F by [Dah03]. Its center is trivial if G i is nonabelian, so G /Z G i ( i ) also has type F. This will allow us to use Proposition 3.7.

Lemma 3.9. Let Q = {Q } i , with Q i = Out( G i ; H (t) | G i , K | G i ) , and let R = {R } i with R i = Out( G i ; H | G i , K | G i ) .

Then

$$O u t ( G ; \mathcal { G } ^ { ( \mathcal { Q } ) } ) = O u t ( G ; \mathcal { H } ^ { ( \mathfrak { t } ) }, \mathcal { K } ) \cap O u t ( G ; \mathcal { G } ),$$

and

$$O u t ( G ; \mathcal { G } ^ { ( \mathcal { R } ) } ) = O u t ( G ; \mathcal { H }, \mathcal { K } ) \cap O u t ( G ; \mathcal { G } ).$$

Moreover, Out( G ; G ( Q ) ) has finite index in Out( G ; H (t) , K ) , and Out( G ; G ( R ) ) has finite index in Out( G ; H K , ) .

Proof. If Φ belongs to Out( G ; G ( Q ) ), it belongs to Out( G ; H (t) , K ) because every group in H∪K has a conjugate contained in some G i . Conversely, automorphisms in Out( G ; H (t) , K ) preserve the Grushko deformation space relative to H∪K and therefore permute the G i 's, so Out( G ; G ) ∩ Out( G ; H (t) , K ) has finite index in Out( G ; H (t) , K ). If ϕ ∈ Aut( G ) leaves G i invariant and maps a non-trivial H ⊂ G i to a conjugate gHg -1 , then g ∈ G i because G i is a free factor. This shows

$$O u t ( G ; \mathcal { H } ^ { ( t ) }, \mathcal { K } ) \cap O u t ( G ; \mathcal { G } ) \subset O u t ( G ; \mathcal { G } ^ { ( \mathcal { Q } ) } ),$$

completing the proof for Out( G ; G ( Q ) ). The proof for Out( G ; G ( R ) ) is similar.

The first assertion of Theorem 3.4 now follows immediately from the one-ended case together with Proposition 3.7, since Out( G ; H (t) , K ) contains Out( G ; G ( Q ) ) with finite index. There remains to prove the 'moreover'.

Each G i is freely indecomposable relative to H | G i ∪K | G i , so we may apply the 'moreover' of Theorem 3.4 to G i . We get a finite index subgroup R ⊂ R 1 i i such that Q 1 i := R ∩Q 1 i i has type F. Let R 1 = {R } 1 i , and Q 1 = {Q } 1 i .

By Proposition 3.7, there is a finite index subgroup Out ( 1 G ; G ) ⊂ Out( G ; G ) such that Out ( 1 G ; G ) ∩ Out( G ; G ( Q 1 ) ) has type F . Now write

$$O u t ^ { 1 } ( G ; \mathcal { G } ) \cap O u t ( G ; \mathcal { G } ^ { ( \mathcal { Q } ^ { 1 } ) } ) = O u t ^ { 1 } ( G ; \mathcal { G } ) \cap O u t ( G ; \mathcal { G } ^ { ( \mathcal { R } ^ { 1 } ) } ) \cap O u t ( G ; \mathcal { G } ^ { ( \mathcal { Q } ) } ).$$

By Lemma 3.9, we may replace the last term Out( G ; G ( Q ) ) by Out( G ; H (t) , K ). Defining

$$O u t ^ { 1 } ( G ; \mathcal { H }, \mathcal { K } ) \coloneqq O u t ^ { 1 } ( G ; \mathcal { G } ) \cap O u t ( G ; \mathcal { G } ^ { ( \mathcal { R } ^ { 1 } ) } ),$$

we have shown that Out ( 1 G ; H K ∩ , ) Out( G ; H (t) , K ) has type F. There remains to check that Out ( 1 G ; H K , ) is a finite index subgroup of Out( G ; H K , ).

Since Out ( 1 G ; G ) has finite index in Out( G ; G ), and R 1 i is a finite index subgroup of R i , the group Out ( 1 G ; H K , ) has finite index in Out( G ; G ) ∩ Out( G ; G ( R ) ), which equals Out( G ; G ( R ) ) and has finite index in Out( G ; H K , ) by Lemma 3.9.

This completes the proof of Theorem 3.4.

## 3.1.5 The action on abelian groups

We study the action of Out( G ) on abelian subgroups. The result of this subsection (Proposition 3.10) will be needed in Subsection 3.2.4.

A toral relatively hyperbolic group has finitely many conjugacy classes of non-cyclic maximal abelian subgroups. Fix a representative A j in each class. Automorphisms of G preserve the set of A j 's (up to conjugacy), so some finite index subgroup of Out( G ) maps to ∏ j Out( A j ). We shall show in particular that the image of a suitable finite index subgroup Out ( ′ G ) ⊂ Out( G ) is a product of McCool groups ∏ j Out( A j ; { F j } (t) ) ⊂ ∏ j Out( A j ).

̂ In fact, we will work with two (possibly empty) finite families H K , of abelian subgroups, and we will restrict to Out( G ; H (t) , K ). We shall therefore define a finite index subgroup Out ( ′ G ; H (t) , K ⊂ ) Out( G ; H (t) , K ).

This product structure expresses the fact that automorphisms of non-conjugate maximal non-cyclic abelian subgroups do not interact. Indeed, consider a family of elements Φ j ∈ Out( A j ), and suppose that each Φ , taken individually, extends to an automorphism j Φ j ∈ Out ( ′ G ); then there is Φ ∈ Out ( ′ G ) inducing all Φ 's simultaneously. j

First assume that G is freely indecomposable relative to H∪K . As in Subsection 3.1.2, we consider the canonical JSJ tree T can , we restrict to automorphisms Φ ∈ Out( G ; H (t) , K ) acting trivially on Γ can = T can /G , and we define Out ( ′ G ; H (t) , K ) by imposing conditions on the action on non-abelian vertex groups G v : if G v is QH, the action should be trivial on all boundary subgroups of Σ (i.e. ρ v (Φ) ∈ PM + (Σ)); if G v is rigid, then ρ v (Φ) should be trivial. We have explained in Subsection 3.1.2 why this defines a subgroup of finite index Out ( ′ G ; H (t) , K ) in Out( G ; H (t) , K ). Note that Out ( ′ G ; H (t) , K ) acts trivially on edge groups of T can .

If G is not freely indecomposable relative to H∪K , let G = G 1 ∗ · · · ∗ G n ∗ F p be the relative Grushko decomposition. To define Out ( ′ G ; H (t) , K ), we require that Φ maps G i to G i (up to conjugacy), and the induced automorphism belongs to Out ( ′ G i ; H (t) | G i , K | G i ) as defined above.

Elements of Out ( ′ G ; H (t) , K ) leave every A j invariant (up to conjugacy), and we denote by

$$\theta \colon \text{Out} ^ { \prime } ( G ; \mathcal { H } ^ { ( t ) }, \mathcal { K } ) \to \prod _ { j } \text{Out} ( A _ { j } )$$

the natural map.

We can now state:

Proposition 3.10. Let H K , be two finite families of abelian subgroups, and let Out ( ′ G ; H (t) , K ) be the finite index subgroup of Out( G ; H (t) , K ) defined above.

Recall that the A j 's are representatives of conjugacy classes of non-cyclic maximal abelian subgroups.

There exist subgroups F j ⊂ A j such that the image of θ : Out ( ′ G ; H (t) , K → ) ∏ j Out( A j ) equals ∏ j Out( A j ; { F j } (t) , K | A j ) .

Proof. The A j 's are contained (up to conjugacy) in factors G i of the Grushko decomposition relative to H ∪ K , and the G i 's are invariant under Out ( ′ G ; H (t) , K ). Since any family of automorphisms Φ i ∈ Out ( ′ G i ; H (t) | G i , K | G i ) extends to an automorphism Φ ∈ Out ( ′ G ; H (t) , K ), we may assume that G is freely indecomposable relative to H∪K .

Consider T can as above. If A j is contained in a rigid vertex stabilizer, then Out ( ′ G ; H (t) , K ) acts trivially on A j and we define F j = A j . If not, A j is a vertex stabilizer G v . Vertex stabilizers adjacent to v are rigid or QH, and because of the way we defined Out ( ′ G ; H (t) , K ) it leaves A j invariant and acts trivially on incident edge groups. It also acts trivially on the groups belonging to H | A j .

Defining F j as the subgroup of A j generated by incident edge groups and groups in H | A j , we have proved that the image of θ is contained in ∏ j Out( A j ; { F j } (t) , K | A j ). Conversely, choose a family Φ j ∈ Out( A j ; { F j } (t) , K | A j ). As explained in Subsection 2.3, there exists Φ ∈ Out ( 0 T can ) acting trivially on cyclic, rigid, and QH vertex stabilizers, and inducing Φ j on A j . We check that Φ acts trivially on any H ∈ H . Such a group H fixes a vertex v ∈ T can . If G v is cyclic, rigid, or QH, the action of Φ on H is trivial. If not, G v is (conjugate to) an A j and the action is trivial because H ⊂ F j . A similar argument shows that Φ preserves K up to conjugacy, so Φ ∈ Out( G ; H (t) , K ). Since Φ acts trivially on rigid and QH vertex stabilizers, Φ ∈ Out ( ′ G ; H (t) , K ).

## 3.2 Automorphisms preserving a tree

We now study the stabilizer of a tree. The following theorem clearly implies Theorem 1.4.

Theorem 3.11. Let G be a toral relatively hyperbolic group. Let T be a simplicial tree on which G acts with abelian edge stabilizers. Let K be a finite family of abelian subgroups of G , each of which fixes a point in T . Then Out( T, K ) = Out( T ) ∩ Out( G ; K ) is of type VF.

The group Out( T, K ) is the subgroup of Out( G ) consisting of automorphisms leaving T invariant and mapping each group of K to a conjugate (in an arbitrary way). The tree T is assumed to be minimal, but it may be a point, it may have trivial edge stabilizers, and non-cyclic abelian subgroups need not be elliptic.

Theorem 3.4 proves Theorem 3.11 when T is a point. Also note that, if G is abelian and T is not a point, then T is a line on which G acts by integral translations, and Out( T, K ) is of type VF because it equals Out( G ; K∪{ N } ), with N the kernel of the action of G on T .

Thus, we assume from now on that G is not abelian. We will prove Theorem 3.11 when T has cyclic edge stabilizers before treating the general case. This special case is much easier because Out( G e ) is finite for every edge stabilizer G e , and we may apply Proposition 2.3 of [Lev05a].

## 3.2.1 Cyclic edge stabilizers

In this subsection we prove Theorem 3.11 when all edge stabilizers G e of T are cyclic (possibly trivial); this happens in particular if G is hyperbolic.

As in Subsection 2.3, we consider the exact sequence

$$1 \to \mathcal { T } \to \text{Out} ^ { 0 } ( T ) \stackrel { \rho } { \longrightarrow } \prod _ { v \in V } ^ { \bullet } \text{Out} ( G _ { v } ; \text{Inc} _ { v } ).$$

The image of ρ contains ∏ v ∈ V Out( G v ; Inc (t) v ), and the index is finite because all groups Out( G e ) are finite (see [Lev05a], where Out( G v ; Inc (t) v ) is denoted PMCG G ( v )). The preimage of ∏ v ∈ V Out( G v ; Inc (t) v ) is thus a finite index subgroup Out ( 1 T ) ⊂ Out( T ).

We want to prove that Out( T, K ) is of type VF, so we restrict the preceding discussion to Out( T, K ). Let

$$O u t ^ { 1 } ( T, \mathcal { K } ) = O u t ^ { 1 } ( T ) \cap O u t ( G ; \mathcal { K } ),$$

a finite index subgroup. We show that Out ( 1 T, K ) is of type VF (this will not use the assumption that edge stabilizers are cyclic).

The image of Out ( 1 T, K ) by ρ is contained in ∏ v ∈ V Out( G v ; Inc (t) v , K || G v ), with K || G v as in Subsection 2.1, and arguing as in Subsection 2.3 one sees that equality holds. On the other hand, Out ( 1 T, K ) contains T because twists act trivially on vertex stabilizers, hence on K since groups of K are elliptic in T . We therefore have an exact sequence

$$\lambda ^ { \cdot } _ { 1 } \rightarrow \mathcal { T } \rightarrow \text{Out} ^ { 1 } ( T, \mathcal { K } ) \rightarrow \prod _ { v \in V } \text{Out} ( G _ { v } ; \text{Inc} _ { v } ^ { ( t ) }, \mathcal { K } _ { | | G _ { v } } ) \rightarrow 1.$$

Vertex stabilizers are toral relatively hyperbolic, so the product is of type VF by Theorem 3.4 applied to the G v 's. We conclude the proof by showing that T is of type F. This will imply that Out ( 1 T, K ), hence Out( T, K ), is VF.

We claim that T is isomorphic to the direct product of a finitely generated abelian group and a finite number of copies of non-abelian vertex groups G v . We use the presentation of T given in Proposition 3.1 of [Lev05a]. It says that T can be written as a quotient

$$\mathcal { T } = \prod _ { e, v } Z _ { G _ { v } } ( G _ { e } ) / \langle \mathcal { R } _ { V }, \mathcal { R } _ { E } \rangle,$$

the product being taken over all pairs ( e, v ) where e is an edge incident to v ; here R E = ∏ e Z G ( e ) is the group of edge relations, and R V = ∏ v Z G ( v ) is the group of vertex relations, both embedded naturally in ∏ e,v Z G v ( G e ). Every group Z G v ( G e ) is abelian, unless G e is trivial and G v is non-abelian. In this case Z G v ( G e ) = G v , and it is not affected by the edge and vertex relations since both Z G ( v ) and Z G ( e ) are trivial. Our claim follows.

It follows that T is of type F provided that it is torsion-free. One may show that this is always the case, but it is simpler to replace Out ( 1 T, K ) by its intersection with a torsion-free finite index subgroup of Out( G ).

## 3.2.2 Changing T

We shall now prove Theorem 3.11 in the general case.

The first step, carried out in this subsection, is to replace T by a better tree ˆ (satifsT fying the second assertion of the lemma below). When all edge stabilizers are non-trivial, ˆ may be viewed as the smallest common refinement (called lcm in [GL10]) of T T and its tree of cylinders (see Subsection 2.2). Here is the construction of ˆ . T

Consider edges of T with non-trivial stabilizer. We say that two such edges belong to the same cylinder if their stabilizers commute. Cylinders are subtrees and meet in at most one point. A vertex v with all incident edge groups trivial belongs to no cylinder. Otherwise v belongs to one cylinder if G v is abelian, to infinitely many cylinders if G v is not abelian. To define ˆ , T we shall refine T at vertices x belonging to infinitely many cylinders.

Given such an x , let S x be the set of cylinders Y such that x ∈ Y . We replace x by the cone T x on S x : there is a central vertex, again denoted by x , and vertices ( x, s Y ) for Y ∈ S x , with an edge between x and ( x, s Y ). Edges e of T incident to x are attached to T x as follows: if the stabilizer of e is trivial, we attach it to the central vertex x ; if not, e is contained in a cylinder Y and we attach e to the vertex ( x, s Y ), noting that G e leaves Y invariant.

Performing this operation at each x belonging to infinitely many cylinders yields a tree ˆ . T The construction being canonical, there is a natural action of G on ˆ , T and Out( T ) ⊂ Out( ˆ ). T

Lemma 3.12. 1. Edge stabilizers of ˆ T are abelian, ˆ T is dominated by T , and Out( ˆ ) = T Out( T ) .

- 2. Let G v be a non-abelian vertex stabilizer of ˆ T . Non-trivial incident edge stabilizers G e are maximal abelian subgroups of G v . If e 1 , e 2 are edges of ˆ T incident to v with G e 1 , G e 2 equal and non-trivial, then e 1 = e 2 .

Proof. Let Y be a cylinder in S x (viewed as a subtree of T ). The setwise stabilizer G Y of Y is the maximal abelian subgroup of G containing stabilizers of edges of Y . The stabilizer of the vertex ( x, s Y ) of ˆ , T and also of the edge between ( x, s Y ) and x , is G x ∩ G Y ; it is non-trivial (it contains the stabilizer of edges of Y incident to x ), and is a maximal abelian subgroup of G x . This proves that edge stabilizers of ˆ are abelian, since the other edges T have the same stabilizer as in T .

Consider two edges e 1 and e 2 incident to v in ˆ , T with the same non-trivial stabilizer. They join v to vertices ( v, s Y i ), and we have seen that G e 1 = G e 2 is maximal abelian in G v . The groups G Y 1 and G Y 2 are equal because they both contain G e 1 = G e 2 . Edges of Y i have stabilizers contained in G Y i , so have commuting stabilizers. Thus Y 1 = Y 2 , so e 1 = e 2 .

Every vertex stabilizer of T is also a vertex stabilizer of ˆ , T so T dominates ˆ . T Edges of ˆ which are not edges of T T (those between ( x, s Y ) and x ) are characterized as those having non-trivial stabilizer and having an endpoint v with G v non-abelian. One recovers T from ˆ by collapsing these edges, so Out( ˆ ) T T ⊂ Out( T ).

Remark 3.13 . If G e 1 , G e 2 are conjugate in G v , rather than equal, we conclude that e 1 and e 2 belong to the same G v -orbit. On the other hand, edges belonging to different G v -orbits may have stabilizers which are conjugate in G (but not in G v ).

## 3.2.3 The action on edge groups

In Subsection 3.2.1 we could neglect the action of Out ( 0 T ) on edge groups because all groups Out( G e ) were finite. We now allow edge stabilizers of arbitrary rank, so we must take these actions into account. We denote Out ( 0 T, K ) = Out ( 0 T ) ∩ Out( G ; K ).

Recall that, for each edge e of Γ = T/G , there is a natural map ρ e : Out ( 0 T ) → Out( G e ) (see Section 2.3). The collection of all these maps defines a map

$$\text{mean} \, \sl o n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \sl a n \, \smile \, \text{$\psi$} \, \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon &\text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\PSi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$}\colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \col: & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon &\text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{\psi$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$\psi$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$\psi$} \colon & \text{$\psi$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{\psi$} \colon & \text{$%$} \colon & \text{$%$}\colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$} \colon & \text{$%$}$$

the product being over all non-oriented edges of Γ. We denote by Q the image of Out ( 0 T, K ) by ψ , so that we have the exact sequence

$$1 \to \ker \psi \to O u t ^ { 0 } ( T, \mathcal { K } ) \to Q \to 1.$$

Lemma 3.14. If T satisfies the second assertion of Lemma 3.12, then the group Q is of type VF.

This lemma will be proved in the next subsection. We first explain how to deduce Theorem 3.11 from it. The first assertion of Lemma 3.12 implies that the theorem holds for T if it holds for ˆ , T so we may assume that T satisfies the second assertion of Lemma 3.12.

The kernel of ψ is the group discussed in Subsection 3.2.1 under the name Out ( 1 T, K ), but now (contrary to Convention 3.5) Out ( 1 T, K ) may be of infinite index in Out( T, K ); indeed, Out( T, K ) is virtually an extension of Out ( 1 T, K ) by Q . To avoid confusion, we use the notation ker ψ rather than Out ( 1 T, K ).

We proved in Subsection 3.2.1 that ker ψ is of type VF, and Q is of type VF by the lemma, but this is not quite sufficient (see Remark 3.3). We shall now construct a finite index subgroup Out ( 2 T, K ⊂ ) Out ( 0 T, K ) such that ker ψ ∩ Out ( 2 T, K ) has type F . Applying Corollary 3.2 to Out ( 0 T, K ) then completes the proof of Theorem 3.11.

We argue as in Subsection 3.2.1. Recall from Subsection 2.3 the exact sequence

$$1 \to \mathcal { T } \to O u t ^ { 0 } ( T, \mathcal { K } ) \overset { \rho } { \longrightarrow } \prod _ { v \in V } O u t ( G _ { v } ; \text{Inc} _ { v }, \mathcal { K } _ { | | G _ { v } } )$$

whose restriction to ker ψ is the exact sequence

$$1 \stackrel { ^ { \prime } } { \to } \mathcal { T } \to \ker \psi \stackrel { \rho } { \longrightarrow } \prod _ { v \in V } ^ { ^ { \prime } } \text{Out} ( G _ { v } ; \text{Inc} _ { v } ^ { ( t ) }, \mathcal { K } _ { | | G _ { v } } ) \to 1.$$

Using the 'more precise' statement of Theorem 3.4 we get, for each v ∈ V , a finite index subgroup Out ( 1 G v ; Inc v , K || G v ) ⊂ Out( G v ; Inc v , K || G v ) such that

$$\text{Out} ^ { 1 } ( G _ { v } ; \text{Inc} _ { v }, \mathcal { K } _ { | | G _ { v } } ) \cap \text{Out} ( G _ { v } ; \text{Inc} _ { v } ^ { ( t ) }, \mathcal { K } _ { | | G _ { v } } )$$

is of type F. Define the finite index subgroup Out ( 2 T, K ⊂ ) Out ( 0 T, K ) as the preimage of ∏ v ∈ V Out ( 1 G v ; Inc v , K || G v ) under ρ , intersected with a torsion-free finite index subgroup of Out( G ).

Restricting the exact sequence above, we get an exact sequence

$$1 \to \mathcal { T } ^ { \prime } \to \ker \psi \cap O \text{ut} ^ { 2 } ( T, \mathcal { K } ) \stackrel { \rho } { \longrightarrow } L \to 1$$

where L has finite index in the product of the groups

$$\text{Out} ^ { 1 } ( G _ { v } ; \text{Inc} _ { v }, \mathcal { K } _ { | | G _ { v } } ) \cap \text{Out} ( G _ { v } ; \text{Inc} _ { v } ^ { ( t ) }, \mathcal { K } _ { | | G _ { v } } ),$$

hence has type F. The group T ′ is a torsion-free subgroup of finite index of T , so has type F as in Subsection 3.2.1. We conclude that ker ψ ∩ Out ( 2 T, K ) has type F. As explained above, this completes the proof of Theorem 3.11 (assuming Lemma 3.14).

## 3.2.4 Proof of Lemma 3.14

There remains to prove Lemma 3.14. We let E j be representatives of conjugacy classes of maximal abelian subgroups containing a non-trivial edge stabilizer. Note that E j is allowed to be cyclic, and maximal abelian subgroups of G containing no non-trivial G e are not included.

Inside each E j we let B j be the smallest direct factor containing all edge groups included in E j (it equals E j if E j is cyclic). It is elliptic in T , because it is an abelian group generated (virtually) by elliptic subgroups.

Each automorphism Φ ∈ Out ( 0 T, K ) induces an automorphism of E j , which preserves B j and all the edge groups it contains. This defines a map

$$\mu _ { 0 } \quad \psi ^ { \prime } \, \colon \text{Out} ^ { 0 } ( T, \mathcal { K } ) \to \prod _ { j } \, \text{Out} ( B _ { j } )$$

having the same kernel as the map ψ : Out ( 0 T, K → ) ∏ e ∈ E Out( G e ) defined in Subsection 3.2.3. Thus, it suffices to prove that the image of Out ( 0 T, K ) by ψ ′ is of type VF. We do so by finding a finite index subgroup Out ( 1 T, K ) (not the same as in Subsection 3.2.1) whose image is a product ∏ j Q j with each Q j of type VF.

Consider a non-abelian vertex group G v . Define Inc v, Z ⊂ Inc v by keeping only the incident edge groups which are infinite cyclic, and denote by E nc ( v ) the set of edges e of Γ with origin v and G e non-cyclic (if e is a loop, we subdivide it so that it counts twice in E nc ( v )). By Lemma 3.12 and Remark 3.13, the edge groups G e , for e ∈ E nc ( v ), are non-conjugate maximal abelian subgroups of G v .

We apply Proposition 3.10, describing the action on non-cyclic maximal abelian subgroups, to Out( G v ; Inc (t) v, Z , K || G v ). We get a subgroup of finite index Out ( ′ G v ; Inc (t) v, Z , K || G v ), and a subgroup F v e ⊂ G e for each edge e ∈ E nc ( v ), such that the image of Out ( ′ G v ; Inc (t) v, Z , K || G v ) in ∏ e ∈ E nc ( v ) Out( G e ) is the product ∏ e ∈ E nc ( v ) Out( G e ; { F v e } (t) , K | G e ).

We let Out ( 1 T, K ) ⊂ Out ( 0 T, K ) be the subgroup consisting of automorphisms acting trivially on cyclic edge stabilizers, and acting on non-abelian vertex stabilizers as an element of Out ( ′ G v ; Inc (t) v, Z , K || G v ). It has finite index because

$$\text{Out} ( G _ { v } ; \text{Inc} _ { v, \mathbb { Z } } ^ { ( \mathfrak { t } ) }, \mathcal { K } _ { | | G _ { v } } ) \subset \rho _ { v } ( \text{Out} ^ { 0 } ( T, \mathcal { K } ) ) \subset \text{Out} ( G _ { v } ; \text{Inc} _ { v, \mathbb { Z } }, \mathcal { K } _ { | | G _ { v } } ),$$

with all indices finite.

We now define Q j ⊂ Out( B j ) as consisting of automorphisms Φ j such that:

- 1. if G e is a cyclic edge stabilizer contained in B j , then Φ j acts trivially on G e ;
- 2. if B j contains a non-cyclic G e , and v is an endpoint of e with G v non-abelian, then Φ j acts trivially on F v e ;
- 3. non-cyclic edge stabilizers, and abelian vertex stabilizers, contained in B j are Φ j invariant;
- 4. Φ extends to an automorphism of j E j leaving K | E j invariant; in particular, subgroups of B j conjugate to a group of K are Φ -invariant. j

This definition was designed so that the image of Out ( 1 T, K ) by ψ ′ is contained in ∏ j Q j . We claim that equality holds:

Proof. We fix automorphisms Φ j ∈ Q j ⊂ Out( B j ), and we have to construct an automorphism Φ ∈ Out ( 1 T, K ). By items 1 and 3 above, the Φ 's induce automorphisms Φ j e of edge stabilizers (each non-trivial edge group G e lies in a unique E j , so there is no ambiguity in

## Lemma 3.15. The image of Out ( 1 T, K ) by ψ ′ equals ∏ j Q j .

the definition of Φ ). e As explained after Lemma 2.2, it suffices to find automorphisms Φ v of vertex groups inducing the Φ 's. e We distinguish several cases.

If G v is contained in some B j (up to conjugacy), it is Φ -invariant by item 3, so we let j Φ v be the restriction.

If G v is abelian, but not contained in any B j , we may assume that some incident G e is non-cyclic (otherwise we let Φ v be the identity). This G e is contained in some B j , and G v ⊂ E j . In fact G v = E j : since G v is not contained in B j , it fixes only v , and E j fixes v because it commutes with G v . We may thus extend Φ j to G v using item 4.

If G v is not abelian, we construct Φ v in Out ( ′ G v ; Inc (t) v, Z , K || G v ) as follows. If e ∈ E nc ( v ), the automorphism Φ e acts trivially on F v e by item 2, and preserves K | G e by item 4. Thus, the collection of automorphisms Φ e lies in ∏ e ∈ E nc ( v ) Out( G e ; { F v e } (t) , K | G e ). Proposition 3.10 guarantees that Out ( ′ G v ; Inc (t) v, Z , K || G v ) contains an automorphism Φ v inducing Φ e for all e ∈ E nc ( v ) (and acting trivially on all cyclic incident edge groups).

We have now constructed automorphisms Φ v ∈ Out( G v ) inducing the Φ 's, so Lemma e 2.2 provides an automorphism Φ ∈ Out ( 0 T ) whose image in ∏ j Out( B j ) is the product of the Φ 's because j B j is virtually generated by edge stabilizers. We show Φ ∈ Out ( 1 T, K ). By construction it acts trivially on cyclic edge groups and acts on non-abelian vertex stabilizers as an element of Out ( ′ G v ; Inc (t) v, Z , K || G v ). We just have to check that Φ leaves any K ∈ K invariant.

The group K is contained in some G v . If K is contained in some B j , it is Φ-invariant by item 4. Otherwise, K fixes no edge. If G v is abelian, we have seen that either all incident edge groups are cyclic (and Φ v is the identity), or G v equals some E j and our choice of Φ v using item 4 guarantees that K is invariant. If G v is not abelian, then K belongs to K || G v because it fixes no edge. It is invariant because we chose Φ v ∈ Out ( ′ G v ; Inc (t) v, Z , K || G v ).

We have seen that the group Q of Lemma 3.14 is isomorphic to the image of Out ( 0 T, K ) by ψ ′ , hence contains ∏ j Q j with finite index. To show that Q is of type VF, there remains to show that each Q j is of type VF.

We defined Q j inside Out( B j ) by four conditions. As in Lemma 3.6, the first three define an arithmetic group. To deal with the fourth one, we consider the group ˜ Q j consisting of automorphisms of E j leaving B j and K | E j invariant, with the restriction to B j satisfying the first three conditions. This is an arithmetic group. It consists of blocktriangular matrices, and one obtains Q j by considering the upper left blocks of matrices in ˜ Q j . It follows that K j is arithmetic, as the image of an arithmetic group by a rational homomorphism [Bor66, Th. 6], hence of type VF by Lemma 3.6.

This completes the proof of Lemma 3.14, hence of Theorem 3.11.

## 4 A finiteness result for trees

The goal of this section is Proposition 4.8, which gives a uniform bound for the size of certain sets of relative JSJ decompositions of G . This an essential ingredient in the proof of the chain condition for McCool groups. We will have to restrict to root-closed (RC) trees, which are introduced in Definitions 4.3 and 4.7 (they are closely related to the primary splittings of [DG08]).

Definition 4.1. Let H be a subgroup of a group G . Its root closure e H,G ( ) , or simply e H ( ) , is the set of elements of G having a power in H . If e H ( ) = H , we say that H is root-closed .

If G is toral relatively hyperbolic and H is abelian, e H ( ) is a direct factor of the maximal abelian subgroup containing H , and H has finite index in e H ( ). Also note that, given h ∈ G and n ≥ 2, there exists at most one element g such that g n = h .

The following fact is completely general.

Lemma 4.2. Let T be a tree with an action of an arbitrary group. The following are equivalent:

- · Vertex stabilizers of T are root-closed.
- · Edge stabilizers of T are root-closed.

Proof. If g n fixes an edge e = vw , it fixes v and w . If vertex stabilizers are root-closed, g fixes v and w , hence fixes e , so edge stabilizers are root-closed.

Conversely, if g n fixes a vertex v , then g is elliptic hence fixes a vertex w . Edges between v and w (if any) are fixed by g n , hence by g if edge stabilizers are root-closed. Thus g fixes v .

We now go back to a toral relatively hyperbolic group G .

Definition 4.3. A tree T is an RC -tree if:

- · all non-cyclic abelian subgroups fix a point in T ;
- · edge stabilizers of T are abelian and root-closed.

When G is hyperbolic, RC -trees are the Z max -trees of [DG11]: non-trivial edge stabilizers are maximal cyclic subgroups.

Lemma 4.4. 1. Let T be an RC -tree with all edge stabilizers non-trivial. Its tree of cylinders T c (see Subsection 2.2) is an RC -tree belonging to the same deformation space as T .

- 2. If T 1 and T 2 are RC -trees relative to some family H , and edge stabilizers of T 1 are elliptic in T 2 , there is an RC -tree ˆ T 1 relative to H which refines T 1 and dominates T 2 . Moreover, the stabilizer of any edge of ˆ T 1 fixes an edge in T 1 or in T 2 .

Proof. Non-triviality of edge stabilizers ensures that T c is defined. The vertex stabilizers of T c are vertex stabilizers of T or maximal abelian subgroups, so are root-closed. The deformation space does not change because T is relative to non-cyclic abelian subgroups (see [GL11], prop. 6.3). This proves 1.

We define a refinement ˆ T 1 of T 1 dominating T 2 as in Lemma 3.2 of [GL09], by blowing up each vertex v of T 1 into a G v -invariant subtree of T 2 . We just have to check that its edge stabilizers are root-closed. As in the proof of Lemma 4.9 of [DG11], an edge stabilizer of ˆ T 1 is an edge stabilizer of T 1 or is the intersection of a vertex stabilizer of T 1 with an edge stabilizer of T 2 , so is root-closed.

Proposition 4.5. Let G be toral relatively hyperbolic. In each of the following two cases, there is a bound for the number of orbits of edges of a minimal tree T with abelian edge stabilizers:

- 1. T is bipartite: each edge has exactly one endpoint with abelian stabilizer (redundant vertices are allowed);

## 2. T is an RC -tree with no redundant vertex.

Here, and below, the bound has to depend only on G (it is independent of the trees under consideration).

Case 1 applies in particular to trees of cylinders.

Proof. We cannot apply Bestvina-Feighn's accessibility theorem [BF91] directly because T does not have to be reduced in the sense of [BF91]: Γ = T/G may have a vertex v of valence 2 such that an incident edge carries the same group as v . We say that such a v is a non-reduced vertex. The assumptions rule out the possibility that Γ contains long segments consisting of non-reduced vertices (as in the example on top of page 450 in [BF91]).

If T is bipartite, consider all non-reduced vertices of Γ and collapse exactly one of the incident edges. This yields a reduced graph of groups, and at most half of the edges of Γ are collapsed, so [BF91] gives a bound.

If T is an RC -tree with no redundant vertex, every non-reduced vertex v of Γ = T/G has exactly two adjacent edges e v and f v , whose groups satisfy G e v /notsubsetoreql G v = G f v . Among all edges incident to a non-reduced vertex, consider the set E m consisting of those with G e of minimal rank. No two edges of E m are adjacent at a non-reduced vertex, because T is an RC -tree. Now collapse the edges in E m .

If I = e 1 ∪ e 2 ∪··· ∪ e k is a maximal segment in the complement of the set of vertices of Γ having degree 3 or carrying a non-abelian group, we never collapse adjacent edges e , e i i +1 (and we do not collapse e 1 if k = 1; we may collapse e 1 and e 3 if k = 3). It follows that at least one third of the edges of Γ remain after the collapse.

Repeat the process. Denote by M the maximal rank of abelian subgroups of G . After at most M steps one obtains a graph of groups which is reduced in the sense of [BF91], hence has at most N edges for some fixed N . The number of edges of Γ is bounded by 3 M N .

Proposition 4.6. Given a toral relatively hyperbolic group G , there exists a number M such that, if T 1 → T 2 → ··· → T p is a sequence of maps between RC -trees belonging to distinct deformation spaces, then p ≤ M .

Proof. There are two steps.

- · The first step is to reduce to the case when no edge stabilizer is trivial. Consider the tree ¯ T i (possibly a point) obtained from T i by collapsing all edges with non-trivial stabilizer. A map T i → T i +1 cannot send an arc with non-trivial stabilizer to the interior of an edge with trivial stabilizer, so ¯ T i dominates ¯ T i +1 . Vertex stabilizers of ¯ T i are free factors, there are finitely many possibilities for their isomorphism type.

Using Scott's complexity, it is shown in Section 2.2 of [Gui08] that the number of times that the deformation space D i of ¯ T i differs from that of ¯ T i +1 is uniformly bounded. We may therefore assume that D = D i is independent of i .

Let H ,.. . , H 1 k be representatives of conjugacy classes of non-trivial vertex stabilizers of trees in D . They are free factors of G , hence toral relatively hyperbolic, and k is bounded.

Consider the action of H j on its minimal subtree T j i ⊂ T i (we let T j i be any fixed point if the action is trivial). It is an RC -tree, and no edge stabilizer is trivial. The deformation space of T i is completely determined by D and the deformation spaces D j i of the trees T j i (viewed as trees with an action of H j ). It therefore suffices to bound (by

a constant depending only on H j ) the number of times that D j i changes in a sequence T j 1 → T j 2 →··· → T j p , so we may continue the proof under the additional assumption that the T i 's have non-trivial edge stabilizers.

- · Now that edge stabilizers are non-trivial, the tree of cylinders of T i is defined. By the first assertion of Lemma 4.4, we may assume that it equals T i .

Since all trees are trees of cylinders, Proposition 4.11 of [GL11] lets us assume that all domination maps T i → T i +1 send vertex to vertex, and map an edge to either a point or an edge. Such a map may collapse an edge to a point, or identify edges belonging to different orbits, or identify edges in the same orbit. The first two phenomena are easy to control since they decrease the number of orbits of edges; controlling the third one requires more care (and restricting to RC -trees).

We associate a complexity ( n, -s ) to each T i , with n the number of edges of T /G i , and s the sum of the ranks of its edge groups; complexities are ordered lexicographically. We claim that the complexity of T i +1 is strictly smaller than that of T i . This gives the required uniform bound on p , since n (hence also s ) is bounded by the first case of Proposition 4.5.

Let f i : T i → T i +1 be a domination map as above. Complexity clearly cannot increase when passing from T i to T i +1 . If n does not decrease, no edge of T i is collapsed in T i +1 . Since T i and T i +1 belong to distinct deformation spaces, there exist distinct edges e, e ′ identified by f i . They have to belong to the same orbit (otherwise n decreases), so e ′ = ge for some g ∈ G . The group 〈 g, G e 〉 fixes the edge f i ( e ) = f i ( e ′ ) of T i +1 , so is abelian. It has rank bigger than the rank of G e because G e is root-closed and g / G ∈ e . Thus s increases, and the complexity decreases.

Let A be the family of all abelian subgroups. Let H be a family of subgroups of G . A JSJ tree (over A ) relative to H may be defined as a tree T such that T is relative to H , edge stabilizers of T are elliptic in every tree which is relative to H , and T dominates every tree satisfying the previous conditions (all trees are assumed to have abelian edge stabilizers). This motivates the following definition, where we require that T be an RC -tree (compare Section 4.4 of [DG11]). Recall that H + ab is obtained by adding all non-cyclic abelian subgroups to H .

Definition 4.7. Let G be a toral relatively hyperbolic group, and H a family of subgroups. A tree T is an RC -JSJ tree relative to H + ab if:

- 1. T is relative to H + ab , and is an RC -tree;
- 2. edge stabilizers of T are elliptic in every tree with abelian edge stabilizers (not necessarily an RC -tree) which is relative to H + ab ;
- 3. T dominates every tree satisfying 1 and 2.

We will construct RC -JSJ trees in Section 5. Note that non-cyclic edge stabilizers always satisfy 2.

Proposition 4.8. Let G be a toral relatively hyperbolic group. Let H 1 ⊂ . . . ⊂ H i ⊂ . . . be an increasing sequence (finite or infinite) of families of subgroups, with G freely indecomposable relative to H 1 . For each i , let U i be an RC -JSJ tree relative to H + ab i . There exists a number q , depending only on G , such that the trees U i belong to at most q distinct deformation spaces.

Proof. Let U i be as in the proposition. Note that U i satisfies condition 1 of Definition 4.7 with respect to H + ab j if j ≤ i , and condition 2 with respect to H + ab j if j ≥ i . But cyclic edge stabilizers of U i do not necessarily satisfy 2 with respect to H + ab j if j &lt; i .

In general, there is no domination map U i → U i +1 , so we cannot apply Proposition 4.6 directly. The easy case is when, for each i , every cyclic edge stabilizer of U i +1 is contained in an edge stabilizer of U i . Indeed, this implies that U i +1 satisfies condition 2 with respect to H + ab i (not just to H + ab i +1 ). By condition 3, U i dominates U i +1 , so Proposition 4.6 applies.

/negationslash

Next, assume that there is an RC -tree T relative to H 1 such that, for all i , there is a domination map T → U i that collapses no edge. Each cyclic edge stabilizer G e of U i +1 contains an edge stabilizer G e ′ of T (take for e ′ any edge whose image contains a subarc of e ). Since G is freely indecomposable relative to H 1 , and T is relative to H 1 , one has G e ′ = 1, and G e ′ = G e because G e ′ is root closed. Since the map T → U i collapses no edge, G e fixes an edge in U i , and we conclude as above.

We now construct such a tree T . By condition 2 of Definition 4.7, edge stabilizers of U 1 are elliptic in U 2 , so by Lemma 4.4 there is an RC -tree T 1 relative to H 1 which refines U 1 and dominates U 2 ; we remove redundant vertices of T 1 if needed. Edge stabilizers of T 1 fix an edge in U 1 or U 2 , so are elliptic in U 3 and one may iterate. One obtains RC -trees T i relative to H 1 such that T i refines T i -1 and dominates U i +1 . By Proposition 4.5, all trees T i for i large enough are equal to a fixed RC -tree T . We have no control over how large i has to be, but we have a uniform bound for the number of orbits of edges of T .

By construction, there are domination maps f i : T → U i , but f i may collapse some G -invariant set of edges. There are only a bounded number of possibilities for the set E i of edges of T that are collapsed by f i , so we may assume that E = E i is independent of i . Collapsing all edges of E then gives a tree T as wanted.

## 5 The chain condition

We prove Theorem 1.5. In this section we only consider groups of the form Out( G ; H (t) ), so we use the simpler notation Mc( H ). Since we do not yet know that every Mc( H ) is a McCool group, we assume that every H i is a finite set of finitely generated subgroups (this is needed to apply Lemma 2.3).

Since Mc( H ′ ) = Mc( H∪H ′ ) if Mc( H ⊃ ) Mc( H ′ ), we may assume H ⊂ H i i +1 . We will use the following procedure several times. We associate an invariant to each family H i , and we show that, as i varies, the number of distinct values of the invariant is bounded (by which we mean that there is a bound depending only on G ). We then continue the proof under the additional asssumption that the value of the invariant is independent of i .

- · The first invariant is the Grushko deformation space D i relative to H i (see Subsection 2.2). The assumption H i ⊂ H i +1 implies that D i dominates D i +1 . As in the proof of Proposition 4.6, it follows from [Gui08] that the number of times that D i changes is bounded. We may therefore assume that D i is constant.

Let G ,. . . , G 1 n be the free factors in a Grushko decomposition G = G 1 ∗ · · · ∗ G n ∗ F p relative to H i (they do not depend on i up to conjugation since D i is constant). The subgroup of Mc( H i ) consisting of automorphisms sending each factor G j to a conjugate has bounded index, and it is determined by the McCool groups Mc G j ( H i | G j ), so we are reduced to the case when G is freely indecomposable relative to H i .

- · We then consider the canonical JSJ tree T i (over abelian subgroups) relative to H + ab i , i.e. to H i and all non-cyclic abelian subgroups (see Subsection 2.2); it is Mc( H i )-invariant.

We cannot use Proposition 4.8 to say that the number of distinct T i 's is bounded, because they are not RC -trees, so we shall now replace T i by an RC -JSJ tree U i .

Any edge e of T i joins a vertex v 1 whose stabilizer is a maximal abelian subgroup to a vertex v 0 with non-abelian stabilizer. The group G e is a maximal abelian subgroup of G v 0 , but not necessarily of G v 1 . Let ¯ G e be the root-closure of G e in G v 1 (hence also in G ). As in Section 4.3 of [DG11], we can fold all edges in the ¯ G e -orbit of e together. Doing this for all edges of T i yields an RC -tree U i which is Mc( H i )-invariant.

This construction may also be described in terms of graphs of groups, as follows. We now view e = v v 0 1 as an edge of T /G i . Subdivide it by adding a midpoint u carrying ¯ G e . This creates two edges v u 0 and uv 1 , carrying G e and ¯ G e respectively. Do this for every edge e of T /G i . Collapsing all edges uv 1 yields T /G i , whereas collapsing all edges v u 0 yields U /G i .

The quotient graph U /G i is the same as T /G i , but labels are different. Edge groups are replaced by their root-closure, and non-abelian vertex groups have gotten bigger (roots have been adjoined: each fold replaces some G v 0 by G v 0 ∗ G e ¯ G e ). Just like T i , the tree U i is equal to its tree of cylinders because folding only occurs within cylinders; in particular, U i is determined by its deformation space.

Note that U i may have redundant vertices, and is not necessarily minimal (this happens if T /G i has a terminal vertex carrying an abelian group, and the incident edge group has finite index). In this case we replace U i by its minimal subtree.

We claim that U i is an RC -JSJ tree relative to H + ab i , in the sense of Definition 4.7. It satisfies conditions 1 and 2 since its edge stabilizers are finite extensions of edge stabilizers of T i . Any tree satisfying these two conditions is dominated by T i because T i is a JSJ tree. But any RC -tree dominated by T i is also dominated by U i (with notations as above, e and ge must have the same image if g ∈ ¯ G e ).

- · Proposition 4.8 lets us assume that U i is a fixed tree U . It is invariant under every Mc( H i ). We let Out ( 0 U ) be the finite index subgroup of Out( U ) consisting of automorphisms preserving U and acting trivially on Γ = U/G . The number of edges of Γ is uniformly bounded by Proposition 4.5, so the index of Out ( 0 U ) in Out( U ) is bounded, and it is enough to prove the chain condition for Mc ( 0 H i ) := Mc( H i ) ∩ Out ( 0 U ).

Let V be the set of vertices of Γ. As recalled in Subsection 2.3, there are maps ρ v : Out ( 0 U ) → Out( G v ) and a product map ρ : Out ( 0 U ) → ∏ v ∈ V Out( G v ). Since U is relative to H i , the group of twists T = ker ρ is contained in Mc ( 0 H i ).

Lemma 5.1. There exist subgroups Out ( 1 G v ) ⊂ Out( G v ) , independent of i , such that:

- 1. ∏ v ∈ V Out ( 1 G v ) is contained in ρ (Mc ( 0 H i )) for every i ;
- 2. the index of Out ( 1 G v ) in ρ v (Mc ( 0 H i )) is uniformly bounded.

This lemma implies Theorem 1.5 because Mc ( 0 H i ) contains ρ -1 ( ∏ v ∈ V Out ( 1 G v )) with bounded index.

Proof of Lemma 5.1. Let H i,v := ( H i ) || G v be the set of (conjugacy classes of) subgroups of G v which are conjugate to an element of H i , and which fix no other point in T (see Subsection 2.1). Since two such subgroups are conjugate in G v if and only if they are conjugate in G , we may view H i,v as a subset of H i .

Since ρ (Mc ( 0 H i )) contains ∏ v ∈ V Mc(Inc v ∪ H i,v ), as explained in Subsection 2.3, it suffices to fix v ∈ V and to construct Out ( 1 G v ), with Out ( 1 G v ) ⊂ Mc(Inc v ∪H i,v ) and the index of Out ( 1 G v ) in ρ v (Mc ( 0 H i )) uniformly bounded. We distinguish several cases.

- · First suppose that G v /similarequal Z k is abelian, so Out( G v ) = Aut( G v ) = GL k, ( Z ). Let A i be the root-closure of the subgroup of G v generated by incident edge groups and subgroups in H i,v . It is a direct factor and increases with i , so we may assume that it is independent of i . We define Out ( 1 G v ) ⊂ Out( G v ) as the subgroup consisting of automorphisms equal to the identity on A i . It is equal to Mc(Inc v ∪ H i,v ) and contained in ρ v (Mc ( 0 H i )). We must show that the index is bounded.

The group A i is invariant under ρ (Mc ( 0 H i )), and we have to bound the order of the image of Mc ( 0 H i ) in Out( A i ). Any incident edge group ¯ G e of G v contains an edge stabilizer G e of T i with finite index, and the image of the map ρ e : Mc ( 0 H i ) → Out( G e ) is finite by Lemma 2.3. Since A i is generated by incident edge groups and elements which are fixed by Mc ( 0 H i ), this implies that the image of Mc 0 ( H i ) in Out( A i ) is finite. Its cardinality is uniformly bounded because there is a bound for the order of finite subgroups of GL k, ( Z ), so the index of Out ( 1 G v ) in ρ v (Mc ( 0 H i )) is bounded.

- · We now consider a non-abelian vertex stabilizer G v . It follows from the way U i was constructed that G v is, for each i , the fundamental group of a graph of groups Λ i,v . This graph is a tree. It has a central vertex v i , which may be viewed as a vertex of T /G i with G v i non-abelian. All edges e join v i to a vertex u e carrying a root-closed abelian group, and the index of G e in G u e is finite. The graph of groups Λ i,v is invariant under the action of Mc ( 0 H i ) on G v .

We say that G v (or v ) is rigid with sockets , or QH with sockets , depending on the type of v i as a vertex of T i (since the number of vertices of T /G i is bounded, we may assume that this type is independent of i ).

- · If G v is rigid with sockets, we define Out ( 1 G v ) as the trivial group, and we have to explain why ρ v (Mc ( 0 H i )) is a finite group of bounded order. Assume first that U = T i (i.e. U is also a regular JSJ tree). Lemma 2.3 then implies that ρ v (Mc ( 0 H i )) is a finite subgroup of G v , but we need to bound its order only in terms of G (independently of the sequence H i ). To get this uniform bound, we note that there are only finitely many possibilities for G v up to isomorphism by [GL13]. Moreover Out( G v ) is virtually torsion-free by [GL12, Cor 4.5], so there is a bound for the order of its finite subgroups.

In general (i.e. without assuming U = T i ), we study ρ v (Mc ( 0 H i )) through its action on the graph of groups Λ i,v as in Subsection 2.3 (note that edges are not permuted). The group of twists is trivial because edge groups are maximal abelian in G v i and terminal vertex groups are abelian (see Proposition 3.1 of [Lev05a]), so we only have to control the action of Mc ( 0 H i ) on vertex groups of Λ i,v .

Applying Lemma 2.3 to the JSJ decomposition T i , we get finiteness of the image of Mc ( 0 H i ) in Out( G v i ), and in Out( G e ) for every edge e of T i , and hence of Λ i,v . The action of an automorphism on the edge groups of Λ i,v determines the action on the abelian vertex groups because they contain the incident edge group with finite index. This proves that ρ v (Mc ( 0 H i )) is finite, and boundedness follows as above.

- · There remains the case when G v is QH with sockets. The group G v i is then isomorphic to the fundamental group of a compact surface Σ , and incident edge groups are boundary i subgroups. The topology of Σ i may vary with i , but the number of boundary components of Σ i is bounded (by a simple accessibility argument, or because the rank of G v i as a free group is bounded by [GL13]).
- If J is a subgroup of G , denote by U i ( J ) the set of elements of J that are H + ab i -universally elliptic (i.e. elliptic in every G -tree with abelian edge stabilizers which is relative to H i and non-cyclic abelian subgroups). We view it as a union of J -conjugacy classes. Since H ⊂ H i i +1 , we have U i ( J ) ⊂ U i +1 ( J ). We shall show that the sequence U i ( G v )

stabilizes.

We first study U i ( G v i ): we claim that U i ( G v i ) is the union of the conjugacy classes of boundary subgroups of G v i = π 1 (Σ ). i Indeed, any boundary subgroup is an incident edge group of v i (up to conjugacy) or has a finite index subgroup conjugate to a group in H i (otherwise, G would be freely decomposable relative to H i , see Proposition 7.5 of [GL09]). It follows that U i ( G v i ) contains all boundary subgroups (incident edge groups are H + ab i -universally elliptic because T i is a JSJ tree relative to H + ab i ). Conversely, by Proposition 7.6 of [GL09], any g ∈ U i ( G v i ) is contained in a boundary subgroup of π 1 (Σ ). i This proves our claim, and shows in particular that U i ( G v i ) is the union of a bounded number of conjugacy classes of maximal cyclic subgroups L j ( ) of i G v i .

Elements of ρ v (Mc ( 0 H i )) send each cyclic group in U ( G v ) to a conjugate (conjugacy classes are not permuted because the action on T /G i is trivial). They act trivially on groups in H i,v , but they may map an element g belonging to a terminal vertex group of Λ v,i to g -1 (geometrically, they correspond to homeomorphisms of Σ i which may reverse orientation on boundary components).

We now consider U i ( G v ). The H + ab i -universally elliptic elements of G v are contained (up to conjugacy) in G v i or in one of the terminal vertex groups of Λ i,v , so U i ( G v ) is the union of the conjugates of the root-closures (in G v ) of the groups L j ( ). i Since H ⊂ H i i +1 , we have U i ( G v ) ⊂ U i +1 ( G v ). As U i ( G v ) is the union of the conjugates of a bounded number of cyclic subgroups, we may assume that U i ( G v ) = U ( G v ) does not depend on i .

We define Out ( 1 G v ) ⊂ Out( G v ) as the group of automorphisms acting trivially on each cyclic group in U ( G v ) (geometrically, we restrict to homeomorphisms of Σ i equal to the identity on the boundary). It is contained in Mc(Inc v ∪ H i,v ), because U i ( G v ) contains the incident edge groups of G v in U , hence contained in ρ v (Mc ( 0 H i )), and the index is bounded in terms of the number of conjugacy classes of cyclic subgroups in U ( G v ).

Remark 5.2 . Groups of the form Out( G ; H ), with H a finite family of abelian groups, do not satisfy the descending chain condition: consider G = Z 2 = 〈 x, y 〉 , and H i = {〈 x, y 2 i 〉} .

## 6 Proof of the other results

We first note the following consequence of the chain condition:

Proposition 6.1. If C is an infinite family of conjugacy classes, there exists a finite subfamily C ′ ⊂ C such that Mc( ) = Mc( C C ′ ) .

Recall that Mc( C ) is the group of outer automorphisms fixing all conjugacy classes belonging to C .

Proof. Write C as an increasing union of finite families C i and note that Mc( C ) is the intersection of the descending chain Mc( C i ).

To prove Corollary 1.6, saying in particular that every McCool group is an elementary McCool group, we need the following fact:

Lemma 6.2. Let G be a toral relatively hyperbolic group. Let H be a subgroup, and α ∈ Aut( G ) . If α h ( ) and h are conjugate in G for every h ∈ H , then α acts on H as conjugation by some g ∈ G .

Proof. We may assume that there is a non-trivial h ∈ H such that α h ( ) = h . If H is abelian, malnormality of maximal abelian subgroups implies that α is the identity on H . If not, the result follows from Lemma 5.2 of [MO10] (which is valid for any homomorphism ϕ : H → G , not just automorphisms of H ), see also Corollary 7.4 of [AMS13].

Corollary (Corollary 1.6) . Let G be a toral relatively hyperbolic group. If H is any family of subgroups of G , there exists a finite set of conjugacy classes such that Mc( H ) = Mc( C ) .

Recall that Mc( H ) is also denoted Out( G ; H (t) ). We favor the notation Mc( H ) in this section.

Proof. Given an arbitrary family H , let C H be the set of all conjugacy classes having a representative belonging to some H i . By Lemma 6.2, Mc( H ) = Mc( C H ). We apply Proposition 6.1 to get Mc( H ) = Mc( C ) with C finite.

Together with Theorem 3.11, this implies our most general finiteness result.

Corollary 6.3. Let G be a toral relatively hyperbolic group. Let H be an arbitrary collection of subgroups of G . Let K be a finite collection of abelian subgroups of G . Let T be a simplicial tree on which G acts with abelian edge stabilizers, with each group in H∪K fixing a point.

Then the group Out( T, H (t) , K ) = Out( T ) ∩ Out( G ; H (t) , K ) of automorphisms leaving T invariant, acting trivially on each group of H , and sending each K ∈ K to a conjugate (in an arbitrary way), is of type VF.

Proof. By Corollary 1.6, we may write Out( G ; H (t) ) = Mc( ) for some finite family of C conjugacy classes [ c i ], with each c i belonging to a group of H hence elliptic in T . Defining L = {〈 c i 〉} , we see that Mc( C ) is a finite index subgroup of Out( G ; L ), so Out( T, H (t) , K ) is a finite index subgroup of Out( T, K ∪ L ). By Theorem 3.11, this group has type VF, and therefore so does Out( T, H (t) , K ).

Proposition 1.7 and Theorem 1.8 will be proved at the end of the section.

Proposition (Proposition 1.10) . Given a toral relatively hyperbolic group G , there exists a number C such that, if a subgroup ̂ M ⊂ Out( G ) contains a group Mc( H ) with finite index, then the index [ ̂ M : Mc( H )] is bounded by C .

Proof of Proposition 1.10. By Corollary 1.6, we may write Mc( H ) = Mc( C ′ ) for some finite set C ′ . Let C be the orbit of C ′ under ̂ M . Since Mc( C ′ ) fixes C ′ , this is a finite ̂ M -invariant collection of conjugacy classes. We thus have

$$\text{Mc} ( \mathcal { C } ) & \subset \text{Mc} ( \mathcal { C } ^ { \prime } ) \subset \widehat { M } \subset \widehat { \text{Mc} } ( \mathcal { C } ), \\ \text{I the index } [ \widehat { \text{Mc} } ( \mathcal { C } ) \colon \text{Mc} ( \mathcal { C } ) ].$$

and it suffices to bound the index [Mc( ̂ C ) : Mc( C )]. As in the beginning of Section 5, let G = G 1 ∗· · · ∗ G n ∗ F r be a Grushko decomposition of G relative to C , and G = { G ,. . . G 1 n } . The group Mc( ̂ C ) permutes the conjugacy classes of the groups in G . Since the cardinality of G is bounded, and G has finitely many free factors up to isomorphism, we may assume that G is one-ended relative to C .

We now consider the JSJ decomposition T can over abelian groups relative to C and non-cyclic abelian groups. It is invariant under Mc( ̂ C ), so we may study Mc( ̂ C ) through its action on T can (see Subsection 2.3).

The number of edges of Γ can = T can /G being bounded by the first case of Proposition 4.5, we may replace Mc( ̂ C ) and Mc( C ) by their subgroups Mc ( ̂ 0 C ) and Mc ( 0 C ) acting trivially on Γ. The group of twists T is contained in Mc ( 0 C ), so as in the proof of Lemma 5.1 it suffices to construct Out 1 ( G v ) ⊂ Mc G v (Inc v ∪ C || G v ) with the index of Out ( 1 G v ) in ρ v (Mc ( ̂ 0 C )) uniformly bounded. We distinguish the same cases as in the proof of Lemma 5.1.

If G v is rigid, we let Out 1 ( G v ) be trivial. The image of Mc ( ̂ 0 C ) in Out( G v ) is finite by Lemma 2.3, and bounded by [GL13] as in the proof of Lemma 5.1.

If G v is abelian, isomorphic to Z k with k ≥ 2, let H &lt; G v be the set of elements whose orbit under ρ v (Mc ( ̂ 0 C )) is finite. This is a subgroup of G v , isomorphic to some Z p , which is invariant under ρ v (Mc ( ̂ 0 C )) and contains the incident edge groups by Lemma 2.3. We define Out ( 1 G v ) = Mc G v ( { H } ). It is contained in Mc G v (Inc v ∪ C || G v ). The image of ρ v (Mc ( ̂ 0 C )) in Aut( H ) = GL p, ( Z ) is finite, and its order bounds the index of Out ( 1 G v ) in ρ v (Mc ( ̂ 0 C )). This concludes the proof in this case since there is a bound for the order of finite subgroups of GL p, ( Z ).

If G v = π 1 (Σ) is QH, we define Out ( 1 G v ) = PM + (Σ) = Mc G v (Inc v ∪C || G v ). Elements of ρ v (Mc ( ̂ 0 C )) may reverse orientation, or permute boundary components of Σ.

Proof. Given a descending chain Mc( ̂ C i ), define C ′ i = C 0 ∪ · · · ∪ C i and note that

Corollary 6.4. Extended elementary McCool groups ̂ Mc( ) C of G satisfy a uniform chain condition.

$$\text{Mc} ( \mathcal { C } _ { i } ^ { \prime } ) = \cap _ { j \leq i } \text{Mc} ( \mathcal { C } _ { j } ) \subset \widehat { \text{Mc} } ( \mathcal { C } _ { i } ) = \cap _ { j \leq i } \widehat { \text{Mc} } ( \mathcal { C } _ { j } ) \subset \widehat { \text{Mc} } ( \mathcal { C } _ { i } ^ { \prime } ). \\ \text{rollary follows from Theorem 1.5, since by Proposition 1.10 the index of $Mc$}$$

We now prove Corollary 1.11 stating that, for any A &lt; Out( G ), there is a subgroup A 0 &lt; A of bounded finite index such that, for the action of A 0 on the set of conjugacy classes of G , every orbit is a singleton or is infinite.

The corollary follows from Theorem 1.5, since by Proposition 1.10 the index of Mc( C ′ i ) in ̂ Mc( C ′ i ) is bounded.

Proof of Corollary 1.11. Let C A be the (possibly infinite) set of conjugacy classes of G whose A -orbit is finite. Partition C A into A -orbits, and let C p be the union of the first p orbits. The image of A in the group of permutations of C p is contained in that of Mc( ̂ C p ), so by Proposition 1.10 its order is bounded by some fixed C . This C also bounds the order of the image of A in the group of permutations of C A .

Recall that Ac( H , H 0 ) ⊂ Aut( G ) is the group of automorphisms acting trivially on H (in the sense of Definition 1.2, i.e. by conjugation) and fixing the elements of H 0 . Proposition 1.13 states that, if G is non-abelian, then Ac( H , H 0 ) is an extension

$$1 \to K \to \text{Ac} ( \mathcal { H }, H _ { 0 } ) \to \text{Mc} ( \mathcal { H } ^ { \prime } ) \to 1$$

with Mc( H ′ ) ⊂ Out( G ) a McCool group, and K the centralizer of H 0 . Corollary 1.14 states that the groups Ac( H , H 0 ) are of type VF and satisfy a uniform chain condition.

Proof of Proposition 1.13. Let H ′ = H∪{ H 0 } . Map Ac( H , H 0 ) ⊂ Aut( G ) to Out( G ). The image is Mc( H ′ ). The kernel K is the set of inner automorphisms equal to the identity on H 0 . Since G has trivial center, it is isomorphic to the centralizer of H 0 .

Proof of Corollary 1.14. The group Mc( H ′ ) has type VF by Theorem 1.3. The group K is abelian or equal to G , so has type F because G does [Dah03]. Proposition 1.13 and Corollary 3.2 imply that Ac( H , H 0 ) has type VF. Moreover, a chain of centralizers has length at most 2 since the centralizer of H 0 is trivial, G , or a maximal abelian subgroup. The uniform chain condition for McCool groups (Proposition 1.5) then implies the uniform chain condition for groups of the form Ac( H , H 0 ).

We now deduce the bounded chain condition for fixed subgroups.

Proof of Theorem 1.8. Let J 0 /notsubsetoreql J 1 /notsubsetoreql . . . /notsubsetoreql J p be a strictly ascending chain of fixed subgroups. Let Ac( ∅ , J i ) be the subgroup of Aut( G ) consisting of automorphisms equal to the identity on J i . Since J i is a fixed subgroup, Ac( ∅ , J i ) /supersetnoteql Ac( ∅ , J i +1 ). Corollary 1.14 then gives a bound on the length on the chain.

Remark. One can adapt the arguments of Section 5 to prove Theorem 1.8 directly (without passing through McCool groups).

We now prove Proposition 1.7 saying that Out( F n ) contains infinitely many nonisomorphic McCool groups for n ≥ 4, and infinitely many non-conjugate McCool groups for n ≥ 3.

Proof of Proposition 1.7. Let H be the free group on three generators a, b, c . Given a nontrivial element w ∈ 〈 a, b 〉 , let P w be the cyclic HNN extension P w = 〈 a, b, c, t | tct -1 = w 〉 . It is free of rank 3, with basis a, b, t . Let ϕ w be the automorphism of P w fixing a and b , and mapping t to wt (it equals the identity on H since it fixes c = t -1 wt ). The image Φ w of ϕ w in Out( P w ) preserves the Bass-Serre tree T of the HNN extension (it belongs to its group of twists T ).

We apply this construction with w = a b k k , for k a positive integer. As k varies, the cyclic subgroups 〈 Φ w 〉 are pairwise non-conjugate in Out( P w ) /similarequal Out( F 3 ), as seen by considering the action on the abelianization.

We shall now prove the second assertion of the proposition for n = 3, by showing that 〈 Φ w 〉 is a McCool group of P w , namely 〈 Φ w 〉 = Mc P w ( { H } ) ⊂ Out( F 3 ). The extension to n &gt; 3 is straightforward, by adding generators to H .

Consider splittings of P w over abelian (i.e. cyclic) subgroups relative to H . The tree T is a JSJ tree because its vertex stabilizers are universally elliptic [GL09, lemma 4.7]; in particular, P w is freely indecomposable relative to H . Moreover, T equals its tree of cylinders (up to adding redundant vertices) because w is not a proper power, so T is the canonical JSJ tree T can . The McCool group Mc P w ( { H } ) therefore leaves T invariant, and it is easily checked using [Lev05a] that Mc P w ( { H } ) = T = Φ 〈 w 〉 .

To prove the first assertion of the proposition, consider R w = P w ∗ 〈 d 〉 /similarequal F 4 , the family H = { H, d 〈 〉} , and the McCool group Mc R w ( H ⊂ ) Out( F 4 ). The decomposition R w = P w ∗ 〈 d 〉 is a Grushko decomposition of R w relative to H because P w is freely indecomposable relative to H . This decomposition is invariant under Mc R w ( H ) because it is a one-edge splitting (see [For02], cor 1.3).

The stabilizer Out( T ) of the Bass-Serre tree T in Out( R w ) is naturally isomorphic to

$$\text{Aut} ( P _ { w } ) \times \text{Aut} ( \langle d \rangle ) \simeq \text{Aut} ( P _ { w } ) \times \mathbb { Z } / 2 \mathbb { Z }$$

(see [Lev05a]); the natural map Out( T ) → Out( P w ) kills the factor Z / 2 Z and coincides with the quotient map Aut( P w ) → Out( P w ) on the other factor. The McCool group

Mc R w ( H ) is isomorphic to the preimage of Mc P w ( { H } ) = 〈 Φ w 〉 in Aut( P w ), hence to the mapping torus

$$Q _ { w } = \langle a, b, t, u \ | \ u a = a u, u b = b u, u t u ^ { - 1 } = a ^ { k } b ^ { k } t \rangle.$$

The abelianization of Q w is Z 3 × Z /k Z , so the isomorphism type of Q w changes when k varies. This proves the first assertion of the proposition or n = 4. The extension to larger n is again straightforward.

## 7 Appendix: groups with finitely many McCool groups

In this appendix we describe cases when Out( G ) only contains finitely many McCool subgroups. In particular, we show that the values of n given in Proposition 1.7 are optimal.

Proposition 7.1. If G is a torsion-free one-ended hyperbolic group, then Out( G ) only contains finitely many McCool groups up to conjugacy.

Proposition 7.2. Out( F 2 ) only contains finitely many McCool groups up to conjugacy.

Proposition 7.3. Out( F 3 ) only contains finitely many McCool groups up to isomorphism.

The proof of Proposition 7.1 requires the fact that Out( G ), and more generally extended McCool groups Mc( ̂ C ), only contain finitely many conjugacy classes of finite subgroups. This will appear in [GLa].

Proof of Proposition 7.1. We assume that Out( G ) contains infinitely many non-conjugate elementary McCool groups Mc( C i ), and we derive a contradiction (this implies the proposition by Corollary 1.6).

It is proved in [Sel97, Corollary 4.9] that there are only finitely many minimal actions of G on trees with cyclic edge stabilizers, up to the action of Out( G ), so we may assume that the canonical cyclic JSJ tree relative to C i (the tree T can of Subsection 2.2) is a given tree T . This tree is invariant under all groups Mc( C i ), so Mc( C i ) ⊂ Out( T ). In this proof, we cannot restrict to Out ( 0 T ).

Given a vertex v of T , we define C i,v as the restriction C i | G v if G v is cyclic, as C i || G v if G v is not cyclic (recall from Subsection 2.1 that conjugacy classes represented by elements fixing an edge of T do not belong to C i || G v ). The tree being bipartite, C i is the disjoint union of the C i,v 's.

We say that v is used if C i,v is non-empty. Since there are finitely many G -orbits of vertices, we may assume that usedness is independent of i ; we let V u be a set of representatives of orbits of used vertices. We may also assume that the type of vertices with non-cyclic stabilizer (rigid or QH) is independent of i (QH vertices with Σ a pair of pants are rigid, we do not consider them as QH).

We claim that QH vertices G v of T are not used. Indeed, any boundary subgroup of G v is an incident edge stabilizer of T : otherwise, G v would split as a free product relative to Inc , contradicting one-endedness of v G . Elements in C i are universally elliptic (relative to C i ), and the only universally elliptic subgroups of G v are contained in boundary subgroups of G v because G v is flexible (see [GL09], Proposition 7.6), so C i || G v is empty.

For v ∈ V u , define Out ( i G v ) ⊂ Out( G v ) as the set of automorphisms which fix each conjugacy class in C i,v and leave the set of incident edge stabilizers globally invariant. Any automorphism in Mc( C i ) is an automorphism of T which leaves G v invariant (up to conjugacy), and induces an automorphism belonging to Out ( i G v ). Conversely, any

automorphism of T satisfying these properties for every v ∈ V u lies in Mc( C i ). This means that Mc( C i ) is completely determined by the knowledge of the groups Out ( i G v ), for v ∈ V u .

We complete the proof by showing that there are only finitely many possibilities for each Out ( i G v ). This is clear if G v is cyclic, and QH vertices are not used, so there remains to consider the case where G v is rigid.

In this case, Out ( i G v ) is finite by Lemma 2.3 (otherwise G v would have a cyclic splitting relative to Inc v and C i,v , contradicting rigidity). Since G v is hyperbolic, Out( G v ) has finitely many conjugacy classes of finite subgroups [GLa]. We deduce that there are finitely many possibilities for Out ( i G v ), up to conjugacy in Out( G v ). Unfortunately, this is not enough to get finiteness for Mc( C i ) up to conjugacy in Out( G ), because the conjugator may fail to extend to an automorphism of G .

To remedy this, we consider Mc(Inc ) and Mc(Inc ), with Inc v ̂ v v the family of incident edge groups as in Subsection 2.1, and Mc(Inc ̂ v ) = Out( ̂ G v ; Inc v ) the set of outer automorphisms of G v preserving Inc v (see Definition 2.1; edge groups may be permuted, and the generator of an edge group may be mapped to its inverse).

The group Out ( i G v ) ⊂ Out( G v ) is finite and contained in Mc(Inc ) (but not neces-̂ v sarily in Mc(Inc v )). By [GLa], Mc(Inc ) has only finitely many conjugacy classes of finite ̂ v subgroups. It follows that there are only finitely many possibilities for Out ( i G v ) up to conjugation by an element of Mc(Inc ), hence also up to conjugation by an element of ̂ v Mc(Inc ) since Mc(Inc ) has finite index in Mc(Inc v v v ).

̂ We may therefore assume that Out ( i G v ) is independent of i if G v is cyclic and v ∈ V u , and that all groups Out ( i G v ) are conjugate by elements of Mc(Inc ) if v v ∈ V u is rigid. Any element of Mc(Inc ) extends 'by the identity' to an automorphism of v G which leaves T invariant and acts trivially (as conjugation by an element of G ) on G w if w is not in the orbit of v . Since Mc( C i ) is determined by the groups Out ( i G v ) for v ∈ V u , we conclude that all groups Mc( C i ) are conjugate in Out( G ).

Proof of Proposition 7.2. We view Out( F 2 ) /similarequal GL (2 , Z ) as the mapping class group of a punctured torus Σ (with orientation-reversing maps allowed). Let c be a peripheral conjugacy class (representing the commutator of basis elements of F 2 ).

We consider a McCool group Mc( H ) ⊂ Out( F 2 ). We may assume that Mc( H ) is infinite. By the classification of elements of GL (2 , Z ), or by the Bestvina-Paulin method and Rips theory, F 2 then splits over a cyclic group relative to H and c (see for instance Theorem 3.9 of [GL12]). Such a splitting is dual to a non-peripheral simple closed curve γ ⊂ Σ.

If there are two different splittings, they are dual to curves γ, γ ′ whose union fills Σ, so H only contains peripheral subgroups. It follows that Mc( H ) is either Out( F 2 ) /similarequal GL (2 , Z ) or SL (2 , Z ). If the splitting is unique, Mc( H ) fixes γ (viewed as an unoriented curve up to isotopy). Since the splitting dual to γ is relative to H , the Dehn twist T γ around γ is contained in Mc( H ). The stabilizer Stab( γ ) of γ in the mapping class group contains 〈 T γ 〉 with finite index (the index is 4 because a homeomorphism may reverse the orientation of Σ and/or of γ ). We thus have 〈 T γ 〉 ⊂ Mc( H ) ⊂ Stab( γ ), with both indices finite. Finiteness of Mc( H ) up to conjugacy follows, since γ is unique up to the action of the mapping class group.

The remainder of this appendix is devoted to the proof of Proposition 7.3. We first record a few useful facts.

Lemma 7.4. Fix n . Up to isomorphism, Out( F n ) only contains finitely many virtually solvable subgroups.

Proof. Virtually solvable subgroups are virtually abelian ([Ali02, BFH04]). More precisely, they contain Z k with k ≤ 2 n -3 as a subgroup of bounded index (see [BFH04], proof of Theorem 1.1 page 94). This implies finiteness, for instance by [Seg83, Th. 6 p. 176].

Lemma 7.5. Let A be virtually cyclic, and B be virtually F n for some n . Up to isomorphism, there are only finitely many groups which are extensions of A by B .

Proof. This follows from standard extension theory ([Bro82], sections III.10 and IV.6), noting that Out( A ) is finite and B has a finite index subgroup with trivial H 2 .

Now consider a McCool group Mc( H ⊂ ) Out( F 3 ). The first step is to reduce to the case where F 3 is freely indecomposable relative to H . If this does not hold, let Γ be a Grushko decomposition relative to H (see Subsection 2.2). It is not unique, we choose one with as few edges as possible.

If all vertex groups are cyclic, groups in H are generated (up to conjugacy) by powers of elements belonging to some fixed basis of F 3 , and finiteness holds. Otherwise, there is a vertex group G v /similarequal F 2 . Our choice of Γ implies that Γ has a single edge (it is an HNN extension, or an amalgam F 2 ∗ Z with a finite index subgroup of Z belonging to H ). It follows that Γ is Mc( H )-invariant ([For02, Lev05b]), and Mc( H ) is determined by its image in Out( F 2 ). This image is the McCool group Mc( H | F 2 ), so finiteness follows from Proposition 7.2.

We continue the proof under the assumption that F 3 is freely indecomposable relative to H . Let Γ can be the canonical Mc( H )-invariant cyclic JSJ decomposition relative to H (see Subsection 2.2). Vertex groups G v are cyclic, rigid, or QH.

One easily checks the formula ∑ v (rk G v -1) = 2. In particular, rk G v ≤ 3 for all v , and if some G v is isomorphic to F 3 , then all other vertex groups are cyclic.

If G v /similarequal π 1 (Σ) is a QH vertex group, it is isomorphic to F 2 or F 3 , so there are 9 possibilities for the compact surface Σ:

- 1. pair of pants
- 2. sphere with 4 boundary components
- 3. projective plane with 2 boundary components
- 4. projective plane with 3 boundary components
- 5. torus with 1 boundary component
- 6. torus with 2 boundary components
- 7. Klein bottle with 1 boundary component
- 8. Klein bottle with 2 boundary components
- 9. non-orientable surface of genus 3 with 1 boundary component.

Each incident edge group G e is (up to conjugacy) a boundary subgroup of π 1 (Σ). Conversely, there are two possibilities for a boundary subgroup C . If it is an incident edge group, it equals G e for a unique incident edge. If not, we say that the corresponding boundary component of Σ is free ; in this case some finite index subgroup of C belongs to H .

As in Subsection 2.3, the finite index subgroup Mc ( 0 H ) of Mc( H ) acting trivially on Γ can maps to ∏ v Out( G v ) with kernel the group of twists T . The image in Out( G v ) is finite if G v is cyclic or rigid, virtually the mapping class group of Σ if G v is QH, and T is isomorphic to some Z k (see Subsection 4.3 of [GL12]).

By mapping class group, we mean the group of isotopy classes of homeomorphisms of a compact surface Σ mapping each boundary component to itself in an orientationpreserving way. We denote it by PM + (Σ) as in Subsection 2.2.

By Lemma 7.4, we may assume that there is a QH vertex v with PM + (Σ) non-solvable. As explained above, there are 9 possibilities for Σ. Cases 1, 3, 7 are ruled out because PM + (Σ) is virtually cyclic (see [Sze08], or argue as in the proof of Proposition 7.2, noting that a finite index subgroup of PM + (Σ) fixes a conjugacy class of F 2 which is not a power of the commutator).

If Γ can is trivial (i.e. if the QH subgroup G v is the whole group), Mc( H ) is the mapping class group of Σ. We therefore assume that Γ can is non-trivial.

## Lemma 7.6. If G v has rank 3, then Σ has a free boundary component.

Proof. This follows from Lemma 4.1 of [BF], a generalization of the standard fact that a cyclic amalgam A ∗ 〈 c 〉 B of free groups is free only if c belongs to a basis in A or B .

This lemma rules out case 9.

Now suppose that all vertices of Γ can other than v are terminal vertices carrying Z (by Lemma 7.6, this holds in cases 6 and 8). In this case the group of twists T is trivial (see Proposition 3.1 of [Lev05a]). The group Mc( H ) contains PM + (Σ) with finite index, and there are finitely many possibilities: they depend on whether edges of Γ can may be permuted, and whether elements in edge groups may be mapped to their inverse.

We must now deal with cases 2, 4, 5. We start with 4. The only possibility left is that Γ can has two vertices v, w joined by 2 edges, with G w cyclic. Every automorphism leaving Γ can invariant maps G v to itself (up to conjugacy), and we consider the natural map from Mc( H ) to Out( G v ). As above, the image contains PM + (Σ) with finite index, and there are finitely many possibilities. The kernel is the group of twists T , which is isomorphic to Z . Since PM + (Σ) is isomorphic to F 3 by Theorem 7.5 of [Sze08], we conclude by Lemma 7.5.

The argument in case 2 is similar. Besides v and w , there may be another vertex w ′ , with G w ′ cyclic and a single edge between v and w ′ . The group PM + (Σ) is again free, it is isomorphic to F 2 (see for instance [FM12], 4.2.4).

In case 5 (once-punctured torus), there is a single edge incident to v . Collapsing all other edges yields an Mc( H )-invariant decomposition as an amalgam F 3 = G v ∗ 〈 a 〉 G w with G w /similarequal F 2 . By the standard fact recalled above, a belongs to a basis of G w (and is equal to a commutator in G v ). The group Mc( H ) acts trivially on the graph underlying this amalgam, and the map ρ (see Subsection 2.3) maps Mc( H ) to Out( G v ) × Out( G w ), with kernel the group of twists T , isomorphic to Z . The image in Out( G v ) is isomorphic to GL (2 , Z ) or SL (2 , Z ).

We now consider the image L of Mc( H ) in Out( G w ). It preserves the conjugacy class of 〈 a 〉 . If L is finite (necessarily of order ≤ 6), then Mc( H ) maps onto GL (2 , Z ) or SL (2 , Z ) with virtually cyclic kernel K ; there are finitely many possibilities for K up to isomorphism (it maps to L with cyclic kernel), and we conclude by Lemma 7.5. As explained in the proof of Proposition 7.2, if L is infinite, it is virtually cyclic, contains a 'Dehn twist' T a , and has index at most 4 in the stabilizer of the conjugacy class of 〈 a 〉 in Out( G w ). Since Mc( H ) is determined by its image in Out( G v ) × Out( G w ), and this image contains SL (2 , Z ) ×〈 T a 〉 , this leaves only finitely many possibilities.

## References

| [Ali02]   | Emina Alibegovi´. c Translation lengths in Out( F n ). Geom. Dedicata , 92:87-93, 2002. Dedicated to John Stallings on the occasion of his 65th birthday.                 |
|-----------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [AMS13]   | Yago Antolin, Ashot Minasyan, and Alessandro Sisto. Commensurating endomorphisms of acylindrically hyperbolic groups and applications. arXiv:1310.8605, 2013.             |
| [BF91]    | Mladen Bestvina and Mark Feighn. Bounding the complexity of simplicial group actions on trees. Invent. Math. , 103(3):449-469, 1991.                                      |
| [BF]      | Mladen Bestvina and Mark Feighn. Outer limits. Preprint (1992), http://andromeda.rutgers.edu/~{}feighn/papers/outer.pdf .                                                 |
| [BFH04]   | Mladen Bestvina, Mark Feighn, and Michael Handel. Solvable subgroups of Out( F n ) are virtually Abelian. Geom. Dedicata , 104:71-96, 2004.                               |
| [Bor66]   | Armand Borel. Density and maximality of arithmetic subgroups. J. Reine Angew. Math. , 224:78-89, 1966.                                                                    |
| [BS73]    | A. Borel and J.-P. Serre. Corners and arithmetic groups. Comment. Math. Helv. , 48:436- 491, 1973.                                                                        |
| [Bro82]   | Kenneth S. Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1982.                                                    |
| [CV86]    | Marc Culler and Karen Vogtmann. Moduli of graphs and automorphisms of free groups. Invent. Math. , 84(1):91-119, 1986.                                                    |
| [Dah03]   | Fran¸ois c Dahmani. Classifying spaces and boundaries for relatively hyperbolic groups. Proc. London Math. Soc. (3) , 86(3):666-684, 2003.                                |
| [DG08]    | Fran¸ois c Dahmani and Daniel Groves. The isomorphism problem for toral relatively hyperbolic groups. Publ. Math. Inst. Hautes ´ Etudes Sci. , 107:211-290, 2008.         |
| [DG11]    | Fran¸ois c Dahmani and Vincent Guirardel. The isomorphism problem for all hyperbolic groups. Geom. Funct. Anal. , 21(2):223-300, 2011.                                    |
| [FM12]    | Benson Farb and Dan Margalit. A primer on mapping class groups , volume 49 of Prince- ton Mathematical Series . Princeton University Press, Princeton, NJ, 2012.          |
| [For02]   | Max Forester. Deformation and rigidity of simplicial group actions on trees. Geom. Topol. , 6:219-267 (electronic), 2002.                                                 |
| [Geo08]   | Ross Geoghegan. Topological methods in group theory , volume 243 of Graduate Texts in Mathematics . Springer, New York, 2008.                                             |
| [Gui08]   | Vincent Guirardel. Actions of finitely generated groups on R -trees. Ann. Inst. Fourier (Grenoble) , 58(1):159-211, 2008.                                                 |
| [GL07a]   | Vincent Guirardel and Gilbert Levitt. Deformation spaces of trees. Groups Geom. Dyn. , 1(2):135-181, 2007.                                                                |
| [GL07b]   | Vincent Guirardel and Gilbert Levitt. The outer space of a free product. Proc. Lond. Math. Soc. (3) , 94(3):695-714, 2007.                                                |
| [GL09]    | Vincent Guirardel and Gilbert Levitt. JSJ decompositions: definitions, existence and uniqueness. I: The JSJ deformation space. arXiv:0911.3173 v2 [math.GR], 2009.        |
| [GL10]    | Vincent Guirardel and Gilbert Levitt. JSJ decompositions: definitions, existence and uniqueness. II: Compatibility and acylindricity. arXiv:1002.4564 v2 [math.GR], 2010. |
| [GL11]    | Vincent Guirardel and Gilbert Levitt. Trees of cylinders and canonical splittings. Geom. Topol. , 15(2):977-1012, 2011.                                                   |

| [GL12]   | Vincent Guirardel and Gilbert Levitt. Splittings and automorphisms of relatively hy- perbolic groups, 2012. Geometry Groups and Dynamics , to appear. arXiv:1212.1434 [math.GR].             |
|----------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [GL13]   | Vincent Guirardel and Gilbert Levitt. Vertex finiteness for splittings of relatively hyper- bolic groups. arXiv:1311.2835, 2013                                                              |
| [GLa]    | Vincent Guirardel and Gilbert Levitt. Extension finiteness for relatively hyperbolic groups. In preparation.                                                                                 |
| [GLb]    | Vincent Guirardel and Gilbert Levitt. Strata and canonical subtrees of R -trees. In preparation.                                                                                             |
| [HM13]   | Michael Handel and Lee Mosher. Subgroup decomposition in Out ( F n ): Introduction and research announcement. arXiv:1302.2681, 2013.                                                         |
| [Lev05a] | Gilbert Levitt. Automorphisms of hyperbolic groups and graphs of groups. Geom. Dedicata , 114:49-70, 2005.                                                                                   |
| [Lev05b] | Gilbert Levitt. Characterizing rigid simplicial actions on trees. In Geometric methods in group theory , volume 372 of Contemp. Math. , pages 27-33. Amer. Math. Soc., Providence, RI, 2005. |
| [MV04]   | A. Martino and E. Ventura. Fixed subgroups are compressed in free groups. Comm. Algebra , 32(10):3921-3935, 2004.                                                                            |
| [McC75]  | James McCool. Some finitely presented subgroups of the automorphism group of a free group. J. Algebra , 35:205-213, 1975.                                                                    |
| [MO10]   | A. Minasyan and D. Osin. Normal automorphisms of relatively hyperbolic groups. Trans. Amer. Math. Soc. , 362(11):6079-6103, 2010.                                                            |
| [Seg83]  | Daniel Segal. Polycyclic groups , volume 82 of Cambridge Tracts in Mathematics . Cam- bridge University Press, Cambridge, 1983.                                                              |
| [Sel97]  | Z. Sela. Acylindrical accessibility for groups. Invent. Math. , 129(3):527-565, 1997.                                                                                                        |
| [Sze08]  | B/suppressazej l ˙ Szepietowski. A presentation for the mapping class group of a non-orientable surface from the action on the complex of curves. Osaka J. Math. , 45(2):283-326, 2008.      |

## Vincent Guirardel

Institut de Recherche Math´matique de Rennes e Membre de l'institut universitaire de France Universit´ de Rennes 1 et CNRS (UMR 6625) e 263 avenue du G´ en´ral Leclerc, CS 74205 e F-35042 RENNES C´ edex e-mail: vincent.guirardel@univ-rennes1.fr

## Gilbert Levitt

Laboratoire de Math´ ematiques Nicolas Oresme Universit´ de Caen et CNRS (UMR 6139) e BP 5186 F-14032 Caen Cedex France e-mail:

levitt@unicaen.fr
Vincent Guirardel Gilbert Levitt
McCool groups of toral relatively hyperbolic groups
The outer automorphism group Out(G) of a group G acts on the set of conjugacy
classes of elements of G. McCool proved that the stabilizer $Mc(c_1,...,c_n)$
of a finite set of conjugacy classes is finitely presented when G is free. More
generally, we consider the group $Mc(H_1,...,H_n)$ of outer automorphisms
$\Phi$ of G acting trivially on a family of subgroups $H_i$, in the sense that
$\Phi$ has representatives $\alpha_i$ with $\alpha_i$ equal to the identity on
$H_i$.
  When G is a toral relatively hyperbolic group, we show that these two
definitions lead to the same subgroups of Out(G), which we call "McCool groups"
of G. We prove that such McCool groups are of type VF (some finite index
subgroup has a finite classifying space). Being of type VF also holds for the
group of automorphisms of G preserving a splitting of G over abelian groups.
  We show that McCool groups satisfy a uniform chain condition: there is a
bound, depending only on G, for the length of a strictly decreasing sequence of
McCool groups of G. Similarly, fixed subgroups of automorphisms of G satisfy a
uniform chain condition.