Operadic structure on the Gerstenhaber-Schack complex for prestacks (Q832413)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Operadic structure on the Gerstenhaber-Schack complex for prestacks |
scientific article |
Statements
Operadic structure on the Gerstenhaber-Schack complex for prestacks (English)
0 references
25 March 2022
0 references
The deformation theory of algebras by \textit{M. Gerstenhaber} [Ann. Math. (2) 79, 59--103 (1964; Zbl 0123.03101); Proc. Natl. Acad. Sci. USA 55, 690--692 (1966; Zbl 0136.31401); Ann. Math. (2) 84, 1--19 (1966; Zbl 0147.28903); Ann. Math. (2) 88, 1--34 (1968; Zbl 0182.05902); Ann. Math. (2) 99, 257--276 (1974; Zbl 0281.16016); \textit{M. Gerstenhaber} and \textit{C. W. Wilkerson}, Contemp. Math. 227, 89--101 (1999; Zbl 0918.16024)] furnishes the guiding principle for algebraic deformation theory. For an algebra \(A\), the Hochschild complex \(\boldsymbol{C}(A)\) is a dg Lie algebra governing the deformation theory of \(A\) through the Maurer-Cartan formalism and being the shadow of a rather richer operadic structure, which is summarized by saying that \(\boldsymbol{C}(A)\) is a homotopy G-algebra [\textit{M. Gerstenhaber} and \textit{A. A. Voronov}, Int. Math. Res. Not. 1995, No. 3, 141--153 (1995; Zbl 0827.18004)]. This structure capturing both the brace operations and the cup product is a special case of a \(B_{\infty}\)-structure [\textit{E. Getzler} and \textit{J. D. S. Jones}, ``Operads, homotopy algebra and iterated integrals for double loop spaces'', Preprint, \url{arXiv:hep-th/9403055}], constituting a stepping stone in the proof of the Deligne conjecture and leading to the proof that \(\boldsymbol{C}(A)\) is an algebra over the chain little disk operad [\textit{M. Kontsevich} and \textit{Y. Soibelman}, Math. Phys. Stud. 21, 255--307 (2000; Zbl 0972.18005); \textit{J. E. McClure} and \textit{J. H. Smith}, Contemp. Math. 293, 153--193 (2002; Zbl 1009.18009)]. The deformation theory of algebras was later extended to presheves of algebras by \textit{M. Gerstenhaber} and \textit{S. D. Schack} [Contemp. Math. 13, 193--197 (1982; Zbl 0507.18005); Trans. Am. Math. Soc. 279, 1--50 (1983; Zbl 0544.18005); Nato ASI Ser., Ser. C 247, 11--264 (1988; Zbl 0676.16022)] with an introduction of a bicomplex computing the natural bimodule Ext groups. Since this GS-complex \(\boldsymbol{C}_{GS}(\mathcal{A})\) of a presheaf \(\mathcal{A}\) does not control deformation of \(\mathcal{A}\) as a presheaf but as a \textit{twisted} presheaf [\textit{H. D. Van} and \textit{W. Lowen}, Adv. Math. 330, 173--228 (2018; Zbl 1408.18038); \textit{H. D. Van} et al., Sel. Math., New Ser. 28, No. 3, Paper No. 47, 63 p. (2022; Zbl 07498244); \textit{W. Lowen}, Trans. Am. Math. Soc. 360, No. 3, 1631--1660 (2008; Zbl 1135.13008)], it is natural to develop deformation theory at once on the level of twisted presheves or, more generally prestacks, that is to say, pseudofunctors taking values in the \(2\)-category of linear categories over some fixed commutative ground ring. \textit{H. D. Van} and \textit{W. Lowen} [Adv. Math. 330, 173--228 (2018; Zbl 1408.18038)] established a Gerstenhaber-Schack complex for prestacks, involving a differential which features an infinite sequence of higher components in addition to the classical simplicial and Hochschild differentials. On top of that, for a prestack \(\mathcal{A}\), they have constructed a homotopy equivalence \[ \boldsymbol{C}_{GS}(\mathcal{A})\cong\boldsymbol{CC}(\mathcal{A}!) \] between the Gerstenhaber-Schack complex \(\boldsymbol{C}_{GS}(\mathcal{A})\) and the Hochschild complex \(\boldsymbol{CC}(\mathcal{A}!)\) of the Grothendieck construction \(\mathcal{A}!\) of \(\mathcal{A}\), which, through homotopy transfer, endows the GS-complex with an \(L_{\infty}\)-structure. The result improves upon the existence of a quasi-isomorphism, which is a consequence of the Cohomoloy Comparison Theorem for presheaves [\textit{M. Gerstenhaber} and \textit{S. D. Schack}, Nato ASI Ser., Ser. C 247, 11--264 (1988; Zbl 0676.16022)] and for prestacks [\textit{W. Lowen} and \textit{M. Van den Bergh}, Trans. Am. Math. Soc. 363, No. 2, 969--986 (2011; Zbl 1268.16009)]. Although the GS-complex does not possess a \(B_{\infty}\)-structure, its elements are to be composed in an operadic fashion, so that it makes sense to investigate this higher structure in its own right, using it directly so as to establish an underlying \(L_{\infty}\)-structure. For particular types of presheaves, explicit \(L_{\infty}\)-structures on the GS-complex have been established [\textit{S. Barmeier} and \textit{Y. Frégier}, J. Noncommut. Geom. 14, No. 3, 1019--1047 (2020; Zbl 1479.16028); \textit{Y. Frégier} et al., New York J. Math. 15, 353--392 (2009; Zbl 1183.14004)]. Let \(\mathrm{Brace}\) be the brace operad (\S 2.1) and \(\mathrm{F}_{2}\mathrm{S}\) the Gerstenhaber-Voronov operad encoding the homotopy G-algebras (\S 2.2). \textit{E. Hawkins} [``Operations on the Hochschild bicomplex of a diagram of algebras'', Preprint, \url{arXiv:2002.00886}] introduced, in the case of a presheaf \((\mathcal{A},m,f)\), an operad \[ \mathrm{Quilt}\subseteq\mathrm{F}_{2}\mathrm{S}\otimes_{H}\mathrm{Brace} \] which he later extended to an operad \(\mathrm{mQuilt}\) acting on the GS-complex, where these operads are naturally endowed with \(L_{\infty}\)-operations, as desired. Nevertheless, the way in which functoriality of \(f\) is built into these actions does not allow for an extension to twisted presheaves or prestacks. The principal objective in this paper is to establish a natural operadic structure with underlying \(L_{\infty}\)-structure on \(\boldsymbol{C}_{GS}(\mathcal{A})\) in the case of a general prestack \((\mathcal{A},m,f,c)\) with twist \(c\). A synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] describes the morphisms of operads underlying the results in [\textit{M. Gerstenhaber} and \textit{A. A. Voronov}, Int. Math. Res. Not. 1995, No. 3, 141--153 (1995; Zbl 0827.18004)] which defined a brace-algebra structure on the totalization of a non-symmetric operad \(\mathcal{O}\), delineating a homotopy G-algebra on \(\mathcal{O}\) with due regard to the cup product and the Gerstenhaber bracket. To this end, the colored operad \(\mathrm{NSOp}\) encoding non-symmetric operads is recalled, and its natural extension \(\mathrm{mNSOp}\) adding a multiplication is described (\S 2.3). Let \(\mathrm{NSOp}_{s}\) and \(\mathrm{mNSOp}_{st}\) be their totalized graded (uncolored) operads with suspended, respectively standard degree (\S 2.5 and \S 2.6). The principal objective in this section is the definition of morphisms of dg-operads (Theorems 2.16 and 2.34) \[ \phi:\mathrm{Brace}\rightarrow\mathrm{NSOp}_{s} \] and \[ \overline{\phi}:\mathrm{F}_{2}\mathrm{S}\rightarrow\mathrm{mNSOp}_{st} \] In these definitions, the authors have to pay particular attention to the choice of signs, for which they make use of morphisms of operads \[ (\mathrm{m})\mathrm{NSOp}\rightarrow\mathrm{Multi\,}\Delta \] landing in the multicategory associated to the simplex category \(\Delta\) (Proposition 2.11). \item[\S 3] captures the higher structure of \(\boldsymbol{C}_{GS}(\mathcal{A})\) by introducing the operad (\S 3.3) \[ \mathrm{Patch}\subseteq\mathrm{mNSOp}_{st}\otimes_{H}\mathrm{NSOp}_{s} \] over which the bicomplex \(\boldsymbol{C}^{\ast,\ast}(\mathcal{A} )\), of which \(\boldsymbol{C}_{GS}(\mathcal{A})\) is the totalization, is shown to be an algebra (Theorem 3.24). The authors then construct a morphism (Proposition 3.27) \[ \mathrm{Quilt}\rightarrow\mathrm{Patch}_{s} \] as a restriction of \[ \overline{\phi}\otimes_{H}\phi:\mathrm{F}_{2}\mathrm{S}\otimes_{H} \mathrm{Brace}\rightarrow\mathrm{mNSOp}_{st}\otimes_{H}\mathrm{NSOp}_{s} \] The resulting composition (Corollary 3.28) \[ R:\mathrm{Quilt}\rightarrow\boldsymbol{End}(s\boldsymbol{C}_{GS}(\mathcal{A})) \] incorporates the multiplication \(m\) and the restrictions \(f\). The auxiliary operad \(\mathrm{Patch}\) used here is the counterpart of the operad \(\mathrm{ColorQuilt}\) from [\textit{E. Hawkins}, ``Operations on the Hochschild bicomplex of a diagram of algebras'', Preprint, \url{arXiv:2002.00886}, Def. 4.6]. \item[\S 4] incorporates the twist \(c\) by adding a formal element with certain relations, resulting in the bounded powerseries operad \(\mathrm{Quilt}_{\mathrm{b}}[[c]]\), while the above morphism \(R\) only involves the multiplication \(m\) and the functors \(f\) of the data of a prestack \((\mathcal{A},m,f,c)\). The morphism \(R\) is extended to a morphism (Theorem 4.17) \[ R_{c}:\mathrm{Quilt}_{\mathrm{b}}[[c]]\rightarrow\boldsymbol{End}(s\boldsymbol{C}_{GS}(\mathcal{A} )) \] The operad \(\mathrm{Quilt}_{\mathrm{b}}[[c]]\) is the counterpart of the operad \(\mathrm{mQuilt}\) from [\textit{E. Hawkins}, ``Operations on the Hochschild bicomplex of a diagram of algebras'', Preprint, \url{arXiv:2002.00886}, Def. 5.2]. Just as Hawkins constructed a morphism \[ L_{\infty}\rightarrow\mathrm{Quilt} \] the authors construct a more involved morphism (Theorem 4.10) \[ L_{\infty}\rightarrow\mathrm{Quilt}_{\mathrm{b}}[[c]] \] by extending to an infinite series of higher components incorporating the element \(c\). Putting Theorem 4.10 and 4.17 together, \(s\boldsymbol{C}_{GS}(\mathcal{A})\) is endowed with an \(L_{\infty}\)-structure. In the case of presheaves, this coincides on reduced and normalized cochains with the \(L_{\infty}\)-structure from [\textit{E. Hawkins}, ``Operations on the Hochschild bicomplex of a diagram of algebras'', Preprint, \url{arXiv:2002.00886}, Theorem 7.13]. \end{itemize}
0 references
prestack
0 references
Hochschild cohomology
0 references
Gerstenhaber-Schack complex
0 references
operad
0 references
brace operations
0 references
\(L_\infty\)-algebra
0 references