Boundaries of relative factor graphs and subgroup classification for automorphisms of free products

Abstract

Given a countable group $G$ splitting as a free product $G=G_1\ast \cdots \ast G_k\ast F_N$, we establish classification results for subgroups of the group $Out(G,\mathcal{F})$ of all outer automorphisms of $G$ that preserve the conjugacy classes of each $G_i$. We show that every finitely generated subgroup $H\subseteq Out(G,\mathcal{F})$ either contains a relatively fully irreducible automorphism, or else it virtually preserves the conjugacy class of a proper free factor relative to the decomposition (the finite generation hypothesis on $H$ can be dropped for $G=F_N$, or more generally when $G$ is toral relatively hyperbolic). In the first case, either $H$ virtually preserves a nonperipheral conjugacy class in $G$, or else $H$ contains an atoroidal automorphism. The key geometric tool to obtain these classification results is a description of the Gromov boundaries of relative versions of the free factor graph $\mathrm{FF}$ and the $\mathcal{Z}$-factor graph $\mathcal{Z}\mathrm{F}$, as spaces of equivalence classes of arational trees (respectively relatively free arational trees). We also identify the loxodromic isometries of $\mathrm{FF}$ with the fully irreducible elements of $Out(G,\mathcal{F})$, and loxodromic isometries of $\mathcal{Z}\mathrm{F}$ with the fully irreducible atoroidal outer automorphisms.

arXiv commentv2: Final version. Accepted in Geometry & Topology

References in corpus (24)

• The free splitting complex of a free group I: Hyperbolicity
• Limit groups and groups acting freely on R^n-trees
• JSJ decompositions of groups
• Geometric Intersection Number and analogues of the Curve Complex for free groups
• The boundary of the complex of free factors
• The co-surface graph and the geometry of hyperbolic free group extensions
• On hyperbolicity of free splitting and free factor complexes
• The Tits alternative for the automorphism group of a free product
• Reducing systems for very small trees
• The boundary of the free splitting graph and the free factor graph
• Subgroup classification in Out(F_n)
• Algebraic laminations for free products and arational trees
• Hyperbolic graphs for free products, and the Gromov boundary of the graph of cyclic splittings
• Relative free splitting and free factor complexes I: Hyperbolicity
• Subgroup decomposition in Out(F_n), Part I: Geometric Models
• McCool groups of toral relatively hyperbolic groups
• Subgroup decomposition in Out(F_n), Part II: A relative Kolchin theorem
• Subgroup decomposition in Out(F_n): Introduction and Research Announcement
• Generalized north-south dynamics on the space of geodesic currents
• Stabilizers of $\mathbb{R}$-trees with free isometric actions of $F_N$
• Subgroup decomposition in $\text{Out}(F_n)$, Part IV: Relatively irreducible subgroups
• A short proof of Handel and Mosher's alternative for subgroups of $\text{Out}(F_N)$
• Subgroup decomposition in $\text{Out}(F_n)$, Part III: Weak attraction theory
• Atoroidal dynamics of subgroups of Out(F_N)

Cited by in corpus (6)

• Atoroidal dynamics of subgroups of Out(F_N)
• Measure equivalence rigidity of $\mathrm{Out}(F_N)$
• Commensurations of subgroups of $\mathrm{Out}(F_N)$
• On the asymptotic translation lengths on the sphere complexes and the generalized fibered cone
• Cocycle superrigidity from higher rank lattices to $\mathrm{Out}(F_N)$
• Train track maps for graphs of groups