[論文レビュー] On minimal log discrepancies on varieties with fixed Gorenstein index

Yusuke Nakamura|arXiv (Cornell University)|Jan 26, 2015

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

ひとこと要約

本稿は、固定された係数をもつ3次元正則対の最小対数特異点の高さ（mld）の離散性とACC（上昇鎖条件）を、対数正則特異点閾値に関する有理性定理の一般化によって確立する。固定されたゴレンシュタイン指数をもつ多様体に対してmld値がℝで離散的であることを証明し、係数が有限の場合に3次元でACCが成り立つことを示し、最小モデルプログラムにおける重要なケースを解決する。

ABSTRACT

We generalize the rationality theorem of the accumulation points of log canonical thresholds which was proved by Hacon, M extsuperscript{c}Kernan, and Xu. Further, we apply the rationality to the ACC problem on the minimal log discrepancies. We study the set of log discrepancies on varieties with fixed Gorenstein index. As a corollary, we prove that the minimal log discrepancies of three-dimensional canonical pairs with fixed coefficients satisfy the ACC.

研究の動機と目的

• 固定されたゴレンシュタイン指数をもつ多様体への対数正則特異点閾値の有理性定理の一般化。
• 固定されたゴレンシュタイン指数の文脈において、最小対数特異点の高さのACC予想を調査すること。
• 固定されたゴレンシュタイン指数をもつ多様体に対して、最小対数特異点の高さの集合がℝで離散的であることを証明すること。
• 有限係数集合をもつ3次元正則対において、最小対数特異点の高さのACCを確立すること。
• ゴレンシュタイン指数の制約の下で、mld集合の有界性と有限性の基礎を提供すること。

提案手法

• ハコン–マクカーナン–シュウの有理性定理を固定されたゴレンシュタイン指数をもつ対数対に一般化すること。
• 係数集合 $ I \cup \{1\} $ が張るℚベクトル空間の次元に関する帰納法を用いること。
• 対数正則特異点対における無理数係数に関する摂動定理（定理1.6）を適用し、小さな摂動の下でも正則特異点性が保たれることを保証すること。
• 有限個のスケーリングされた有理数集合と離散的部分集合の有限和を用いて、離散的対数特異点の集合を構成すること。
• 一般極限法と正則特異点の分類を用いて、mld問題を有界なゴレンシュタイン指数の状況に還元すること。
• 3次元におけるmldの有界性（BDD予想）と3次元端末特異点の分類を用いて、mld値を有界化すること。

実験結果

リサーチクエスチョン

• RQ1 固定されたゴレンシュタイン指数をもつ多様体上の最小対数特異点の高さの集合はACCを満たすか？
• RQ2 対数正則特異点閾値に関する有理性定理は、固定されたゴレンシュタイン指数をもつ多様体へと拡張可能か？
• RQ3 固定されたゴレンシュタイン指数と有限係数集合をもつ対数対に対して、対数特異点の高さの集合は離散的か？
• RQ4 固定係数をもつ3次元正則対における最小対数特異点の高さの構造はいかなるものか？
• RQ5 ゴレンシュタイン指数は、最小対数特異点の高さの集積点をどのように制約するか？

主な発見

• 次元 $ d $ の対数正則特異点対 $ (X,\frak{a}) $ に対して、$ rK_X $ がクリーバーで、$ \frak{a} $ の係数が有限集合 $ I $ に属するとき、対数特異点の高さ $ a_E(X,\frak{a}) $ の集合 $ B(d,r,I) $ は $ \bbR $ で離散的である。
• 閉点における最小対数特異点の高さの集合 $ A'(d,r,I) $ は $ \bbR $ で離散的であるが、有界性がない限り必ずしも有限ではない。
• 有限係数集合 $ I \to [0,1] $ をもつ3次元正則対に対して、集合 $ A_{\text{can}}(3,I) $ はACCを満たし、唯一の集積点は1である。
• 3次元端末特異点の最小対数特異点の高さは、ゴレンシュタイン指数 $ r $ に対して $ 1 + 1/r $ または3のいずれかであり、これによりmld値が有界化される。
• $ \text{mld}_x(X,\triangle) \to a > 1 $ であるとき、環境多様体のゴレンシュタイン指数は $ \floor{1/(a-1)} $ で有界であり、有限分類が可能になる。
• 証明は、正則モデルと3次元端末特異点の分類を用いて、有界なゴレンシュタイン指数の状況に還元することに依拠しており、$ A_{\text{can}}(3,I) \to \bigcup_{l \to \floor{1/(a-1)}} A'(3,l, I/l) $ が成り立ち、これは補題1.3により有限である。