Differential graded categories and Deligne conjecture

DOI10.1016/J.AIM.2015.11.030MaRDI QIDQ904032zbMATH OpenOpenAlexWikidataFDO

Authors Boris Shoikhet

Publication date 15 January 2016

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.2500

zbMATH Keywords

deformation theoryDeligne conjecturedg quotientdifferential graded categorieshigher monoidal categories

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Formal methods and deformations in algebraic geometry (14D15) Differential graded algebras and applications (associative algebraic aspects) (16E45) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: We prove a version of the Deligne conjecture for $n$-fold monoidal abelian categories $A$ over a field $k$ of characteristic 0, assuming some compatibility and non-degeneracy conditions for $A$. The output of our construction is a weak Leinster $(n,1)$-algebra over $k$, a relaxed version of the concept of Leinster $n$-algebra in $Alg(k)$. The difference between the Leinster original definition and our relaxed one is apparent when $n>1$, for $n=1$ both concepts coincide. We believe that there exists a functor from weak Leinster $(n,1)$-algebras over $k$ to $C(E_{n+1},k)$-algebras, well-defined when $k=mathbbQ$, and preserving weak equivalences. For the case $n=1$ such a functor is constructed in [Sh4] by elementary simplicial methods, providing (together with this paper) a complete solution for 1-monoidal abelian categories. Our approach to Deligne conjecture is divided into two parts. The first part, completed in the present paper, provides a construction of a weak Leinster $(n,1)$-algebra over $k$, out of an $n$-fold monoidal $k$-linear abelian category (provided the compatibility and non-degeneracy condition are fulfilled). The second part (still open for $n>1$) is a passage from weak Leinster $(n,1)$-algebras to $C(E_{n+1},k)$-algebras. As an application, we prove that the Gerstenhaber-Schack complex of a Hopf algebra over a field $k$ of characteristic 0 admits a structure of a weak Leinster (2,1)-algebra over $k$ extending the Yoneda structure. It relies on our earlier construction [Sh1] of a 2-fold monoidal structure on the abelian category of tetramodules over a bialgebra.

Review text

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.

Recommendations

• Graded Leinster monoids and generalized Deligne conjecture for 1-monoidal abelian categories
• Simplicial localization of monoidal structures, and a non-linear version of Deligne's conjecture
• Operadic categories and duoidal Deligne's conjecture
• scientific article; zbMATH DE number 1552053
• scientific article; zbMATH DE number 1803807

Cites work

• An exact sequence interpretation of the Lie bracket in Hochschild cohomology
• Bialgebra cohomology, deformations, and quantum groups.
• Braided tensor categories
• Categories and cohomology theories
• Coherence for tricategories
• Cohomology theories of Hopf bimodules and cup-product.
• Deformation quantization of Poisson manifolds
• Deriving DG categories
• DG quotients of DG categories.
• Examples of equivalences of Doi-Koppinen Hopf module categories, including Yetter-Drinfeld modules
• Function complexes in homotopical algebra
• Homotopy colimits in the category of small categories
• scientific article; zbMATH DE number 1803807 (Why is no real title available?)
• scientific article; zbMATH DE number 4202514 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1963527 (Why is no real title available?)
• scientific article; zbMATH DE number 1552053 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• Injective Hopf bimodules, cohomologies of infinite dimensional Hopf algebras and graded-commutativity of the Yoneda product.
• Iterated monoidal categories
• Monoidal bicategories and Hopf algebroids
• On differential graded categories
• On Drinfeld's DG quotient
• On the cyclic homology of exact categories
• On the deformation of rings and algebras
• Simplicial localization of monoidal structures, and a non-linear version of Deligne's conjecture
• Tetramodules over a bialgebra form a 2-fold monoidal category
• The homology of iterated loop spaces
• The homotopy theory of dg-categories and derived Morita theory
• The tangent complex and Hochschild cohomology of E_n-rings

Cited in

(11)

• Categorification of Dijkgraaf-Witten theory
• On the twisted tensor product of small dg categories
• Cyclic Gerstenhaber-Schack cohomology
• Homotopy invariants of braided commutative algebras and the Deligne conjecture for finite tensor categories
• Formality theorem and bialgebra deformations
• Graded Leinster monoids and generalized Deligne conjecture for 1-monoidal abelian categories
• scientific article; zbMATH DE number 1442031 (Why is no real title available?)
• The differential graded Verlinde formula and the Deligne Conjecture
• Brackets and products from centres in extension categories
• Poisson geometry, monoidal Fukaya categories, and commutative Floer cohomology rings
• The category _2, derived modifications, and deformation theory of monoidal categories

This page was built for publication: Differential graded categories and Deligne conjecture

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