[論文レビュー] Tsuji's Numerically Trivial Fibrations and Abundance

Shigetaka Fukuda|ArXiv.org|Aug 6, 2001

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

本稿は、Tsuiの数値的自明なファイブレーション理論を用いて、kltペアにおける対数豊富性予想の条件付き証明を確立する。3つの主要な問題—対数最小モデルの存在、相対的線形同値性予想、数値的自明性下での半正則性—の真であることを仮定することで、ネフな対数 canonical 除数が半正則であることを証明し、結果として終端的多様体における豊富性予想の完全な帰結を得る。

ABSTRACT

We apply Tsuji's theory of numerically trivial fibrations to the abundance problem.

研究の動機と目的

• 3つの最小モデル理論における基本的問題が真であると仮定して、kltペアにおける対数豊富性予想を証明すること。
• Tsuiの数値的自明なファイブレーション理論の応用を、高次元代数幾何における豊富性問題へ拡張すること。
• ネフな対数 canonical 除数の半正則性が、その数値次元とファイブレーションの性質に起因する構造的性質から導かれる、条件付き枠組みを確立すること。
• 数値的自明な除数によって定義されるファイブレーションを用いて、次元に関する帰納法による豊富性予想の還元戦略を提供すること。
• 終端的多様体においてネフな canonical 除数を持つ場合、対数豊富性予想が古典的豊富性予想を含意することを示すこと。

提案手法

• ネフな除数のファイバー上で数値的自明となるような、f:X₁ → Y という射影を用いて多様体を分解するTsuiの数値的自明ファイブレーション理論を用いる。
• 点 x における除数 D が数値的に自明な除数に制限されるような部分多様体の最大次元 N(D,X) を用いて、数値次元ごとに問題を階層化する。
• Nakayamaのσ次元とIitaka次元を用いて、被約型および有限射の下での除数の数値的性質と線形的性質を比較する。
• 次元に関する帰納法を用い、低次元の場合に対数最小モデルおよび豊富性予想が成り立つと仮定することで、問題を低次元のケースに還元する。
• Stein分解と相対的線形同値性を適用し、X 上の除数を底多様体からの引き戻しに関連づけ、特に低次元において数値的自明な除数がQ線形同値であるという仮定を活用する。
• 特に共通の解像を通じて、被約型写像および引き戻しの下でIitaka次元および数値的Iitaka次元の不変性に依存する。

実験結果

リサーチクエスチョン

• RQ1 kltペア上のネフな対数 canonical 除数が半正則となる条件は何か？
• RQ2 対数豊富性予想は、N(K_X + Δ, X) = 0 を満たす除数の半正則性に還元可能か？
• RQ3 数値的自明なファイブレーションの存在が、追加の仮定のもとで元の除数の半正則性を示唆するか？
• RQ4 数値次元 N(D,X) は、ネフなQ除数Dの線形系列をどの程度制御するか？
• RQ5 最小モデル理論における3つの基礎的問題の真であることを仮定すれば、対数豊富性予想を条件付きで証明できるか？

主な発見

• 対数最小モデル予想、相対的線形同値性問題（問題0.6）、およびN(D,X)=0における半正則性（問題0.7）がすべて真であるならば、対数豊富性予想（予想0.2）が成立する。
• N(K_X, X) = 1 かつ次元nにおいて最小モデル予想が成り立つとき、K_X は半正則である。これは定理3.1で示された。
• 終端的特異性をもつ4次元多様体で N(K_X, X) = 1 である場合、次元4において最小モデル予想が成り立つならば、K_X は半正則である。これは系3.2で述べられている。
• K_X + Δ が数値的に自明で、相対的線形同値性問題が成り立つならば、それはQ線形同値である。これは定理3.3で示された。
• N(K_X + Δ, X) = n−1 であり、次元n−1において数値的自明性がQ線形同値性を含意するならば、K_X + Δ は半正則である。これは定理3.4で示された。
• N(K_X + Δ, X) = 3 であるkltの4次元多様体では、既知の3次元での結果に依拠して、対数 canonical 除数は半正則である。これは系3.5で確認された。