[论文解读] A generalization of Griffiths' theorem on rational integrals

Alexandru Dimca, Morihiko Saito|ArXiv.org|Jan 17, 2005

Algebraic Geometry and Number Theory参考文献 7被引用 9

一句话总结

本文通过使用 $V$-filtration、Bernstein-Sato 多项式和 Gauss-Manin 联络，将 Griffiths 定理关于有理积分的结论推广至奇异超曲面，建立了超曲面补集上上同调的极点阶滤子与 Brieskorn 模块自由部分之间的同构关系。关键结果将 $P^{n-q}H^n(U,\mathbb{C})$ 与 $\overline{\cal H}_{f,(q+1)d}$ 对应起来，将经典 Hodge 理论推广至奇异超曲面，并在族的情形中精化了 Kodaira-Spencer 映射。

ABSTRACT

We generalize Griffiths' theorem on the Hodge filtration of the primitive cohomology of a smooth projective hypersurface, using the local Bernstein-Sato polynomials, the V-filtration of Kashiwara and Malgrange along the hypersurface and the Brieskorn module of the global defining equation of the hypersurface.

研究动机与目标

• 将 Griffiths 关于初等上同调与有理积分的经典定理推广至奇异超曲面。
• 在超曲面补集的 de Rham 上同调上，建立极点阶滤子与 Brieskorn 模块分次部分之间的精确对应关系。
• 通过 Gauss-Manin 联络与 $V$-filtration，推广族中超曲面的 Kodaira-Spencer 映射。
• 通过 Brieskorn 模块与 Bernstein-Sato 多项式等代数结构，提供在奇点存在下计算 Hodge 滤子的框架。

提出的方法

• 利用 Kashiwara 与 Malgrange 沿超曲面的 $V$-filtration，分析层 $\mathcal{O}_X(*Y)$ 及其上同调的结构。
• 应用 Bernstein-Sato 多项式定义不变量 $\alpha_Y$，以控制 Hodge 滤子与极点阶滤子之间的比较。
• 构造 Brieskorn 模块 $\overline{\cal H}_f = \Omega^{n+1}/df \wedge d\Omega^{n-1}$，并证明其为有限秩的 $\mathbb{C}[t]$-自由分次模。
• 建立从过滤 $\omega_X(*Y)$ 的整体截面到 $\overline{\cal H}_{f,(q+1)d}$ 的典范态射，证明其在滤子之间诱导同构。
• 利用 Gauss-Manin 联络及其在 Brieskorn 模块分次部分上的作用，描述族中 Hodge 结构的变化。
• 应用乘子理想与等维性理论，确保族中滤子维数的恒定性，从而使得在 Brieskorn 模块分次部分上研究 Gauss-Manin 联络成为可能。

实验结果

研究问题

• RQ1 如何通过代数 D-模理论，将 Griffiths 关于有理积分的定理从光滑超曲面推广至包含奇异超曲面的情形？
• RQ2 Hodge 滤子 $F$ 与超曲面补集上同调的极点阶滤子 $P$ 之间的确切关系是什么？
• RQ3 在超曲面族中，Gauss-Manin 联络如何作用于 Brieskorn 模块的分次部分？
• RQ4 在什么条件下，极点阶滤子 $P^j H^n(U_s,\mathbb{C})$ 的维数在一族超曲面中保持不变？
• RQ5 Kodaira-Spencer 映射能否通过 Brieskorn 模块与基空间上向量场的作用进行代数描述？

主要发现

• 极点阶滤子 $P^{n-q}H^n(U,\mathbb{C})$ 自然同构于 Brieskorn 模块的分次部分 $\overline{\cal H}_{f,(q+1)d}$。
• 包含关系 $P^{n-q+1}H^n(U,\mathbb{C}) \hookrightarrow P^{n-q}H^n(U,\mathbb{C})$ 对应于 $\overline{\cal H}_{f,qd} \to \overline{\cal H}_{f,(q+1)d}$ 上的乘法 $t$。
• Hodge 滤子 $F^{n-q}H^n(U,\mathbb{C})$ 与从 $\Gamma(X, F_q(\omega_X(*Y)))$ 到 $\overline{\cal H}_{f,(q+1)d}$ 的态射的像一致。
• 当 $q \leq \alpha_Y - 1$ 时，Hodge 滤子与极点阶滤子重合：$F^{n-q}H^n(U,\mathbb{C}) = \overline{\cal H}_{f,(q+1)d}$。
• 在 $\mathbb{Q}$-同调流形的情形下，$F^{n-q}H^n(U,\mathbb{C})$ 对应于 $Y$ 的初等上同调，且 $H^j(Y,\mathbb{C}) \cong \mathrm{IH}^j(Y,\mathbb{C})$。
• Gauss-Manin 联络在极点阶滤子的分次部分上诱导出一个良定义的态射，该态射在与 Brieskorn 模块的同构下对应于乘法 $-q(\xi f)_s$。