[论文解读] ACC for minimal log discrepancies of terminal threefolds

Jingjun Han, Jihao Liu+1 more|arXiv (Cornell University)|Feb 10, 2022

Analytic Number Theory Research被引用 5

一句话总结

本文证明了在系数集仅依赖的 $\delta > 0$ 下，对终端三维三重点的最小对数分歧（mld）的 ACC 猜想成立。它建立了计算 mld 的除子的统一有界性，并证明了当 $\epsilon \geq 1$ 时存在 $(\epsilon,n)$-对偶，利用终端奇点的分类和对偶有界性理论，解决了三维情形在双有理几何中的关键猜想。

ABSTRACT

We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-δ,+\infty)$, where $δ>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's conjecture on the existence of $(ε,n)$-complements for threefolds for any $ε\geq 1$. As a key important step, we prove the uniform boundedness of divisors computing minimal log discrepancies for terminal threefolds. We show the ACC for threefold canonical thresholds, and that the set of accumulation points of threefold canonical thresholds is equal to $\{0\}\cup\{\frac{1}{n}\}_{n\in\mathbb Z_{\ge 2}}$ as well.

研究动机与目标

• 证明在范围 $[1 - \delta, \infty)$ 内，终端三维对偶对的最小对数分歧（mld）的 ACC 猜想。
• 建立在终端三维三重点中，计算 mld 的除子 $E$ 的分歧 $a(E, X, 0)$ 的统一有界性。
• 在 $\epsilon \geq 1$ 时，确认三维情形下 Shokurov 关于 $(\epsilon,n)$-对偶存在的猜想。
• 将三维 canonical thresholds 的极限点集表征为 $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$。
• 将先前关于 mld 有界性的结果推广至更广泛的 DCC 系数集和终端奇点情形。

提出的方法

• 利用终端三维奇点的分类，分析计算 mld 的除子及其分歧。
• 应用对偶有界性理论，包括 [Bir19, HLS19, Sho20] 的结果，以控制 canonical thresholds 的行为。
• 使用加权爆破和 Reid 的篮子技术，研究局部奇点胚中的奇点和分歧。
• 运用奇异 Riemann-Roch 公式和除子性收缩，关联不同双有理模型间的分歧。
• 通过局部化将问题约化为 toric 情形，并利用 Carathéodory 定理，以维数 $d$ 有界 $a(E, X, 0)$。
• 应用 canonical rational 多面体和弱统一有界性理论，建立 canonical thresholds 的 ACC。

实验结果

研究问题

• RQ1 对于仅依赖于系数集的某 $\delta > 0$，终端三维三重点在范围 $[1 - \delta, \infty)$ 内的 mld 的 ACC 猜想是否成立？
• RQ2 在 mld $\geq 1$ 的终端三维三重点胚中，计算 mld 的除子 $E$ 的分歧 $a(E, X, 0)$ 是否可统一有界？
• RQ3 三维 canonical thresholds 的极限点集是否恰好为 $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$？
• RQ4 当 $\epsilon \geq 1$ 时，三维对偶对是否存在 $(\epsilon,n)$-对偶？
• RQ5 对于 toric lc 对偶，mld 计算除子 $E$ 的分歧 $a(E, X, 0)$ 是否有统一有界性，且是否蕴含 mld 的 ACC？

主要发现

• 在系数集 $\Gamma$ 仅依赖的 $\delta > 0$ 下，终端三维三重点上 mld 的 ACC 猜想成立。
• 存在一个仅依赖于系数集 $\Gamma$ 的统一有界值 $l$，使得在 mld $\geq 1$ 的终端三维三重点胚中，计算 mld 的除子 $E$ 的分歧 $a(E, X, 0)$ 满足 $a(E, X, 0) \leq l$。
• 三维 canonical thresholds 的极限点集恰好为 $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$。
• 当 $\epsilon \geq 1$ 时，Shokurov 关于 $(\epsilon,n)$-对偶存在的猜想在三维情形成立。
• 对于 toric lc 对偶，任意 mld 计算除子 $E$ 的分歧 $a(E, X, 0)$ 由维数 $d$ 有界，从而在 toric 情形下确认了猜想 7.2。
• 证明建立了对任意维数 $d$ 的 toric $\mathbb{Q}$-Gorenstein lc 对偶，有统一有界性 $a(E, X, 0) \leq d$，且等号仅在特殊配置下可能成立。