[論文レビュー] 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接続を用いて、特異超曲面の補集合のコホロジーにおける極の位数フィルトレーションとBrieskornモジュールの自由部の間の同型を確立することにより、Griffithsの有理積分に関する定理を一般化する。主な結果は、$P^{n-q}H^n(U,\mathbb{C})$ と $\overline{\cal H}_{f,(q+1)d}$ の同型を特定し、特異超曲面への古典的ホッジ理論の拡張と、家族における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$-フィルトレーションを用いて、超曲面の家族におけるKodaira-Spencer写像の一般化。
• BrieskornモジュールやBernstein-Sato多項式といった代数的構造を用いて、特異性を伴う場合のホッジフィルトレーションを計算するための枠組みの提供。

提案手法

• 超曲面に沿ったKashiwaraおよびMalgrangeの$V$-フィルトレーションを用いて、層$\mathcal{O}_X(*Y)$ 及びそのコホロジーの構造を分析する。
• Bernstein-Sato多項式を用いて、ホッジフィルトレーションと極の位数フィルトレーションの比較を制御する不変量$\alpha_Y$ を定義する。
• 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モジュールの各次元への作用を用いて、家族におけるホッジ構造の変動を記述する。
• 乗数イデアルおよび等標高性の理論を適用して、家族全体でフィルトレーション次元が一定であることを保証し、各次元へのGauss-Manin接続の作用を研究可能にする。

実験結果

リサーチクエスチョン

• RQ1 代数的D-加群理論を用いて、滑らかでない超曲面にまで拡張されたGriffithsの有理積分に関する定理をどのように一般化できるか。
• RQ2 超曲面の補集合のコホロジーにおけるホッジフィルトレーション$F$ と極の位数フィルトレーション$P$ の正確な関係は何か。
• RQ3 家族の超曲面において、Gauss-Manin接続はBrieskornモジュールの各次元にどのように作用するか。
• RQ4 家族の超曲面において、極の位数フィルトレーション$P^j H^n(U_s,\mathbb{C})$ の次元が一定である条件は何か。
• RQ5 基底上のベクトル場の作用を用いて、Brieskornモジュールを通じてKodaira-Spencer写像を代数的に記述できるか。

主な発見

• 極の位数フィルトレーション$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$ による乗法に一致する。
• ホッジフィルトレーション$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$ に対して、ホッジフィルトレーションと極の位数フィルトレーションは一致する：$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接続は、極の位数フィルトレーションの各次元に一意に定義された準同型を誘導する。この同型の下で、それは$-q(\xi f)_s$ による乗法に対応する。