Tangent categories of algebras over operads (Q2279951)

From MaRDI portal
Revision as of 12:56, 30 July 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q127122187, #quickstatements; #temporary_batch_1722291251637)
scientific article
Language Label Description Also known as
English
Tangent categories of algebras over operads
scientific article

    Statements

    Tangent categories of algebras over operads (English)
    0 references
    0 references
    0 references
    0 references
    17 December 2019
    0 references
    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.
    0 references
    tangent category
    0 references
    cotangent complex
    0 references
    Quillen cohomology
    0 references
    operad
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers