Related papers: Homology stability for outer automorphism groups o…
In this paper we study homological stability for spaces ${\rm Hom}(\mathbb{Z}^n,G)$ of pairwise commuting $n$-tuples in a Lie group $G$. We prove that for each $n\geqslant 1$, these spaces satisfy rational homological stability as $G$…
We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…
We compute the homology groups $H_*(\operatorname{Out}(F_7);\mathbb Q)$ of the outer automorphism group of the free group of rank $7$. We produce in this manner the first rational homology classes of $\operatorname{Out}(F_n)$ that are…
We prove twisted homological stability with polynomial coefficients for automorphism groups of free nilpotent groups of any given class. These groups interpolate between two extremes for which homological stability was known before, the…
We explore the existence of homomorphisms between outer automorphism groups of free groups Out(F_n) \to Out(F_m). We prove that if n > 8 is even and n \neq m \leq 2n, or n is odd and n \neq m \leq 2n - 2, then all such homomorphisms have…
We prove homological stability for both general linear groups of modules over a ring with finite stable rank and unitary groups of quadratic modules over a ring with finite unitary stable rank. In particular, we do not assume the modules…
We study the existence of homomorphisms between Out(F_n) and Out(F_m) for n > 5 and m < n(n-1)/2, and conclude that if m is not equal to n then each such homomorphism factors through the finite group of order 2. In particular this provides…
The rational homology of the IA-automorphism group $\operatorname{IA}_n$ of the free group $F_n$ is still mysterious. We study the quotient of the rational homology of $\operatorname{IA}_n$ that is obtained as the image of the map induced…
Let $\Out(F_n)$ denote the outer automorphism group of the free group $F_n$ with $n>3$. We prove that for any finite index subgroup $\Gamma<\Out(F_n)$, the group $\Aut(\Gamma)$ is isomorphic to the normalizer of $\Gamma$ in $\Out(F_n)$. We…
We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about…
Let C_n(M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H_i(C_n(M); Q) are representation stable in the sense of [Church-Farb].…
The IA-automorphism group $\operatorname{IA}_n$ of the free group $F_n$ of rank $n$ is a normal subgroup of the automorphism group $\operatorname{Aut}(F_n)$ of $F_n$. We study the Albanese homology of $\operatorname{IA}_n$, which is the…
In the 1970s Stallings showed that one could learn a great deal about free groups and their automorphisms by viewing the free groups as fundamental groups of graphs and modeling their automorphisms as homotopy equivalences of graphs.…
There is a series of cycles in the rational homology of the groups Out(F_n), first discovered by S. Morita, which have an elementary description in terms of finite graphs. The first two of these give nontrivial homology classes, and it is…
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…
A well-known property of unordered configuration spaces of points (in an open, connected manifold) is that their homology stabilises as the number of points increases. We generalise this result to moduli spaces of submanifolds of higher…
In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of mapping class groups, and of Aut(F_n).
Given a family of groups admitting a braided monoidal structure (satisfying mild assumptions) we construct a family of spaces on which the groups act and whose connectivity yields, via a classical argument of Quillen, homological stability…
It is not known whether or not the stable rational cohomology groups $\tilde H^*(Aut(F_\infty);\Q)$ always vanish. We show that either the rational cohomology does not vanish in certain dimensions, or the integral cohomology of a moduli…
We give a complete and detailed proof of Harer's stability theorem for the homology of mapping class groups of surfaces, with the best stability range presently known. This theorem and its proof have seen several improvements since Harer's…