[過去ﾛｸﾞ] ガロア第一論文及びその関連の資料スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
904(1): 2023/02/28(火)08:21 ID:P4XFllxB(3/5) AAS
>>903
つづき
本書は三つの章からなる。第1章では「極小モデルプログラム」（MMP）を定式化するための準備として、「広中の特異点解消定理」、小平の消滅定理の拡張である「川又-フィーベックの消滅定理」、境界付き代数多様体でMMPにおける考察の対象となるログ対であるKLT（川又ログ末端的）、DLT（因子ログ末端的）、LC（ログ標準的）などのクラスが解説されている。第2章ではMMPを定式化するための二つの基礎定理である「固定点自由化定理」と「錐定理」の証明が与えられ、MMPの実行プロセスが解説されている。この章の後半ではMMPの高次元（特に4次元以上）での実行に有効な手段を提供する「スケール付きMMP」（本書では「直線的MMP」）、「端射線の長さの評価」、「因子的ザリスキー分解」、「ショクロフ多面体」、乗数イデアル層を使った「多重対数的標準形式の拡張定理」が述べられている。第3章では上記のBCHMの主定理と有限生成定理の証明が与えられ、最後に「今後の課題」（アバンダンス予想＝LC対の対数的標準因子がネフならば半豊富であるという予想、フリップの終結予想、正標数への拡張、など）と「関連する話題」に触れられている。
本書を通読して印象に残った事を以下に述べてみたい。
第1章で解説されている「広中の特異点解消定理」（「強い意味でのログ特異点解消」を保証する）と「川又-フィーベックの消滅定理」が、極小モデル理論において極めて重要な役割を果たしている事が良く分かる。また、境界付き代数多様体において、KLTとLCというクラスの中間に、DLTというクラスを導入した事で、（劣同伴公式を使った）次元に関する帰納的な議論が可能になり、対数的MMP（LMMP）の近年の新展開の大きな成功要因だったのではないかという印象を持った。
つづく
905: 2023/02/28(火)08:21 ID:P4XFllxB(4/5) AAS
>>904
つづき
第2章の前半は、MMPの現代的な定式化に関する最大の功労者の一人である著者自身による基礎定理たちの解説であるので、とても面白く精読に値すると思う。良く知られている様に、対数的標準因子が負となる端射線には収縮写像が付随し、それが双有理写像になるのは「因子収縮写像」、「小さな収縮写像」の何れかである。後者の場合、収縮後の対数的標準因子はR-カルティエにならず（対数的標準因子の比較ができず）都合が悪い、そこで考案されたのが「フリップ」という操作である。因子収縮写像でも、フリップでも、対数的標準因子を減少させる操作であるため、双有理同値類から対数的標準因子が極小となる「極小モデル」を抽出するMMPにうまく適合している事が分かる。MMPの成功の基を質すと、フリップという素晴らしいアイディアにある事に思い当たる。これを初めて考案した研究者は誰（森先生？）なのか評者は知らない（歴史に詳しい専門家の方々からご教示頂けると嬉しい）。
第3章は、ショクロフ、シウ（Siu）、ヘーコンとマッカーナン、BCHM、などの素晴らしい着想と成果が協奏する本書のハイライトといえる。ここで活用される重要なテクニックに、「スケール付きMMP」と「PLフリップへの還元」の二つがある。またフリップの存在をPLフリップの存在に還元する「PLフリップの存在定理」の証明には、シウに始まる「乗数イデアルを用いる拡張定理」とショクロフによる「漸近的充満条件」が活用されており素晴らしい。ここでは「PLフリップの存在定理」、「特殊終結定理」、境界が相対的に巨大であるという条件下での「極小モデルの存在定理」と「非消滅定理」（対数的標準因子が擬有効ならば、弱有効（＝有効因子と数値的同値）という定理）などが次元による大掛かりな帰納法によって証明されており、その素晴らしさに読者は感銘を覚えられることと思う。
この分野の大家である著者による的を射た言明が本書を更に魅力あるものにしている。
そのような例を以下に二つほど紹介して、このレビューを終わりたい。「このようにしてフリップ定理が一般次元で証明されることになった。3次元フリップ定理の証明が非常に難しかったことを思い出すと感慨の深いものがある。ログを使った問題の定式化の勝利であるともいえる」（本書232頁）。
(引用終り)
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s