We give an example of two JSJ decompositions of a group that are not related by conjugation, conjugation of edge-inclusions, and slide moves. This answers the question of Rips and Sela stated in "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition," Ann. of Math. 146 (1997), 53-109.
On the other hand we observe that any two JSJ decompositions of a group are related by an elementary deformation, and that strongly slide-free JSJ decompositions are genuinely unique. These results hold for the decompositions of Rips and Sela, Dunwoody and Sageev, and Fujiwara and Papasoglu, and also for accessible decompositions.
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.
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, Γ-limit groups (allowing torsion), and relatively hyperbolic groups.
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 edg…
A JSJ-splitting of a group $G$ over a certain class of subgroups is a graph of groups decomposition of $G$ which describes all possible decompositions of $G$ as an amalgamated product or an HNN extension over subgroups lying in the given class. Such decompositions originated in 3-manifold topology. In this paper we generalize the JSJ-splitting constructions of Sela, Rips-Sela and Dunwoody-Sageev and we construct a JSJ-splitting for any finitely presented group with respect to the class of all slender subgroups along which the group splits. Our approach relies on Haefliger's theory of group act…
Generalized Baumslag-Solitar groups are defined as fundamental groups of graphs of groups with infinite cyclic vertex and edge groups. Forester proved (in "On uniqueness of JSJ decompositions of finitely generated groups", Comment. Math. Helv. 78 (2003) pp 740-751) that in most cases the defining graphs are cyclic JSJ decompositions, in the sense of Rips and Sela. Here we extend Forester's results to graphs of groups with vertex groups that can be either infinite cyclic or quadratically hanging surface groups.
In this paper we describe an elimination process which is a deterministic rewriting procedure that on each elementary step transforms one system of equations over free groups into a finitely many new ones. Infinite branches of this process correspond to cyclic splittings of the coordinate group of the initial system of equations. This allows us to construct algorithmically Grushko's decompositions of finitely generated fully residually free groups and cyclic [abelian] JSJ decompositions of freely indecomposable finitely generated fully residually free groups. We apply these results to obtain a…
A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We describe the compatibility JSJ decomposition over abelian groups. We prove that in general this decomposition is not algorithmically computable.
A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We construct the JSJ decomposition of a vGBS group over abelian groups. We prove that this decomposition is explicitly computable, and may be obtained by local changes on the initial graph of groups.
We construct quasi-isometry invariants of a one-ended finitely presented group by considering the tree of cylinders of a two-ended JSJ decomposition of the group. When the group satisfies additional quasi-isometric rigidity hypotheses we construct finer invariants by also considering relative amounts of stretching across edges of the tree of cylinders.
A hierarchy of a group is a rooted tree of groups obtained by iteratively passing to vertex groups of graphs of groups decompositions. We define a (relative) slender JSJ hierarchy for (almost) finitely presented groups and show that it is finite, provided the group in question doesn't contain any slender subgroups with infinite dihedral quotients and satisfies an ascending chain condition on certain chains of subgroups of edge groups. As a corollary, slender JSJ hierarchies of hyperbolic groups which are (virtually) without $2$--torsion and finitely presented subgroups of SL(n,Z) are both fini…
The JSJ decomposition encodes the automorphisms and the virtually cyclic splittings of a hyperbolic group. For general finitely presented groups, the JSJ decomposition encodes only their splittings. In this sequence of papers we study the automorphisms of a hierarchically hyperbolic group that satisfies some weak acylindricity conditions. To study these automorphisms we construct an object that can be viewed as a higher rank JSJ decomposition. In the first paper we demonstrate our construction in the case of a right angled Artin group. For studying automorphisms of a general HHG we construct w…
We introduce a class $\A$ of finitely generated residually finite accessible groups with some natural restriction on one-ended vertex groups in their JSJ-decompositions. We prove that the profinite completion of groups in $\A$ almost detects its JSJ-decomposition and compute the genus of free products of groups in $\A$.
The idea of "JSJ-decompositions" for 3-manifolds began with work of Waldhausen and was developed later through work of Jaco, Shalen and Johansen. It was shown that there is a finite collection of 2-sided, incompressible tori that separate a given closed irreducible 3-manifold into pieces with strong topological structure. Sela introduced the idea of JSJ-decompositions for groups, an idea that has flourished in a variety of directions. The general idea is to consider a certain class X of groups and splittings of groups in X by groups in another class Y. E.g. Rips and Sela considered splittings …
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…
We construct `structure invariants' of a one-ended, finitely presented group that describe the way in which the factors of its JSJ decomposition over two-ended subgroups fit together. For groups satisfying two technical conditions, these invariants reduce the problem of quasi-isometry classification of such groups to the problem of relative quasi-isometry classification of the factors of their JSJ decompositions. The first condition is that their JSJ decompositions have two-ended cylinder stabilizers. The second is that every factor in their JSJ decompositions is either `relatively rigid' or `…
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.
Using graph of groups decompositions of finitely generated groups, we define Euler characteristic type invariants which are non-zero in many interesting classes of finitely presented, hyperbolic, limit and CSA groups, including elementarily free groups and one-ended torsion-free hyperbolic groups whose JSJ decomposition contains a maximal hanging Fuchsian vertex group.
We introduce the notion of a `canonical' splitting over Z or ZxZ for a finitely generated group G. We show that when G happens to be the fundamental group of an orientable Haken manifold M with incompressible boundary, then the decomposition of the group naturally obtained from canonical splittings is closely related to the one given by the standard JSJ-decomposition of M. This leads to a new proof of Johannson's Deformation Theorem.
We find canonical decompositions for finitely presented groups which specialize to the classical JSJ-decomposition when restricted to the fundamental groups of Haken manifolds. The decompositions that we obtain are invariant under automorphisms of the group. A crucial new ingredient is the concept of a regular neighbourhood for a finite family of almost invariant subsets of a group. An almost invariant set is an analogue of an immersion.
The authors previously described an algebraic analogue of the JSJ-decomposition of a 3-manifold. This analogue is defined for any finitely presented, one-ended group. We study this analogue in the special case of Poincaré duality pairs.
We prove a pro-$p$ version of Sela's theorem stating that a finitely generated group is $k$-acylindrically accessible. This result is then used to prove that $\mathrm{PD}^n$ pro-$p$ groups admit a unique $k$-acylindrical JSJ-decomposition.
Let $G$ be the fundamental group of a finite graph of groups with Noetherian edges and locally tame vertices. We prove that $G$ is locally tame. It follows that if a finitely presented group $H$ has a non-trivial $JSJ$-decomposition over the class of its $VPC(k)$ subgroups for $k=1$ or $k=2$, and all the vertex groups in the decomposition are flexible, then $H$ is locally tame.
We study the quasi-isometric rigidity of a large family of finitely generated groups that split as graphs of groups with virtually free vertex groups and two-ended edge groups. Let $G$ be a group that is one-ended, hyperbolic relative to virtually abelian subgroups, and has JSJ decomposition over two-ended subgroups containing only virtually free vertex groups that aren't quadratically hanging. Our main result is that any group quasi-isometric to $G$ is abstractly commensurable to $G$. In particular, our result applies to certain "generic" HNN extensions of a free group over cyclic subgroups.
Given a class of groups C, a group G is strongly accessible over C if there is a bound on the number of terms in a sequence L(1), L(2), ..., L(n) of graph of groups decompositions of G with edge groups in C such that L(1) is the trivial decomposition (with 1-vertex) and for i>1, L(i) is obtained from L(i-1) by non-trivially and compatibly splitting a vertex group of L(i-1) over a group in C, replacing this vertex group by the splitting and then reducing. If H and K are subgroups of a group G then H is smaller than K if H intersect K has finite index in H and infinite index in K. The minimal sp…
