Algebraic connections vs. algebraic D-modules: inverse and direct images

DOI10.4171/PM/1845MaRDI QIDQ838405zbMATH OpenFDO

Authors Maurizio Cailotto, Luisa Fiorot

Publication date 25 August 2009

Published in Portugaliae Mathematica. Nova Série (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0707.1748

zbMATH Keywords

\(\mathcal D\)-modulesdirect imageGauss-Manin connection

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Sheaves of differential operators and their modules, (D)-modules (32C38)

Abstract: In the dictionary between the language of (algebraic integrable) connections and that of (algebraic) $cD$-modules, to compare the definitions of inverse images for connections and $cD$-modules is easy. But the comparison between direct images for connections (the classical construction of the Gauss-Manin connection for smooth morphisms) and for $cD$-modules, although known to specialists, has been explicitly proved only recently in a paper of Dimca, Maaref, Sabbah and Saito in 2000, where the authors' main technical tool was M. Saito's equivalence between the derived category of $cD$-modules and a localized category of differential complexes. The aim of this short paper is to give a simplified summary of the [DMSS] argument, and to propose an alternative proof of this comparison which is simpler, in the sense that it does not use Saito equivalence. Moreover, our alternative strategy of comparison works in a context which is a precursor to the Gauss-Manin connection (at the level of $f^{-1}c{D}_Y$-modules, for a morphism $f:XoY$), and may be of some intrinsic interest.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3877337
• De Rham cohomology of differential modules on algebraic varieties
• Induced ${\cal D}$-modules and differential complexes
• Dwork cohomology and algebraic \(\mathcal D\)-modules
• scientific article; zbMATH DE number 802880

Cites work

• Dwork cohomology and algebraic \(\mathcal D\)-modules
• Equations différentielles à points singuliers réguliers
• scientific article; zbMATH DE number 4046107 (Why is no real title available?)
• scientific article; zbMATH DE number 3322751 (Why is no real title available?)
• Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
• Notes on Crystalline Cohomology. (MN-21)

Cited in

(5)

• Algebraic connections vs. algebraic \(\mathcal{D}\)-modules: regularity conditions
• DG-modules over de Rham DG-algebra
• D-MODULES ANDÉTALEMORPHISMS
• scientific article; zbMATH DE number 2125020 (Why is no real title available?)
• Grothendieck and differential equations

This page was built for publication: Algebraic connections vs. algebraic \(\mathcal D\)-modules: inverse and direct images

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