Delooping derived mapping spaces of bimodules over an operad (Q2002820)

For an operad \(O\), let \(\mathrm{Bimod}_O\) denote the category of bimodules over \(O\). In particular, every operad is a bimodule over itself, and every map of operads \(O\to O'\) is a map of bimodules over \(O\). Let \(\eta: O\to O'\) be a map of operads. The author constructs a cofibrant replacement \(\mathcal{WB}(O)\) of \(O\) in \(\mathrm{Bimod}_O\) and defines a \(\mathcal{C}_1\)-algebra structure on the mapping space \(\mathrm{Bimod}_O(\mathcal{WB}(O);O')\), where \(\mathcal{C}_1\) denotes the one dimensional little cubes operad. Assume then that \(O\) is well pointed and \(\Sigma\)-cofibrant, i.e., cofibrant as a sequence, and that the space \(O'(1)\) is contractible. Using properties of the cofibrant replacement the author proves that there is a weak homotopy equivalence \[ \Omega\mathrm{Operad}^h(O;O')\simeq\mathrm{Bimod}^h_O(O;O'), \] between the derived mapping spaces that preserves the \(\mathcal{C}_1\)-algebra structures. The result generalizes results in [\textit{W. Dwyer} and \textit{K. Hess}, Geom. Topol. 16, No. 2, 919--955 (2012; Zbl 1255.18009)] and in [\textit{V. Turchin}, J. Homotopy Relat. Struct. 9, No. 2, 349--418 (2014; Zbl 1350.18017)].