[論文レビュー] A gap theorem for minimal log discrepancies of non-canonical singularities in dimension three

Chen Jiang|arXiv (Cornell University)|Apr 21, 2019

Algebraic Geometry and Number Theory参考文献 49被引用数 23

ひとこと要約

本稿は、3次元非正則特異点における最小対数歪度（mld）について1-ギャップ定理を確立し、正のδ > 0が存在して、mld < 1 である正則な準射影的Q-ゴレンシュタイン3次元多様体が存在するならば、mld ≤ 1 − δ が成り立つことを証明する。証明は、特異点が孤立したハイパークォオシャント特異点に還元され、3次元端末特異点の分類法を修正した手法が用いられ、非正則なkltカバリ・ヤウ3次元多様体のフロップに関して有界性および一様なグローバル指数の有界性が得られる。

ABSTRACT

We show that there exists a positive real number $\delta>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less than $1$, then the minimal log discrepancy of $X$ is not greater than $1-\delta$. As applications, we show that the set of all non-canonical klt Calabi-Yau $3$-folds are bounded modulo flops, and the global indices of all klt Calabi-Yau $3$-folds are bounded from above.

研究の動機と目的

• 3次元における最小対数歪度の1ギャップ予想を解決し、非正則特異点においてmldが1より小さい方向に1に蓄積されないことを証明すること。
• 非正則なkltカバリ・ヤウ3次元多様体のフロップに関して有界性を確立し、アレクセエフの2次元結果を3次元に拡張すること。
• すべてのkltカバリ・ヤウ3次元多様体のグローバル指数が上から一様に有界であることを証明し、特異点の型に依存しない一般化を図ること。
• kltカバリ・ヤウ3次元多様体の有界性に関する先行結果における有理的連結性の仮定を除外すること。

提案手法

• 問題を、すべての例外的 divisor のうち1つを除き、log discrepancy > 1 である極めて非正則な特異点のケースに還元する。
• A⁴におけるcDV特異点の商として得られる孤立したハイパークォオシャント特異点に注目し、3次元端末特異点の分類法を修正した手法を用いる。
• 端末補題および非正則補題を適用して、そのような特異点の構造を解析し、mld > 1 − δ であると仮定すると矛盾が生じることを示す。
• Global ACC定理を用いて一様なklt閾値を保証し、MMPスケーリングを用いた対数有界性技法を適用する。
• 対数解消および基底スキーム上の相対MMPを用いて例外的 divisor を収縮させ、フロップに関して有界な族を構成する。
• 先行研究からの有効な境界（例：LiuとXiaoによるδ₀ = 1/19）を活用し、主なギャップ定理における有効なδ = 1/13を導出する。

実験結果

リサーチクエスチョン

• RQ1 非正則特異点をもつ任意の3次元多様体Xに対して、mld(X) < 1 ならば、mld(X) ≤ 1 − δ を満たす正のギャップδ > 0 が存在するか？
• RQ2 有理的連結性の仮定なしに、非正則なkltカバリ・ヤウ3次元多様体の集合はフロップに関して有界であるか？
• RQ3 すべてのkltカバリ・ヤウ3次元多様体のグローバル指数は、特異点の型にかかわらず上から一様に有界であるか？
• RQ4 3次元における1ギャップ予想は、端末特異点の分類戦略を修正することで確立可能か？

主な発見

• 本稿は、任意の正則な準射影的Q-ゴレンシュタイン3次元多様体Xでmld(X) < 1 であるものに対して、δ > 0 が存在して mld(X) ≤ 1 − δ が成り立つことを証明し、有効な値としてδ = 1/13を示している。
• 有理的連結性の仮定なしに、すべての非正則なkltカバリ・ヤウ3次元多様体の集合は、フロップに関して有界である。
• すべてのkltカバリ・ヤウ3次元多様体のグローバル指数は、ある一様な正の整数mによって上から有界であり、mKX ∼ 0 が成り立つ。
• 3次元孤立したハイパークォオシャント特異点に対して、3次元端末特異点の分類法を適応することで、1ギャップ定理が確立された。
• 対数有界性のペア (Y, (1−a)E) および基底スキーム上の相対MMPスケーリングを用いることで、フロップに関して有界な族が得られた。
• この手法により、有効な境界δ = 1/13が得られ、これは3次元および5次元における孤立した巡回商特異点の最小対数歪度におけるギャップδ₀ = 1/19 から導出された。