A topological reconstruction theorem for \({\mathcal D}^\infty\)-modules (Q1975645)

Let \(X\) be a complex analytic manifold and let \({\mathcal D}_X\) be the sheaf of differential operators with holomorphic coefficients. In the ordinary \({\mathcal D}_X\)-module theory, a coherent \({\mathcal D}_X\)-module \({\mathcal M}\) is a differential equation on \(X\) and \({\mathcal S}ol({\mathcal M}): ={\mathcal H}om_{{\mathcal D}_X}({\mathcal M},{\mathcal O}_X)\) is the \({\mathcal O}_X\)-solution space. In particular, the category of bounded complexes of regular holonomic \({\mathcal D}_X\)-modules and that of \(\mathbb{C}\)-constructible \(\mathbb{C}_X\)-modules are equivalent (Riemann-Hilbert correspondence) and we have the reconstruction theorem for \({\mathcal M}\): we can obtain \({\mathcal M}\) from its solution complex \({\mathcal S}ol({\mathcal M})\). The purpose of this paper is to extend this reconstruction theorem to perfect complexes of \({\mathcal D}^\infty_X\)-modules by taking into account the natural topology of the complex of holomorphic solutions: \[ {\mathcal M}\simeq {\mathcal R}{\mathcal H}omtop ({\mathcal S}ol({\mathcal M}),{\mathcal O}_X)\quad\text{and}\quad{\mathcal D}^\infty_X \simeq {\mathcal R}{\mathcal H}omtop ({\mathcal O}_X,{\mathcal O}_X). \] In order to give a meaning to these formulas, we need to introduce the category of sheaves with values in the category of ind-objects of the category of Banach spaces.