[论文解读] On equivalent conjectures for minimal log discrepancies on smooth threefolds

Masayuki Kawakita|arXiv (Cornell University)|Mar 7, 2018

Mathematical Approximation and Integration被引用 6

一句话总结

本文建立了光滑三叉上最小对数分歧率（mld）若干猜想之间的等价性，将其简化为涉及典范对与极大理想幂次的简化情形。证明了当极大理想的对数正则阈值 ≤1/2 或 ≥1 时，计算 mld 的除子的对数分歧率有界，通过通用极限与加权爆破方法推进了三叉上 mld 的 ACC 猜想。

ABSTRACT

On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a canonical part and the maximal ideal to some power. We prove the reduced assertion when the log canonical threshold of the maximal ideal is either at most one-half or at least one.

研究动机与目标

• 建立光滑三叉上最小对数分歧率的 ACC 猜想与其他涉及对数正则阈值和半连续性的猜想之间的等价性。
• 将一般 ACC 猜想约化为边界为典范对与极大理想幂次乘积的情形。
• 在极大理想对数正则阈值 ≤1/2 或 ≥1 的特定条件下，证明计算 mld 的除子的对数分歧率有界。
• 通过通用极限技术将先前关于终端与典范奇点的结果推广至更广泛的理想类。

提出的方法

• 利用 de Fernex 与 Mustaţă 引入的理想的通用极限理论，分析最小对数分歧率在退化下的稳定性。
• 通过聚焦于形如 $\mathfrak{a}^q\mathfrak{m}^s$ 的理想（其中 $\mathfrak{a}$ 定义典范对，$\mathfrak{m}$ 为极大理想），将一般 ACC 猜想约化为更简单的情形。
• 应用加权爆破研究对偶对的对数正则性，并在局部模型中计算对数分歧率。
• 在加权爆破的例外除子上应用邻接的逆定理，分析分歧并验证对数正则性。
• 通过定义多项式的显式标准型约化对奇点进行分类并计算阈值。
• 应用系数的 DCC 条件以确保极限下的有限性与稳定性。

实验结果

研究问题

• RQ1 光滑三叉上最小对数分歧率的 ACC 猜想是否与计算 mld 的除子的对数分歧率有界性等价？
• RQ2 ACC 猜想能否约化为边界为典范对与极大理想幂次乘积的情形？
• RQ3 当极大理想的对数正则阈值 ≤1/2 或 ≥1 时，对数分歧率的有界性是否成立？
• RQ4 对有限系数集，mld 在 $\mathfrak{m}$-进逼近下的半连续性是否一致？
• RQ5 当对涉及典范奇点与极大理想幂次时，最小对数分歧率的结构如何？

主要发现

• 在光滑三叉上，猜想 A（mld 的 ACC）、B（$a$-对数正则阈值的 ACC）、C（统一 $\mathfrak{m}$-进半连续性）与 D（对数分歧率有界性）等价。
• mld 的 ACC 猜想可约化为猜想 1.2，即关于形如 $\mathfrak{a}^q\mathfrak{m}^s$ 的对，其中 $\mathfrak{a}$ 定义典范对。
• 当 $\mathfrak{m}$ 的对数正则阈值 ≤1/2 或 ≥1 时，计算 mld 的除子的对数分歧率有界性已得证。
• 当 $\mathfrak{a}^q$ 为典范且 $s$ 任意时，存在统一的上界 $l$，使得对计算 $\operatorname{mld}_P(X,\mathfrak{a}^q\mathfrak{m}^s)$ 的除子 $E$，有 $a_E(X) \leq l$。
• 当定义方程为 $x_1x_2 + x_3^{w_1+w_2}$ 时，通过在加权爆破上的显式计算，确立了 $(X,\mathfrak{a}\mathfrak{m})$ 的对数正则性。
• 证明利用了在例外除子上的邻接逆定理，并通过在加权射影平面上的曲线 $C+L$ 上直接验证对数正则性。