Tangent categories of algebras over operads (Q2279951)

The paper under review is concerned with tangent categories in which general cotangent complex formalisms take values. It is part of a larger project of the authors in which they study such generalizations of the cotangent complex and of Quillen cohomology, see e.g. [\textit{Y. Harpaz} et al., J. Topol. 11, No. 3, 752--798 (2018; Zbl 1405.55008); Theory Appl. Categ. 34, 1039--1072 (2019; Zbl 1426.55008)]. A general \(\infty\)-categorical description of tangent categories has been given by Lurie. He models the tangent \(\infty\)-category of a presentable \(\infty\)-category \(\mathcal D\) at an object \(A\) by the stabilization of the slice category \(\mathcal D_{/A}\) and shows that when \(\mathcal D\) is stable and \(\mathcal P\) is a suitable \(\infty\)-operad, then the tangent categories at \(A\) of \(\mathcal P\)-algebras and of operadic modules are equivalent. The main result of the paper under review is the following generalization of this result. Let \(\mathcal M\) be a symmetric monoidal model category satisfying suitable assumptions, let \(\mathcal P\) be a colored symmetric operad in \(\mathcal M\) and let \(A\) be a \(\mathcal P\)-algebra. The authors construct a Quillen equivalence relating the tangent category at \(A\) of the category of \(\mathcal P\)-algebras and of the operadic module category \(\mathrm{Mod}^{\mathcal P}_A(\mathcal M)\). The main difference to Lurie's result is that \(\mathcal M\) does not need to be stable. It is also pointed out how to deduce an \(\infty\)-categorical version from the present model categorical approach.