Infinite loop spaces from operads with homological stability (Q1673991): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.aim.2017.09.036 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1612.07791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\Gamma^+\)-structures. II: A recognition principle for infinite loop spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inverting operations in operads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy invariant algebraic structures on topological spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable moduli spaces of high‐dimensional handlebodies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4191283 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable cohomology of the universal Picard varieties and the extended mapping class group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Filtrations on the homology of algebraic varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abelian quotients of mapping class groups of highly connected manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homological stability for moduli spaces of high dimensional manifolds. II. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The homotopy type of the cobordism category / rank
 
Normal rank
Property / cites work
 
Property / cites work: Batalin-Vilkovisky algebras and two-dimensional topological field theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: The stable mapping class group of simply connected 4-manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stability of the homology of the mapping class groups of orientable surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3854331 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The stable moduli space of Riemann surfaces: Mumford's conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: The geometry of iterated loop spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4766246 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4528987 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homology fibrations and the 'group-completion' theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable homology of surface diffeomorphism groups made discrete / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homological stability and stable moduli of flat manifold bundles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homological stability for the moduli spaces of products of spheres / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homological stability for diffeomorphism groups of high-dimensional handlebodies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isotopy of 4-manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: 'GROUP-COMPLETION', LOCAL COEFFICIENT SYSTEMS AND PERFECTION / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homology of the moduli spaces and mapping class groups of framed, <i>r</i> -Spin and Pin surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categories and cohomology theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4905314 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the homotopy of the stable mapping class group / rank
 
Normal rank
Property / cites work
 
Property / cites work: A splitting for the stable mapping class group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher genus surface operad detects infinite loop spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite loop space structure(s) on the stable mapping class group. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homological stability for the mapping class groups of non-orientable surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Simply-Connected 4-Manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4296949 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.AIM.2017.09.036 / rank
 
Normal rank

Latest revision as of 02:24, 11 December 2024

scientific article
Language Label Description Also known as
English
Infinite loop spaces from operads with homological stability
scientific article

    Statements

    Infinite loop spaces from operads with homological stability (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    30 October 2017
    0 references
    The authors define a general notion of ``(topological) operad with homological stability''. An operad \(\mathscr{O} = \{\mathscr{O}(n)\}\) has this structure if each component is graded, i.e. \(\mathscr{O}(n) = \bigsqcup_{g \geq 0} \mathscr{O}_g(n)\); each structure map \(\mathscr{O}_g(n) \to \mathscr{O}_g(0)\) is an isomorphism on homology in large degrees; and there exists an \(A_\infty\)-operad \(\mathscr{A}\) concentrated in degree zero and a map \(\mu : \mathscr{A} \to \mathscr{O}\) such that \(\mu(\mathscr{A}(2))\) is path-connected. In particular, any \(\mathscr{O}\)-algebra is an \(H\)-monoid using \(\mu\). In general, there are obstructions for lifting a given \(H\)-monoid \(X\) structure on a space to the structure of an infinite loop space on the group completion of \(X\) (i.e. an \(E_\infty\)-algebra structure on \(X\)). The authors prove that, thanks to the homological stability of \(\mathscr{O}\), the group completion of any \(\mathscr{O}\)-algebra is always equipped with a (functorial) infinite loop space structure. As an example, they consider the operad \(\mathcal{W}^{2k}\), where \(\mathcal{W}^{2k}_g(j)\) is given by moduli spaces of \((S^k \times S^k)^{\sharp g} \setminus \{0,\dots,j\}\) with a lift of the tangential structure of the \(k\)-connected cover of \(BO(2k)\). Using recent results of \textit{S. Galatius} and \textit{O. Randal-Williams} [``Homological stability for moduli spaces of high dimensional manifolds. II'', Preprint, \url{arXiv:1601.00232}], they prove that \(\mathcal{W}^{2k}\) has homological stability. As a consequence, given a \(2k\)-dimensional TQFT (with \(2k \geq 2\)), the image of \(S^{2k-1}\) is an \(A_\infty\)-monoid whose group completion is an infinite loop space.
    0 references
    0 references
    operads
    0 references
    homological stability
    0 references
    infinite loop spaces
    0 references
    moduli spaces of manifolds
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers