Direct products of free groups in \(\Aut(F_N)\)
type: Item
instance of: scholarly article
title: Direct products of free groups in \(\Aut(F_N)\)
author: Martin R. Bridson
author: Richard D. Wade
published in: Geometric and Functional Analysis. GAFA
publication date: 2024-10-07T00:00:00Z
review text: The main purpose in the paper under review is to give a complete classification of the maximal rank direct products of free groups in \(\Aut(F_{N})\) and \(\operatorname{Out}(F_{N})\). More generally, the authors work with maximal commuting families of full-sized groups (groups that contain non-abelian free subgroups). In a previous paper [Geom. Funct. Anal. 34, No. 5, 1310--1336 (2024; Zbl 07921920)] the authors used this classification, in connection with a preprint by \textit{M. Bestvina} and the first author [``Rigidity of the free factor complex'', Preprint, \url{arXiv:2306.05941}] to prove that \(\Aut(F_{N})\) and its Torelli subgroup are commensurator rigid if \(N \geq 3\).\N\NThe main step in the proof is Theorem A: Let \(N \geq 3\) and suppose \(D < \operatorname{Out}(F_{N})\) is generated by a commuting family of \(2N-4\) full-sized subgroups. Then there is a unique collapsed rose with \(N-2\) petals that is fixed by \(D\).\N\NLet \(\{ a_{1},a_{2},x_{1},\ldots,x_{N-2}\}\) be a basis of \(F_{N}\) and \(D\) the direct product of the \(2N-4\) copies of \(F_{2}\) in \(\operatorname{Out}(F_{N})\) obtained by multiplying the elements \(x_{1},\ldots,x_{N-2}\) on the left and right by elements of \(A=\langle a_{1},a_{2}\rangle\). The group \(D\) fixes a graph-of-groups decomposition of \(F_{N}\) with a single vertex group given by \(A\) and \(N-2\) loops with trivial edge stabilizers. The Bass-Serre tree associated to any such decomposition determines an open simplex in the boundary of \textit{M. Culler} and \textit{K. Vogtmann}'s outer space [Invent. Math. 84, 91--119 (1986; Zbl 0589.20022)]; the authors call such a graph of groups a collapsed rose with \(N-2\) petals.\N\NFrom Theorem A, the authors deduce Theorem B: Let \(N \geq 3\) and suppose \(D < \Aut(F_{N})\) is generated by a commuting family of \(2N-3\) full-sized subgroups. Then, the image of \(D\) in \(\operatorname{Out}(F_{N})\) fixes a unique collapsed rose with \(N-2\) petals and \(D\) acts on the Ba…
reviewed by: Egle Bettio
Mathematics Subject Classification ID: 20F28
Mathematics Subject Classification ID: 20E36
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20F65
Mathematics Subject Classification ID: 57M07
zbMATH DE Number: 7921921
zbMATH Keywords: free group
zbMATH Keywords: outer automorphism group
zbMATH Keywords: Bass-Serre tree
zbMATH Keywords: rigidity
zbMATH Keywords: fixed point
zbMATH Keywords: Torelli subgroup
MaRDI profile type: MaRDI publication profile
cites work: Boundary amenability of $Out(F_N)$
cites work: Train tracks and automorphisms of free groups
cites work: Automorphism groups of tree actions and of graphs of groups
cites work: Abelian and solvable subgroups of the mapping class group
cites work: Normal subgroups of mapping class groups and the metaconjecture of Ivanov
cites work: Assembling homology classes in automorphism groups of free groups
cites work: Very small group actions on \(\mathbb{R}\)-trees and Dehn twist automorphisms
cites work: All automorphisms of free groups with maximal rank fixed subgroups
cites work: Moduli of graphs and automorphisms of free groups
cites work: Commensurations of \(\text{Out}(F_n)\).
cites work: The recognition theorem for \(\text{Out}(F_n)\).
cites work: Boundaries of relative factor graphs and subgroup classification for automorphisms of free products
cites work: Deformation spaces of trees.
cites work: JSJ decompositions of groups
cites work: Artin groups, 3-manifolds and coherence
cites work: Subgroup Decomposition in 𝖮𝗎𝗍(𝖥_{𝗇})
cites work: Hyperbolic Actions and 2nd Bounded Cohomology of Subgroups of 𝖮𝗎𝗍(𝖥_{𝗇})
cites work: Homology stability for outer automorphism groups of free groups.
cites work: Commensurations of subgroups of 𝑂𝑢𝑡(𝐹_{𝑁})
cites work: Q3134497
cites work: Q4365977
cites work: Mapping class groups
cites work: Graphs of actions on \(\mathbf R\)-trees
cites work: Automorphisms of hyperbolic groups and graphs of groups.
cites work: Q3341041
cites work: Q4450685
cites work: Q3856928
cites work: On the geometry and dynamics of diffeomorphisms of surfaces
DOI: 10.1007/S00039-024-00688-5
description: scientific article; zbMATH DE number 7921921