JSJ decompositions of groups

zbMATH Open1391.20002arXiv1602.05139MaRDI QIDQ3132833FDOQ3132833

Authors: Vincent Guirardel, Gilbert Levitt 

Publication date: 30 January 2018

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

Full work available at URL: https://arxiv.org/abs/1602.05139

Recommendations

• JSJ-decompositions of finitely presented groups and complexes of groups.
• On uniqueness of JSJ decompositions of finitely generated groups.
• Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
• JSJ-splittings for finitely presented groups over slender groups
• JSJ decompositions of quadratic Baumslag-Solitar groups.

zbMATH Keywords

decompositionfree groupgroup theoryhyperbolicBass-Serre theorycompatibilitysplittingouter spaceacylindricityHNN extensionamalgamated productslendertree, \(\mathbb{R}\)-tree

Mathematics Subject Classification ID

Groups acting on trees (20E08) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67) Topological methods in group theory (57M07) Research exposition (monographs, survey articles) pertaining to group theory (20-02) General structure theorems for groups (20E34)

Cited In (55)

• Quasi-isometries for certain right-angled Coxeter groups
• Direct products of free groups in \(\Aut(F_N)\)
• First-order sentences in random groups. I: Universal sentences
• A closed ball compactification of a maximal component via cores of trees
• Detecting geometric splittings in finitely presented groups
• On canonical splittings of relatively hyperbolic groups
• Local connectedness of boundaries for relatively hyperbolic groups
• JSJ DECOMPOSITIONS OF DOUBLES OF FREE GROUPS
• Regular neighbourhoods and canonical decompositions for groups
• COMPATIBILITY JSJ DECOMPOSITION OF GRAPHS OF FREE ABELIAN GROUPS
• Decomposition numbers of the group \(\mathcal J_ 2\)
• On knot groups acting on trees
• Random subgroups, automorphisms, splittings
• Commensurations of the outer automorphism group of a universal Coxeter group
• Automorphisms of groups and a higher rank JSJ decomposition. I: RAAGs and a higher rank Makanin-Razborov diagram
• Abelian splittings and JSJ-decompositions of finitely presented Bestvina-Brady groups
• Piecewise visual, linearly connected metrics on boundaries of relatively hyperbolic groups
• Commensurations of subgroups of 𝑂𝑢𝑡(𝐹_{𝑁})
• Elementary equivalence vs. commensurability for hyperbolic groups
• Vastness properties of automorphism groups of RAAGs
• Formal solutions and the first‐order theory of acylindrically hyperbolic groups
• Quasi-isometry classification of right-angled Artin groups that split over cyclic subgroups
• Complexity volumes of splittable groups
• Loxodromics for the cyclic splitting complex and their centralizers
• Forking and JSJ decompositions in the free group II
• Polynomial growth and subgroups of \(\mathrm{Out}(F_N)\)
• Trees of cylinders and canonical splittings.
• Relative hyperbolicity of hyperbolic-by-cyclic groups
• Towers and elementary embeddings in toral relatively hyperbolic groups
• Computation of the centralizer dimension of generalized Baumslag-Solitar groups
• Makanin-Razborov diagrams for hyperbolic groups
• Essential surfaces in graph pairs
• Elementary subgroups of virtually free groups
• Cocycle superrigidity from higher rank lattices to \(\mathrm{Out}{(F_N)}\)
• The structure of limit groups over hyperbolic groups
• Homogeneity in virtually free groups
• Abelian splittings of right-angled Artin groups
• Boundary amenability of $Out(F_N)$
• Quasi-isometries between groups with two-ended splittings
• Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families
• JSJ-splittings for finitely presented groups over slender groups
• Cannon-Thurston maps for CAT(0) groups with isolated flats
• Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups
• Quasi-isometric rigidity for graphs of virtually free groups with two-ended edge groups
• On local tameness of certain graphs of groups
• A note on finiteness properties of graphs of groups
• Immersed cycles and the JSJ decomposition
• On uniqueness of JSJ decompositions of finitely generated groups.
• Entropy and finiteness of groups with acylindrical splittings
• Relative hyperbolicity for automorphisms of free products and free groups
• Groups acting on hyperbolic spaces -- a survey
• JSJ-decompositions of finitely presented groups and complexes of groups.
• Deciding isomorphy using Dehn fillings, the splitting case
• A general construction of JSJ decompositions.
• A McCool Whitehead type theorem for finitely generated subgroups of \(\operatorname{Out}(F_n)\)

This page was built for publication: JSJ decompositions of groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3132833)