$\mathbb{E}_2$-algebra structures on the derived center of an algebraic scheme
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918061103120384 |
|---|---|
| author | Farr, Sonja |
| author_facet | Farr, Sonja |
| contents | This paper provides an explicit interface between J. Lurie's work on higher centers, and the Hochschild cohomology of an algebraic $\mathbb{k}$-scheme within the framework of deformation quantization. We first recover a canonical solution to Deligne's conjecture on Hochschild cochains in the affine and global cases, even for singular schemes, by exhibiting the Hochschild complex as an $\infty$-operadic center. We then prove that this universal $\mathbb{E}_2$-algebra structure precisely agrees with the classical Gerstenhaber bracket and cup product on cohomology in the affine and smooth cases. This last statement follows from our main technical result which allows us to extract the Gerstenhaber bracket of any $\mathbb{E}_2$-algebra obtained from a 2-algebra via Lurie's Dunn Additivity Theorem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_14069 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | $\mathbb{E}_2$-algebra structures on the derived center of an algebraic scheme Farr, Sonja Algebraic Topology Algebraic Geometry Quantum Algebra 14A30, 18N70, 16E40 This paper provides an explicit interface between J. Lurie's work on higher centers, and the Hochschild cohomology of an algebraic $\mathbb{k}$-scheme within the framework of deformation quantization. We first recover a canonical solution to Deligne's conjecture on Hochschild cochains in the affine and global cases, even for singular schemes, by exhibiting the Hochschild complex as an $\infty$-operadic center. We then prove that this universal $\mathbb{E}_2$-algebra structure precisely agrees with the classical Gerstenhaber bracket and cup product on cohomology in the affine and smooth cases. This last statement follows from our main technical result which allows us to extract the Gerstenhaber bracket of any $\mathbb{E}_2$-algebra obtained from a 2-algebra via Lurie's Dunn Additivity Theorem. |
| title | $\mathbb{E}_2$-algebra structures on the derived center of an algebraic scheme |
| topic | Algebraic Topology Algebraic Geometry Quantum Algebra 14A30, 18N70, 16E40 |
| url | https://arxiv.org/abs/2506.14069 |