[論文レビュー] Minimal model program for algebraically integrable foliations and generalized pairs

Guodu Chen, Jingjun Han+2 more|arXiv (Cornell University)|Sep 27, 2023

Nonlinear Waves and Solitons被引用数 4

ひとこと要約

本稿は、代数的可積分なfoliationを備えた$\mathbb{Q}$-因子的foliated dlt対およびlc一般化対に対して、最小モデルプログラム（MMP）を確立し、錐定理、収縮定理、およびflipの存在を証明する。一般化foliated四重対を導入し、CasciniとSpicerの予想を解消する。特定の条件下で、このようなfoliationはalmost holomorphic写像によって誘導されることを示す。

ABSTRACT

By systematically introducing and studying the structure of algebraically integrable generalized foliated quadruples, we establish the minimal model program for $\mathbb Q$-factorial foliated dlt algebraically integrable foliations and lc generalized pairs by proving their cone theorems, contraction theorems, and the existence of flips. We also provide numerous applications on their birational geometry and resolve a conjecture of Cascini and Spicer.

研究の動機と目的

• 代数的可積分なfoliationを備えた$\mathbb{Q}$-因子的foliated dlt対に対する最小モデルプログラム（MMP）を構築すること。
• lc一般化対および一般化foliated四重対へのMMPの拡張を図り、canonical bundle公式およびACC結果を含むこと。
• CasciniとSpicerによる代数的可積分foliationの構造に関する予想を、MMPの手法を用いて解消すること。
• nef性および正則性の条件の下で、このような対に対する良い最小モデルおよびMoriファイバー空間の存在を確立すること。
• 一般化された設定における関連する除数のcanonical ringの有限生成性および基点自由性を証明すること。

提案手法

• 代数的可積分な一般化foliated四重対の構造を導入し、その基礎的枠組みを研究すること。
• 帰納的議論およびbend-and-break技法を用いて、$\mathbb{Q}$-因子的foliated dlt対に対する錐定理および収縮定理を証明すること。
• MMP with scalingおよびsuper-divisorsを用いて、flipの存在を確立する。有界性および有理的多面体の性質を活用すること。
• lc-自明なファイブレーションに対するcanonical bundle公式を適用し、一般化された設定におけるadjunctionおよびmoduli部の性質を導出すること。
• 性質$(*)$およびACSS（ほぼcanonical、半安定）モデルを用いて、特異点を制御し、MMPの終了を保証すること。
• dlt変形、摂動、およびlc中心の普遍的プッシュアウト図式などの特異的幾何学的道具を用いること。

実験結果

リサーチクエスチョン

• RQ1 代数的可積分なfoliationを備えた$\mathbb{Q}$-因子的多様体上での最小モデルプログラムは、どのような条件下で終了するか？
• RQ2 代数的可積分なfoliationを備えた一般化対に対し、flipおよび収縮の存在を確立できるか？
• RQ3 $A$が正則で$K_{\mathcal{F}} + B + A$がnefであるとき、$K_{\mathcal{F}} + B + A$のcanonical ring$R(X, K_{\mathcal{F}} + B + A)$は有限生成か？
• RQ4 一般化foliated四重対に対してcanonical bundle公式は成り立つか？ その結果、moduli部および判別部にどのような影響を与えるか？
• RQ5 どのような条件下でfoliationがalmost holomorphic写像によって誘導されるか？ これはMMPおよび特異点とどのように関係するか？

主な発見

• $\mathbb{Q}$-因子的特徴的なF-dlt foliated三重対（代数的可積分なfoliationを備える）に対して、錐定理、収縮定理、およびflipの存在が成り立つ。
• $K_{\mathcal{F}} + B + A$がnefで$A$が正則であるとき、$K_{\mathcal{F}} + B + A$はsemi-ampleである。これは基点自由性予想の特殊ケースを確認する。
• $B \geq A \geq 0$のとき、この対は良い最小モデルまたはMoriファイバー空間をもつ。よって、良い最小モデルの存在が確立される。
• $K_{\mathcal{F}} + B + A$が$\mathbb{Q}$-Cartierであるとき、canonical ring$R(X, K_{\mathcal{F}} + B + A)$は有限生成である。
• すべての例外的 divisor $D$に対して$a(D, \mathcal{F}, B, \mathbf{M}) > -1$を満たす一般化foliated四重対では、foliationはalmost holomorphic写像によって誘導される。
• 一般化foliated四重対に対して、global ACCおよびlc閾値のACCが成り立つ。有界性結果を用いて、一様な有理的多面体が確立される。