[論文レビュー] Finite generation of a canonical ring

Yūjirō Kawamata|ArXiv.org|Apr 19, 2008

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

ひとこと要約

本稿は、特徴量がゼロの体上の滑らかで射影的な代数多様体について、最小モデルプログラム（MMP）を用いて canonical ring $ R(X, K_X) $ の有限生成性を代数的に証明する。主な結果は、$ R(X, K_X) $ が重層代数として有限生成であることを示しており、これにより canonical model $ \mathrm{Proj}\, R(X, K_X) $ の構成が可能になる。この canonical model は双有理不変量であり、代数多様体の分類において中心的な役割を果たす。

ABSTRACT

The purpose of this note is to review an algebraic proof of the finite generation theorem due to Birkar-Cascini-Hacon-McKernan whose method is based on the Minimal Model Program. A survey article for Current Development in Mathematics 2007.

研究の動機と目的

• 特徴量がゼロの体上の滑らかで射影的な多様体 $ X $ に対して、canonical ring $ R(X, K_X) $ が重層代数として有限生成であることを証明すること。
• Siu の解析的証明に対する代数的代替案を提供すること。
• canonical ring が双有理不変量であることを確立し、代数多様体の分類において不可欠な役割を果たすことを示すこと。
• 一般型のすべての多様体に対して canonical model $ \mathrm{Proj}\, R(X, K_X) $ が存在し、適切に定義されることを示すこと。
• 最小モデルプログラム（MMP）の基礎的枠組みを整備し、Mori 纤維空間の存在と、Sarkisov リンクによる双有理写像の構造を含むこと。

提案手法

• 有限生成性の証明の核となる枠組みとして、最小モデルプログラム（MMP）を用いる。
• 対象となる除数の構造を分析するため、対数正則なペアの理論および基底スキーム上の相対的 MMP を適用する。
• 多面体分解定理を用いて、双有理写像を除数類の空間内でのウォールクロッシング過程として解釈する。
• 相対的ピカール数に関する帰納法を用いて、双有理写像をフラップとフロップの系列に分解する。
• canonical 判別が擬効的でない場合、MMP は終端的モデルとして Mori 纤維空間構造を生成する。
• 特徴量ゼロでのみ成立する、Hironaka の特異点解消と Kodaira の消失定理に依拠する。

実験結果

リサーチクエスチョン

• RQ1 特徴量がゼロの滑らかで射影的な多様体 $ X $ に対して、base field 上の重層代数として canonical ring $ R(X, K_X) $ は有限生成か？
• RQ2 MMP フレームワーク内で、完全に代数的手段を用いて canonical ring の有限生成性を確立できるか？
• RQ3 minimal model や Mori 纤維空間間の双有理写像はどのように分解され、その分解は終了するか？
• RQ4 canonical ring が代数多様体の分類において双有理不変量として果たす役割は何か？
• RQ5 canonical model $ \mathrm{Proj}\, R(X, K_X) $ の構造を用いて、双有理同値関係による多様体の分類が可能か？

主な発見

• 特徴量がゼロの滑らかで射影的な多様体 $ X $ に対して、base field $ k $ 上の canonical ring $ R(X, K_X) $ は有限生成であり、これにより canonical model $ \mathrm{Proj}\, R(X, K_X) $ の存在が保証される。
• canonical ring は双有理不変量である：滑らかで射影的な多様体間の双有理な準同型 $ f: X \to Y $ に対して、$ f_*: R(X, K_X) \to R(Y, K_Y) $ は同型である。
• canonical 判別が擬効的でない場合、MMP は、次元の低い多様体への線形束をもつ双有理モデル（Mori 纤維空間）を生成する。
• Mori 纤維空間間の双有理写像は、除数類の多面体内でのウォールクロッシングに対応する基本的リンクの有限列に分解される。
• Sarkisov プログラムは、多面体分解定理により、このようなリンクへの有限分解として実現され、終了が保証される。
• 証明は特徴量ゼロの技法、特に Hironaka の特異点解消と Kodaira の消失定理に依存しており、正の特徴量への拡張は未解決の問題のままである。