[論文レビュー] Hodge modules on complex tori and generic vanishing for compact Kähler manifolds

Giuseppe Pareschi, Mihnea Popa+1 more|arXiv (Cornell University)|May 4, 2015

Algebraic Geometry and Number Theory参考文献 23被引用数 8

ひとこと要約

本稿は、コンpact複素トーラス上の極性可能実Hodgeモジュールへ一般化された一般化消失理論を展開し、ホロモルフィック写像による canonical バンドルの高次直接像が、M-正則層と torsion 線束のテンソル積の和に分解することを証明する。これにより、コンパクトケーラー多様体がトーラスとびめらん的同型であるための特徴付けが得られ、コhomology 上の Leray およびカップ積フィルトレーションの一致が確立され、古典的ホッジ理論における主要な技術的ギャップが解消される。

ABSTRACT

We extend the results of generic vanishing theory to polarizable real Hodge modules on compact complex tori, and from there to arbitrary compact Kähler manifolds. As applications, we obtain a bimeromorphic characterization of compact complex tori among compact Kähler manifolds, semi-positivity results, and a description of the Leray filtration for maps to tori.

研究の動機と目的

• ホッジモジュール理論を用いて、射影的多様体から任意のコンパクトケーラー多様体へ一般化消失定理を拡張すること。
• コンパクトケーラー多様体から複素トーラスへの写像における canonical バンドルの高次直接像の分解定理を確立すること。
• コhomological 不変量を用いて、コンパクトケーラー多様体が複素トーラスとびめらん的同型であることを特徴づけること。
• Leray フィルトレーションをカップ積作用の観点から記述し、古典的ホッジ理論におけるギャップを解消すること。

提案手法

• コンパクト複素トーラス上の極性可能実Hodgeモジュールを、古典的ホッジ理論の一般化として用いること。
• Saito のHodgeモジュール理論およびFourier-Mukai 変換を用いて、canonical バンドルのコhomological 性質を解析すること。
• GV-層およびM-正則性条件を活用し、高次直接像の台および正性を分析すること。
• 外代数上のgradedモジュールの0-正則性を用いて、Leray フィルトレーションとカップ積フィルトレーションの一致を証明すること。
• Hodge 共役およびSerre双対性を用いて、フィルトレーション記述を正則微分形式へ双対化すること。
• LPS における0-正則性の結果をケーラー設定へ適応し、新フレームワーク下でフィルトレーションが一致することを保証すること。

実験結果

リサーチクエスチョン

• RQ1 canonical バンドルに対する一般化消失定理は、射影的多様体から任意のコンパクトケーラー多様体へ拡張可能か？
• RQ2 コンパクトケーラー多様体から複素トーラスへの写像における $ R^j f_* ω_X $ の正確な構造は何か？
• RQ3 どのようなコhomological 条件のもとで、コンパクトケーラー多様体 $ X $ は複素トーラスとびめらん的同型か？
• RQ4 ケーラー設定下で、$ H^k(X, ω_X) $ 上のLeray フィルトレーションとカップ積フィルトレーションはどのように関係するか？
• RQ5 Leray フィルトレーションは、正則1-形式との外積作用を用いて明示的に記述可能か？

主な発見

• 高次直接像 $ R^j f_* ω_X $ は、ターゲットトーラスの商へのM-正則層の引き戻しと、$ ×^0(T) $ 内の torsion 線束とのテンソル積の有限直和に分解される。
• 層 $ R^j f_* ω_X $ はGV-層であるため、nef であり、部分写像の仮定のもとで半正定である。
• コンパクトケーラー多様体 $ X $ が複素トーラスとびめらん的同型であるための必要十分条件は、$ \dim H^1(X,\mathbb{C}) = 2\dim X $ かつ $ P_1(X) = P_2(X) = 1 $ である。
• コhomology 上のLeray フィルトレーションは、$ H^1(T, \mathcal{O}_T) $ のカップ積作用によって誘導されるフィルトレーションと一致する。これにより、長年の技術的ギャップが解消される。
• 双対フィルトレーション $ H^0(X, \Omega_X^j) $ は、$ \bigwedge^{n+1-i-j} H^0(X, \Omega_X^1) $ との外積の消失によって特徴づけられ、明示的な幾何的記述が得られる。
• 証明はHodgeモジュール理論に依拠しており、古典的ホッジ理論だけではLeray フィルトレーションの事前制御が不十分なため、フィルトレーションの一致を確立できない。