ab2f1f8f2f986f29.tex
1: \begin{abstract}
2:   We study automorphisms of a relatively hyperbolic group $G$.
3: When $G$ is one-ended, 
4:  we describe $\Out(G)$ using a preferred JSJ tree over subgroups that are virtually cyclic or parabolic.
5: In particular, when $G$ is toral relatively hyperbolic,
6: $\Out(G)$ is virtually built out of mapping class groups and subgroups of $GL_n(\bbZ)$ fixing certain basis elements.
7:  When more general parabolic groups are allowed, these subgroups of $GL_n(\bbZ)$ have to be replaced by McCool groups: automorphisms of parabolic groups
8: acting trivially (i.e.\ by conjugation) on certain subgroups.
9: 
10: Given a malnormal quasiconvex subgroup $P$ of a hyperbolic group $G$,
11: we view $G$ as hyperbolic relative to $P$ and
12: we apply the previous analysis to describe the group  $\Out(P\fleche G)$  of automorphisms of $P$ that extend to $G$:
13: it is virtually a McCool group.  If $\Out(P\fleche G)$ is infinite, then $P$ is a vertex group in a splitting of $G$.
14: If $P$ is torsion-free, then $\Out(P\fleche G)$ is of type VF, in particular finitely presented.
15: 
16: We also determine when $\Out(G)$ is infinite, for  $G$ relatively hyperbolic. The interesting case
17: is when $G$ is infinitely-ended and has torsion. When $G$ is hyperbolic, we show that $\Out(G)$ is infinite
18: if and only if $G$ splits over a maximal virtually cyclic subgroup with infinite center.
19: In general we show that infiniteness of $\Out(G)$ comes from the existence of a splitting with infinitely
20: many twists, or having a vertex group that is maximal parabolic with infinitely many automorphisms acting
21: trivially on incident edge groups.
22: \end{abstract}
23: