Homotopy theory of unital algebras (Q2279055): Difference between revisions

In this paper, the author relates the homotopy theory of algebras with units (over a given dg-operad \(\mathscr{P}\)) and the homotopy theory of coalgebras (over a given curved conilpotent cooperad \(\mathscr{C}\)). Motivated by the work of \textit{J. Hirsh} and \textit{J. Millès} [Math. Ann. 354, No. 4, 1465--1520 (2012; Zbl 1276.18009)], the author introduces a bar-cobar adjunction between dg-operads and curved conilpotent cooperads, and moreover produces a bar-cobar adjunction between \(\mathscr{P}\)-algebras and \(\mathscr{C}\)-coalgebras from a twisting morphism \(\mathscr{C} \leadsto \mathscr{P}\). The author then uses the fact that both the category of algebras and coalgebras are presentable. This allows him to apply a theorem of \textit{M. Bayeh} et al. [Contemp. Math. 641, 49--81 (2015; Zbl 1346.18023)] to prove that the Hinich model category structure on the category of \(\mathscr{P}\)-algebras can be transferred along the above adjunction to produce a model category structure on the category of \(\mathscr{C}\)-coalgebras. In this model structure, weak equivalences are maps of coalgebras which become quasi-isomorphisms after applying the cobar construction. The structure is also compatible with the various enrichments that can be defined on the categories involved. The author then studies the universal twisting morphism \(\mathscr{C} \to \Omega \mathscr{C}\). In this case, the Quillen adjunction produced by the transfer procedure becomes a Quillen equivalence. The author concludes with several examples: the case where the twisting morphism is the Koszul twisting morphism of a quadratic-linear-constant operad (as well as the dual case), the case of unital associative algebras, and the case of unital commutative algebras.