[论文解读] IMPANGA lecture notes on log canonical thresholds

Mircea Mustaţă|arXiv (Cornell University)|Jul 13, 2011

Geometry and complex manifolds参考文献 34被引用 13

一句话总结

本文提供了对对数典范阈值（LCT）的全面讲义笔记，该阈值是复代数几何中衡量奇点严重程度的代数不变量，对多重性的倒数进行了细化。文章建立了其基础性质，将LCT与奇点的解析解耦、Multiplier理想及双有理几何联系起来，并证明了关键结果，例如在二维情形下，存在拟单项赋值可实现渐近LCT。

ABSTRACT

These are lecture notes from the IMPANGA 2010 Summer school. They give an introduction to log canonical thresholds, covering some basic properties, examples, and some recent results and open questions.

研究动机与目标

• 系统发展对数典范阈值（LCT）的理论，将其作为衡量奇点严重程度的多重性细化。
• 将LCT与奇点解耦、Multiplier理想及双有理几何中的极小模型程序等更广泛背景联系起来。
• 证明在二维情形下，渐近LCT可由拟单项赋值实现。
• 探讨LCT与分析不变量（如复奇点指数及Demailly与Kollár的开性猜想）之间的关系。
• 提出并研究关于实现LCT的赋值的有限性与结构的猜想，尤其关注高维情形。

提出的方法

• 将对数典范阈值 $\operatorname{lct}_P(f)$ 定义为满足在点 $P$ 附近对对 $($\mathbf{C}$^n, \lambda H)$ 为对数典范的最大 $\lambda > 0$，其中 $H$ 是由 $f$ 定义的超曲面。
• 利用奇点解耦证明复奇点指数（等价于LCT）是有理数，且上界为1，并表明其在复幂的梅雷诺延拓中的极点被 $-\operatorname{lct}(f)$ 所限制。
• 为一个分次理想序列 $\mathfrak{a}_\bullet$ 引入渐近LCT $\operatorname{lct}(\mathfrak{a}_\bullet)$，定义为极限 $\lim_{m \to \infty} m \cdot \operatorname{lct}(\mathfrak{a}_m)$。
• 通过公式 $\operatorname{lct}(\mathfrak{a}_\bullet) = \frac{\operatorname{Logdisc}(v)}{v(\mathfrak{a}_\bullet)}$ 将渐近LCT与对数分歧联系起来，其中 $v$ 为一个赋值。
• 证明在二维情形下，实现渐近LCT的每个赋值必为拟单项赋值，支持了此类赋值有限性的猜想。
• 通过psh函数及 $\exp(-2s\varphi)$ 的可积性，将代数LCT与分析不变量通过开性猜想联系起来。

实验结果

研究问题

• RQ1 对数典范阈值与超曲面在奇点处的多重性之间的确切关系是什么？
• RQ2 对数典范阈值如何与复奇点指数及复幂的梅雷诺延拓相关联？
• RQ3 分次理想序列的渐近对数典范阈值是否可由拟单项赋值实现？
• RQ4 对于固定的 $n$，所有对数典范阈值的集合是否满足升链条件（ACC），其与翻转终止猜想有何关联？
• RQ5 复多复变函数的开性猜想在多大程度上可由实现LCT的赋值的猜想有限性推出？

主要发现

• 对于加权齐次多项式 $f = x_1^{a_1} + \cdots + x_n^{a_n}$，其在原点的对数典范阈值为 $\operatorname{lct}_0(f) = \min\left\{1, \sum_{i=1}^n \frac{1}{a_i}\right\}$，表明其为有理数且有界于1。
• 对于超曲面，对数典范阈值是有理数且属于 $[0,1]$，且当且仅当超曲面在该点非奇异时等于1。
• 分次理想序列 $\mathfrak{a}_\bullet$ 的对数典范阈值等于 $\frac{\operatorname{Logdisc}(v)}{v(\mathfrak{a}_\bullet)}$，其中 $v$ 为某个赋值；在二维情形下，此类 $v$ 必为拟单项赋值。
• 猜想：所有最小化赋值均为拟单项赋值，在二维情形成立，如 [JM] 中定理4.9所证明。
• 渐近LCT $\operatorname{lct}(\mathfrak{a}_\bullet)$ 定义良好，且等于 $\lim_{m \to \infty} m \cdot \operatorname{lct}(\mathfrak{a}_m)$，将该概念推广至分次序列。
• Demailly与Kollár的开性猜想由所有渐近LCT的最小化赋值为拟单项赋值的猜想所蕴含，表明代数与分析奇点不变量之间存在深层联系。