Homotopy theory of homotopy algebras (Q2188225)

This paper settles the homotopy theory of algebras over an operad. First, the author considers the category of coalgebras over the Koszul dual cooperad, when the original operad is Koszul, or over the bar construction of the operad, in general. It is endowed with a new type of model category structure, Quillen equivalent to the one on algebras and where the class of weak equivalences is strictly included in the class of quasi-isomorphisms. In this model category, all the coalgebras are cofibrant, while fibrant ones are the quasi-free ones. The theory parallels that of Joyal-Lurie of \(\infty\)-categories. To get a suitable notion of higher category, one can endow the category of simplicial sets with a new model category, made up of less weak equivalences than the Quillen-Kan classical ones, where all the objects are cofibrant whereas the fibrant ones provide the notion of quasi-category, which is one model of \(\infty\)-category. This paper considers a new model category on \(\mathcal{P}^{\mathrm{i}}\)-coalgebras with less weak equivalences, where all the objects are cofibrant, while the fibrant ones gives rise to the suitable notion of \(\mathcal{P}_{\infty}\)-algebras. There is already an extensive literature about model category structures on coalgebras over cooperads [\textit{M. Aubry} and \textit{D. Chataur}, J. Pure Appl. Algebra 180, No. 1--2, 1--23 (2003; Zbl 1134.18301); \textit{K. Hess} and \textit{B. Shipley}, Proc. Lond. Math. Soc. (3) 108, No. 2, 484--516 (2014; Zbl 1307.18016); \textit{V. Hinich}, J. Pure Appl. Algebra 162, No. 2--3, 209--250 (2001; Zbl 1020.18007); \textit{K. Lefèvre-Hasegawa}, ``Sur les A-infini catégories'', Preprint, \url{arXiv:math/0310337}; \textit{D. Quillen}, Ann. Math. (2) 90, 205--295 (1969; Zbl 0191.53702); Homotopical algebra. Berlin-Heidelberg-New York: Springer-Verlag (1967; Zbl 0168.20903); \textit{J. R. Smith}, Theory Appl. Categ. 25, 189--246 (2011; Zbl 1232.18016)]. This paper is more general for three reasons. \begin{itemize} \item[1.] No assumption is needed here like bounded below chain complexes or finite-dimensional spaces. \item[2.] The general case of any operad is treated. \item[3.] It is shown that most of the model categories considered in the above literature can be obtained from the present general treatise by means of Bousfield localization, the results of \textit{V. Hinich} [J. Pure Appl. Algebra 162, No. 2--3, 209--250 (2001; Zbl 1020.18007)] for cocommutative algebras, the results of \textit{K. Lefèvre-Hasegawa} [``Sur les A-infini catégories'', Preprint, \url{arXiv:math/0310337}] for coassociative algebras and the results of \textit{A. Lazarev} and \textit{M. Markl} [Adv. Math. 283, 303--361 (2015; Zbl 1379.55010)] for inverse limits of finite-dimensional nilpotent Lie algebras being recovered. \end{itemize}