Homological stability for moduli spaces of disconnected submanifolds, I

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 dimension, where stability is with respect to the number of components having a fixed diffeomorphism type and isotopy class. As well as for unparametrised submanifolds, we prove this also for partially-parametrised submanifolds -- where a partial parametrisation may be thought of as a superposition of parametrisations related by a fixed subgroup of the mapping class group. In part II (in preparation), this will be further generalised to submanifolds equipped with labels in a bundle over the embedding space, from which we will deduce corollaries for the stability of diffeomorphism groups of manifolds with respect to parametrised connected sum and addition of singularities.

[1]  R. Ho.  Algebraic Topology , 2022 .

[2]  J. Strom.  Modern Classical Homotopy Theory , 2011 .

[3]  E. C. Zeeman,et al.  A proof of the comparison theorem for spectral sequences , 1957, Mathematical Proceedings of the Cambridge Philosophical Society.

[4]  Stig Ingvar Andersson,et al.  Differential Geometric Methods in Mathematical Physics , 1981 .

[5]  Y. Wong,et al.  Differentiable Manifolds , 2009 .

[6]  H. Fischer,et al.  The manifold of embeddings of a closed manifold , 1981 .

[7]  Graeme Segal,et al.  Configuration-spaces and iterated loop-spaces , 1973 .

[8]  M. Golubitsky,et al.  Stable mappings and their singularities , 1973 .

[9]  Diagonal complexes and the integral homology of the automorphism group of a free product , 2010, 1011.6038.

[10]  O. Randal-Williams,et al.  Homological stability for moduli spaces of high dimensional manifolds , 2012, 1203.6830.

[11]  U. Tillmann.  Homology stability for symmetric diffeomorphism and mapping class groups , 2015, Mathematical Proceedings of the Cambridge Philosophical Society.

[12]  A. Kupers.  Homological stability for unlinked Euclidean circles in $R^3$ , 2013 .

[13]  R. Palais.  Local triviality of the restriction map for embeddings , 1960 .

[14]  A. Skopenkov.  A new invariant and parametric connected sum of embeddings , 2005 .

[15]  S. Boldsen.  Improved homological stability for the mapping class group with integral or twisted coefficients , 2009, 0904.3269.

[16]  T. E. Stewart.  On groups of diffeomorphisms , 1960 .

[17]  B. Dundas,et al.  DIFFERENTIAL TOPOLOGY , 2002 .

[18]  Albrecht Dold,et al.  QUASIFASERUNGEN UND UNENDLICHE SYMMETRISCHE PRODUKTE , 1958 .

[19]  V. Godin.  Higher string topology operations , 2007, 0711.4859.

[20]  D. Mcduff.  Configuration spaces of positive and negative particles , 1975 .

[21]  Jenny Wilson.  Representation stability for the cohomology of the pure string motion groups , 2011, 1108.1255.

[22]  Johannes Ebert,et al.  Semisimplicial spaces , 2017, Algebraic & Geometric Topology.

[23]  O. Randal-Williams,et al.  Homological stability for spaces of surfaces , 2013 .

[24]  O. Randal-Williams.  HOMOLOGICAL STABILITY FOR UNORDERED CONFIGURATION SPACES , 2011, 1105.5257.

[25]  Martin Palmer.  A comparison of twisted coefficient systems , 2017, 1712.06310.

[26]  Graeme Segal,et al.  The topology of spaces of rational functions , 1979 .

[27]  S. Betley.  Twisted homology of symmetric groups , 2002 .

[28]  John McCleary,et al.  User's Guide to Spectral Sequences , 1985 .

[29]  A. Kupers,et al.  Homological stability for topological chiral homology of completions , 2013, 1311.5203.

[30]  Nathan Perlmutter.  Cobordism categories of manifolds with Baas-Sullivan singularities, Part 2 , 2013, 1306.4045.

[31]  Thomas Church.  Homological stability for configuration spaces of manifolds , 2011, 1103.2441.

[32]  Federico Cantero Mor'an,et al.  Homological stability for spaces of embedded surfaces , 2013, 1304.3006.

[33]  Nathalie Wahl.  Homological stability for mapping class groups of surfaces , 2010, 1006.4476.

[34]  P. Michor,et al.  The Convenient Setting of Global Analysis , 1997 .

[35]  J. Cerf.  Topologie de certains espaces de plongements , 1961 .

[36]  達彦 矢ヶ崎.  Homeomorphism and diffeomorphism groups of non-compact manifolds with the Whitney topology (変換群と手術理論--RIMS研究集会報告集) , 2011 .

[37]  A. Dold.  Decomposition Theorems for S(n)-Complexes , 1962 .

[38]  Johannes Ebert,et al.  Semi-simplicial spaces , 2019 .

[39]  Nathan Perlmutter.  Cobordism Category of Manifolds With Baas-Sullivan Singularities, Part I , 2012, 1212.6422.

[40]  N. Baas,et al.  On Bordism Theory of Manifolds with Singularities. , 1973 .

[41]  O. Randal-Williams,et al.  Stable moduli spaces of high-dimensional manifolds , 2012, 1201.3527.

[42]  R. Hain,et al.  Mapping Class Groups and Moduli Spaces of Riemann Surfaces , 1993 .

[43]  Tara E. Brendle,et al.  Configuration spaces of rings and wickets , 2008, 0805.4354.

[44]  B. Botvinnik.  Manifolds with Singularities and the Adams-Novikov Spectral Sequence , 1992 .

[45]  John Harer,et al.  Stability of the homology of the mapping class groups of orientable surfaces , 1985 .

[46]  Thomas Church,et al.  Representation theory and homological stability , 2010, 1008.1368.

[47]  Robert M. Switzer,et al.  Algebraic topology--homotopy and homology , 1975 .

[48]  Manifolds of smooth maps III : the principal bundle of embeddings of a non-compact smooth manifold , 1980 .

[49]  P. Michor.  Manifolds of differentiable mappings , 1980 .

[50]  Aurélien Djament,et al.  Stabilit\'e homologique pour les groupes d'automorphismes des produits libres , 2011, 1109.2686.

[51]  Elon L. Lima.  On the local triviality of the restriction map for embeddings , 1963 .

[52]  Hideki. Omori.  Groups of diffeomorphisms , 1974 .

[53]  A. Hatcher,et al.  Stabilization for mapping class groups of 3-manifolds , 2007, 0709.2173.

[54]  Dennis Sullivan,et al.  On the Hauptvermutung for manifolds , 1967 .

[55]  O. Randal-Williams.  Resolutions of moduli spaces and homological stability , 2009, 0909.4278.

[56]  J. Mather.  Stability of C ∞ Mappings: II. Infinitesimal Stability Implies Stability , 1969 .

[57]  HOMOLOGICAL STABILITY FOR UNLINKED CIRCLES IN A 3-MANIFOLD , 2013, 1310.8580.

[58]  Martin Palmer.  Homological stability for oriented configuration spaces , 2011, 1106.4540.

[59]  T. Banakh,et al.  Homeomorphism and diffeomorphism groups of non-compact manifolds with the Whitney topology (Research trends on general and geometric topology and their problems) , 2008, 0802.0337.

[60]  Martin Palmer.  Twisted homological stability for configuration spaces , 2013, 1308.4397.

[61]  Homological stability for subgroups of surface braid groups , 2014, 1410.0923.