On a higher structure on operadic deformation complexes

From MaRDI portal



Abstract: In this paper, we prove that there is a canonical homotopy (n+1)-algebra structure on the shifted operadic deformation complex Def(enomathcalP)[n] for any operad mathcalP and a map of operads fcolonenomathcalP. This result generalizes the result of [T2], where the case mathcalP=mathrmEndOp(X) was considered. Another more computational proof of the same statement was recently sketched in [CW]. Our method combines the one of [T2] with the categorical algebra on the category of symmetric sequences, introduced in [R] and further developed in [KM] and [Fr1]. We define suitable deformation functors on n-coalgebras, which are considered as the "non-commutative" base of deformation, prove their representability, and translate properties of the functors to the corresponding properties of the representing objects. A new point, which makes the method more powerful, is to consider the argument of our deformation theory as an object of the category of symmetric sequences of dg vector spaces, not as just a single dg vector space.











This page was built for publication: On a higher structure on operadic deformation complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4961866)