A Deligne conjecture for prestacks

DOI10.1090/PROC/17293MaRDI QIDQ6937336zbMATH OpenFDO

Publication date 27 August 2025

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/PROC/17293

Deligne conjecture Gerstenhaber-Schack complex operadic twisting operads prestacks

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Algebraic operads, cooperads, and Koszul duality (18M70) Homotopy equivalences in algebraic topology (55P10)

Review text

The Gerstenhaber-Schack complex \(C_{GS}(\mathbb{A})\) of a prestack \(\mathbb{A}\) controls the deformation theory of \(\mathbb{A}\) and its cohomology is endowed with a Gerstenhaber algebra structure. The authors establish an analog of the Deligne conjecture for prestacks, providing an explicit construction that lifts the Gerstenhaber algebra structure on \(H_{GC}(\mathbb{A})\) to an \(E_2\)-structure on the complex itself.\N\NThe work involves the dg operad \(\mathsf{Quilt}\), introduced by \textit{E. Hawkins} [Adv. Math. 428, Article ID 109156, 80 p. (2023; Zbl 1527.16012)]. The authors prove a conjecture by Hawkins, establishing that the projection map from \(\mathsf{Quilt}\) to the \(\mathsf{Brace}\) operad is a quasi-isomorphism. Furthermore, the authors prove that the \(L_{\infty}\)-structure previously identified on the GS complex originates from a \(\mathsf{PreLie}_\infty\)-structure that lifts the \(\mathsf{PreLie}\)-structure on \(\mathsf{Brace}\) in homology.\N\NBy applying the machinery of operadic twisting, the authors construct a new dg operad, \(\mathsf{TwQuilt}\). They prove that \(\mathsf{TwQuilt}\) is an \(E_2\)-operad. The main result is the construction of an explicit action of \(\mathsf{TwQuilt}\) on the Gerstenhaber-Schack complex \(C_{GS}(\mathbb{A})\) obtained by combining the action of \(\mathsf{Quilt}\) (from [\textit{H. D. Van} et al., Sel. Math., New Ser. 28, No. 3, Paper No. 47, 63 p. (2022; Zbl 1484.18010)]) and the prestack's ``twists (a natural isomorphism \(c\) that relaxes the prestack's functoriality). This confirms that \(C_{GS}(\mathbb{A})\) is naturally an \(E_2\)-algebra, generalizing both the \(L_{\infty}\)-algebra structure on the complex and the Gerstenhaber algebra structure on its cohomology \(H_{GS}(\mathbb{A})\).\N\NFinally, in the restricted case of presheaves, the authors deduce a second, ``orthogonal \(\mathsf{TwQuilt}\)-action, subsuming the action of Hawkins' operad \(\mathsf{mQuilt}\).

Cites work

This page was built for publication: A Deligne conjecture for prestacks

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