Rectification of algebras and modules (Q273532): Difference between revisions

Let \(\mathcal O\) be a topological colored symmetric operad. The functor of singular chains with coefficients in a commutative ring \(k\) converts \(\mathcal O\) into an operad \(C_*(\mathcal{O})\) in the category of complexes. A topological operad \(\mathcal{O}\) defines an \(\infty\)-operad \(\mathcal{O}^\otimes\) in the sense of Lurie, and an \(\infty\)-category of algebras \(\mathrm{Alg}_\mathcal{O}(QC(k))\) with values in the symmetric monoidal \(\infty\)-category version of the derived category of \(k\)-modules. The main result of the paper is that, given a quasiisomorphism of operads \(\mathcal{R} \to C_*(\mathcal{O})\) with \(\mathcal{R}\) homotopically sound, the \(\infty\)-category \(\mathrm{Alg}_\mathcal{O}(QC(k))\) is equivalent to the \(\infty\)-category underlying the classical model category \(\mathrm{Alg}_\mathcal{R}(C(k))\). This can be interpreted as a rectification result: any Lurie \(\mathcal{O}\)-algebra with values in \(QC(k)\) can by presented by a strict \(\mathcal{R}\)-algebra. When \(C_*(\mathcal{O})\) is homotopically sound, any Lurie \(\mathcal{O}\)-algebra can be presented by a strict \(\mathcal{O}\)-algebra with values in \(C(k)\). The description of \(\mathrm{Alg}_\mathcal{O}(QC(k))\) as a nerve of a model category allows the author to present \(\mathcal{O}^\otimes\)-algebras in \(QC(k)\) and their diagrams by strict \(\mathcal{O}\)-algebras in complexes.