2023/01/17 by Chen, Harrison
#14F08 #18M70 #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #FOS: Mathematics #Representation Theory (math.RT)
paper · doi:10.48550/arxiv.2301.06949
Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered D-modules on a smooth stack X and the category of S1-equivariant ind-coherent sheaves on its formal loop space \widehatL X, exchanging compact D-modules with coherent sheaves, and coherent D-modules with continuous ind-coherent sheaves. The equivalence yields a sheaf of categories over \mathbbA1/\mathbbGm 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.