[論文レビュー] Existence of log canonical closures

Christopher D. Hacon, Chenyang Xu|arXiv (Cornell University)|May 5, 2011

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

ひとこと要約

本稿は、基底多様体上で弱い条件下で、dlt対の良い最小モデルの存在を確立する。具体的には、dlt対が基底の稠密な開部分集合上で良い最小モデルを持ち、すべての非klt中心がこの部分集合と交わるならば、全体の基底上で良い最小モデルが存在することを示す。主たる貢献は、対数正則コンパクト化を可能にする基礎的結果であり、安定スキームのモジュライ関手の固有性の値関手的条件を検証することにある。

ABSTRACT

Let $f:X o U$ be a projective morphism of normal varieties and $(X,Δ)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,Δ) imes_U U^0$ has a good minimal model over $U^0$ and the images of all the non-klt centers intersect $U^0$, then $(X,Δ)$ has a good minimal model over $U$. As consequences we show the existence of log canonical compactifications for open log canonical pairs, and the fact that the moduli functor of stable schemes satisfies the valuative criterion for properness.

研究の動機と目的

• 基底多様体上で、稠密な開部分集合で良好な振る舞いを示す条件を満たすdlt対の良い最小モデルの存在を確立すること。
• 開対数正則対を、より大きな基底上の対数正則対にまで拡張する、対数正則コンパクト化の存在を証明すること。
• 最小モデルプログラムを用いて、安定スキームのモジュライ関手の固有性の値関手的条件を検証すること。
• 対数正則準同型と反転の基底変換コンパクト化に関する予想を、対数正則設定で確認すること。
• $ε$-lc中心の研究や、対数正則圏における反転の存在に関する基礎的道具を提供すること。

提案手法

• 次元に関する帰納法を用い、問題を非klt集合 $S = \lfloor \Delta \rfloor$ に還元する。ここで $S$ は $\mathrm{sdlt}$ 対として扱う。
• Kollárのグリューニング理論を適用し、$S$ の成分からの最小モデル結果を、非klt集合全体へ拡張する。
• FujinoによるKawamataの基点自由定理の一般化を活用し、与えられた条件下で最小モデルが自動的に良いモデルであることを示す。
• 標準バンドル公式を用いてイタカの線形系を分析し、基底変換における対数正則除数の振る舞いを制御する。
• $U^0$ 上での良い最小モデルの存在と非klt中心の交差条件を用い、全体の基底 $U$ における良いモデル構造を伝播させる。
• グリューニング理論を適用し、曲線の局所環上での対数正則モデルを拡張し、自己同型の拡張と商構成を用いてコンパクト化された族を構成する。

実験結果

リサーチクエスチョン

• RQ1 基底多様体上のdlt対が稠密な開部分集合上で良い最小モデルを持つとき、どのような条件下で全体の基底上で良い最小モデルが存在するか？
• RQ2 任意の開対数正則対は、射影的基底上の対数正則対にコンパクト化可能か？
• RQ3 安定スキームのモジュライ関手は、固有性の値関手的条件を満たすか？
• RQ4 稠密な開部分集合上で良い最小モデルを持つという仮定のもとで、対数正則対の反転は存在するか？
• RQ5 基底変換とグリューニング技術を用いて、対数正則対の最小モデルプログラムを拡張可能か？

主な発見

• 基底 $U$ 上のdlt対 $(X, \Delta)$ が稠密な開部分集合 $U^0 \subset U$ 上で良い最小モデルを持ち、すべての非klt中心が $X^0 = X \times_U U^0$ と交わるならば、$(X, \Delta)$ は $U$ 上で良い最小モデルを持つ。
• 任意の開対数正則対 $(X^0, \Delta^0) \to U^0$ は、正規の準射影的多様体 $U$ 上の射影的対数正則対 $(X, \Delta) \to U$ に、対数正則コンパクト化可能である。
• 任意のアフィンで有限型のlc準同型 $f^0: X^0 \to U$ で、$U$ が滑らかな曲線であるとき、有限で支配的な基底変換 $\widetilde{U} \to U$ と、$f^0$ を拡張する射影的lc準同型 $f: X \to \widetilde{U}$ が存在する。
• 半対数正則モデルのモジュライ関手は、基底変換と対数正則モデルのグリューニングを用いて、値関手的条件を満たすことが示された。
• $(K_X + \Delta'')$-MMP が $U$ 上でスケーリングを用いて終了し、$K_X + \Delta' + \Delta'' \sim_{\mathbb{Q}, U} 0$ かつ $(X, \Delta'')$ がdltであるとき、良い最小モデルまたはモーリー・ファイブレーションに到達する。
• 条件が満たされるとき、反転が存在することが、MMPのスケーリングによる終了の結果として導かれる。