[论文解读] Limits of log canonical thresholds

Tommaso de Fernex, Mircea Mustaţă|ArXiv.org|Oct 26, 2007

Polynomial and algebraic computation参考文献 9被引用 5

一句话总结

本文证明了在光滑 $n$-维流形上的对数典范阈值集合在 $\mathbb{R}$ 中是闭的，且该集合中任意递减序列的极限均属于 $n-1$ 维的情形，从而证实了 Kollár 的一个猜想。通过非标准分析和形式幂级数的性质，作者证明了所有聚点均为有理数，并将 Shokurov 的 ACC 猜想归约为验证 1 不是从下方作为 $\mathcal{T}_n$ 的聚点这一条件。

ABSTRACT

Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n lies in T_{n-1}, proving in this setting a conjecture of Kollár. We also show that T_n is a closed subset in the set of real numbers; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in order to check Shokurov's ACC Conjecture for all T_n, it is enough to show that 1 is not a point of accumulation from below of any T_n. In a different direction, we interpret the ACC Conjecture as a semi-continuity property for log canonical thresholds of formal power series.

研究动机与目标

• 证明光滑 $n$-维流形上对数典范阈值集合 $\mathcal{T}_n$ 在 $\mathbb{R}$ 中是闭的。
• 验证 Kollár 的猜想：$\mathcal{T}_n$ 中任意递减序列的极限属于 $\mathcal{T}_{n-1}$。
• 证明在有界维数下，对数典范阈值的所有聚点均为有理数。
• 将 Shokurov 的 ACC 猜想归约为验证 1 不是从下方作为 $\mathcal{T}_n$ 的聚点。
• 将 ACC 猜想解释为形式幂级数对数典范阈值的半连续性性质。

提出的方法

• 使用非标准分析研究 $\mathcal{T}_n$ 中对数典范阈值的极限。
• 利用超滤子和非标准模型研究 $\mathcal{T}_n$ 中序列的行为。
• 通过分析形式幂级数环 $k[[x_1,\dots,x_n]]$ 上的 Zariski 拓扑，研究集合 $\mathcal{R}_n(c)$ 的构造性。
• 证明 $\mathcal{R}_n(c) = \{f \in k[[x_1,\dots,x_n]] \mid f(0)=0, \operatorname{lct}(f) \geq c\}$ 是形式幂级数环中的一个柱形集。
• 应用对数典范阈值的半连续性定理，证明在商环 $\mathfrak{m}/\mathfrak{m}^\ell$ 中，某些集合是开集或构造集。
• 利用集合为柱形集当且仅当它是有限个构造柱形集的交集这一事实，从拓扑性质推导出有限性条件。

实验结果

研究问题

• RQ1 是否每个 $\mathcal{T}_n$ 中递减序列的极限都属于 $\mathcal{T}_{n-1}$？
• RQ2 对于每个 $n$，集合 $\mathcal{T}_n$ 是否在 $\mathbb{R}$ 中是闭的？
• RQ3 在有界维数下，对数典范阈值的所有聚点是否都是有理数？
• RQ4 Shokurov 的 ACC 猜想是否可以归约为验证 1 不是从下方作为 $\mathcal{T}_n$ 的聚点？
• RQ5 形式幂级数环中满足对数典范阈值 $\geq c$ 的集合 $\mathcal{R}_n(c)$ 是否为柱形集？

主要发现

• 光滑 $n$-维流形上对数典范阈值集合 $\mathcal{T}_n$ 在 $\mathbb{R}$ 中是闭的。
• 每个 $\mathcal{T}_n$ 中递减序列的极限属于 $\mathcal{T}_{n-1}$，从而证实了 Kollár 的猜想。
• 在有界维数下，对数典范阈值的所有聚点均为有理数，因为 $\mathcal{T}_n \subseteq \mathbb{Q} \cap [0,n]$。
• Shokurov 的 ACC 猜想对所有 $\mathcal{T}_n$ 成立，当且仅当 1 不是从下方作为任何 $\mathcal{T}_n$ 的聚点。
• ACC 猜想等价于对所有 $c \in \mathbb{Q}$，集合 $\mathcal{R}_n(c)$ 是形式幂级数环中的柱形集。
• 当 $k$ 不可数时，$\operatorname{lct}(f) \geq c$ 的条件仅依赖于 $f$ 到阶数 $N(n,c)$ 的截断，且该 $N(n,c)$ 与 $k$ 无关。