[论文解读] 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 的 mld 的 ACC 猜想，并在二维情形及仿射空间上的单项式理想情形下证明了该猜想。

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 猜想，从而将局部有界性与翻转的全局终止性联系起来。
• 通过证明二维情形和仿射空间上单项式理想的情形，为该猜想提供部分证据。
• 利用理想的一般极限理论，限制计算除子上极大理想的阶数，为完全猜想提供技术路径。
• 证明在一点检查对数典范性可简化为检查有限个具有有界分歧度的除子，从而简化验证程序。

提出的方法

• 利用 [dFM]、[Kollar1] 和 [dFEM1] 中发展的理想一般极限理论，分析理想序列及其极限行为。
• 利用此类阶数控制分歧度 $k_E$ 的事实，对计算 mld 的除子上极大理想 $τ_{x}$ 的阶数引入一个界。
• 使用不等式 $\operatorname{ord}_E(\mathfrak{m}_x) \leq \ell$ 推导出 $k_E$ 的统一上界，将阶数界与分歧度界联系起来。
• 通过无限理想序列及其极限，应用有界性猜想与 Shokurov 的 ACC 猜想的一个变体之间的等价性。
• 在两个关键情形下证明该猜想：当 $\dim(X) = 2$ 时，以及当 $(X,x) = (\mathbb{A}^n, 0)$ 且 $\mathfrak{a}$ 为单项式 $\mathbb{R}$-理想时。
• 使用涉及分歧度公式 $a_E(X,\mathfrak{a}) = k_E + 1 - \sum \lambda_j \cdot \operatorname{ord}_E(\mathfrak{a}_j)$ 的反证法，推导出 $k_E$ 的界。

实验结果

研究问题

• RQ1 是否存在一个统一的上界 $\ell$，使得对于所有系数属于固定有限集合 $I$ 的 $\mathbb{R}$-理想 $\mathfrak{a}$，计算极小对数分歧 $\operatorname{mld}_x(X,\mathfrak{a})$ 的除子 $E$ 的分歧度 $k_E$ 均满足 $k_E \leq \ell$？
• RQ2 二维 klt 局域情形下 $k_E$ 的有界性是否可被确立？
• RQ3 在原点处，仿射空间 $\mathbb{A}^n$ 上的单项式 $\mathbb{R}$-理想是否满足该有界性猜想？
• RQ4 该有界性猜想是否蕴含固定局域上 mld 的 Shokurov 的 ACC 猜想？
• RQ5 是否可通过仅检查具有有界分歧度的有限个除子来验证某一点处的对数典范性？

主要发现

• 固定局域上 mld 的有界性猜想蕴含 Shokurov 的 mld 的 ACC 猜想，建立了局部有界性与翻转全局终止性之间的关键联系。
• 该猜想在二维情形下被证明成立，确认了对于所有系数属于有限集合的 $\mathbb{R}$-理想，$k_E$ 的有界性。
• 该猜想在仿射空间 $\mathbb{A}^n$ 原点处的单项式 $\mathbb{R}$-理想情形下得到验证，表明计算除子的分歧度是统一有界的。
• 存在一个统一的上界 $\ell$，使得对任意系数属于有限集合 $I$ 的 $\mathbb{R}$-理想 $\mathfrak{a}$，存在一个计算 $\operatorname{mld}_x(X,\mathfrak{a})$ 的除子 $E$ 满足 $\operatorname{ord}_E(\mathfrak{m}_x) \leq \ell$。
• 在点 $x$ 处的对数典范性可通过验证所有中心在 $x$ 且满足 $k_E \leq \ell$ 的除子 $E$ 的 $a_E(X,\mathfrak{a}) \geq 0$ 来检查，其中 $\ell$ 为统一常数。
• 通过一般极限构造和分歧度增长的反证法，建立了有界性猜想与 Shokurov 的 ACC 猜想的一个变体之间的等价性。