[論文レビュー] On semi-continuity problems for minimal log discrepancies

Yusuke Nakamura|arXiv (Cornell University)|May 7, 2013

Algebraic Geometry and Number Theory参考文献 22被引用数 3

ひとこと要約

本稿は、Deligne-Mumfordスタックの圏における端的解体を持つ多様体について、Yasudaのねじれたジャンクスタックを用いて、最小対数特異点度（mld）の下半連続性を確立する。また、トーリック対についてMustaçaの理想的下半連続性予想を証明し、商特異点をもつシンプレクティック多様体へのフラップの終了を拡張する。

ABSTRACT

We show the semi-continuity property of minimal log discrepancies for varieties which have a crepant resolution in the category of Deligne-Mumford stacks. Using this property, we also prove the ideal-adic semi-continuity problem for toric pairs.

研究の動機と目的

• Deligne-Mumfordスタックの圏において、端的解体をもつ多様体上の最小対数特異点度（mld）の下半連続性予想（LSC）を証明すること。
• トーリック対についてMustaçaの理想的下半連続性予想を確立すること。
• 商特異点をもつシンプレクティック多様体へのフラップの終了を拡張すること。
• 下半連続性の結果をACC予想および理想の一般極限に応用すること。

提案手法

• Yasudaのねじれたジャンクスタック理論を用いて、端的解体上のジャンクスタックの次元を用いて最小対数特異点度を記述する。
• ファイバー次元の上半連続性を適用し、mldの下半連続性問題をジャンクスタックの幾何的性質に還元する。
• 重み関数 w ∈ M∨ を用いて、アフィントーリック多様体にC*-作用を構成し、固定点構造を活用する。
• C*上の理想の等調性および準同型写像による像の閉性を用いて、下半連続性を導出する。
• 理想的下半連続性問題を、A1上でのファイバー次元の振る舞いに還元し、C*-作用による不変性を活用する。
• 結果を対数最小モデルプログラムに応用し、特定の幾何的条件下でのフラップの終了を示す。

実験結果

リサーチクエスチョン

• RQ1 Deligne-Mumfordスタックの圏において、端的解体をもつ多様体上で、最小対数特異点度関数は下に半連続のままであろうか？
• RQ2 トーリック対において、不変な閉部分集合をもつとき、Mustaçaの理想的下半連続性予想は証明可能であろうか？
• RQ3 DMスタックの圏における端的解体の存在は、対数最小モデルプログラムにおけるフラップの終了を意味するであろうか？
• RQ4 ねじれたジャンクスタックの幾何は、mldの下半連続性とどのように関係するであろうか？
• RQ5 C*-作用は、固定点近傍における理想およびmldの振る舞いを制御するために果たす役割は何か？

主な発見

• Q-ゴレンシュタインで正の多様体で、Deligne-Mumfordスタックの圏において端的解体をもつ任意の多様体上で、最小対数特異点度関数は下に半連続である。
• 閉部分集合がトーリック作用に関して不変であるとき、Mustaçaの理想的下半連続性予想はトーリック対に対して成立する。
• LSC予想は、すべての商特異点をもつ多様体に対して確認され、それらはDMスタックの圏において端的解体をもつ。
• 本稿では、端的かつ商特異点のみをもつシンプレクティック多様体における(KX + D)-MMPにおいて、無限個のフラップの列が存在しないことを証明する。
• C*-不変性および像の閉性を用い、A1上のねじれたジャンクスタックにおけるファイバー次元の上半連続性を介して、mldの下半連続性が確立される。
• 幾何的およびスタック論的技法を用いて、最小対数特異点度のACC予想に対する新しいアプローチが提供される。