[論文レビュー] A boundedness conjecture for minimal log discrepancies on a fixed germ

Mircea Mustaţă, Yusuke Nakamura|arXiv (Cornell University)|Feb 3, 2015

Mathematical Approximation and Integration参考文献 17被引用数 4

ひとこと要約

本稿では、固定されたklt特異点において、最小対数歪度（mld）の有界性予想を提唱し、任意の係数の有限集合に対して、mldを計算する除数の歪度に一様な上限が存在すると主張する。一般化された理想の極限と最大イデアルの順序に関する境界を用いて、著者たちはこの予想がShokurovのACC予想を含むことを示し、次元2およびアフィン空間上の単項式イデアルの場合にそれを証明する。

ABSTRACT

We consider the following conjecture: on a klt germ (X,x), for every finite set I there is a positive integer N with the property that for every R-ideal J on X with exponents in I, there is a divisor E over X that computes the minimal log discrepancy of (X,J) at x and such that its discrepancy k_E is bounded above by N. We show that this implies Shokurov's ACC conjecture for minimal log discrepancies on a fixed klt germ and give some partial results towards the conjecture.

研究の動機と目的

• 固定されたklt特異点 (X,x) における最小対数歪度（mld）の有界性予想を確立し、mldを計算する除数の歪度が有界であることを保証する。
• この有界性予想が、固定された特異点におけるmldに対するShokurovのACC予想を含むことを示し、局所的有界性とフラップの全局的終了との間の関係を確立する。
• 次元2の場合およびアフィン空間上での単項式イデアルの場合に、この予想を部分的に証明することで、証拠を提供する。
• 一般化された理想の理論を用いて、計算する除数に沿った最大イデアルの順序を有界化し、全予想への技術的道筋を提示する。
• 点での対数正則性のチェックが、歪度が有界である有限個の除数に制限できることを示し、検証手順を簡素化する。

提案手法

• [dFM]、[Kollar1]、[dFEM1] で開発された一般化された理想の理論を用い、イデアルの列とその極限的挙動を分析する。
• 歪度 $k_E$ を制御するような、mldを計算する除数に沿った最大イデアル $τ_{x}$ の順序に対する境界を導入する。
• 不等式 $\operatorname{ord}_E(\mathfrak{m}_x) \leq \ell$ を用いて、$k_E$ に対する一様上界を導出し、順序の境界と歪度の境界を結びつける。
• 無限個のイデアル列とその極限を用いて、有界性予想とShokurovのACC予想の変種との同値性を適用する。
• 次元2の場合および $(X,x) = (\mathbb{A}^n, 0)$ で単項式 $\mathbb{R}$-イデアルの場合に、予想を証明する。
• 歪度の公式 $a_E(X,\mathfrak{a}) = k_E + 1 - \sum \lambda_j \cdot \operatorname{ord}_E(\mathfrak{a}_j)$ を用いた背理法により、$k_E$ の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 固定された有限集合 $I$ に係数をもつ任意の $\mathbb{R}$-イデアル $\mathfrak{a}$ に対して、$\operatorname{mld}_x(X,\mathfrak{a})$ を計算する除数 $E$ の歪度 $k_E$ に一様な上限 $\ell$ が存在するか？
• RQ2 2次元klt特異点の場合に、$k_E$ の有界性が確立できるか？
• RQ3 アフィン空間 $\mathbb{A}^n$ の原点における単項式 $\mathbb{R}$-イデアルに対して、有界性予想は成り立つか？
• RQ4 有界性予想が、固定された特異点におけるmldに対するShokurovのACC予想を含むか？
• RQ5 点での対数正則性は、歪度が有界である有限個の除数についてのみチェックすることで確認可能か？

主な発見

• 固定された特異点におけるmldの有界性予想は、ShokurovのACC予想を含むことを示し、局所的有界性とフラップの全局的終了との間の重要な関係を確立する。
• 次元2の場合に予想が証明され、係数が有限集合に属する任意の $\mathbb{R}$-イデアルについて $k_E$ が有界であることが確認された。
• アフィン空間 $\mathbb{A}^n$ の原点における単項式 $\mathbb{R}$-イデアルについて、予想が検証され、計算する除数の歪度が一様に有界であることが示された。
• 任意の $\mathbb{R}$-イデアル $\mathfrak{a}$ について、係数が有限集合 $I$ に属するとき、$\operatorname{ord}_E(\mathfrak{m}_x) \leq \ell$ を満たすmldを計算する除数 $E$ が存在する一様な上限 $\ell$ が存在する。
• 点 $x$ における対数正則性は、中心が $x$ で $k_E \leq \ell$ を満たすすべての除数 $E$ について $a_E(X,\mathfrak{a}) \geq 0$ を確認することでチェック可能であり、ある一様な $\ell$ が存在する。
• 一般化された極限構成と歪度の増大に関する背理法を用いて、有界性予想とShokurovのACC予想の変種との同値性が確立された。