[論文レビュー] Letters of a Bi-Rationalist IV: Geometry of log flips

Vyacheslav Vladimirovich Shokurov|arXiv (Cornell University)|Jun 2, 2002

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

ひとこと要約

本稿は、対数最小モデルプログラム（LMMP）の文脈において、対数フリップの基礎的な幾何的および有理型性の性質を確立し、フリップ下での不備数と次元の挙動に注目する。例外的集合の次元と余次元に関する重要な不等式を証明し、モノトニシティ性質を導入することで、対数フリップの下で対数不備数が弱く増加することを示し、これは高次元におけるフリップの終了を証明する上で不可欠である。

ABSTRACT

For a birational log Fano contraction, it is conjectured an inequality between the dimension of its exceptional locus and the minimal log discrepancy over the locus. The conjecture follows from the existence of the flip for the contraction and another conjecture about the maximum of minimal log discripancy in given dimension; in particular, it holds in small dimensions (up to 4), and some special cases. It is illustrated by some examples.

研究の動機と目的

• 明示的な構成を超えて、高次元代数的幾何における対数フリップの幾何的構造を理解すること。
• フリップ下での例外的集合の次元と余次元に関する制約を確立し、アティヤのフロップのような古典的例を一般化すること。
• 対数フリップ下での対数不備数のモノトニシティ性質を証明すること。これはフリップの終了を示す上で極めて重要な道具である。
• 特別な幾何的構造や分類に依存しない、形式的で代数的な対数フリップの枠組みを提供すること。
• 任意の次元における対数フリップの終了に関する今後の研究の基盤を築くこと。

提案手法

• ベース Z 上の被覆写像における Weil R-因子と R-クリアー因子を用いて、D-qフリップおよび対数 qフリップの概念を用いて、フリップを形式化する。
• 負の補題と、X ×_Z X⁺ における -D および D⁺ の引き戻しの正則性を適用し、X ×_Z X⁺ の因子的性質を導出する。
• 例外的集合の有理的変換に関する次元および余次元の議論を用いて、不等式 d + 1 ≥ c⁺ を導出する。ここで d は E の最小次元、c⁺ は X⁺ における有理的変換の最小余次元である。
• モノトニシティ性質を導入し、証明する：任意の素な双因子 P に対して、a(X⁺, B⁺, P) ≥ a(X, B, P) が成り立ち、-(K+B) が Z 上で数的正則であり、P が E に中心を持つときには厳密な不等式が成り立つ。
• 同一の微分形式を介して定義される標準因子 K と K⁺ を用いて、有理型モデル間での不備数計算の一貫性を保証する。
• 標準的な有理型幾何の道具、特に数的正則性、半正則因子、対数正則対を用い、境界および特異点に関する仮定を設ける。

実験結果

リサーチクエスチョン

• RQ1 例外的集合の次元は、対数フリップの下でどのように変化するのか。また、元のモデルとフリップ後のモデルとの間にどのような制約が存在するのか。
• RQ2 素な因子の対数不備数は、対数フリップの下で増加するか、あるいは一定のままであるのか。どのような条件下で厳密に増加するのか。
• RQ3 明示的な吹き上げ列や特別な構造に依存せずに、対数フリップの幾何を代数的に形式化できるか。
• RQ4 X/Z における例外的集合の最小次元と、X⁺/Z におけるその有理的変換の最小余次元との間にはどのような関係があるか。
• RQ5 不備数のモノトニシティ性質は、高次元における対数フリップの終了を証明するためにどのように利用できるか。

主な発見

• 本稿では、E の例外的集合の最小次元を d、X⁺/Z におけるその有理的変換の最小余次元を c⁺ とすると、不等式 d + 1 ≥ c⁺ が確立される。
• モノトニシティ性質が証明される：任意の素な双因子 P に対して、a(X⁺, B⁺, P) ≥ a(X, B, P) が成り立ち、-(K+B) が Z 上で数的正則であり、P が E に中心を持つときには厳密な不等式が成り立つ。
• X⁺/Z における例外的集合 E の有理的変換、記号で ⁺E と表記されるが、一般には E⁺ ⊆ ⁺E であるが、等しくない。これは有理的変換の微妙さを示している。
• 仮定は一般である：標数 0、正規多様体、対数正則対、R-クリアー因子。正標数への拡張も期待される。
• フリップが境界因子 B と B⁺ を用いて定義可能であり、f_*B = f_*⁺B⁺ を満たすようにすることで、Canonical class の一貫性が保証される。
• 本稿は、次元 4 以上の対数フリップの終了を証明する基盤を提供する。モノトニシティ性質は、このような議論における重要な要素である。