[论文解读] On minimal log discrepancies on varieties with fixed Gorenstein index

Yusuke Nakamura|arXiv (Cornell University)|Jan 26, 2015

Algebraic Geometry and Number Theory参考文献 21被引用 4

一句话总结

该论文通过推广对数可识别阈值的有理性定理，建立了具有固定系数的三维典范对上极小对数分歧（mld）的离散性与ACC（上升链条件）。它证明了在固定Gorenstein指标的代数簇上，mld值在ℝ中是离散的，从而在系数有限时，于三维情形确立了mld的ACC，解决了极小模型程序中的一个关键情形。

ABSTRACT

We generalize the rationality theorem of the accumulation points of log canonical thresholds which was proved by Hacon, M extsuperscript{c}Kernan, and Xu. Further, we apply the rationality to the ACC problem on the minimal log discrepancies. We study the set of log discrepancies on varieties with fixed Gorenstein index. As a corollary, we prove that the minimal log discrepancies of three-dimensional canonical pairs with fixed coefficients satisfy the ACC.

研究动机与目标

• 将Hacon–McKernan–Xu的对数可识别阈值有理性定理推广至具有固定Gorenstein指标的代数簇。
• 在固定Gorenstein指标的背景下，研究极小对数分歧的ACC猜想。
• 证明在具有固定Gorenstein指标的代数簇上，极小对数分歧集合在ℝ中是离散的。
• 在具有有限系数集的三维典范对中，确立极小对数分歧的ACC。
• 为在Gorenstein指标约束下mld集合的有界性与有限性提供基础。

提出的方法

• 将Hacon–McKernan–Xu的有理性定理推广至具有固定Gorenstein指标的对数对。
• 在由系数集 $ I igcup \{1\} $ 张成的ℚ-向量空间的维数上使用归纳法。
• 应用关于对数可识别对中无理系数的扰动定理（定理1.6），确保小扰动下可识别性保持不变。
• 通过有限个缩放有理集与离散子集的并集构造离散的对数分歧集合。
• 通过通用极限法与典范奇点分类，将mld问题约化为有界Gorenstein指标情形。
• 利用三维情形下mld的有界性（BDD猜想）与三维终端奇点的分类，以界定mld值。

实验结果

研究问题

• RQ1 在具有固定Gorenstein指标的代数簇上，极小对数分歧集合是否满足ACC？
• RQ2 对数可识别阈值的有理性定理能否推广至具有固定Gorenstein指标的代数簇？
• RQ3 在具有固定Gorenstein指标与有限系数集的对数对中，对数分歧集合是否离散？
• RQ4 在具有固定系数的三维典范对中，极小对数分歧的结构如何？
• RQ5 Gorenstein指标如何约束极小对数分歧的极限点？

主要发现

• 对于满足 $ rK_X $ 为Cartier且 $ rak{a} $ 的系数属于有限集 $ I $ 的 $ d $-维对数可识别对 $ (X,rak{a}) $，对数分歧集合 $ B(d,r,I) $ 在 $ \bbR $ 中是离散的。
• 在闭点处的极小对数分歧集合 $ A'(d,r,I) $ 在 $ \bbR $ 中是离散的，尽管在无有界性假设下未必是有限的。
• 对于具有有限系数集 $ I \to [0,1] $ 的三维典范对，集合 $ A_{\text{can}}(3,I) $ 满足ACC，其唯一极限点为1。
• 三维终端奇点的极小对数分歧值为 $ 1 + 1/r $（当Gorenstein指标为 $ r $ 时）或3，这有助于界定mld值。
• 当 $ \text{mld}_x(X,\triangle) \to a > 1 $ 时，其所在环境代数簇的Gorenstein指标被有界于 $ \floor{1/(a-1)} $，从而实现有限分类。
• 证明依赖于通过典范模型与三维终端奇点分类，将问题约化为有界Gorenstein指标情形，表明 $ A_{\text{can}}(3,I) \to \bigcup_{l \to \floor{1/(a-1)}} A'(3,l, I/l) $，由推论1.3可知该集合为有限集。