[論文レビュー] Vanishing and semipositivity theorems for semi-log canonical pairs

Osamu Fujino|arXiv (Cornell University)|Sep 2, 2015

Algebraic Geometry and Number Theory参考文献 25被引用数 3

ひとこと要約

本稿は、混合ホッジ構造の変動に依存せずに、半対数正則な対に対する有効な消滅定理と半正定性定理を確立する。対数フルカノニカルバンドルの直接像に対する有効な消滅定理を証明し、それを応用して曲線上の相対対数フルカノニカルバンドルの半正定性定理を導出し、安定代数的多様体のモジュライ空間のプロジェクトーリティを示す。

ABSTRACT

We prove an effective vanishing theorem for direct images of log pluricanonical bundles of projective semi-log canonical pairs. As an application, we obtain a semipositivity theorem for direct images of relative log pluricanonical bundles of projective semi-log canonical pairs over curves, which implies the projectivity of the moduli spaces of stable varieties. It is worth mentioning that we do not use the theory of variation of (mixed) Hodge structure.

研究の動機と目的

• 射影的半対数正則な対上の対数フルカノニカルバンドルの直接像に対する有効な消滅定理を確立すること。
• 混合ホッジ構造の変動を用いない、曲線上の相対対数フルカノニカルバンドルの直接像に関する半正定性定理を証明すること。
• 安定代数的多様体のモジュライ空間のプロジェクトーリティに対する、ホッジ理論に依存しない新しい証明を提供すること。
• 高度なホッジ理論的道具に依存しない、Fujino (2012) の基本半正定性定理の簡素でアクセスしやすい証明を提供すること。
• Fujino (2012) を補完し、その結果を代替的で直接的な方法によってよりアクセスしやすくすること。

提案手法

• カステルヌオヴォ–マウムフォード正則性に基づく明示的なコホロロジー消滅境界を用いて、$ f_*\mathcal{O}_X(D) \otimes \mathcal{O}_Y(lL) $ に対する有効な消滅定理（定理1.1）を証明する。
• 半対数正則な対に対するコルラー–オサワ型消滅定理（定理3.1）を、中心的な技術的要素として用いる。
• コンパクトなコホロロジーに伴う混合ホッジ構造の理論を用いて、単純な正則交差対における消滅を確立する。
• 反復ファイバー積 $ X^{(s)} $ を構成し、吹き上げによる被覆的変形を用いて特異点を解消しながら、対数正則性を保つ。
• 解消の間で canonical sheaves を関連付けるために、一般に同型である包含写像 $ g_*\omega_Z(\Delta_Z) \subset \omega_{X^{(s)}}(D^{(s)}) $ を用いる。
• $ \mathcal{M} = \omega_C \otimes \mathcal{L}^{\otimes 2} $ を用いたグローバル生成性を適用し、ホッジ理論を用いずに $ f_*\omega_{X/C}(D) $ のネフ性を導出する。

実験結果

リサーチクエスチョン

• RQ1 混合ホッジ構造の変動に依存せずに、半対数正則な対に対する有効な消滅定理を確立できるか？
• RQ2 曲線上の相対対数フルカノニカルバンドルの直接像の半正定性は、単に消滅定理のみで証明可能か？
• RQ3 安定代数的多様体のモジュライ空間のプロジェクトーリティは、ホッジ理論的手段に依存せずに確立可能か？
• RQ4 単純な正則交差対に対して、基本半正定性定理が成立する最小の仮定は何か？
• RQ5 Fujino (2012, 定理1.9) の証明を自己完結的かつホッジ理論フリーにできるか？

主な発見

• 有効な消滅定理（定理1.1）が確立された：$ i > 0 $ および $ l \geq (k-1)(n+1-t) - t + 1 $ に対して $ H^i(Y, f_*\mathcal{O}_X(D) \otimes \mathcal{O}_Y(lL)) = 0 $ であり、$ l \geq (k-1)(n+1-t) - t + 1 + n $ でグローバル生成性が成立する。
• 半正定性定理（定理1.2）が証明された：平坦な準同型 $ f: X \to Y $ が滑らかな曲線 $ Y $ 上で定義され、半対数正則かつ生成条件を満たすとき、$ f_*\mathcal{O}_X(k(K_{X/Y} + \Delta)) $ はネフである。
• ホッジ理論を用いない基本半正定性定理（定理1.4）が再証明された：単純な正則交差対 $ (X,D) $ に対して、$ f: X \to C $ が平坦かつすべてのストラトゥムが $ C $ に支配的であるとき、$ f_*\omega_{X/C}(D) $ はネフである。
• Kollárの基準と半正定性結果を用いて、安定代数的多様体の粗モジュライ空間の完全部分空間のプロジェクトーリティ（定理1.3）が確立された。
• 基本半正定性定理の証明が簡素化され、階層的極性的アドミッスブル変動混合ホッジ構造に依存しなくなった。
• $ \Delta_Z $ が単純な正則交差分岐である解消 $ g: Z \to X^{(s)} $ の構成により、canonical sheaves の整合性が保証され、グローバル生成性の議論が可能になった。