[論文レビュー] Weak Zariski decompositions and log terminal models for generalized polarized pairs

Jingjun Han, Zhan Li|arXiv (Cornell University)|Jun 4, 2018

Algebraic Geometry and Number Theory参考文献 21被引用数 18

ひとこと要約

本稿では、NQC（ネフ Q-カルティエ組合せ）条件の下で、擬効的一般化極小化対に対して、双有理的弱ザリスキ分解の存在と一般化対数端末モデルの存在の同値性を確立する。弱ザリスキ分解の仮定の下で一般化最小モデルプログラム（MMP）のスケーリングを終了させることを示すことにより、著者たちは双有理幾何における重要な予想的リンクを解消し、古典的最小モデルプログラムの結果を一般化対の設定へと拡張する。

ABSTRACT

We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.

研究の動機と目的

• 擬効的一般化極小化対に対して、双有理的弱ザリスキ分解の存在と一般化対数端末モデルの存在の同値性を確立すること。
• NQC（ネフ Q-カルティエ組合せ）条件を満たす一般化極小化対のカテゴリーへの最小モデルプログラム（MMP）の拡張すること。
• 一般化対枠組みにおける弱ザリスキ分解と最小モデル予想の間の予想的リンクを解消すること。
• 弱ザリスキ分解の仮定の下で一般化MMPスケーリングの終了を証明し、それによって対数端末モデルの存在を示すこと。

提案手法

• 一般化極小化対に対する双有理的NQC弱ザリスキ分解の概念を導入し、形式化する。
• アーマーの除法のスケーリングを用いた特別なg-MMPを適用し、ネフ閾値ν_iが1に達するまで低下させる。
• 次元に関する帰納法とg-MMPスケーリングの特別な終了性を用い、[5]の議論を一般化対設定に適応する。
• 否定性補題と双有理的変換を用いて、例外的除算の台を制御し、ネフ閾値の最小性を維持する。
• klt近似の存在に依拠して、問題をdlt対に還元し、既知のdlt対における終了結果を活用する。
• g-対数最小モデルが弱ザリスキ分解を示す（命題5.1を介して）、逆に弱ザリスキ分解がg-対数最小モデルを示すことで、同値性のループを閉じる。

実験結果

リサーチクエスチョン

• RQ1 擬効的一般化極小化対に対して、双有理的弱ザリスキ分解の存在は、一般化対数端末モデルの存在を含意するか？
• RQ2 弱ザリスキ分解の仮定の下で、一般化最小モデルプログラム（スケーリング付き）が終了することを示せるか？
• RQ3 NQC条件の下で、一般化極小化対における最小モデル予想は、双有理的弱ザリスキ分解予想と同値か？
• RQ4 Q-因子的dlt対における反転の反転の終了が、擬効的NQC g-dlt対に対してg-対数端末モデルの存在を含意するか？
• RQ5 g-対数最小モデルの存在を用いて、g-MMPスケーリングを経てg-対数端末モデルを構成できるか？

主な発見

• 擬効的一般化極小化対に対して、双有理的NQC弱ザリスキ分解の存在は、一般化対数端末モデルの存在と同値である。
• 弱ザリスキ分解予想が成立するならば、擬効的NQC g-dlt対における任意のアーマーの除法のスケーリング付きg-MMPは終了する。
• 一般化極小化対における最小モデル予想（予想1.2）は、双有理的弱ザリスキ分解予想（予想1.3）を含意し、逆も成り立つ。
• Q-因子的dlt対における反転の反転の終了を仮定すれば、任意の擬効的NQC g-dlt対はg-対数端末モデルを有する。
• g-対数最小モデルの存在は、弱ザリスキ分解の存在を含意し、そこからg-MMPスケーリングが終了し、g-対数端末モデルが得られる。
• NQC条件の下で、g-MMPスケーリングの特別な終了性が成り立ち、次元に関する帰納的議論が可能になる。