Abstract:We prove an analog of the Deligne conjecture for prestacks. We show that given a prestack $\mathbb A$, its Gerstenhaber--Schack complex $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$ is naturally an $E_2$-algebra. This structure generalises both the known $\mathsf{L}_\infty$-algebra structure on $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$, as well as the Gerstenhaber algebra structure on its cohomology $\mathbf{H}_{\mathsf{GS}}(\mathbb A)$. The main ingredient is the proof of a conjecture of Hawkins \cite{hawkins}, stating that the homology of the dg operad $\mathsf{Quilt}$ has vanishing homology in positive degrees. As a corollary, $\Quilt$ is quasi-isomorphic to the operad $\mathsf{Brace}$ encoding brace algebras. In addition, we improve the $L_\infty$-structure on $\Quilt$ be showing that it originates from a $\mathsf{PreLie}_\infty$-structure lifting the $\mathsf{PreLie}$-structure on $\mathsf{Brace}$ in homology.
Algebraic Topology,Algebraic Geometry,Category Theory,K-Theory and Homology,Quantum Algebra
What problem does this paper attempt to address?
This paper aims to solve the problem regarding the Deligne Conjecture for prestacks. Specifically, the author attempts to prove that for a pre - stack \(A\), its Gerstenhaber - Schack complex \(CGS(A)\) naturally becomes an \(E_2\)-algebra. This structure not only generalizes the existence of the known \(L_\infty\)-algebra structure on \(CGS(A)\), but also generalizes the Gerstenhaber algebra structure of its cohomology \(HGS(A)\).
### Main contributions of the paper
1. **Constructed a new \(E_2\)-algebra model**:
- The author constructed a dg - algebra \(\text{TwQuilt}\), which is quasi - isomorphic to \(HG\) and \(\text{Disk}\), and has an explicit combinatorial description.
- Theorem 1.1: We constructed a dg - algebra \(\text{TwQuilt}\), which is quasi - isomorphic to \(HG\) and \(\text{Disk}\), and has an explicit combinatorial description.
2. **Proved Hawkins' conjecture**:
- The author proved that the projection from \(\text{Quilt}\) to \(\text{Brace}\) is a quasi - isomorphism, thus verifying Hawkins' conjecture.
- Theorem 1.3: The projection from \(\text{Quilt}\) to \(\text{Brace}\) is a quasi - isomorphism.
3. **Improved the \(L_\infty\)-structure**:
- The author improved the \(L_\infty\)-structure on \(\text{Quilt}\) through the \(\text{PreLie}_\infty\) structure, making it lift to the \(\text{PreLie}\) structure of \(\text{Brace}\) in homology.
- Proposition 1.4: We have a homomorphism from \(\text{PreLie}_\infty\) to \(\text{Quilt}\), inducing a homomorphism from \(\text{PreLie}\) to \(\text{Brace}\) in homology.
4. **Provided the action of \(E_2\)-algebra on the Gerstenhaber - Schack complex**:
- The author showed the action of \(\text{TwQuilt}\) on the Gerstenhaber - Schack complex \(CGS(A)\) of the pre - stack, thus solving the Deligne Conjecture for pre - stacks.
- Theorem 1.6: We have an \(E_2\)-algebra \(\text{TwQuilt}\) acting on the Gerstenhaber - Schack complex \(CGS(A)\) of the pre - stack \(A\).
### Structure of the paper
1. **Introduction**:
- Introduced the background and research motivation of the Deligne Conjecture.
- Outlined the main results and proof ideas.
2. **The algebra \(\text{Quilt}\) and its homology**:
- Defined the \(\text{Quilt}\) algebra and the \(\text{Brace}\) algebra in detail.
- Proved that the projection from \(\text{Quilt}\) to \(\text{Brace}\) is a quasi - isomorphism.
3. **A new \(E_2\)-algebra model**:
- Constructed \(\text{TwQuilt}\) and proved that it is an \(E_2\)-algebra.
4. **\(E_2\)-algebra in**