[论文解读] An optimal gap of minimal log discrepancies of threefold non-canonical singularities

Jihao Liu, Liudan Xiao|arXiv (Cornell University)|Sep 19, 2019

Algebraic Geometry and Number Theory参考文献 20被引用 6

一句话总结

本文证明了任意 $\mathbb{Q}$-Gorenstein 非典范三维奇点的最小对数分歧（mld）至多为 $\frac{12}{13}$，且该上界为最优。证明依赖于对相关五维循环商奇点的详细分析，利用计算机辅助枚举由 mld 条件导出的下取整函数方程与不等式，最终表明不存在 mld 属于 $(\frac{12}{13}, 1)$ 的此类奇点。

ABSTRACT

We show that the minimal log discrepancy of any $\mathbb Q$-Gorenstein non-canonical threefold is $\leq\frac{12}{13}$, which is an optimal bound.

研究动机与目标

• 建立非典范三维奇点的最小对数分歧（mld）的最优上界。
• 通过证明当 mld(X) < 1 时必有 mld(X) ≤ 12/13，解决 Shokurov 的 ACC 猜想在三维情形下的长期悬而未决的特殊情况。
• 刻画与三维非典范奇点通过 Jiang 框架相关联的、mld 接近 2 的五维循环商奇点的结构。
• 通过构造显式例子证明 12/13 的界是紧的：三维循环商奇点 $\frac{1}{13}(3,4,5)$ 的 mld 恰好为 $\frac{12}{13}$。
• 提供计算证明，表明不存在满足 Jiang 的约化框架所要求的几何与算术条件的五维循环商奇点，其 mld 属于 $(2 - \frac{1}{13}, 2)$，从而填补了该间隙。

提出的方法

• 分析 mld 接近 2 的五维循环商奇点 $\frac{1}{r}(a_1,\dots,a_5)$，利用关联点 $\bm{x} = (a_i/r)$。
• 引入函数 $f(n) = \sum_{i=1}^5 \lfloor n x_i \rfloor$，并在条件 $f(n) = 2n - 2 - c$（$c$ 较小时）下研究其行为，将此定义为条件 $\mathcal{D}(n,c)$。
• 使用辅助不等式 $\mathcal{C}(n)$ 和结构约束（如 $\gcd(a_i,r)=1$，$\gcd(a_4,r)=\gcd(a_5,r)$，$\sum a_i \equiv 1 \mod r$）以限制可能的解。
• 使用计算机算法枚举在约束条件下满足方程组与不等式的全部解，特别关注 $n \in [2,35]$ 且 $c \leq 4$ 的情形。
• 通过 $V_k$ 的归纳与递归集合构造，筛选出同时满足多个 $n$ 的 $\mathcal{D}(n,c)$ 与 $\mathcal{C}(n)$ 的解。
• 依赖于 mld < 2 的五维循环商奇点的分类，并证明低于 2 的最大 mld 为 $2 - \frac{1}{19}$，在 $\frac{1}{19}(3,4,5,7,18)$ 处取得。

实验结果

研究问题

• RQ1 非典范三维奇点的最小对数分歧的最优上界是什么？
• RQ2 在三维情形下，1 与最小对数分歧之间的间隙是否能被远离 1 所界定？若是，该最优界限是多少？
• RQ3 哪些 mld 接近 2 的五维循环商奇点可作为三维非典范奇点的关联奇点出现？
• RQ4 是否存在 mld 属于 $(2 - \frac{1}{13}, 2)$ 的五维循环商奇点，满足 Jiang 约化框架所要求的几何与算术条件？
• RQ5 界 $\frac{12}{13}$ 是否为紧的？能否通过显式例子实现？

主要发现

• 任意 $\mathbb{Q}$-Gorenstein 非典范三维奇点的最小对数分歧至多为 $\frac{12}{13}$，且该界为最优。
• 例子 $\frac{1}{13}(3,4,5)$ 恰好实现 $\frac{12}{13}$，证实该界无法进一步改进。
• 不存在满足从三维非典范奇点导出所需条件的五维循环商奇点，其 mld 属于 $(2 - \frac{1}{13}, 2)$。
• 孤立五维循环商奇点中低于 2 的最大 mld 为 $2 - \frac{1}{19}$，在 $\frac{1}{19}(3,4,5,7,18)$ 处取得。
• 唯一满足全部约束条件（包括三个可除性条件）的五维循环商奇点为 $(19,\{3,4,5,7,18\})$、$(17,\{2,3,5,7,16\})$ 和 $(14,\{3,5,13,2,4\})$。
• 该证明依赖于对 $\sum_{i=1}^5 \lfloor n x_i \rfloor = 2n - 2 - c$ 在 $n \leq 35$ 且 $c \leq 4$ 下的解的计算机辅助枚举，表明在所需约束下无解存在。