Rectification of algebras and modules

From MaRDI portal



Abstract: Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be interpreted as a "rectification" result for Lurie operad algebras. A similar result is obtained for modules over operad algebras, as well as for algebras over topological PROPs.


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.




Cited in
(36)








This page was built for publication: Rectification of algebras and modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q273532)