Swiss-cheese action on the totalization of action-operads (Q2630679)

Let As be the associative operad, and let \(O\) be any operad equipped with a map \(\text{As}\to O\). McClure and Smith constructed a cosimplicial space \(O^\bullet\) associated with \(O\), and showed that its totalization is an algebra over the two-dimensional little disks operad [\textit{J. E. McClure} and \textit{J. H. Smith}, NATO Sci. Ser. II Math. Phys. Chem. 131, 133--171 (2004; Zbl 1080.55010)]. Dwyer and Hess and, independently, Turchin showed that, assuming \(O(0)=O(1)=*\), a double delooping of \(\text{Tot}(O^\bullet)\) is given by the derived space of operad maps from \(\text{As}\) to \(O\), see [\textit{W. Dwyer} and \textit{K. Hess}, Geom. Topol. 16, No. 2, 919--955 (2012; Zbl 1255.18009)] and [\textit{V. Turchin}, J. Homotopy Relat. Struct. 9, No. 2, 349--418 (2014; Zbl 1350.18017)]. In the paper under review the author develops a relative version of this theory. In this version, the role of As is played by the so-called operad of monoid actions \({\mathcal A}ct\). This is a two-colored operad whose algebras are pairs \((X, A)\), where \(X\) is a monoid and \(A\) is a left \(X\)-module. \({\mathcal A}ct\) is related to the Swiss-cheese operad in the same way as As is related to the little disks operad. Suppose \(O\) is a two-colored operad equipped with a map \({\mathcal A}ct\to O\). The author associates with \(O\) a pair of semi-cosimplicial spaces \((O_c; O_o)\), and shows that the pair of totalizations \((\text{Tot}(O_c); \text{Tot}(O_o))\) is an algebra over the two-dimensional Swiss-cheese operad. Moreover, he shows that a double delooping of this pair can be described in terms of the derived mapping space in the category of two-colored operads from \({\mathcal A}ct\) to \(O\).