Rational homological stability for groups of partially symmetric automorphisms of free groups
arXiv:1203.4845 · doi:10.2140/agt.2014.14.1845
Abstract
Let F_{n+m} be the free group of rank n+m, with generators x_1,...,x_{n+m}. An automorphism ϕof F_{n+m} is called partially symmetric if for each 1 \le i \le m, ϕ(x_i) is conjugate to x_j or x_j^{-1} for some 1 \le j \le m. Let Σ\Aut_n^m be the group of partially symmetric automorphisms. We prove that for any m \ge 0 the inclusion Σ\Aut_n^m \to Σ\Aut_{n+1}^m induces an isomorphism in rational homology for dimensions i satisfying n \ge (3(i+1)+m)/2, with a similar statement for the groups PΣ\Aut_n^m of pure partially symmetric automorphisms. We also prove that for any n \ge 0 the inclusion Σ\Aut_n^m \to Σ\Aut_n^{m+1} induces an isomorphism in rational homology for dimensions i satisfying m > (3i-1)/2.
v2: Updated to reflect changes made to arxiv:0907.4642. v3: Significant simplification of Section 4.3 and Lemma 5.2. v4: Reorganized paper, most notably switched order of sections 4 and 5, and generally improved formatting/readability. Also added more historical background to introduction. Results and methods unchanged. 20 pages, 7 figures