[论文解读] On real log canonical thresholds

Morihiko Saito|ArXiv.org|Jul 16, 2007

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

一句话总结

本文引入了实代数函数的实对数典范阈值（rlct）与实跳跃数的概念，将其与复版本区分开来。研究表明，rlct 可以超过 1，且与复对数典范阈值及分布 |f|^s 的最大极点不同，尤其在高余维零点集处；并证明实跳跃数可与复化后的非整数跳跃数不相交。

ABSTRACT

We introduce real log canonical threshold and real jumping numbers for real algebraic functions. A real jumping number is a root of the $b$-function up to a sign if its difference with the minimal one is less than 1. The real log canonical threshold, which is the minimal real jumping number, coincides up to a sign with the maximal pole of the distribution defined by the complex power of the absolute value of the function. However, this number may be greater than 1 if the codimension of the real zero locus of the function is greater than 1. So it does not necessarily coincide with the maximal root of the b-function up to a sign, nor with the log canonical threshold of the complexification. In fact, the real jumping numbers can be even disjoint from the non-integral jumping numbers of the complexification.

研究动机与目标

• 定义并研究实代数函数的实对数典范阈值（rlct）与实跳跃数。
• 澄清分布 ∫|f|^s ω 的极点与 rlct 之间的关系，尤其当实零点集的余维 >1 时。
• 证明 rlct 可能超过 1，且与复对数典范阈值及分布的最大极点均不同。
• 表明实跳跃数可与复化后的非整数跳跃数不相交。
• 建立 rlct 关于实奇点解析中各阶乘数与雅可比因子贡献的公式。

提出的方法

• 通过实解析函数 g 的局部 L^1 可积性 |g|/|f|^α 定义实乘子理想 J(X_R, f^α)。
• 利用沿光滑实中心的爆破实现实奇点解析，将 f 及体积形式的拉回表示为单项式形式。
• 推导 rlct 的公式为 min_j (a_j + 1)/m_j，其中 m_j 与 a_j 分别为 f 与雅可比行列式在例外除子上的重数。
• 将分布 ∫|f|^s ω 的极点与 rlct 关联，证明最大极点 p(f,ω) 满足 p(f,ω) ≥ rlct(f) ≥ lct(f_C)。
• 构造具有孤立奇点的例子，显示 rlct(f) > lct(f_C)，尤其当实零点集余维 >1 时。
• 利用滤过 D-模与单值表示分析谱，表明某些实跳跃数不会出现在复谱中。

实验结果

研究问题

• RQ1 实代数函数的实对数典范阈值（rlct）与其复化版本的对数典范阈值之间有何关系？
• RQ2 rlct 是否可能超过 1？若可以，其几何条件为何，尤其在实零点集的余维上？
• RQ3 实跳跃数是否总是与复化后的非整数跳跃数重合？还是可能不相交？
• RQ4 分布 ∫|f|^s ω 的极点如何与 rlct 及复 b-函数相关？
• RQ5 实跳跃数是否可能出现在复化函数的谱中？还是与复谱完全独立？

主要发现

• 实对数典范阈值 rlct(f) 由 min_j (a_j + 1)/m_j 给出，其中 m_j 与 a_j 分别为实解析中 f 与雅可比行列式在例外除子上的重数。
• 当实零点集余维 >1 时，即 f 属于例外类型时，rlct(f) 可大于 1。
• 如孤立奇点例子所示，rlct(f) 可超过复对数典范阈值 lct(f_C)，例如 rlct(f) = n/d > 1 而 lct(f_C) ≤ 1。
• 实跳跃数 RJN(f) 可与复化后的非整数跳跃数不相交，例如 rlct(f) = 3/4 但并非 f_C 的跳跃数。
• 在 n=3, d=e=2, c=2 的例子中，实跳跃数为 {k/4 | k≥3}，而复跳跃数包含于 {k/6 + j | k=4,5,6; j∈N}，显示完全不匹配。
• 分布 ∫|f|^s ω 的最大极点 p(f,ω) 满足 p(f,ω) ≥ rlct(f)，当 ω 的支集在 α = rlct(f) 处使得分次层 G(X_R, f^α) 非零时取等。