• 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 Bass-Serre 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 2-orbifold groups. Similar results hold in the presence of acylindricity, in particular for splittings of torsion-free 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 torsion-free (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, \Gamma-limit 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 G-trees 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 one-ended, there are only finitely many minimal G-trees 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 3--manifold 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 Bieri-Neumann-Strebel 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 one-ended group that is hyperbolic relative to virtually polycyclic subgroups. More generally, if G is one-ended 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 p-residually finite for every prime p if G is one-ended and toral relatively hyperbolic, or infinitely-ended and virtually p-residually finite.
  • We determine all generalized Baumslag-Solitar groups (finitely generated groups acting on a tree with all stabilizers infinite cyclic) which are quotients of a given Baumslag-Solitar 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 Baumslag-Solitar (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 semi-direct 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]-by-free 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, co-elementarity 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 (3n-2)/4}$ (due to Levitt-Lustig) 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 G-trees 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 Culler-Vogtmann'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 Culler-Vogtmann space when G is free, McCullough-Miller 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 torsion-free hyperbolic group, or a limit group (finitely generated fully residually free group).
  • A generalized Baumslag-Solitar 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 non-abelian 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 semi-direct 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 one-ended 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 torsion-free 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.