Poincaré/Koszul duality for general operads (Q2107530)

Let \(\mathcal O\) be an operad in Spectra, \(M\) a right module over \(\mathcal O\) and \(A\) an algebra over \(\mathcal O\). The author uses the notation \(\int_M A\) to denote the two sided bar construction \(\mathrm{Bar}(M, \mathcal O, A)\). Similarly, \(\int^{\mathrm{Bar}_{\mathcal O} M} \mathrm{Bar}_{\mathcal O} A\) denotes the cobar construction of the bar duals of \(M\) and \(A\) over the bar dual of \(\mathcal O\). The main result of the paper says that under some hypotheses there is an equivalence \[ \int_M A \xrightarrow{\simeq} \int^{\mathrm{Bar}_{\mathcal O} M} \mathrm{Bar}_{\mathcal O} A. \]