# zbMATH — the first resource for mathematics

Homological stability for automorphism groups. (English) Zbl 1393.18006
The aim of the paper under review is to prove homology stability for several distinct families of groups $$G_n$$, which include the following examples:
- symmetric groups $$\Sigma_n$$ (Theorems D, E);
– braid groups $$\beta_n$$ and surface braid groups $$\beta^S_n$$ (Theorems D, F);
– automorphisms of free groups $$\mathrm{Aut}(F_n)$$ (Theorem G);
– general linear groups $$\mathrm{GL}_n(R)$$ over associative rings (Theorem 5.11);
– hyperbolic unitary groups $$\mathrm{U}^\epsilon_n(R, \Lambda)$$ over form rings (Theorem H);
– mapping class groups of surfaces (Theorem I);
– mapping class groups of 3-manifolds (Theorem J).
The property shared by the above families of groups is that they all can be realized as automorphism groups of objects $$A\oplus X^{\oplus n}, n \in \mathbb{N}$$ for some choice of objects $$A, X \in Ob(\mathcal{G})$$ in some braided monoidal groupoid $$(\mathcal{G}, \oplus, 0)$$.
A key feature of the present paper is that the homology stability problem is solved not only for trivial coefficients but also for abelian coefficient modules and twisted polynomial coefficient systems (see Sections 3 and 4.4, respectively). For example, sign representations of symmetric groups $$\Sigma_n$$ can be made into an abelian coefficient module, while Burau representations of braid groups are an example of a polynomial coefficient system of degree 1.
The language of braided monoidal groupoids and closely related pre-braided homogeneous categories is used to both define the twisted coefficient systems and formulate the general Theorems 3.1, 3.4, 4.20 reducing the original question of homology stability to proving that certain semisimplicial sets $$W_n(A, X)$$, called spaces of destabilisations, are highly connected.
This categorical approach allows the authors to treat the problem of homology stability with constant and twisted coefficients simultaneously, and thus, leads to a number of new results on stability with twisted coefficients for the families of groups mentioned above.

##### MSC:
 18D10 Monoidal, symmetric monoidal and braided categories (MSC2010) 19B14 Stability for linear groups 20G10 Cohomology theory for linear algebraic groups 20E05 Free nonabelian groups 20L05 Groupoids (i.e. small categories in which all morphisms are isomorphisms) 20G35 Linear algebraic groups over adèles and other rings and schemes 57M99 General low-dimensional topology
Full Text:
##### References:
 [1] Arnold, V. I., On some topological invariants of algebraic functions, Tr. Mosk. Mat. Obs., 21, 27-46, (1970) [2] Bak, A., K-theory of forms, Annals of Mathematics Studies, vol. 98, (1981), Princeton University Press/University of Tokyo Press Princeton, NJ/Tokyo · Zbl 0465.10013 [3] Bass, H., Algebraic K-theory, (1968), W. A. Benjamin, Inc. New York-Amsterdam · Zbl 0174.30302 [4] Bass, H., Unitary algebraic K-theory, (Algebraic K-theory, III. Proc. Conf., Battelle Memorial Inst.Hermitian K-Theory and Geometric Applications, Seattle, WA, 1972, Lecture Notes in Math., vol. 343, (1973), Springer Berlin), 57-265 [5] Betley, S., Homological stability for $$\operatorname{O}_{n, n}$$ over semi-local rings, Glasg. Math. J., 32, 2, 255-259, (1990) · Zbl 0722.20031 [6] Betley, S., Twisted homology of symmetric groups, Proc. Amer. Math. Soc., 130, 12, 3439-3445, (2002), (electronic) · Zbl 1003.20046 [7] Boldsen, S. K., Improved homological stability for the mapping class group with integral or twisted coefficients, Math. Z., 270, 1-2, 297-329, (2012) · Zbl 1271.57052 [8] Bonahon, F., Cobordism of automorphisms of surfaces, Ann. Sci. Éc. Norm. Supér. (4), 16, 2, 237-270, (1983) · Zbl 0535.57016 [9] Brown, K. S., Cohomology of groups, Graduate Texts in Mathematics, vol. 87, (1994), Springer-Verlag New York, corrected reprint of the 1982 original · Zbl 0367.18012 [10] Callegaro, F., The homology of the Milnor fiber for classical braid groups, Algebr. Geom. Topol., 6, 1903-1923, (2006), (electronic) · Zbl 1166.20044 [11] Cathelineau, J.-L., Homology stability for orthogonal groups over algebraically closed fields, Ann. Sci. Éc. Norm. Supér. (4), 40, 3, 487-517, (2007) · Zbl 1133.20037 [12] Cerf, J., Topologie de certains espaces de plongements, Bull. Soc. Math. France, 89, 227-380, (1961) · Zbl 0101.16001 [13] Cerf, J., Sur LES difféomorphismes de la sphère de dimension trois $$(\operatorname{\Gamma}_4 = 0)$$, Lecture Notes in Mathematics, vol. 53, (1968), Springer-Verlag Berlin-New York · Zbl 0164.24502 [14] Charney, R., On the problem of homology stability for congruence subgroups, Comm. Algebra, 12, 17-18, 2081-2123, (1984) · Zbl 0542.20023 [15] Charney, R., A generalization of a theorem of vogtmann, (Proceedings of the Northwestern Conference on Cohomology of Groups, Evanston, IL, 1985, vol. 44, (1987)), 107-125 · Zbl 0615.20024 [16] Chen, W., Homology of braid groups, the Burau representation, and points on superelliptic curves over finite fields, Israel J. Math., 220, 2, 739-762, (2017) · Zbl 1427.20044 [17] Church, T.; Ellenberg, J. S., Homology of FI-modules, Geom. Topol., 21, 4, 2373-2418, (2017) · Zbl 1371.18012 [18] Church, T.; Ellenberg, J. S.; Farb, B., FI-modules and stability for representations of symmetric groups, Duke Math. J., 164, 9, 1833-1910, (2015) · Zbl 1339.55004 [19] Church, T.; Farb, B., Representation theory and homological stability, Adv. Math., 245, 250-314, (2013) · Zbl 1300.20051 [20] Cohen, R. L.; Madsen, I., Surfaces in a background space and the homology of mapping class groups, (Algebraic Geometry, Part 1: Seattle 2005, Proc. Sympos. Pure Math., vol. 80, (2009), Amer. Math. Soc. Providence, RI), 43-76 · Zbl 1210.57029 [21] Cohen, F. R.; Pakianathan, J., The stable braid group and the determinant of the Burau representation, (Proceedings of the Nishida Fest, Kinosaki 2003, Geom. Topol. Monogr., vol. 10, (2007), Geom. Topol. Publ. Coventry), 117-129 · Zbl 1125.20041 [22] Collinet, G., Homology stability for unitary groups over S-arithmetic rings, J. K-Theory, 8, 2, 293-322, (2011) · Zbl 1242.19002 [23] Collinet, G.; Djament, A.; Griffin, J. T., Stabilité homologique pour LES groupes d’automorphismes des produits libres, Int. Math. Res. Not. IMRN, 19, 4451-4476, (2013) · Zbl 1320.20051 [24] Damiolini, C., The braid group and the arc complex, (2013), available at [25] Djament, A., Notes de cours sur l’homologie stable des groupes à coefficients polynomiaux, (2012), available at [26] A. Djament, 2012, Sur la stabilité homologique. Unpublished. [27] Djament, A., Des propriétés de finitude des foncteurs polynomiaux, Fund. Math., 233, 3, 197-256, (2016) · Zbl 1353.18001 [28] Djament, A.; Vespa, C., Sur l’homologie des groupes orthogonaux et symplectiques à coefficients tordus, Ann. Sci. Éc. Norm. Supér. (4), 43, 3, 395-459, (2010) · Zbl 1221.20036 [29] Djament, A.; Vespa, C., Foncteurs faiblement polynomiaux, (2013), preprint [30] Djament, A.; Vespa, C., Sur l’homologie des groupes d’automorphismes des groupes libres à coefficients polynomiaux, Comment. Math. Helv., 90, 1, 33-58, (2015) · Zbl 1346.20070 [31] Dwyer, W. G., Twisted homological stability for general linear groups, Ann. of Math. (2), 111, 2, 239-251, (1980) · Zbl 0404.18012 [32] Eilenberg, S.; Mac Lane, S., On the groups $$H(\operatorname{\Pi}, n)$$. II. methods of computation, Ann. of Math. (2), 60, 49-139, (1954) [33] Farb, B.; Margalit, D., A primer on mapping class groups, Princeton Mathematical Series, vol. 49, (2012), Princeton University Press Princeton, NJ [34] Frenkel, E. V., Cohomology of the commutator subgroup of the braid group, Funktsional. Anal. i Prilozhen., 22, 3, 91-92, (1988) [35] Galatius, S., Stable homology of automorphism groups of free groups, Ann. of Math. (2), 173, 2, 705-768, (2011) · Zbl 1268.20057 [36] Galatius, S.; Randal-Williams, O., Homological stability for moduli spaces of high dimensional manifolds. I, (2014), to appear, preprint · Zbl 1377.55012 [37] Gan, W. L., Complex of injective words revisited, Bull. Belg. Math. Soc. Simon Stevin, (2016), in press, preprint [38] Gan, W. L.; Li, L., Noetherian property of infinite EI categories, New York J. Math., 21, 369-382, (2015) · Zbl 1327.18003 [39] Gandini, G.; Wahl, N., Homological stability for automorphism groups of raags, Algebr. Geom. Topol., 16, 4, 2421-2441, (2016) · Zbl 1387.20027 [40] Gramain, A., Le type d’homotopie du groupe des difféomorphismes d’une surface compacte, Ann. Sci. Éc. Norm. Supér. (4), 6, 53-66, (1973) · Zbl 0265.58002 [41] Grayson, D., Higher algebraic K-theory. II, (Algebraic K-Theory, Proc. Conf., Northwestern Univ., Evanston, IL, 1976, Lecture Notes in Math., vol. 551, (1976), Springer Berlin), 217-240, (after Daniel Quillen) [42] Hahn, A. J.; O’Meara, O. T., The classical groups and K-theory, Grundlehren der Mathematischen Wissenschaften, vol. 291, (1989), Springer-Verlag Berlin, with a foreword by J. Dieudonné [43] Harer, J. L., Stability of the homology of the mapping class groups of orientable surfaces, Ann. of Math. (2), 121, 2, 215-249, (1985) · Zbl 0579.57005 [44] Hatcher, A.; Vogtmann, K., Cerf theory for graphs, J. Lond. Math. Soc. (2), 58, 3, 633-655, (1998) · Zbl 0922.57001 [45] Hatcher, A.; Vogtmann, K., Homology stability for outer automorphism groups of free groups, Algebr. Geom. Topol., 4, 1253-1272, (2004) · Zbl 1093.20020 [46] Hatcher, A.; Vogtmann, K., Tethers and homological stability for surfaces, (2015), preprint [47] Hatcher, A.; Wahl, N., Stabilization for mapping class groups of 3-manifolds, Duke Math. J., 155, 2, 205-269, (2010) · Zbl 1223.57004 [48] Hausmann, J.-C., Manifolds with a given homology and fundamental group, Comment. Math. Helv., 53, 1, 113-134, (1978) · Zbl 0376.57015 [49] Ivanov, N. V., On the homology stability for Teichmüller modular groups: closed surfaces and twisted coefficients, (Mapping Class Groups and Moduli Spaces of Riemann Surfaces, Göttingen, 1991/Seattle, WA, 1991, Contemp. Math., vol. 150, (1993), Amer. Math. Soc. Providence, RI), 149-194 · Zbl 0794.32019 [50] Johnson, F. E.A., Automorphisms of direct products of groups and their geometric realisations, Math. Ann., 263, 3, 343-364, (1983) · Zbl 0495.57008 [51] Jones, J. M.T., Direct products and the Hopf property, J. Aust. Math. Soc., 17, 174-196, (1974) · Zbl 0286.20040 [52] Joyal, A.; Street, R., Braided tensor categories, Adv. Math., 102, 1, 20-78, (1993) · Zbl 0817.18007 [53] Kerz, M. C., The complex of words and nakaoka stability, Homology, Homotopy Appl., 7, 1, 77-85, (2005) · Zbl 1090.18009 [54] Lück, W., Transformation groups and algebraic K-theory, Lecture Notes in Mathematics, vol. 1408, (1989), Springer-Verlag Berlin, Mathematica Gottingensis · Zbl 0679.57022 [55] Maazen, H., Homology stability for the general linear group, (1979) [56] Magurn, B. A.; van der Kallen, W.; Vaserstein, L. N., Absolute stable rank and Witt cancellation for noncommutative rings, Invent. Math., 91, 3, 525-542, (1988) · Zbl 0639.16015 [57] McDuff, D.; Segal, G., Homology fibrations and the “group-completion” theorem, Invent. Math., 31, 3, 279-284, (1975/1976) · Zbl 0306.55020 [58] Miller, J.; Palmer, M., A twisted homology fibration criterion and the twisted group-completion theorem, Q. J. Math., 66, 1, 265-284, (2015) · Zbl 1326.55005 [59] Mirzaii, B.; van der Kallen, W., Homology stability for unitary groups, Doc. Math., 7, 143-166, (2002), (electronic) · Zbl 0999.19005 [60] Nakaoka, M., Decomposition theorem for homology groups of symmetric groups, Ann. of Math. (2), 71, 16-42, (1960) · Zbl 0090.39002 [61] Palmer, M., Homological stability for oriented configuration spaces, Trans. Amer. Math. Soc., 365, 7, 3675-3711, (2013) · Zbl 1301.55011 [62] Patzt, P.; Wu, X., Stability results for houghton groups, Algebr. Geom. Topol., 16, 4, 2365-2377, (2016) · Zbl 1352.18003 [63] Putman, A.; Sam, S., Representation stability and finite linear groups, (2014), preprint [64] Quillen, D., (1971), Notes 1971, august 8- [65] Randal-Williams, O., The stable cohomology of automorphisms of free groups with coefficients in the homology representation, (2010), Preprint [66] Randal-Williams, O., ‘group-completion’, local coefficient systems and perfection, Q. J. Math., 64, 3, 795-803, (2013) · Zbl 1280.55002 [67] Randal-Williams, O., Homological stability for unordered configuration spaces, Q. J. Math., 64, 1, 303-326, (2013) · Zbl 1264.55009 [68] Randal-Williams, O., Resolutions of moduli spaces and homological stability, J. Eur. Math. Soc. (JEMS), 18, 1, 1-81, (2016) · Zbl 1366.55011 [69] Rourke, C. P.; Sanderson, B. J., Δ-sets. I. homotopy theory, Quart. J. Math. Oxford Ser. (2), 22, 321-338, (1971) · Zbl 0226.55019 [70] Sagave, S.; Schlichtkrull, C., Diagram spaces and symmetric spectra, Adv. Math., 231, 3-4, 2116-2193, (2012) · Zbl 1315.55007 [71] Sam, S.; Snowden, A., Representations of categories of G-maps, (2014), preprint [72] Satoh, T., Twisted first homology groups of the automorphism group of a free group, J. Pure Appl. Algebra, 204, 2, 334-348, (2006) · Zbl 1108.20050 [73] Segal, G., Configuration-spaces and iterated loop-spaces, Invent. Math., 21, 213-221, (1973) · Zbl 0267.55020 [74] Segal, G., The topology of spaces of rational functions, Acta Math., 143, 1-2, 39-72, (1979) · Zbl 0427.55006 [75] Sinchuk, S., Injective stability for unitary $$K_1$$, revisited, J. K-Theory, 11, 2, 233-242, (2013) · Zbl 1270.19003 [76] Stukow, M., The twist subgroup of the mapping class group of a nonorientable surface, Osaka J. Math., 46, 3, 717-738, (2009) · Zbl 1193.57009 [77] Stukow, M., The first homology group of the mapping class group of a nonorientable surface with twisted coefficients, Topology Appl., 178, 417-437, (2014) · Zbl 1335.57032 [78] Szymik, M.; Wahl, N., The homology of the higman-Thompson groups, (2016), preprint [79] Turaev, V., Faithful linear representations of the braid groups, Séminaire Bourbaki, vol. 1999/2000, Astérisque, 276, 389-409, (2002) · Zbl 1050.20026 [80] van der Kallen, W., Homology stability for linear groups, Invent. Math., 60, 3, 269-295, (1980) · Zbl 0415.18012 [81] Vaseršteĭn, L. N., The stable range of rings and the dimension of topological spaces, Funktsional. Anal. i Prilozhen., 5, 2, 17-27, (1971) · Zbl 0239.16028 [82] Vespa, C., Stable homology via functor homology, notes from a course in Copenhagen, available at [83] Vogtmann, K., Homology stability for $$\operatorname{O}_{n, n}$$, Comm. Algebra, 7, 1, 9-38, (1979) · Zbl 0417.20040 [84] Vogtmann, K., A Stiefel complex for the orthogonal group of a field, Comment. Math. Helv., 57, 1, 11-21, (1982) · Zbl 0506.20018 [85] Wahl, N., Homological stability for the mapping class groups of non-orientable surfaces, Invent. Math., 171, 2, 389-424, (2008) · Zbl 1140.55007 [86] Weibel, C. A., The K-bookan introduction to algebraic K-theory, Graduate Studies in Mathematics, vol. 145, (2013), American Mathematical Society Providence, RI
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.