Categorical cyclic homology and filtered \mathcal{D}-modules on stacks: Koszul duality

MaRDI QIDQ6423616zbMATH OpenFDO

Authors Harrison Chen

Publication date 17 January 2023

Mathematics Subject Classification ID

Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Algebraic operads, cooperads, and Koszul duality (18M70)

Abstract: Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $mathcalD$-modules on a smooth stack $X$ and the category of $S^1$-equivariant ind-coherent sheaves on its formal loop space $widehatmathcalLX$, exchanging compact $mathcalD$-modules with coherent sheaves, and coherent $mathcalD$-modules with continuous ind-coherent sheaves. The equivalence yields a sheaf of categories over $mathbb{A}^1/mathbb{G}_m$ whose special fiber is a category of coherent sheaves on stacks appearing in categorical traces, and whose generic fiber is a category of equivariant constructible sheaves.

This page was built for publication: Categorical cyclic homology and filtered $\mathcal{D}$-modules on stacks: Koszul duality

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