[论文解读] On divisors computing MLD's and LCT's

Harold Blum|arXiv (Cornell University)|May 31, 2016

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

一句话总结

本文证明，在光滑曲面上，任何在某一点计算极小对数奇异度的除子也计算对数典范阈值。证明依赖于分析与该除子相关的分次理想序列的渐近对数典范阈值，表明当此类除子计算极小对数奇异度时，它们也必须计算对数典范阈值，该结论利用了单项赋值的性质以及理想有限生成的特性。

ABSTRACT

We show that if a divisor centered over a point on a smooth surface computes a minimal log discrepancy, then the divisor also computes a log canonical threshold. To prove the result, we study the asymptotic log canonical threshold of the graded sequence of ideals associated to a divisor over a variety. We systematically study this invariant and also prove a result describing which divisors compute asymptotic log canonical thresholds.

研究动机与目标

• 确定在代数簇上，哪些除子计算对数典范阈值（lct）和极小对数奇异度（mld），特别是在奇异点的背景下。
• 研究计算 mld 的除子是否必然计算 lct，尽管在双有理几何中已知 lct 计算除子具有有限生成性，但这一问题仍未解决。
• 扩展对与除子相关的分次理想序列的渐近对数典范阈值的理解。
• 提供一个判别准则，用于识别哪些除子计算渐近对数典范阈值，特别是在光滑曲面和 du Val 奇点的情形下。
• 肯定地解决光滑曲面上 mld 计算除子是否也计算 lct 的问题，确立这两个不变量之间的一条单向蕴含关系。

提出的方法

• 定义与代数簇 $X$ 上的除子 $E$ 相关的分次理想序列 $\mathfrak{a}_\bullet^E$ 的渐近对数典范阈值（alct），其中 $\mathfrak{a}_m^E = f_*\mathcal{O}_Y(-mE)$，$f: Y \to X$ 为一个双有理态射。
• 使用 [JM12] 中的准则：当且仅当 $\operatorname{lct}(\mathfrak{a}_\bullet^E) = k_E + 1$ 时，除子 $E$ 计算 $\operatorname{lct}(\mathfrak{b})$，其中 $k_E$ 是 $E$ 在相对典范除子中的系数。
• 通过在爆破上的交点理论分析 $\mathfrak{a}_\bullet^E$ 的结构，特别是在曲面上连续点爆破的情形下。
• 应用引理 5.3 比较不同除子上的对数奇异度，表明若 $a_E(X,\mathfrak{b}^\lambda) > a_{E'}(X,\mathfrak{b}^\lambda)$，则 $E$ 不能计算极小对数奇异度。
• 利用如下事实：$\mathfrak{a}_\bullet^E$ 有限生成当且仅当存在一个将相关例外除子收缩的态射 $Y \to X_E$，从而将有限生成性与对数解析的存在性联系起来。
• 借助局部坐标中单项赋值的已知结果，证明光滑曲面上计算 mld 的除子为单项式，因此也计算 lct。

实验结果

研究问题

• RQ1 在光滑曲面上，是否每个计算极小对数奇异度的除子也计算对数典范阈值？
• RQ2 在什么条件下，一个除子会计算其相关分次理想序列的渐近对数典范阈值？
• RQ3 理想 $\mathfrak{a}_\bullet^E$ 的有限生成性与除子 $E$ 是否计算 lct 或 mld 有何关系？
• RQ4 该结果能否推广到奇异代数簇，如 du Val 奇点？
• RQ5 是否存在计算 mld 但不计算 lct 的除子？若存在，它们在何种条件下出现？

主要发现

• 在光滑曲面上，任何在点 $x$ 处计算 $\operatorname{mld}_x(X,\mathfrak{a}^\lambda)$ 的除子 $E$ 也计算 $\operatorname{lct}(\mathfrak{a})$，从而确立了从 mld 计算到 lct 计算的单向蕴含关系。
• 渐近对数典范阈值 $\operatorname{lct}(\mathfrak{a}_\bullet^E)$ 等于 $k_E + 1$ 当且仅当 $E$ 对某个理想 $\mathfrak{b}$ 计算对数典范阈值。
• 在光滑曲面上连续爆破的情形下，当 $r > 3$ 时，除子 $E_r$ 既不计算 mld 也不计算 lct，而 $E_3$ 则可以计算，表明中间除子可能阻碍 mld 的计算。
• 在 $\mathbb{A}^n$ 中，原点爆破的例外除子满足 $\operatorname{lct}(\mathfrak{a}_\bullet^E) = n = k_E + 1$，确认其计算某个 lct。
• 对于在 $\mathbb{P}^3 \subset \text{Bl}_0\mathbb{A}^4$ 中通过曲线爆破构造的非有限生成 $\mathfrak{a}_\bullet^E$，有 $\operatorname{lct}(\mathfrak{a}_\bullet^E) < k_E + 1$，因此 $E$ 不计算任何 lct 或 mld。
• 在 du Val 奇点（如 $E_7$）中，某些例外除子计算 $\operatorname{mld}_x(X,\mathcal{O}_X)$ 但不计算任何 $\operatorname{lct}(\mathfrak{b})$，表明该结果无法推广到 $\mathfrak{b} = \mathcal{O}_X$ 的情形。