[論文レビュー] On minimal model theory for log abundant lc pairs

Kenta Hashizume, Zhengyu Hu|arXiv (Cornell University)|Jun 3, 2019

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

ひとこと要約

本稿は、次元 $n$ のプロジェクト型klt対に対して良い最小モデルまたはモリファイバー空間の存在を仮定する下で、対数豊富な対数正則（lc）対の最小モデル理論を確立する。帰納的技法とlc中心上の数的次元の制約を活用して、このような対に対して良い最小モデルまたはモリファイバー空間の存在を証明し、さらに対数MMPとスケーリングの終了を確立する。主な貢献は、次元に関する帰納的還元を用いて、lc設定における豊富性予想への基礎的ステップを提供することにある。

ABSTRACT

Under the assumption of the minimal model theory for projective klt pairs of dimension $n$, we establish the minimal model theory for lc pairs $(X/Z,Δ)$ such that the log canonical divisor is relatively log abundant and its restriction to any lc center has relative numerical dimension at most $n$. We also give another detailed proof of results by the second author, and study termination of log MMP with scaling.

研究の動機と目的

• 次元に関する帰納的仮定の下で、対数豊富なlc対の最小モデルプログラム（MMP）を確立すること。
• このような対に対して、対数MMPとスケーリングの終了を証明すること。
• 第二著者の先行研究を強化する形で、境界が大きいlc対に関する結果の新しい証明を提供すること。
• lc中心の次元制約の下で、カバリ–ヤウ対やファノ型多様体への応用を拡張すること。

提案手法

• 次元に関する帰納法を用い、次元 $n$ のklt対に対して良い最小モデルまたはモリファイバー空間の存在を仮定する。
• lc中心上での振る舞いを制約するために、相対数的次元 $\kappa_\sigma(S^\nu/Z, (K_X+\Delta)|_{S^\nu})$ の概念を適用する。
• $\pi$-対数豊富性の概念を用い、$Z$ 上で $K_X+\Delta$ 及びそのlc中心への引き戻しの両方が豊富であることを要請する。
• 対数MMPにおけるスケーリング技法を導入し、減少するスケーリング係数 $\lambda_i$ を追跡することで、終了を保証する。
• [5, 定理 4.1 (iii)] を用いた背理法により、$K_X+B+\lambda A$ が擬効果的ではあるがノン・ネフである場合のMMPの終了を証明する。
• 双有理変換と極小射線理論を用いて、MMPの各段階がスケーリング性質を保ち、最小モデルまたはモリファイバー空間に至ることを示す。

実験結果

リサーチクエスチョン

• RQ1 対数豊富なlc対が、基底多様体上に良い最小モデルまたはモリファイバー空間をもつための条件は何か？
• RQ2 lc中心の次元制約の下で、対数豊富なlc対に対して対数MMPとスケーリングは終了するか？
• RQ3 lc中心上での対数標準バンドルの相対数的次元は、最小モデルプログラムにどのように影響するか？
• RQ4 境界が大きいlc対に関する結果は、対数豊富性に関する帰納的議論を用いてどの程度再証明可能か？
• RQ5 klt対に対して良い最小モデルの存在が、lc設定における豊富性予想に与える影響は何か？

主な発見

• 定理 1.1 は、$K_X+\Delta$ が $\pi$-対数豊富であり、すべてのlc中心 $S$ に対して $\kappa_\sigma(S^\nu/Z, (K_X+\Delta)|_{S^\nu}) \leq n$ であるならば、$Z$ 上のlc対 $(X,\Delta)$ に対して良い最小モデルまたはモリファイバー空間の存在を確立する。
• 定理 1.2 は、$K_X+\Delta$ が豊富であるか、$\Delta$ が $Z$ 上で大きいという条件下で、同じlc中心の次元制約のもとでこの結果を一般化する。
• 定理 1.3 は、$-K_X$ が大きく、lc中心の次元が 3 以下であるカバリ–ヤウ対に対して、$\mathcal{R}(X,D)$ のグレーデッド代数の有限生成性を証明する。
• 定理 1.4 は、$\dim X - \dim Z \leq n$ かつすべてのファイバーが定数次元を持つならば、$(X,\Delta)$ が $Z$ 上で良い最小モデルまたはモリファイバー空間をもつことを示し、絶対的および相対的最小モデル理論を結びつける。
• 定理 1.5 は、同じ帰納的仮定の下で、$\pi$-アンピールな被覆 $A$ を用いた、境界が大きいlc対に対して良い最小モデルの存在の別証明を提供する。
• $(K_X+B)$-MMP が $Z$ 上で $A$ のスケーリングを伴って終了することを、擬効果的性と $K_X+B+\lambda A$ のノン・ネフ性を用いた背理法により示した。