[论文解读] Gap conjecture for 3-dimensional canonical thresholds

Yuri Prokhorov|arXiv (Cornell University)|Jun 24, 2008

Polynomial and algebraic computation参考文献 4被引用 3

一句话总结

本文证明了具有 Weil 除子的三维终端奇点的典范阈值至多为 5/6，从而确立了阈值中的一个严格间隙：在区间 (5/6, 1) 内不存在典范阈值。证明使用加权爆破和终端奇点的分类，表明超过 5/6 的阈值会违反典范条件，且在奇点处最大阈值恰好为 4/5。

ABSTRACT

We prove that the interval $(5/6, 1)$ contains no 3-dimensional canonical thresholds.

研究动机与目标

• 证明三维典范阈值的间隙猜想，具体而言，即区间 (5/6, 1) 内不包含此类阈值。
• 确定三维情况下典范阈值间隙的精确值，表明 ε³^can = 1/6。
• 将结果推广至终端奇点，证明若 (X∋P) 为奇点，则 ct(X,S) ≤ 4/5。
• 通过证明下确界阈值（不等于 1）与 1 的距离至少为 1/6，从而解决 n=3 时的猜想 1.2。
• 使用加权爆破技术与终端奇点的分类，分析分歧度与阈值界限。

提出的方法

• 对终端奇点上的除子应用特定权重的加权爆破，以分析分歧度。
• 使用公式 a(G, K_X + cS) = |α| - 1 - v_α(φ) - c v_α(ψ) 计算分歧度并界定 c。
• 通过其局部解析结构对三维中的终端奇点进行分类，包括 Gorenstein 与非 Gorenstein 情况。
• 使用一阶覆盖将非 Gorenstein 情况约化至 Gorenstein 设置，同时保持典范性质。
• 应用判别准则：若 (X,S) 不是典范的，则对偶 (S,P) 不可能是 Du Val，此结论源自 Rees 定理。
• 分析爆破下例外除子及其分量的结构，以识别可接受的权重并计算分歧度。

实验结果

研究问题

• RQ1 三维典范阈值的集合是否满足升链条件，且在 5/6 之上是否存在间隙？
• RQ2 具有 Weil 除子的三维终端奇点的可能最大典范阈值是多少？
• RQ3 是否存在任何三维终端奇点，其典范阈值超过 5/6？
• RQ4 精确值 ε³^can = 1 - sup(T^can_3 ⋯ {1}) 是多少？
• RQ5 在何种条件下对偶 (X,S) 不是典范的，以及这如何限制阈值 c？

主要发现

• 区间 (5/6, 1) 内不包含任何三维典范阈值，从而证明了 n=3 时的间隙猜想。
• 任何具有 Weil 除子的三维终端奇点的典范阈值满足 ct(X,S) ≤ 5/6。
• 对于奇点处的终端点，阈值被限制在 4/5 以内，且该界限是紧确的，通过构造一个 ct = 4/5 的例子得以证明。
• 最大阈值 ε³^can = 1/6 被实现，确认间隙恰好为 1/6。
• 在非 Gorenstein 情况下，若 ct(X,S) > 1/2，则必有 K_X + S ∼ 0，这将导致矛盾，除非 S 是 Du Val，但这是不可能的。
• 证明确立了对偶 (S,P) 不可能是 Du Val，这是排除高阈值的关键障碍。