[论文解读] E_1-degeneration of the irregular Hodge filtration (with an appendix by Morihiko Saito)

Hélène Esnault, Claude Sabbah+1 more|arXiv (Cornell University)|Feb 19, 2013

Algebraic Geometry and Number Theory参考文献 16被引用 18

一句话总结

本文建立了光滑拟射影概族上正则函数 $f$ 的扭曲 de Rham 复形 $\mathrm{d}+\mathrm{d}f$ 的不规则 Hodge 滤子相关谱序列的 $E_1$-退化性，将 Deligne 的构造推广至高维情形。作者运用 $\mathscr{D}$-模理论与正特征归约方法，证明了在法向相交除子情形下的退化性，附录中佐藤进一步将结果推广至可能非约化的法向相交除子情形。

ABSTRACT

For a regular function f on a smooth complex quasi-projective variety, J.-D. Yu introduced in arXiv:1203.2338 a filtration (the irregular Hodge filtration) on the de Rham complex with twisted differential d+df, extending a definition of Deligne in the case of curves. In this article, we show the degeneration at E_1 of the spectral sequence attached to the irregular Hodge filtration, by using the method of arXiv:0804.4328. We also make explicit the relation with a complex introduced by M. Kontsevich and give details on its proof of the corresponding E_1 degeneration, by reduction to characteristic p, when the pole divisor of the function is reduced with normal crossings. In Appendix E, M. Saito gives a different proof of the latter statement with a possibly non reduced normal crossing pole divisor.

研究动机与目标

• 建立光滑拟射影概族上正则函数 $f$ 的扭曲 de Rham 复形 $\mathrm{d}+\mathrm{d}f$ 的不规则 Hodge 滤子相关谱序列的 $E_1$-退化性。
• 将 Deligne 在曲线情形下的 Hodge 滤子构造推广至具有法向相交除子的高维代数簇。
• 在极点除子为约化且具有法向相交的情形下，完整验证 Kontsevich 关于通过正特征归约实现 $E_1$-退化性的思路。
• 利用附录中佐藤提出的不同方法，将 $E_1$-退化性结果推广至可能非约化的法向相交除子情形。

提出的方法

• 作者运用 $\mathscr{D}$-模与滤子 $\mathscr{D}$-模方法，定义并分析扭曲 de Rham 复形 $\mathrm{d}+\mathrm{d}f$ 上的不规则 Hodge 滤子。
• 他们应用严格可特殊化性理论与部分 Laplace 指数扭变换，将滤子与具有对数微分形式的 de Rham 复形联系起来。
• 退化性的证明依赖于正特征归约，遵循 Kontsevich 的思路，利用特征 $p$ 中的 Cartier 同构与提升技术。
• 作者将滤子扭曲 de Rham 复形与滤子 Kontsevich 复形进行比较，证明在平凡滤子下二者为拟同构。
• 附录中，佐藤运用混合 Hodge 模理论与范畴 $\mathrm{MHW}(X)$，证明了在可能非约化的法向相交除子情形下的 $E_1$-退化性。
• 该证明涉及证明某个态射 $\psi^\mathscr{D}_{g,1}(\mathscr{O}_X,F) \to \mathrm{DR}^{-1}(\Omega_{X/S}^{\bullet}\langle D\rangle_P,F)[n-1]$ 为滤子同构，其依据为单值化滤子的性质与混合 Hodge 模范畴的结构。

实验结果

研究问题

• RQ1 在具有无穷远处法向相交除子的光滑拟射影概族上，扭曲 de Rham 复形 $\mathrm{d}+\mathrm{d}f$ 的不规则 Hodge 滤子是否诱导出在 $E_1$ 退化的谱序列？
• RQ2 Kontsevich 关于通过正特征归约实现 $E_1$-退化性的思路，能否在极点除子为约化且具有法向相交的情形下被完整地严格化？
• RQ3 当除子可能非约化时，$E_1$-退化性结果是否仍然成立？若成立，能否通过 $\mathscr{D}$-模理论加以证明？
• RQ4 在曲线情形下，Yu 的滤子与 Deligne 原始滤子在扭曲 de Rham 复形上如何关联？
• RQ5 在 $E_1$-退化性的背景下，滤子 Kontsevich 复形与滤子扭曲 de Rham 复形之间的确切关系为何？

主要发现

• 对于任意光滑拟射影概族上具有法向相交除子的正则函数 $f$，其扭曲 de Rham 复形 $\mathrm{d}+\mathrm{d}f$ 的不规则 Hodge 滤子相关谱序列在 $E_1$ 处退化。
• 在极点除子 $P = f^{-1}(\infty)$ 为约化且具有法向相交的假设下，通过正特征归约方法，依据 Kontsevich 的思路，证明了 $E_1$-退化性。
• 附录中，佐藤利用混合 Hodge 模理论与范畴 $\mathrm{MHW}(X)$，证明了在可能非约化的法向相交除子情形下的 $E_1$-退化性，表明态射 $\psi^\mathscr{D}_{g,1}(\mathscr{O}_X,F) \to \mathrm{DR}^{-1}(\Omega_{X/S}^{\bullet}\langle D\rangle_P,F)[n-1]$ 为滤子同构。
• 该证明依赖于滤子 $\mathscr{D}$-模结构与单值化滤子的相容性，以及源与目标均携带相同的 $\mathbb{Q}$-结构 $\psi_{g,1}\mathbb{Q}_X[n-1]$，从而可应用 [Sai88, Prop. 5.1.14]。
• 作者证明了在曲线情形下，Yu 的滤子与 Deligne 的滤子在扭曲 de Rham 复形上一致，从而将 Deligne 的构造推广至高维情形。
• 附录 E.2.5 中的例证表明，$\mathrm{Ext}^1$ 中的扩张类非平凡，说明附录 E 中的主要定理无法仅通过该扩张群证明。