[论文解读] Which powers of holomorphic functions are integrable?

Janós Kollár|arXiv (Cornell University)|May 6, 2008

Geometry and complex manifolds参考文献 12被引用 44

一句话总结

本文研究了全纯函数在其零点附近负幂次的可积性，引入对数典范阈值（LCT）作为关键不变量。通过奇点的解析解和分歧理论，证明了LCT在截断幂级数下保持稳定，并利用极小模型与ACC猜想，证明了光滑复空间上的累积猜想。

ABSTRACT

We show that every limit of log canonical thresholds of n-variable functions is also a log canonical threshold of an (n-1)-variable function.

研究动机与目标

• 确定对于哪些实数指数 t，函数 |f|^t 在全纯函数 f 的零点集附近局部可积。
• 定义并分析对数典范阈值（LCT）作为 L^2 可积性失效的临界指数。
• 研究 n 维复空间中所有可能的 LCT 值的集合，记为 HT_n。
• 利用极小模型理论与 ACC 猜想，证明光滑复空间上的累积猜想。
• 建立 LCT 在幂级数截断下的稳定性，证明 c₀(f) ≤ lim inf c₀(tₘ(f)) + 2n/(m+1)。

提出的方法

• 使用 |f|^{-s} 的 L^2 可积性准则，将对数典范阈值 c₀(f) 定义为可积性失效的临界 s 值。
• 应用奇点的解析解，通过双有理模型中例外除子的分歧表达 LCT。
• 利用弧空间与超积（部分基于 de Fernex–Mustaţǎ）分析 LCT 在极限下的行为。
• 利用极小模型的存在性（BCHM）证明 LCT 的 ACC 猜想的关键情形。
• 应用邻接的反演，将函数的 LCT 与其在线性子空间上的限制的 LCT 联系起来。
• 使用幂级数的 m 阶截断 tₘ(f)，并通过估计式 c₀(f) ≤ c₀(tₘ(f)) + 2n/(m+1) 证明 LCT 在截断下的收敛性。

实验结果

研究问题

• RQ1 对于哪些实数指数 t，|f|^t 在全纯函数 f 的零点集附近局部可积？
• RQ2 n 维复空间中所有可能的对数典范阈值集合 HT_n 的结构是什么？
• RQ3 集合 HT_n 是否满足升链条件（ACC）与累积猜想？
• RQ4 对数典范阈值在幂级数截断下如何表现？
• RQ5 当 m → ∞ 时，能否从 f 的 m 阶喷射截断的 LCT 恢复 f 的 LCT？

主要发现

• 对数典范阈值 c₀(f) 是满足 |f|^{-s} 在原点附近 L^2 可积的 s 的上确界。
• 对于在原点处有 m 重数的一元全纯函数 f，有 c₀(f) = 1/m，因此 HT₁ = {1, 1/2, 1/3, ..., 0}。
• 幂级数 f 的 LCT 下方受其 m 阶截断的 LCT 的下极限控制：c₀(f) ≤ lim inf c₀(tₘ(f)) + 2n/(m+1)。
• 累积猜想在光滑复空间上成立：LCT 集合在 (0, ∞) 内无聚点，除非可能在 0 处。
• 在光滑情形下，LCT 的 ACC 猜想成立，这通过极小模型的存在性与分歧结构得以证明。
• LCT 在小扰动下稳定：若 tₘ(f) 接近 tₘ(F)，则当 m 足够大且 f 属于喷射空间的 Zariski 开集时，有 c₀(f) = c₀(F)。