Limits in $\mathcal{D}$-module categories: Completeness and derived geometric extensions

This work establishes the categorical completeness of the category $\mathsf{M}\mathsf{o}\mathsf{d}({\mathcal{D}}_X)$ of left $\mathcal{D}$-modules on smooth complex algebraic varieties, resolving a fundamental structural question in algebraic analysis. We explicitly construct all small limits, such as products, equalizers, pullbacks, and arbitrary limits, demonstrating they are realized as ${\mathcal{O}}_X$-submodules of categorical products with compatible diagonal ${\mathcal{D}}_X$-actions governed by transition morphisms.

Key innovations include the following:

● Canonical extensions to the bounded derived category $D^b(\mathsf{M}\mathsf{o}\mathsf{d}({\mathcal{D}}_X))$, proving homotopy limits preserve cohomology: $H^n({\underleftarrow{\lim }}^{\mathrm{h}\mathrm{o}}{\mathcal{M}}_i^{\bullet })\cong \underleftarrow{\lim }{H}^n({\mathcal{M}}_i^{\bullet })$.

● Geometric compatibility: Limits commute with the forgetful functor to ${\mathcal{O}}_X$-modules and preserve holonomicity, with characteristic varieties satisfying $\mathrm{C}\mathrm{h}(\underleftarrow{\lim }{\mathcal{M}}_i)\subseteq \underleftarrow{\lim }\mathrm{C}\mathrm{h}({\mathcal{M}}_i)$ in $T^{\ast }X$.

These results provide a unified framework for limit constructions across abelian and derived categories of $\mathcal{D}$-modules, with immediate applications to microlocal analysis, arithmetic $\mathcal{D}$-modules in positive characteristic, and the Riemann-Hilbert correspondence. The explicit formulations are adaptable to singular characteristic varieties and resolve foundational questions in geometric representation theory.