The twisted tensor product of dg categories and a contractible 2-operad

DOI10.1016/J.AIM.2023.109310MaRDI QIDQ6065296zbMATH OpenOpenAlexFDO

Authors Boris Shoikhet

Publication date 14 November 2023

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

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

zbMATH Keywords

contractible 2-operadDG categorymonoidal categorytwisted tensor product

Mathematics Subject Classification ID

Differential graded algebras and applications (associative algebraic aspects) (16E45) Operads (general) (18M60)

Abstract: It is well-known that the "pre-2-category" $mathscrCa{t}_{m}athrm{dg}^{m}athrmcoh(k)$ of small dg categories over a field $k$, with 1-morphisms defined as dg functors, and with 2-morphisms defined as the complexes of coherent natural transformations, fails to be a strict 2-category. In [T2], D.Tamarkin constructed a contractible 2-operad in the sense of M.Batanin [Ba3], acting on $mathscrCa{t}_{m}athrm{dg}^{m}athrmcoh(k)$. According to Batanin loc.cit., it is a possible way to define a "weak 2-category". In this paper, we provide a construction of {it another} contractible 2-operad $mathcalO$, acting on $mathscrCa{t}_{m}athrm{dg}^{m}athrmcoh(k)$. Our main tool is the {it twisted tensor product} of small dg categories, introduced in [Sh3]. We establish a one-side associativity for the twisted tensor product, making $(mathscrCa{t}_{m}athrm{dg}^{m}athrmcoh(k),oversetsimotimes)$ a skew monoidal category in the sense of [LS], and construct a {it twisted composition} $mathscrCo{h}_{m}athrmdg(D,E)oversetsimotimesmathscrCo{h}_{m}athrmdg(C,D)omathscrCo{h}_{m}athrmdg(C,E)$, and prove some compatibility between these two structures. Taken together, the two structures give rise to a 2-operad $mathcalO$, acting on $mathscrCa{t}_{m}athrm{dg}^{m}athrmcoh(k)$. Its contractibility is a consequence of a general result of [Sh3].

Review text

\textit{V. Drinfeld} [J. Algebra 272, No. 2, 643--691 (2004; Zbl 1064.18009)] put forward the question: ``What do DG categories form? It can be interpreted as a question on how to find a weak 2-category structure on \(\mathcal{C}at_{dg}^{coh}(k)\). \textit{D. Tamarkin} [Compos. Math. 143, No. 5, 1335--1358 (2007; Zbl 1138.18004)] gave an answer to this question, by constructing a contractible \(2\)-operad in the sense of \textit{M. A. Batanin} [Adv. Math. 136, No. 1, 39--103 (1998; Zbl 0912.18006)], acting on \(\mathcal{C}at_{dg}^{coh}(k)\). In this paper, B. Shoikhet constructs another contractible \(2\)-operad, acting on \(\mathcal{C}at_{dg}^{coh}(k)\). Here, the tool used is the twisted tensor product of small DG categories, which is introduced in [\textit{B. Shoikhet}, J. Noncommut. Geom. 14, No. 2, 789--820 (2020; Zbl 1477.16016)]. The author proves a one-side associativity for the twisted tensor product, making \(\mathcal{C}at_{dg}^{coh}(k)\) a skew monoidal category in the sense of [\textit{R. Street}, J. Pure Appl. Algebra 217, No. 6, 973--988 (2013; Zbl 1365.18008)], and constructs a twisted composition, and shows some compatibility between these two structures. These together with a general contractibility result of \textit{B. Keller} [in: Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22--30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS). 151--190 (2006; Zbl 1140.18008)] lead to a 2-operad acting on \(\mathcal{C}at_{dg}^{coh}(k)\).

Recommendations

• What do dg-categories form?
• Operadic categories and duoidal Deligne's conjecture
• On the twisted tensor product of small dg categories
• Operadic twisting -- with an application to Deligne's conjecture
• Twisted arrow categories, operads and Segal conditions

Cites work

• \(\mathcal{A}_\infty\)-functors and homotopy theory of dg-categories
• A cellular nerve for higher categories
• A Quillen model structure on the category of dg categories
• Algebras of higher operads as enriched categories
• Categorical homotopy theory
• Centers and homotopy centers in enriched monoidal categories
• DG quotients of DG categories.
• Formal aspects of Gray's tensor products of 2-categories
• Free skew monoidal categories
• Homotopy coherent category theory
• Homotopy coherent category theory and \(A_\infty\)-structures in monoidal categories
• scientific article; zbMATH DE number 529900 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Multitensor lifting and strictly unital higher category theory
• On differential graded categories
• On the twisted tensor product of small dg categories
• Operadic categories and duoidal Deligne's conjecture
• Operadic categories and their skew monoidal categories of collections
• Operads of natural operations. I: Lattice paths, braces and Hochschild cochains
• Skew-closed categories
• Symmetrisation of \(n\)-operads and compactification of real configuration spaces
• The Eckmann-Hilton argument and higher operads
• The homotopy theory of dg-categories and derived Morita theory
• Triangulations, orientals, and skew monoidal categories
• What do dg-categories form?

Cited in

(2)

• On the tensor product of well generated dg categories
• Twisted tensor product of dg categories and Kontsevich's Swiss cheese conjecture

This page was built for publication: The twisted tensor product of \(\operatorname{dg}\) categories and a contractible 2-operad

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