[論文レビュー] Finiteness of log abundant log canonical pairs in log minimal model program with scaling

Kenta Hashizume|arXiv (Cornell University)|May 25, 2020

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

ひとこと要約

この論文は、特異度がdltで、あるアーマーイド・ドライバーを用いたlog MMP（log最小モデルプログラム）を出発点として始める場合、log abundantなlog canonical対が得られるステップは高々有限個であることを確立している。主な貢献は、log MMP with scalingにおけるlog abundant dlt対の有限性に関する結果であり、この結果により、有限ステップ後にlog abundant dlt対が現れる場合には、良い最小モデルへの終了が保証される。この結果は、特徴標数0の体上でのlc対に関するlog abundanceと最小モデル理論の先行研究を統合・拡張するものである。

ABSTRACT

We study relations between the property of being log abundant for lc pairs and the termination of log MMP with scaling. We prove that any log MMP with scaling of an ample divisor starting with a projective dlt pair contains only finitely many log abundant dlt pairs. We also discuss log MMP for slc pairs.

研究の動機と目的

• log MMP with scalingにおけるlog abundanceとその終了性の相互作用を調査すること。
• 任意のprojective dlt対から出発するlog MMP with scalingにおいて、log abundant dlt対が高々有限個しか現れないことを証明すること。
• 基底多様体上でのlog canonical対が良い最小モデルをもつための条件を確立すること。
• gluingと相対不変量を用いて、log abundanceと最小モデル理論をsemi-log canonical (slc) 対へ拡張すること。
• 代数閉体上での特徴標数0の体上の多様体へと枠組みを一般化し、相対Iitaka次元および数的次元の定義を保ちながら、log abundanceと最小モデル理論の核心的結果を維持すること。

提案手法

• 次元に関する帰納法と背理法を用い、log MMP with scalingにおいて無限個のlog abundant dlt対が存在すると仮定する。
• 文献[14, Theorem 4.11.5]を適用し、最小モデルプログラムにおけるabundanceと良い最小モデルの間の既知の同値性を用いる。
• 特徴標数0における基底変更を扱うために、相対不変量のIitaka次元と数的次元を幾何的一般化ファイバーを用いて再定義する。
• 平坦な基底変更定理とコホモロジーの半連続性を用いて、グローバル不変量とファイバーごとの不変量を関連付ける。
• 安定基底分岐の条件を用いて、負の正則性の因子を制御し、log abundanceの保存を保証する。
• Ambro–Kollárのsemi-log canonical対に関する研究とKollárのgluing理論を応用し、slc対への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 log MMP with scalingにおいて、有限ステップ後にlog abundant dlt対が現れる場合、そのMMPは終了するか？
• RQ2 projective dlt対に対して、log MMP with scalingにおけるlog abundant dlt対の有限性を、条件なしに証明できるか？
• RQ3 log canonical対が基底多様体上に良い最小モデルをもつための条件は何か、特にlog abundanceが成立する場合に限っては？
• RQ4 dltの場合と同様の条件下で、semi-log canonical対の最小モデルプログラムを実行し、終了させることができるか？
• RQ5 正またはゼロ特徴標数における基底変更において、Iitaka次元や数的次元などの相対不変量はどのように振る舞うか？

主な発見

• projective dlt対から出発するアーマーイド・ドライバーを用いたlog MMP with scalingにおいて、log abundant dlt対は高々有限個しか現れない。
• log MMP with scalingにおいて有限ステップ後にlog abundant dlt対が現れる場合、そのMMPは良い最小モデルへと終了する。
• log canonical divisorが擬効果的で、安定基底分岐に負の正則性因子を含まないlog canonical対は、良い最小モデルをもつ。
• Ambro–Kollárの研究とKollárのgluing理論を用いることで、この結果はsemi-log canonical対へ一般化され、projective semi-log canonicalモデルの構成が可能になる。
• 基底がC上での準射影的であるとき、幾何的一般化ファイバーを用いた相対Iitaka次元および数的次元の定義は、標準的定義と同値である。
• この枠組みは、特徴標数0の代数閉体上での多様体へと拡張可能であり、log abundanceと最小モデル理論の核心的結果が保持される。