The category ₂, derived modifications, and deformation theory of monoidal categories

A complex C^ (C, D) (F, G) (, ), generalising the Davydov–Yetter complex of a monoidal category (Davydov (1998) and Yetter (1998) ), is constructed. Here, C, D are -linear (corresp. , dg) bicategories, F, G C D are -linear (corresp. , dg) strong functors, and, F G are strong natural transformations. Morally, it is a complex of “derived modifications” ; likewise for the case of dg categories, one has the complex of “derived natural transformations” F G, given by the Hochschild cochain complex of C with coefficients in C -bimodule D (F-, G=). The complex C^ (C, D) (F, G) (, ) naturally arises from a 2-cocellular dg vector space A (C, D) (F, G) (, ) ₂ C^ (), as its ₂ -totalisation (here, ₂ is the category dual to the category of Joyal 2-disks (Joyal (1997) ) ). It is shown that for a -linear monoidal category C, the third cohomology vector space H^3 (C^ (C, C) (Id, Id) (id, id) ) is isomorphic to the vector space of the outer (modulo twists) infinitesimal deformations of the -linear monoidal category which we call the full deformations. It means that the following data is to be deformed: (a) the underlying dg category structure, (b) the monoidal product on morphisms (the monoidal product on objects is a set-theoretical datum and is maintained under the deformation), and (c) the associator. The data (a), (b), (c) is subject to the (infinitesimal versions of) numerous monoidal compatibilities, which we interpret as the closeness of the corresponding degree 3 element. Similarly, H^2 (C^ (C, D) (F, F) (id, id) ) is isomorphic to the vector space of the outer infinitesimal deformations of the strong monoidal functor F. A relative totalisation Rp*A (C, D) (F, F) (id, id) along the projection p₂ is defined, and it is shown to be a cosimplicial monoid, which fulfils the Batanin–Davydov 1-commutativity condition (Batanin and Davydov (2023) ). Then it follows from loc. cit. that C^ (C, D) (F, F) (id, id) is a C_ (E₂;) -algebra. Conjecturally, C^ (C, C) (Id, Id) (id, id) is a C_ (E₃;) -algebra; however, the proof requires more sophisticated methods.