
This is an account of the theory of JSJ decompositions of finitely generated
groups, as developed in the last twenty years or so.
We give a simple general definition of JSJ decompositions (or rather of their
BassSerre trees), as maximal universally elliptic trees. In general, there is
no preferred JSJ decomposition, and the right object to consider is the whole
set of JSJ decompositions, which forms a contractible space: the JSJ
deformation space (analogous to Outer Space).
We prove that JSJ decompositions exist for any finitely presented group,
without any assumption on edge groups. When edge groups are slender, we
describe flexible vertices of JSJ decompositions as quadratically hanging
extensions of 2orbifold groups.
Similar results hold in the presence of acylindricity, in particular for
splittings of torsionfree CSA groups over abelian groups, and splittings of
relatively hyperbolic groups over virtually cyclic or parabolic subgroups.
Using trees of cylinders, we obtain canonical JSJ trees (which are invariant
under automorphisms).
We introduce a variant in which the property of being universally elliptic is
replaced by the more restrictive and rigid property of being universally
compatible. This yields a canonical compatibility JSJ tree, not just a
deformation space. We show that it exists for any finitely presented group.
We give many examples, and we work throughout with relative decompositions
(restricting to trees where certain subgroups are elliptic).

We study to what extent torsionfree (Gromov)hyperbolic groups are
elementarily equivalent to their finite index subgroups. In particular, we
prove that a hyperbolic limit group either is a free product of cyclic groups
and surface groups, or admits infinitely many subgroups of finite index which
are pairwise non elementarily equivalent.

This paper and its companion arXiv:0911.3173 have been replaced by
arXiv:1602.05139.
We define the compatibility JSJ tree of a group G over a class of subgroups.
It exists whenever G is finitely presented and leads to a canonical tree (not a
deformation space) which is invariant under automorphisms. Under acylindricity
hypotheses, we prove that the (usual) JSJ deformation space and the
compatibility JSJ tree exist, and we describe their flexible subgroups. We
apply these results to finitely generated CSA groups, \Gammalimit groups
(allowing torsion), and relatively hyperbolic groups.

This paper and its companion arXiv:1002.4564 have been replaced by
arXiv:1602.05139.
We give a general simple definition of JSJ decompositions by means of a
universal maximality property. The JSJ decomposition should not be viewed as a
tree (which is not uniquely defined) but as a canonical deformation space of
trees. We prove that JSJ decompositions of finitely presented groups always
exist, without any assumption on edge groups. Many examples are given.

Consider a group G and a family $\mathcal{A}$ of subgroups of G. We say that
vertex finiteness holds for splittings of G over $\mathcal{A}$ if, up to
isomorphism, there are only finitely many possibilities for vertex stabilizers
of minimal Gtrees with edge stabilizers in $\mathcal{A}$.
We show vertex finiteness when G is a toral relatively hyperbolic group and
$\mathcal{A}$ is the family of abelian subgroups.
We also show vertex finiteness when G is hyperbolic relative to virtually
polycyclic subgroups and $\mathcal{A}$ is the family of virtually cyclic
subgroups; if moreover G is oneended, there are only finitely many minimal
Gtrees with virtually cyclic edge stabilizers, up to automorphisms of G.

Let $G$ be the mapping torus of a polynomially growing automorphism of a
finitely generated free group. We determine which epimorphisms from $G$ to
$\mathbb{Z}$ have finitely generated kernel, and we compute the rank of the
kernel. We thus describe all possible ways of expressing $G$ as the mapping
torus of a free group automorphism. This is similar to the case for 3manifold
groups, and different from the case of mapping tori of exponentially growing
free group automorphisms. The proof uses a hierarchical decomposition of $G$
and requires determining the BieriNeumannStrebel invariant of the fundamental
group of certain graphs of 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.

We show that Out(G) is residually finite if G is a oneended group that is
hyperbolic relative to virtually polycyclic subgroups. More generally, if G is
oneended and hyperbolic relative to proper residually finite subgroups, the
group of outer automorphisms preserving the peripheral structure is residually
finite. We also show that Out(G) is virtually presidually finite for every
prime p if G is oneended and toral relatively hyperbolic, or infinitelyended
and virtually presidually finite.

We determine all generalized BaumslagSolitar groups (finitely generated
groups acting on a tree with all stabilizers infinite cyclic) which are
quotients of a given BaumslagSolitar group BS(m,n), and (when BS(m,n) is not
Hopfian) which of them also admit BS(m,n) as a quotient. We determine for which
values of r,s one may embed BS(r,s) into a given BS(m,n), and we characterize
finitely generated groups which embed into some BS(n,n).

A generalized BaumslagSolitar (GBS) group is a finitely generated group
acting on a tree with infinite cyclic edge and vertex stabilizers. We show how
to determine effectively the rank (minimal cardinality of a generating set) of
a GBS group; as a consequence, one can compute the rank of the mapping torus of
a finite order outer automorphism of a free group $F_n$. We also show that the
rank of a finite index subgroup of a GBS group G cannot be smaller than the
rank of G. We determine which GBS groups are large (some finite index subgroup
maps onto $F_2$), and we solve the commensurability problem (deciding whether
two groups have isomorphic finite index subgroups) in a particular family of
GBS groups.

Given $f$ in $GL(d,Z)$, it is decidable whether its mapping torus (the
semidirect product of $Z^d$ with $Z$) may be generated by two elements or not;
if so, one can classify generating pairs up to Nielsen equivalence. If $f$ has
infinite order, the mapping torus of $f^n$ cannot be generated by two elements
for $n$ large enough; equivalently, $f^n$ is not conjugate to a companion
matrix in $GL(d,Z)$ if $n$ is large.

We show that there is no algorithm deciding whether the maximal residually
free quotient of a given finitely presented group is finitely presentable or
not.
Given a finitely generated subgroup G of a finite product of limit groups, we
discuss the possibility of finding an explicit set of defining equations (i.e.
of expressing G as the maximal residually free quotient of an explicit finitely
presented group).

The isomorphism problem for [free abelian]byfree groups is unsolvable.

Let T be a tree with an action of a finitely generated group G. Given a
suitable equivalence relation on the set of edge stabilizers of T (such as
commensurability, coelementarity in a relatively hyperbolic group, or
commutation in a commutative transitive group), we define a tree of cylinders
T_c. This tree only depends on the deformation space of T; in particular, it is
invariant under automorphisms of G if T is a JSJ splitting. We thus obtain
Out(G)invariant cyclic or abelian JSJ splittings. Furthermore, T_c has very
strong compatibility properties (two trees are compatible if they have a common
refinement).

Let G be a finitely presented group. Scott and Swarup have constructed a
canonical splitting of G which encloses all almost invariant sets over
virtually polycyclic subgroups of a given length. We give an alternative
construction of this regular neighbourhood, by showing that it is the tree of
cylinders of a JSJ splitting.

Given an automorphism of a free group $F_n$, we consider the following
invariants: $e$ is the number of exponential strata (an upper bound for the
number of different exponential growth rates of conjugacy classes); $d$ is the
maximal degree of polynomial growth of conjugacy classes; $R$ is the rank of
the fixed subgroup. We determine precisely which triples $(e,d,R)$ may be
realized by an automorphism of $F_n$. In particular, the inequality $e\le
(3n2)/4}$ (due to LevittLustig) always holds. In an appendix, we show that
any conjugacy class grows like a polynomial times an exponential under
iteration of the automorphism.

We show that every automorphism $\alpha$ of a free group $F_k$ of finite rank
$k$ has {\it asymptotically periodic} dynamics on $F_k$ and its boundary
$\partial F_k$: there exists a positive power $\alpha^q$ such that every
element of the compactum $F_k \cup \partial F_k$ converges to a fixed point
under iteration of $\alpha^q$.

Let G be a finitely generated group. Two simplicial Gtrees are said to be in
the same deformation space if they have the same elliptic subgroups (if H fixes
a point in one tree, it also does in the other). Examples include
CullerVogtmann's outer space, and spaces of JSJ decompositions. We discuss
what features are common to trees in a given deformation space, how to pass
from one tree to all other trees in its deformation space, and the topology of
deformation spaces. In particular, we prove that all deformation spaces are
contractible complexes.

We associate a contractible ``outer space'' to any free product of groups
G=G_1*...*G_q. It equals CullerVogtmann space when G is free,
McCulloughMiller space when no G_i is Z. Our proof of contractibility (given
when G is not free) is based on Skora's idea of deforming morphisms between
trees.
Using the action of Out(G) on this space, we show that Out(G) has finite
virtual cohomological dimension, or is VFL (it has a finite index subgroup with
a finite classifying space), if the groups G_i and Out(G_i) have similar
properties. We deduce that Out(G) is VFL if G is a torsionfree hyperbolic
group, or a limit group (finitely generated fully residually free group).

A generalized BaumslagSolitar group (GBS group) is a finitely generated
group $G$ which acts on a tree with all edge and vertex stabilizers infinite
cyclic. We show that Out(G) either contains nonabelian free groups or is
virtually nilpotent of class at most 2. It has torsion only at finitely many
primes.
One may decide algorithmically whether Out(G) is virtually nilpotent or not.
If it is, one may decide whether it is virtually abelian, or finitely
generated. The isomorphism problem is solvable among GBS groups with Out(G)
virtually nilpotent.
If $G$ is unimodular (virtually $F_n \times Z$), then Out(G) is commensurable
with a semidirect product $Z^k \rtimes Out(H)$ with $H$ virtually free.

Motivated by the work of Leininger on hyperbolic equivalence of homotopy
classes of closed curves on surfaces, we investigate a similar phenomenon for
free groups. Namely, we study the situation when two elements $g,h$ in a free
group $F$ have the property that for every free isometric action of $F$ on an
$\mathbb{R}$tree $X$ the translation lengths of $g$ and $h$ on $X$ are equal.
We give a combinatorial characterization of this phenomenon, called translation
equivalence, in terms of Whitehead graphs and exhibit two difference sources of
it. The first source of translation equivalence comes from representation
theory and $SL_2$ trace identities. The second source comes from geometric
properties of groups acting on real trees and a certain power redistribution
trick. We also analyze to what extent these are applicable to the tree actions
of surface groups that occur in the Thurston compactification of the
Teichmuller space.

We extend Forester's rigidity theorem so as to give a complete
characterization of rigid group actions on trees (an action is rigid if it is
the only reduced action in its deformation space, in particular it is invariant
under automorphisms preserving the set of elliptic subgroups).

Using the canonical JSJ splitting, we describe the outer automorphism group
$\Out(G)$ of a oneended word hyperbolic group $G$. In particular, we discuss
to what extent $\Out(G)$ is virtually a direct product of mapping class groups
and a free abelian group, and we determine for which groups $\Out(G)$ is
infinite. We also show that there are only finitely many conjugacy classes of
torsion elements in $\Out(G)$, for $G$ any torsionfree hyperbolic group.
More generally, let $\Gamma $ be a finite graph of groups decomposition of an
arbitrary group $G$ such that edge groups $G_e$ are rigid (i.e\. $\Out(G_e)$ is
finite). We describe the group of automorphisms of $G$ preserving $\Gamma $, by
comparing it to direct products of suitably defined mapping class groups of
vertex groups.