JSJ decompositions of groups

Abstract

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).

Revision with an index added, and other minor modifications. Replaces and expands arXiv:0911.3173 and arXiv:1002.4564. To appear in Asterisque. 128 pages

References in corpus (4)

• Poincare duality in dimension 3
• Computing JSJ decompositions of hyperbolic groups
• Elementary equivalence vs commensurability for hyperbolic groups
• Compatibility JSJ decomposition of graphs of free abelian groups

Cited by in corpus (23)

• Quasi-isometries Between Groups with Two-Ended Splittings
• Boundaries of relative factor graphs and subgroup classification for automorphisms of free products
• Quasi-isometry classification of RAAGs that split over cyclic subgroups
• Computing JSJ decompositions of hyperbolic groups
• Acylindrical hyperbolicity of automorphism groups of infinitely-ended groups
• Relative hyperbolicity of hyperbolic-by-cyclic groups
• Quasi-isometric rigidity for graphs of virtually free groups with two-ended edge groups
• Quasi-Isometries for certain Right-Angled Coxeter Groups
• Virtually free groups are almost homogeneous
• Elementary equivalence vs commensurability for hyperbolic groups
• The Conjugacy Problem for $Out(F_3)$
• On the quasi-isometric rigidity of graphs of surface groups
• Measure equivalence rigidity of $\mathrm{Out}(F_N)$
• Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families
• Reducing the conjugacy problem for relatively hyperbolic automorphisms to peripheral components
• Towers and the first-order theory of hyperbolic groups
• Quasi-isometric rigidity of three manifold groups
• Comparing decompositions of Poincaré duality pairs
• Elementary subgroups of the free group are free factors - a new proof
• Commensurations of subgroups of $\mathrm{Out}(F_N)$
• Cannon--Thurston maps for CAT(0) groups with isolated flats
• On knot groups acting on trees
• Cocycle superrigidity from higher rank lattices to $\mathrm{Out}(F_N)$