[論文レビュー] 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$-退化を確立する。これはデリーニの構成を高次元に拡張するものであり、$\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$-退化を確立すること。
• 曲線の場合にデリーニが構築したHodgeフィルトレーションを、正則交差除部分集合を伴う高次元多様体に一般化すること。
• 極の除部分集合が非特異で正則交差をなすという仮定の下で、コンツェビッチのスケッチに従い正標数への還元を用いて $E_1$-退化の完全な正当化を与えること。
• 佐藤による付録では、可能に非還元的正則交差除部分集合に対しても $E_1$-退化を示す別法を用いて結果を拡張すること。

提案手法

• 著者たちは、$\mathscr{D}$-加群およびフィルトレートド $\mathscr{D}$-加群の手法を用いて、歪みた de Rham複体 $\mathrm{d}+\mathrm{d}f$ における不規則Hodgeフィルトレーションを定義・解析する。
• 彼らは厳密特殊化および部分的ラプラース指数的ねじれの理論を適用し、フィルトレーションと対数形式を伴う de Rham複体を関連付ける。
• $E_1$-退化の証明は、コンツェビッチのスケッチに従い、正標数への還元に依拠し、正標数におけるカーティエ同型および持ち上げ技術を用いる。
• 著者たちは、フィルトレート歪みた de Rham複体とフィルトレートコンツェビッチ複体を比較し、愚鈍フィルトレーションの下でそれらが quasi-isomorphism であることを示す。
• 付録では、佐藤は混合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 コンツェビッチのスケッチに従い正標数への還元を用いた $E_1$-退化の完全な正当化は、極の除部分集合が非特異で正則交差をなす場合に可能か？
• RQ3 非還元的正則交差除部分集合に対しても $E_1$-退化の結果は安定か？ もしそうなら、$\mathscr{D}$-加群理論を用いてどのように証明できるか？
• RQ4 曲線の場合におけるユのフィルトレーションは、デリーニの元のフィルトレーションとどのように関係するか？
• RQ5 フィルトレートコンツェビッチ複体とフィルトレート歪みた de Rham複体の間の正確な関係は何か、$E_1$-退化の文脈において？

主な発見

• 滑らかな準射影的多様体上で正則関数 $f$ をとるとき、無限遠点における正則交差除部分集合を伴う、歪みた de Rham複体 $\mathrm{d}+\mathrm{d}f$ に付随する不規則Hodgeフィルトレーションのスペクトル系列は、$E_1$ で退化する。
• 極の除部分集合 $P = f^{-1}(\infty)$ が非特異で正則交差をなすという仮定の下で、正標数への還元を用いて $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] の適用が可能になることに依拠する。
• 著者たちは、曲線の場合にユのフィルトレーションがデリーニの元のフィルトレーションと一致することを示し、デリーニの構成を高次元に一般化する。
• 付録 E.2.5 の例は、$\mathrm{Ext}^1$ における拡張類が非自明であることを示しており、付録 E の主定理がこの拡張群だけでは証明できないことを示唆している。