Differential graded categories and Deligne conjecture (Q904032)

The paper under review is devoted to the generalization of the classical Deligne conjecture. This conjecture was proposed by P. Deligne in 1993 and currently has several proofs. For example, we can find proofs of the Deligne statement in the paper of \textit{M. Kontsevich} and \textit{Y. Soibelman} [in: Conférence Moshé Flato 1999: Quantization, deformation, and symmetries, Dijon, France, September 5--8, 1999. Volume I. Dordrecht: Kluwer Academic Publishers. 255--307 (2000; Zbl 0972.18005)], or in the work of \textit{J. E. McClure} and \textit{J. H. Smith} [Contemp. Math. 293, 153--193 (2002; Zbl 1009.18009)]. In this paper, the author obtain an extension of the Deligne conjecture for an \(n\)-fold monoidal abelian category \({\mathcal A}\) over a field \({\mathbb K}\) of characteristic \(0\), assuming some compatibility and non-degeneracy conditions for \({\mathcal A}\). The new tools, introduced in Sections 3 and 4, are the notion of weak Leinster \((n,1)\)-algebra and a new version of the Drinfeld dg quotient. The first one is a relaxed version of the notion of Leinster \(n\)-monoid (see [``Up-to-homotopy monoids'', \url{arXiv:math.QA/9912084}, 1999]) in a category \({\mathcal A}lg({\mathbb K})\) of dg algebras over \({\mathbb K}\), and the second one is a refined monoidal version of the Drinfeld dg quotient. The main result of this paper is Theorem 7.3, which asserts the following: Let \({\mathcal A}\) be an essentially small \({\mathbb K}\)-linear abelian \(n\)-fold monoidal category where char \({\mathbb K}=0\). Let \(e\) be the unit object of \({\mathcal A}\). Assume the weak compatibility of the exact and the monoidal structures, as in Definition 7.1. If \(n>1\), assume as well that the \(n\)-fold monoidal structure is non-degenerate, in the sense of Definition 7.2. Then, RHom\(_{{\mathcal A}}^{{\bullet}}(e,e)\) is a weak Leinster \((n,1)\)-algebra, whose underlying Leinster \(1\)-algebra product is the Yoneda product in RHom\(^{{\bullet}}_{{\mathcal A}}(e,e)\). On the other hand, in Section 5 we can find the proof of this result for \(n=1\). Finally, Section 8 contains an interesting application of Theorem 7.3, for \(n=2\), to the deformation theory of associative algebras. The author prove in Theorem 1.8, that, if \(B\) is a Hopf algebra, the conditions of Theorem 1.7 hold for the \(2\)-fold category of \(B\)-tetramodules, and as a consequence, he obtain that the Gerstenhaber-Schack complex of \(B\) is a Leinster \((2,1)\)-algebra.