[論文レビュー] ACC for minimal log discrepancies of terminal threefolds

Jingjun Han, Jihao Liu+1 more|arXiv (Cornell University)|Feb 10, 2022

Analytic Number Theory Research被引用数 5

ひとこと要約

本稿は、係数集合にのみ依存する $δ > 0$ に対して、終極的3次元多様体上の最小対数特異度（mld）のACC予想を証明する。mldを計算する除斥の均一有界性を確立し、$ε \geq 1$ の場合の $(ε,n)$-補完の存在を示し、終極的特異点の分類と補完の有界性を用いて、3次元多様体における代数幾何の主要な予想を解決する。

ABSTRACT

We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-δ,+\infty)$, where $δ>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's conjecture on the existence of $(ε,n)$-complements for threefolds for any $ε\geq 1$. As a key important step, we prove the uniform boundedness of divisors computing minimal log discrepancies for terminal threefolds. We show the ACC for threefold canonical thresholds, and that the set of accumulation points of threefold canonical thresholds is equal to $\{0\}\cup\{\frac{1}{n}\}_{n\in\mathbb Z_{\ge 2}}$ as well.

研究の動機と目的

• 終極的3次元多様体対における最小対数特異度（mld）のACC予想を、範囲 $[1 - \delta, \infty)$ で証明すること。
• 終極的3次元多様体において、mldを計算する除斥 $E$ のための不変量 $a(E, X, 0)$ の均一有界性を確立すること。
• 3次元多様体において $ε \geq 1$ のとき、ショクロフの $(\epsilon,n)$-補完の存在に関する予想を確認すること。
• 3次元多様体の正則閾値の蓄積点の集合を $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$ として特徴付けること。
• mldの有界性に関する先行研究を、DCC係数集合と終極的特異点のより広い設定へと拡張・一般化すること。

提案手法

• 終極的3次元多様体特異点の分類を活用し、mldを計算する除斥とその不変量を分析する。
• 補完の有界性理論（[Bir19, HLS19, Sho20] の結果を含む）を適用し、正則閾値の振る舞いを制御する。
• 重み付き爆破とリードのバスケット技法を用いて、局所的極小芽における特異点と不変量を研究する。
• 特異的リーマン・ローチ公式と除斥的収縮を用い、異なる双有理モデル間での不変量を関連付ける。
• 局所化により問題をトーリックの場合に還元し、カラテオドリの定理を用いて $a(E, X, 0)$ を次元 $d$ で有界化する。
• 正則的有理多面体と弱い均一有界性の理論を適用し、正則閾値のACCを確立する。

実験結果

リサーチクエスチョン

• RQ1 係数集合にのみ依存する $δ > 0$ に対して、終極的3次元多様体対における最小対数特異度のACC予想は、範囲 $[1 - \delta, \infty)$ で成り立つか？
• RQ2 終極的3次元多様体芽においてmld $\geq 1$ を満たすmldを計算する除斥 $E$ の不変量 $a(E, X, 0)$ は、均一に有界か？
• RQ3 3次元多様体の正則閾値の蓄積点の集合は、$\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$ と一致するか？
• RQ4 3次元多様体対において $ε \geq 1$ のとき、$(\epsilon,n)$-補完は存在するか？
• RQ5 トーリックLC対において、mldを計算する除斥 $E$ の不変量 $a(E, X, 0)$ は均一に有界か？ そして、これはmldのACCを示唆するか？

主な発見

• mldのACC予想は、係数集合 $\Gamma$ にのみ依存する $δ > 0$ に対して、終極的3次元多様体上で成り立つ。
• mld $\geq 1$ を満たす終極的3次元多様体芽におけるmldを計算する除斥 $E$ の不変量 $a(E, X, 0)$ に対して、係数集合 $\Gamma$ にのみ依存する均一有界値 $l$ が存在する。
• 3次元多様体の正則閾値の蓄積点の集合は、正確に $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$ である。
• 3次元多様体において $ε \geq 1$ のとき、ショクロフの $(\epsilon,n)$-補完の存在に関する予想は成立する。
• トーリックLC対において、任意のmldを計算する除斥 $E$ の不変量 $a(E, X, 0)$ は次元 $d$ で有界であり、Conjecture 7.2 のトーリックの場合を確認する。
• 証明により、次元 $d$ のトーリック $\mathbb{Q}$-ゴレンシュタインLC対に対して、$a(E, X, 0) \leq d$ の均一有界値が得られ、等号は特別な構成でのみ成立する。