[論文レビュー] On semipositivity, injectivity and vanishing theorems

Osamu Fujino|arXiv (Cornell University)|Mar 23, 2015

Algebraic Geometry and Number Theory参考文献 83被引用数 16

ひとこと要約

このサーベイ論文は、高次元複素代数幾何における先進的な特徴に関するコhomological定理を提示しており、特に相対的（log） canonical および pluricanonical バンドルの直接像に関する半正則性、単射性、消滅定理に焦点を当てている。混合Hodge理論と最小モデルプログラム（MMP）を用いて新しい結果を確立し、主な貢献として、特にlog canonical対やグローバルに埋め込まれた単純正則交差対の文脈において、pluricanonical 系の一般化された単射性および半正則性定理が得られている。

ABSTRACT

This is a survey article on the recent developments of semipositivity, injectivity, and vanishing theorems for higher-dimensional complex projective varieties.

研究の動機と目的

• 近年の半正則性、単射性、消滅定理に関する高次元複素射影的多様体における発展を統合・拡張すること。
• コンパクト台付きコホモロジー上の混合Hodge構造に基づくコホモロジー的枠組みを確立すること。
• Hodge理論的およびMMPに基づく手法を用いて、Kollárの単射性定理と消滅定理を一般化すること。
• 幾何的応用において、canonical ディバイザーに比べてpluricanonical ディバイザーがどのように優れているかを示すこと。
• nefおよびlog big ディバイザーが半正則性および単射性定理において果たす役割を明確にすること。

提案手法

• コンパクト台付きコホモロジー上の混合Hodge構造を用いて、単射性定理を一般化する。
• グレーデッドに極化可能な適切な混合Hodge構造の変動理論を適用して、半正則性定理を証明する。
• 最小モデルプログラム（MMP）を用いて、相対的pluricanonical バンドルの直接像に関する新しい半正則性結果を導出する。
• 許容可能（permissible）なディバイザーおよびlog big ディバイザーの概念を導入し、単射性および半正則性条件を精緻化する。
• グローバルに埋め込まれた単純正則交差対およびストラタ理論を用いて、特異点および台条件を分析する。
• $ R$-線形同値および相対的 $ R$-線形同値を用いて、コホモロジー的議論におけるディバイザー類を扱う。

実験結果

リサーチクエスチョン

• RQ1 コンパクト台付きコホモロジー上の混合Hodge理論を用いて、Kollárの単射性定理をどのように一般化できるか？
• RQ2 相対的pluricanonical バンドルの直接像が半正則となる条件は何か？
• RQ3 etale被覆およびモジュライ理論において、pluricanonical ディバイザーはcanonical ディバイザーに比べてどのような点で優れているか？
• RQ4 nefおよびlog big ディバイザーは、log canonical 対の文脈において、単射性および半正則性定理とどのように関係するか？
• RQ5 最小モデルプログラムに依存せずに、pluricanonical 系の半正則性定理を証明することは可能か？

主な発見

• 定理 2.12 は、コンパクト台付きコホモロジー上の混合Hodge構造を用いて、$\rR$-線形同値なディバイザーに対する一般化された単射性定理を確立している。
• 定理 2.13 は、基底スキーム上でのnefおよびlog big ディバイザーに対する単射性結果を提供し、古典的な消滅定理を拡張している。
• 定理 3.6 は、最小モデルプログラムを用いて、相対的pluricanonical バンドルの直接像の半正則性を証明し、新しいHodge理論的視点を提供している。
• 一般型多様体の有限etale被覆におけるplurigeneraは、乗数イデアル層およびMMPを用いて、保存されることを示している。
• Viehwegのpluricanonical バンドルの直接像に関するアンピュラス定理は、log canonical 対の文脈において再解釈され、明確化されている。
• 本論文は、一般型の場合を除く（log）canonical 環の有限生成性に、半正則性定理が不可欠であることを確認している。