D-cap modules are quasi-coherent sheaves on an analytic stack

Abstract

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fréchet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules in the analytic topology.