The de Rham functor for logarithmic D-modules

From MaRDI portal



Abstract: In the first part we deepen the six-functor theory of (holonomic) logarithmic D-modules, in particular with respect to duality and pushforward along projective morphisms. Then, inspired by work of Ogus, we define a logarithmic analogue of the de Rham functor, sending logarithmic D-modules to certain graded sheaves on the so-called Kato-Nakayama space. For holonomic modules we show that the associated sheaves have finitely generated stalks and that the de Rham functor intertwines duality for D-modules with a version of Poincar'e-Verdier duality on the Kato-Nakayama space. Finally, we explain how the grading on the Kato-Nakayama space is related to the classical Kashiwara-Malgrange V-filtration for holonomic D-modules.


On a nonsingular complex algebraic variety \(X\), there is an equivalence between the derived category of regular holonomic D-modules and the constructible derived category of complex vector spaces (the ``Riemann-Hilbert correspondence). In the article under review, the author studies some aspects of the logarithmic analogue of the above statement. A theory of logarithmic D-modules has been developed by the author and \textit{M. Talpo} [Adv. Math. 346, 510--545 (2019; Zbl 1476.14048)]. The corresponding ``topological story has been introduced by the author [Proc. Am. Math. Soc. 148, No. 3, 1325--1338 (2020; Zbl 1434.54002)]. The author defines a de Rham functor using the Kato-Nakayama space \(X_{\log}\). Note that \(X_{\log}\) has a graded topological spaces structure in the sense of [loc. cit] whose structure sheaf is denoted by \(\mathbb{C}_X^{\log}\). In the classical setting, the de Rham complex of a holonomic D-module is constructible. In the logarithmic setting, the author proves that the de Rham complex of a holonomic D-module also has a certain finiteness property: its stalks are finitely generated over the corresponding stalks of \(\mathbb{C}_{X}^{\log}\). The author also proves that the de Rham functor is compatible with duality.











This page was built for publication: The de Rham functor for logarithmic D-modules

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