• ### JSJ decompositions of groups(1602.05139)

July 28, 2017 math.GT, math.GR
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).
• ### Elementary equivalence vs commensurability for hyperbolic groups(1701.08853)

Jan. 30, 2017 math.LO, math.GR
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.
• ### JSJ decompositions: definitions, existence, uniqueness. II. Compatibility and acylindricity(1002.4564)

March 25, 2016 math.GT, math.GR
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.
• ### JSJ decompositions: definitions, existence, uniqueness. I: The JSJ deformation space(0911.3173)

March 25, 2016 math.GT, math.GR
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.
• ### Vertex finiteness for splittings of relatively hyperbolic groups(1311.2835)

Feb. 10, 2015 math.GT, math.GR
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.
• ### Mapping tori of free group automorphisms, and the Bieri-Neumann-Strebel invariant of graphs of groups(1412.8582)

Dec. 30, 2014 math.GT, math.GR
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.
• ### McCool groups of toral relatively hyperbolic groups(1408.0418)

Aug. 2, 2014 math.GR
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.
• ### Residual properties of automorphism groups of (relatively) hyperbolic groups(1305.5403)

July 25, 2014 math.GT, math.GR
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.
• ### Quotients and subgroups of Baumslag-Solitar groups(1308.5122)

May 29, 2014 math.GT, math.GR
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).
• ### Generalized Baumslag-Solitar groups: rank and finite index subgroups(1304.7582)

May 15, 2014 math.GT, math.GR
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.
• ### Rank of mapping tori and companion matrices(1004.2649)

April 15, 2010 math.GR
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.
• ### Computing equations for residually free groups(0902.2119)

June 12, 2009 math.GT, math.GR
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).
• ### Unsolvability of the isomorphism problem for [free abelian]-by-free groups(0810.0935)

Dec. 15, 2008 math.GT, math.GR
The isomorphism problem for [free abelian]-by-free groups is unsolvable.
• ### Trees of cylinders and canonical splittings(0811.2383)

Nov. 14, 2008 math.GT, math.GR
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).
• ### Scott and Swarup's regular neighbourhood as a tree of cylinders(0811.2389)

Nov. 14, 2008 math.GT, math.GR
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.
• ### Counting growth types of automorphisms of free groups(0801.4844)

Oct. 6, 2008 math.GT, math.GR
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.
• ### Automorphisms of free groups have asymptotically periodic dynamics(math/0407437)

Jan. 31, 2008 math.GT, math.GR
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$.
• ### Deformation spaces of trees(math/0605545)

April 25, 2007 math.GT, math.GR
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.
• ### The outer space of a free product(math/0501288)

Aug. 29, 2006 math.GT, math.GR
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).
• ### On the automorphism group of generalized Baumslag-Solitar groups(math/0511083)

Nov. 3, 2005 math.GT, math.GR
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.
• ### Translation equivalence in free groups(math/0409284)

Jan. 10, 2005 math.GT, math.GR
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.
• ### Characterizing rigid simplicial actions on trees(math/0409245)

Sept. 15, 2004 math.GT, math.GR
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).
• ### Automorphisms of hyperbolic groups and graphs of groups(math/0212088)

Dec. 5, 2002 math.GT, math.GR
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.