[論文レビュー] Log canonical pairs with boundaries containing ample divisors

Zhengyu Hu|arXiv (Cornell University)|Dec 19, 2017

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

ひとこと要約

本稿は、$Δ$ に一般化されたアーベル除法 $\mathbb{R}$-除法を含む、射影的対 $(X,\Delta)$ の良い最小モデルまたはモーリー・ファイバー空間の存在を確立する。同じ条件下で、$\mathbb{Q}$-因子な対に対して、スケーリング付きの対数最小モデルプログラムの終了を証明し、これにより、$\mathbb{Q}$-因子な対数ファノ型多様体がモーリー・ドリーム空間であることを示し、カスチーニとゴンジョの予想を確認する。

ABSTRACT

Let $(X,Δ)$ be a projective log canonical pair such that $Δ\geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,Δ)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is $\mathbb{Q}$-factorial, then any Log Minimal Model Program on $K_X+Δ$ with scaling terminates. As an application we prove that a log Fano type variety $X$ with $\mathbb{Q}$-factorial log canonical singularities is a Mori dream space.

研究の動機と目的

• kltから対数特異点対への良い最小モデルの存在結果を一般化すること。
• アーベル $\mathbb{R}$-除法 $A$ に対して $\Delta \geq A$ である $\mathbb{Q}$-因子な対数特異点対に対して、スケーリング付きの対数最小モデルプログラムの終了を確立すること。
• 対数ファノ型多様体が $\mathbb{Q}$-因子な対数特異点を持つ場合、それがモーリー・ドリーム空間であることを証明し、カスチーニとゴンジョの予想を確認すること。
• 有効なコーンの有理的多面体的分解を通じて、弱対数特異点モデルの地理的性質を分析すること。

提案手法

• $K_X + \Delta \sim_\mathbb{R} 0/Z$ かつ $A \sim_\mathbb{R} f^*A_Z$ である一般化された設定を用い、帰納的議論を可能にする。
• 増強された基底領域の理論と、対数特異点対に対する非消滅定理を適用する。
• 弱対数特異点モデルの概念と、有理的多面体内のチャンネル分解を用いる。
• Cox 環の有限生成性を、$-(K_Y + \Gamma)$ がアーベルであるような対数特異点対 $(Y, \Gamma)$ の構成により、切断環の有限生成性に還元する。
• $-(K_Y + \Gamma)$ がアーベルで、$K_Y + \Gamma + A \sim_\mathbb{Q} \epsilon H$ であるとき、$R(Y, \epsilon H)$ が有限生成であるという事実を用い、定理7.2を活用する。
• 対数特異点対に対するコーディア・ヴァンイシングを適用し、$H^1(X, \mathcal{O}_X) = 0$ を保証することで、$\operatorname{Pic}_\mathbb{Q}(X)$ が有限次元であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 対数特異点対 $(X, \Delta)$ に対して、$\Delta$ がアーベル $\mathbb{R}$-除法を含む場合、良い最小モデルまたはモーリー・ファイバー空間が存在するか？
• RQ2 アーベル境界条件の下で、$\mathbb{Q}$-因子な対数特異点対に対して、スケーリング付きの対数最小モデルプログラムは終了するか？
• RQ3 任意の $\mathbb{Q}$-因子な対数特異点を持つ対数ファノ型多様体は、モーリー・ドリーム空間か？
• RQ4 $K_X + \Delta \sim_\mathbb{R} 0/Z$ かつ $\Delta \geq A$（$A$ はアーベル）であるとき、弱対数特異点モデルの地理的性質はどのように振る舞うか？

主な発見

• 任意の射影的対数特異点対 $(X, \Delta)$ で、アーベル $\mathbb{R}$-除法 $A$ に対して $\Delta \geq A$ である場合、良い最小モデルまたはモーリー・ファイバー空間が存在する。
• $\mathbb{Q}$-因子な射影的対数特異点対で、アーベル $A$ に対して $\Delta \geq A$ である場合、スケーリング付きの対数最小モデルプログラムは終了する。
• $K_X + \Delta$ が $\mathbb{Q}$-カルティエで、アーベル $A$ に対して $\Delta \geq A$ である限り、除法的環 $R(X, \Delta)$ は有限生成である。
• $K_X + \Delta \sim_\mathbb{R} 0/Z$ かつ $\Delta \geq A$ である対数特異点対の有効コーン $\mathcal{E}$ は、弱対数特異点モデルに対応するチャンネルに、有限の有理的多面体的分解を持つ。
• $\mathbb{Q}$-因子な射影的多様体 $X$ の Cox 環は、$(X, \Delta)$ が対数特異点で、$-(K_X + B)$ がアーベルであるような境界 $\Delta$ が存在する場合、有限生成である。
• アーベル $-(K_Y + \Gamma)$ を持つ対数特異点対 $(Y, \Gamma)$ の構成と、$R(Y, \epsilon H)$ の有限生成性は、$X$ の Cox 環の有限生成性を示唆する。