Algebraic connections vs. algebraic \(\mathcal D\)-modules: inverse and direct images (Q838405)

The authors give a new proof of the comparison between the derived direct image functor for \(\mathcal D\)-modules and the Gauss-Manin connection for smooth morphisms. After recalling and simplifying the result of \textit{A. Dimca, F. Maaref, C. Sabbah} and \textit{M. Saito} [Math. Ann. 318, No. 1, 107--125 (2000; Zbl 0985.14007)], they present a new proof based on a homotopy lemma and avoiding the use of Saito's equivalence between the derived category of \(\mathcal D\)-modules and a localized category of differential complexes.