[論文レビュー] Toward the equivalence of the ACC for $a$-log canonical thresholds and the ACC for minimal log discrepancies

Jihao Liu|arXiv (Cornell University)|Sep 13, 2018

Mathematical Approximation and Integration参考文献 13被引用数 14

ひとこと要約

この論文は、$a$-対数正則特異点閾値のACC予想と、区間$[0,1)$における最小対数不Canonical度のACC予想の等価性を確立し、一方が成り立つのは他方も成り立つときであることを示している。反接続の技法、補完、対数不Canonical度の制御を用いて、$[0,1)$における最小対数不Canonical度が下から集積点を持たないことは、$0 \leq a < 1$に対する$a$-lc閾値のACCと同値であることが証明され、高次元代数的幾何における主要な予想的関係が解決された。

ABSTRACT

In this paper, we show that Shokurov's conjectures on the ACC for $a$-lc thresholds and the ACC for minimal log discrepancies are equivalent in the interval $[0,1)$. That is, the conjecture on ACC for $a$-lc thresholds holds for every $0\leq a&lt;1$ if and only if the set of minimal log discrepancies for pairs with DCC coefficients do not have an accumulation point from below which belongs to $[0,1)$.

研究の動機と目的

• 次元$d$における$a$-対数正則特異点閾値のACC予想と最小対数不Canonical度のACC予想に関するShokurovの予想の等価性を確立すること。
• $a$-lc閾値のACCが、$[0,1)$における最小対数不Canonical度の下からの集積点の非存在を示すこと。
• $[0,1)$における最小対数不Canonical度が下から集積点を持たないことは、$0 \leq a < 1$に対する$a$-lc閾値のACCを示すこと。
• 特に非正則特異点に対して、高次元双有理幾何における2つの中心的予想の予想的関係を解決すること。

提案手法

• 対数不Canonical度の除法の性質と$a$-lc閾値の挙動を関連付けるために、精密な反接続を用いる。
• $(n,\mathcal{I})$-補完の理論を適用して、最小対数不Canonical度が増加するペアの系列における対数不Canonical度を制御する。
• 除法の変形における最小対数不Canonical度の凸性を用いて、$a \in [0,1)$に収束する厳密に増加列から矛盾を導出する。
• $a$-lc閾値$t_i \to a$を満たすペア$(X_i, B_i; G_i)$の系列を用いた極限的議論を行い、$a$がmldsの下からの集積点ではない限り、このような系列は存在し得ないことを示す。
• 例外的除法の重複度を制御するための技術的補題を用い、極限において一意な最小化除法の存在を保証する。
• $\mathbb{R}$-ペアに対する$(n,\mathcal{I})$-補完の存在に依存しており、$a$が無理数の場合に$\mathbb{Q}$-ペアへの対応が不可能になるのを防ぐために不可欠である。

実験結果

リサーチクエスチョン

• RQ1 $a$-lc閾値のACC予想は、次元$d$における最小対数不Canonical度のACC予想を含意するか？
• RQ2 $[0,1)$における最小対数不Canonical度が下から集積点を持たないことは、$0 \leq a < 1$に対する$a$-lc閾値のACCと同値か？
• RQ3 $a$が無理数の場合に、$\mathbb{Q}$-ペアではなく$\mathbb{R}$-ペアを必要とするため、等価性は無理数に対しても成立するか？
• RQ4 $(n,\mathcal{I})$-補完は、$a \in [0,1)$に収束する系列における対数不Canonical度の制御に果たす役割は何か？
• RQ5 除法の変形における最小対数不Canonical度の凸性は、集積点が存在する場合にどのように矛盾を導くのか？

主な発見

• $a$-lc閾値のACCがすべての$0 \leq a < 1$で成り立つのは、DCC係数を持つペアの最小対数不Canonical度の集合が$[0,1)$で下から集積点を持たないときである。
• 2つの主要な定理によって等価性が確立される：1つは$a$-lc閾値のACCがmldsに集積点がないことを示し、もう1つはその逆を示す。
• 証明には、$a$が無理数の場合に$\mathbb{Q}$-ペアへの対応を防ぐために不可欠な、$\mathbb{R}$-ペアに対する$(n,\mathcal{I})$-補完の使用が不可欠である。
• 著者らは、$a$が$\mathrm{MLD}(d,\mathcal{I})$の下からの集積点でない限り、任意のDCC集合$\mathcal{I}, \mathcal{I}'$に対して$a$-lc閾値はACCを満たすことを示した。
• 逆方向の証明では、mldsの凸性と極限における一意な最小化除法の存在に基づく矛盾の議論が用いられた。
• この結果により、2つの予想が区間$[0,1)$で等価であることが確認され、双有理幾何における2つの中心的予想の間の深い構造的関係が明らかになった。