Hochschild and cotangent complexes of operadic algebras

Abstract

We make use of the cotangent complex formalism developed by Lurie to formulate Quillen cohomology of algebras over an enriched operad. Additionally, we introduce a spectral Hochschild cohomology theory for enriched operads and algebras over them. We prove that both the Quillen and Hochschild cohomologies of algebras over an operad can be controlled by the corresponding cohomologies of the operad itself. When passing to the category of simplicial sets, we assert that both these cohomology theories for operads, as well as their associated algebras, can be calculated in the same framework of spectrum valued functors on the twisted arrow $\infty$-category of the operad of interest. Moreover, we provide a convenient cofiber sequence relating the Hochschild and cotangent complexes of an $E_n$-space, establishing an unstable analogue of a significant result obtained by Francis and Lurie. Our strategy introduces a novel perspective, focusing solely on the intrinsic properties of the operadic twisted arrow $\infty$-categories.

Final version, accepted for publication in TAMS. Section 7 from the earlier version has been removed and will be included in a subsequent paper

References in corpus (8)

• Equivalences of monoidal model categories
• Deformation theory of representations of prop(erad)s
• The tangent complex and Hochschild cohomology of E_n-rings
• On the rational homology of high dimensional analogues of spaces of long knots
• A model structure for coloured operads in symmetric spectra
• The abstract cotangent complex and Quillen cohomology of enriched categories
• Left Bousfield localization without left properness
• Quillen cohomology of enriched operads