[論文レビュー] On the existence of flips

Christopher D. Hacon, James McKernan|ArXiv.org|Jul 28, 2005

Algebraic Geometry and Number Theory参考文献 9被引用数 10

ひとこと要約

この論文は、最小モデルプログラム（MMP）の技術、可 divisor 環の有限生成、および制限代数の手法を用いて、実フラップが次元 $n-1$ で終結すると仮定すれば、次元 $n$ におけるフラップの存在を証明する。主な貢献は、次元 $n$ におけるフラップの存在を、次元 $n-1$ における実フラップの終結に還元することであり、次元4におけるフラップ存在の新しい証明を提供する。

ABSTRACT

We prove the existence of flips in dimension n, contingent on the termination of real flips in dimension n-1.

研究の動機と目的

• 次元 $n-1$ における実フラップの終結を仮定して、次元 $n$ におけるフラップの存在を確立すること。
• 高次元におけるフラップ存在問題を、低次元における実フラップの終結に還元すること。
• 次元3における実フラップの終結を用いて、次元4におけるフラップ存在の新しい証明を提供すること。
• 飽和と基点自由極限を用いて、除法的対に付随する制限代数の有限生成を示すこと。
• MMPの文脈において、フラップの存在と相対 canonical 環の有限生成との同値性を確立すること。

提案手法

• kawamata log terminal (klt) 対と相対 Picard 数1の収縮に注目する最小モデルプログラム（MMP）フレームワークを用いる。
• 対数解消の技術を適用して、$K_Y + \Gamma = g^*(K_X + \Delta) + E$ を得る。ここで $E$ は例外的であり、$\Gamma$ と $E$ は共通成分を持たない。
• 除法 $S$ の厳密変換 $T$ 上の制限代数 $\mathfrak{R}_T$ を構成し、その特徴的系列 $D_i = M_i/i$ を用いて有限生成を分析する。
• Kawamata-Viehweg の消失定理を用いて、制限写像の上への性質を証明し、適切な正性条件の下で制限代数の飽和を保証する。
• 可縮部分の極限挙動をモデル化するための凸系列 $\Theta_\bullet$ を用い、基点自由定理により極限の半正則性を証明する。
• 参考文献 [8.3] の有限生成基準を適用して、$\mathfrak{R}_T$ の有限生成が $\mathfrak{R}_S$ の有限生成を示し、フラップ存在の議論を完了する。

実験結果

リサーチクエスチョン

• RQ1 次元 $n$ におけるフラップの存在は、次元 $n-1$ における実フラップの終結から導かれるか？
• RQ2 正性および消失条件の下で、制限代数 $\mathfrak{R}_T$ の有限生成は確立可能か？
• RQ3 ネフかつビッグな反 canonical 除法の下で、制限代数の特徴的系列は飽和されるか？
• RQ4 フラップの存在を仮定すれば、次元 $n$ におけるMMPはその次元におけるフラップの終結に還元可能か？
• RQ5 対数解消と分解 $mG = N_m + G_m$ は、除法的環の有限生成の証明においてどのような役割を果たすか？

主な発見

• 実フラップが次元 $n-1$ で終結するならば、次元 $n$ におけるフラップが存在する。これは定理 1.1 の証明である。
• 制限代数 $\mathfrak{R}_T$ が飽和されており、その特徴的系列の極限が半正則であれば、$\mathfrak{R}_T$ は有限生成である。
• $\mathfrak{R}_T$ の有限生成は、$\mathfrak{R}_S$ の有限生成を示し、これはフラップの存在と同値である。
• Kawamata-Viehweg の消失定理と正性条件の下での制限写像の上への性質により、制限代数 $\mathfrak{R}_T$ の飽和が導かれる。
• 次元3における実フラップの終結に関するShokurovの結果を応用して、次元4におけるフラップの存在が示される。
• 証明は、制限代数と特徴的系列の構造を介して、相対 canonical 環の有限生成にフラップの存在を還元する。