arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0707.1748math.AG
收藏

代数连接与代数{ $\cD$ }-模块:逆映像和正映像

Algebraic Connections vs. Algebraic {$\cD$}-modules: inverse and direct images

Maurizio Cailotto, Luisa Fiorot

摘要:

在(代数可积)联络语言和(代数)$\cD$ -模语言的字典中,比较联络和$\cD$-模的逆像的定义是容易的。但是,联络(光滑态射的Gauss-Manin联络的经典构造)和$\cD$ -模的直接象之间的比较,虽然为专家所知,但直到最近才在Dimca,Maaref,Sabbah和Saito于2000年的一篇论文中得到明确证明,其中作者的主要技术工具是M. Saito证明了$\cD$ -模的导出范畴与微分复形的局部范畴之间的等价性。这篇短文的目的是对[DMSS]的论证做一个简单的总结,并提出一个更简单的比较证明,即它不使用斋藤等价。此外,我们的另一种比较策略在Gauss-Manin连接的前身(对于态射$f:X\to Y$,在$f^{-1}\cD_Y$ -模的水平上)的上下文中起作用,并且可能具有某种内在的兴趣。

英文摘要:

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}\cD_Y$-modules, for a morphism $f:X\to Y$), and may be of some intrinsic interest.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑