We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Sheaves of categories with local actions of Hochschild cochains

Authors: Dario Beraldo
Abstract: The notion of Hochschild cochains induces an assignment from $Aff$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under some appropriate finiteness conditions, to a functor $\mathbb H: Aff \to AlgBimod(DGCat)$, where the latter denotes the category of monoidal DG categories and bimodules. Now, any functor $\mathbb A: Aff \to AlgBimod(DGCat)$ gives rise, by taking modules, to a theory of sheaves of categories $ShvCat^{\mathbb A}$.
In this paper, we study $ShvCat^{\mathbb H}$. Vaguely speaking, this theory categorifies the theory of D-modules, in the same way as Gaitsgory's original $ShvCat$ categorifies the theory of quasi-coherent sheaves. We develop the functoriality of $ShvCat^{\mathbb H}$, its descent properties and, most importantly, the notion of $\mathbb H$-affineness. We then prove the $\mathbb H$-affineness of algebraic stacks: for $Y$ a stack satisfying some mild conditions, the $\infty$-category $ShvCat^{\mathbb H}(Y)$ is equivalent to the $\infty$-category of modules for $\mathbb H(Y)$, the monoidal DG category defined in arXiv:1709.07867.
As an application, consider a quasi-smooth stack $Y$ and a DG category $C$ with an action of $\mathbb H(Y)$. Then $C$ admits a theory of singular support in $Sing(Y)$, where $Sing(Y)$ is the space of singularities of $Y$.
Comments: To appear in Compositio Mathematica
Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Quantum Algebra (math.QA); Representation Theory (math.RT)
Journal reference: Compositio Mathematica (2019), 155(8), 1521-1567
DOI: 10.1112/S0010437X19007413
Cite as: arXiv:1801.03752 [math.AG]
  (or arXiv:1801.03752v3 [math.AG] for this version)

Submission history

From: Dario Beraldo [view email]
[v1] Thu, 11 Jan 2018 13:36:35 GMT (43kb)
[v2] Thu, 7 Jun 2018 18:46:40 GMT (43kb)
[v3] Thu, 11 Apr 2019 09:10:22 GMT (48kb)

Link back to: arXiv, form interface, contact.