Operads in unstable global homotopy theory (Q6188366): Difference between revisions

This paper concerns operads in the category of global equivariant spaces. Roughly speaking, a global space is a space endowed with compatible actions of all compact Lie groups at once. A precise definition of the category of global spaces, with an explicit Quillen model structure, was given by \textit{S. Schwede} [Global homotopy theory. Cambridge: Cambridge University Press (2018; Zbl 1451.55001)]. For every compact Lie group \(K\) there is a forgetful functor from global spaces to \(K\)-spaces, which is a right Quillen functor. Jointly these forgetful functors detect weak equivalences between global spaces. Let \(\mathcal O\) be an operad in the category of global spaces. The first main theorem of the paper says that the category of \(\mathcal O\)-algebras has a projective Quillen model structure, where fibrations and weak equivalences are created in the underlying category of global spaces. Somewhat surprisingly, this holds for any operad \(\mathcal O\), without any cofibrancy assumptions. The author then goes on to show that a morphism \(g\colon \mathcal O\to \mathcal P\) of global operads induces a Quillen equivalence between their categories of algebras if and only if for each \(n\) the induced morphism \(g_n\colon \mathcal O_n \to \mathcal P_n\) is a \(\Sigma_n\)-global equivalence. Again, this holds without any cofibrancy assumptions on \(\mathcal O\) or \(\mathcal P\). This has implications to global \(E_\infty\)-operads. A global \(E_\infty\)-operad \(\mathcal O\) is one where each \(\mathcal O_n\) is \(\Sigma_n\)-globally equivalent to \(*\). The category of algebras over a global \(E_\infty\)-operad is equivalent to the category of ultra-commutative monoids as defined in [loc. cit.]