[論文レビュー] Some remarks on the semi-positivity theorems

Osamu Fujino, Taro Fujisawa+1 more|arXiv (Cornell University)|Feb 25, 2013

Algebraic Geometry and Number Theory参考文献 28被引用数 6

ひとこと要約

本稿では、混合ホッジモジュール理論を用いて、単純正則交差対 (X,D) の双対化層に標準的な重みフィルトレーションを構成し、双対化層の高次直接像の半正定性定理を滑らかな場合に還元する。 perverse sheaves と混合ホッジモジュールの理論を活用することで、適切な混合ホッジ構造の変動に関する半正定性定理の証明を簡略化し、Kawamata の古典的結果を純粋な場合から混合の場合に一般化する。

ABSTRACT

We show that the dualizing sheaves of reduced simple normal crossings pairs have a canonical weight filtration in a compatible way with the one on the corresponding mixed Hodge modules by calculating the extension classes between the dualizing sheaves of smooth varieties. Using the weight spectral sequence of mixed Hodge modules, we then reduce the semi-positivity theorem for the higher direct images of dualizing sheaves to the smooth case where the assertion is well known. This may be used to simplify some constructions in a recent paper of Y. Kawamata. We also give a simple proof of the semi-positivity theorem for admissible variations of mixed Hodge structure in [FF] by using the theories of Cattani, Kaplan, Schmid, Steenbrink, and Zucker. This generalizes Kawamata's classical result in the pure case.

研究の動機と目的

• 滑らかな代数的多様体の双対化層間の拡張類を導来カテゴリと双対複体を用いて計算することで、還元可能で単純正則交差対 (X,D) の双対化層 ω_X(D) に混合ホッジモジュール構造と整合する標準的な重みフィルトレーションを構成すること。
• 混合ホッジモジュールの重みスペクトル系列を用いて、R^i f_* ω_X/Y(D) の半正定性定理を滑らかな場合に還元すること。
• perverse sheaves と混合ホッジモジュール理論を用いて、適切な混合ホッジ構造の変動に関する半正定性定理の証明を簡略化すること。
• Kawamata の純粋な場合における半正定性結果を混合ホッジ構造の設定に一般化すること。
• 本稿で構成した ω_X(D) 上の重みフィルトレーションが Kawamata [Kaw3] で構成されたものと一致することを示し、コhomological拡張類を用いて一意性を確立すること。

提案手法

• 導来カテゴリと双対複体を用いて、滑らかな多様体の双対化層間の拡張類を計算することで、ω_X(D) 上の重みフィルトレーションを構成する。
• Y 上の混合ホッジモジュールの重みスペクトル系列を用いる：E_1^{-q,i+q} = H^i f_* Gr^W_q(j_* DQ_h,U[-n]) ⇒ H^i f_*(j_* DQ_h,U[-n]) で、E_2 で退化する。
• 左・右 D-加群間の変換を適用し、混合ホッジモジュール上のホッジフィルトレーションと層 ω_X(D) を関連付ける。
• 極性可能ホッジモジュールの半単純性を適用し、重みスペクトル系列の E_1 微分が分解することを示し、E_2 項が直和因子であることを得る。
• 混合ホッジモジュール理論と perverse sheaves を用いて、Kawamata の研究における構成を簡略化し、技術的な留数複体の手法を避ける。
• 分解定理と単位的モノドロミーの性質を適用し、幾何的起源の混合ホッジモジュールの半正定性定理を、既知の文献の結果に還元する。

実験結果

リサーチクエスチョン

• RQ1 単純正則交差対の双対化層 ω_X(D) 上の重みフィルトレーションを、混合ホッジモジュール構造と整合するように、どのように標準的に定義できるか？
• RQ2 スペクトル系列と混合ホッジモジュール理論を用いて、R^i f_* ω_X/Y(D) の半正定性定理を滑らかな場合に還元することは可能か？
• RQ3 perverse sheaves と混合ホッジモジュールを用いることで、適切な混合ホッジ構造の変動に関する半正定性定理の証明をより簡潔に示すことは可能か？
• RQ4 本稿で構築した ω_X(D) 上の重みフィルトレーションは、Kawamata [Kaw3] におけるものと一致するか？ また、拡張類の計算により一意性を確立できるか？
• RQ5 重みスペクトル系列の E_1 微分が分解するための条件は何か？ そして、これは極性可能ホッジモジュールの半単純性とどのように関係するか？

主な発見

• 双対化層 ω_X(D) は、Gr^W_q ω_X(D) ≅ ⨁_{k+l=n+q+1} ω_{D^{[k,l]}} となる標準的な重みフィルトレーション W を持つ。
• f_* j_* DQ_h,U[-n] の重みスペクトル系列は E_2 で退化し、E_1 微分が分解するため、E_2 項は直和因子である。
• 重みスペクトル系列と混合ホッジモジュール理論を用いて、R^i f_* ω_X/Y(D) の半正定性定理は滑らかな場合に還元された。
• ω_X(D) 上の重みフィルトレーションの構成は局所埋め込みに依存せず、[Kaw3] でのものと一致するため、一意性が確立された。
• 混合ホッジモジュールと perverse sheaves を用いることで、技術的な留数複体の構成を避けて、適切な混合ホッジ構造の変動に関する半正定性定理の証明を簡略化した。
• f: X → Y が固有 Kähler 準同型であり、(X,D) が還元可能で単純正則交差な解析的対であるとき、結果は解析的カテゴリへ拡張可能である。