The de Rham functor for logarithmic D-modules (Q785615)

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.