The de Rham functor for logarithmic D-modules

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.