The outer automorphism group
of a group
acts on the set of conjugacy classes of elements of
. McCool proved
that the stabilizer
of a finite set of conjugacy classes is finitely presented when
is free. More generally,
we consider the group
of outer automorphisms
of
acting trivially on a
family of subgroups
,
in the sense that
has
representatives
that are
equal to the identity on
.
When
is a toral relatively hyperbolic group, we show that these two definitions lead to the same
subgroups of
,
which we call “McCool groups” of G. We prove that such McCool groups are of type
(some finite-index subgroup has a finite classifying space). Being of type
also holds for the group
of automorphisms of
preserving a splitting of
over abelian groups.
We show that McCool groups satisfy a uniform chain condition: there is a bound, depending
only on
,
for the length of a strictly decreasing sequence of McCool groups of
. Similarly, fixed subgroups
of automorphisms of
satisfy a uniform chain condition.
Institut de Recherche Mathématique
de Rennes
Université de Rennes 1 et CNRS (UMR 6625)
263 avenue du Général Leclerc
CS 74205
35042 Rennes Cedex
France