[論文レビュー] Existence of flips for generalized lc pairs

Christopher D. Hacon, Jihao Liu|arXiv (Cornell University)|May 28, 2021

Algebraic Geometry and Number Theory参考文献 70被引用数 7

ひとこと要約

本稿では、$Q$-因子的でNQCの一般化された対数極小（lc）対について、フリップの存在を確立し、錐と収縮定理を証明する。これにより、次元$\leq 3$の$Q$-因子的NQC一般化lc対、および次元4の擬効対について、最小モデルプログラム（MMP）が完成する。著者らは、特定の条件下で良い最小モデルの存在を示すことでこれを達成し、一般化された対に対して基点自由定理と摂動技術を活用する。

ABSTRACT

We prove the existence of flips for $\mathbb Q$-factorial NQC generalized lc pairs, and the cone and contraction theorems for NQC generalized lc pairs. This answers a question of C. Birkar which was conjectured by J. Han and Z. Li. As an immediate application, we show that we can run the minimal model program for $\mathbb Q$-factorial NQC generalized lc pairs. In particular, we complete the minimal model program for $\mathbb Q$-factorial NQC generalized lc pairs in dimension $\leq 3$ and pseudo-effective $\mathbb Q$-factorial NQC generalized lc pairs in dimension $4$.

研究の動機と目的

• J. HanとZ. Liによる一般化lc対のフリップおよび収縮の存在に関する予想を解決すること。
• $Q$-因子的NQC一般化lc対の最小モデルプログラム（MMP）を確立すること。
• NQC一般化lc対について錐と収縮定理を証明し、この文脈におけるMMPの基礎的枠組みを完成させること。
• $Q$-因子的NQC一般化lc対が次元$\leq 3$である場合および次元4の擬効対である場合に、MMPが終結することを示すこと。
• 適切な仮定の下で、基点自由定理および良い最小モデル定理といった重要な定理を証明することで、一般化された対の理論を拡張すること。

提案手法

• NQC一般化lc対について、非空な開部分集合上で良い最小モデルが存在し、モジュライ除集合が降下するという条件のもとで、良い最小モデルの存在を証明する。
• 摂動技術を用いて一般化された対を変形し、基点自由定理を適用して収縮を構成する。
• 部分的付加と安定化還元を用いて、双有理写像およびフリップの下での一般化された対の挙動を分析する。
• b-除集合と有理的多面体を用いて、相対Néron-Severi空間における曲線の錐と極小極の構造を研究する。
• ある稠密な開部分集合上への制限の後、$K_X + B + \bf{M}_X$が基数的に自明であるという事実を活用し、極小極の有理性を導出する。
• dlt変形と引き戻しを用いて、既知のMMP結果が適用可能な$Q$-因子的klt対の状況に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 次元$\leq 3$の$Q$-因子的NQC一般化lc対について、最小モデルプログラム（MMP）は終結するか？
• RQ2 次元$\leq 3$の$Q$-因子的NQC一般化lc対について、フリップの存在は確立可能か？
• RQ3 NQC一般化lc対について、錐と収縮定理は成立するか？ これにより、極小極が有理曲線によって有理的かつ生成可能であることが保証されるか？
• RQ4 稠密な開部分集合上で良い最小モデルが存在することは、適切な条件下で、全体の一般化された対に対しても良い最小モデルの存在を示唆するか？
• RQ5 次元4の擬効$Q$-因子的NQC一般化lc対について、MMPを実行可能か？

主な発見

• 次元$\leq 3$の$Q$-因子的NQC一般化lc対について、フリップの存在が証明され、フリップ$X^+ \to Z$は$Q$-因子的であり、$\rho(X) = \rho(X^+)$を満たす。
• NQC一般化lc対について、錐と収縮定理が確立され、$(K_X + B + \bf{M}_X)$-負の極小極がすべて有理的であり、負の交差数が有界な有理曲線によって生成されることを示す。
• 次元$\leq 3$の$Q$-因子的NQC一般化lc対について、MMPを実行可能であり、結果としてモーリー・ファイバー空間、最小モデル、または無限個のフリップの列が得られる。
• 次元$\leq 3$の$Q$-因子的NQC一般化lc対について、MMPは終結し、次元4の擬効対についても同様に終結する。
• 一般化lc対について、非空な開部分集合上で良い最小モデルが存在し、モジュライ除集合がその部分集合上で降下し、基数的に自明であるという条件下で、良い最小モデルの存在が確立される。
• フリップ構成は$Q$-因子的性およびピカール数を保ち、一般化された対のMMPと整合的であることが保証される。