[論文レビュー] Vanishing and injectivity theorems for Hodge modules

Lei Wu|arXiv (Cornell University)|May 5, 2015

Algebraic Geometry and Number Theory参考文献 15被引用数 4

ひとこと要約

本稿は、任意の複素射影的多様体上の純HodgeモジュールのHodge層の最低位のフィルトレーション成分に対して、Kawamata-Viehwegの消失定理を確立する。2つの手法を用いる：近傍サイクルを用いた帰納的証明と、Esnault-ViehwegにインspiredされたDeligneの正規拡張の全射性定理。主な貢献は、先行研究における余分な仮定を排除し、$ L $ がnefかつbigで、$ M $ が $ X $ を厳密な補題とする極小的純Hodgeモジュールであるとき、$ H^i(X, S(M) \otimes L) = 0 $ が $ i > 0 $ に対して成り立つことを示したことである。

ABSTRACT

We prove a surjectivity theorem for the Deligne canonical extension of a polarizable variation of Hodge structure with quasi-unipotent monodromy at infinity along the lines of Esnault-Viehweg. We deduce from it several injectivity theorems and vanishing theorems for pure Hodge modules. We also give an inductive proof of Kawamata-Viehweg vanishing for the lowest graded piece of the Hodge filtration of a pure Hodge module using mixed Hodge modules of nearby cycles.

研究の動機と目的

• PopaのHodgeモジュールに関するKawamata-Viehweg型消失定理における余分な仮定を排除することで、先行研究のギャップを埋める。
• 特異な射影的多様体上の純HodgeモジュールのHodgeフィルトレーションの最低位の成分 $ S(M) $ に対する一般消失定理を確立する。
• 2通りの異なる証明を提供する：混合Hodgeモジュールの近傍サイクルを用いた帰納的証明と、Deligne正規拡張の全射性定理に基づく証明。
• $ \mathbb{Q} $-除法子に対して、有効な $ \varepsilon $-閾値を構成することで、摂動における単射性と消失性を拡張する。
• 単射性と消失定理を、nefかつbigなラインバンドルおよび有効な $ \mathbb{Q} $-除法子の摂動に一般化する。

提案手法

• 近傍サイクル関手と混合Hodgeモジュールを用いた、超平面切断による次元削減を伴う帰納的戦略を用いる。
• $ \mathscr{D} $-モジュールおよびHodgeモジュールの理論、特にRiemann-Hilbert対応およびHodgeモジュールのde Rham複体を適用する。
• Esnault-Viehwegの方法に従い、準単位的モノドロミーを持つ極小的バリエーションHodge構造のDeligne正規拡張の全射性定理を証明する。
• 特異点集合および除法子のロールアップ解像を構成し、単純な交わりを持つ状況に還元することで、単射性定理を適用可能にする。
• モノドロミーの固有値が $[0,1)$ に属することを用い、$ N $ を $ D $ で摂動してもnef性と消失性が保たれる有効な $ \varepsilon $-閾値を定義する。
• Serreの消失定理とコhomological誘導を用い、$ L $ がnefかつbigであるとき、$ H^i(X, S(M) \otimes L) = 0 $ が $ i > 0 $ に対して成り立つことを導出する。

実験結果

リサーチクエスチョン

• RQ1 純Hodgeモジュール $ M $ の最低位のフィルトレーション成分 $ S(M) $ に対するKawamata-Viehwegの消失定理は、余分な仮定なしにnefかつbigなラインバンドルへ拡張可能か？
• RQ2 単射性および消失定理を、小さな有理数係数を持つ $ \mathbb{Q} $-除法子へ一般化することは可能か？
• RQ3 Hodgeモジュール設定において、写像 $ H^i(X, \text{Gr}^\text{first}_F \text{DR}_{(X,D)}(\tilde{\mathcal{V}}) \otimes L^{-1}(-E)) \to H^i(X, \text{Gr}^\text{first}_F \text{DR}_{(X,D)}(\tilde{\mathcal{V}}) \otimes L^{-1}) $ の全射性は、$ S(M) \otimes L \to S(M) \otimes L(E) $ の単射性を示唆するか？
• RQ4 近傍サイクルを用いた帰納的証明は、特異多様体上の純Hodgeモジュールに対する完全なKawamata-Viehwegの消失定理を導出可能か？
• RQ5 ある有効な $ \varepsilon > 0 $ が存在し、nefかつbigな $ \mathbb{Q} $-除法子 $ N $ を $ \varepsilon_1 D $ で摂動しても、$ H^i(X, S(M) \otimes L) = 0 $ が $ i > 0 $ に対して保たれるか？

主な発見

• 純Hodgeモジュール $ M $ の最低位のフィルトレーション成分 $ S(M) $ に対して、$ L $ がnefかつbigであるとき、Kawamata-Viehwegの消失定理が成り立つ：$ H^i(X, S(M) \otimes L) = 0 $ がすべての $ i > 0 $ に対して成立する。
• $ L $ がnefのみのとき、$ H^i(X, S(M) \otimes L) = 0 $ は $ i > n - \kappa(L) $ に対して成り立つ。ここで $ \kappa(L) $ は $ L $ のIitaka次元である。
• 単射性定理は、$ L $ がnefかつbigであるか、半正規的である場合に成り立ち、$ H^0(X, L^m(-E)) \neq 0 $ となる $ m > 0 $ が存在する。このとき、写像 $ H^i(X, S(M) \otimes L) \to H^i(X, S(M) \otimes L(E)) $ は単射である。
• $ \mathbb{Q} $-除法子に対して、有効な $ \varepsilon > 0 $ が存在し、$ L \sim_\mathbb{Q} N + \varepsilon_1 D $ かつ $ 0 < \varepsilon_1 < \varepsilon $ ならば、$ H^i(X, S(M) \otimes L) = 0 $ が $ i > 0 $ に対して成り立つ。これは、元々のKawamata-Viehwegの定理を一般化する。
• $ X $ が滑らかで $ M = \mathbb{Q}_X^H $ のとき、結果は古典的Kawamata-Viehwegの消失定理に還元され、$ \varepsilon = 1 $ として、$ \omega_X $ および $ \mathbb{Q} $-除法子に対して元の主張が回復される。
• 近傍サイクルおよび近傍サイクルの混合Hodgeモジュールを用いた帰納的証明は、Esnault-Viehwegの方法とは独立した、幾何的で新しい消失定理の証明法を提供する。