[论文解读] Multiplier ideals, V-filtration, and spectrum

Nero Budur, Morihiko Saito|ArXiv.org|May 8, 2003

Algebraic Geometry and Number Theory参考文献 10被引用 14

一句话总结

本文在代数D-模理论中建立了乘子理想与V-滤子之间的精确联系，表明乘子理想与结构层上的V-滤子一致。通过混合Hodge模与消失上同调，本文为一个结果提供了新证明：在(0,1]中的跳跃系数是Bernstein-Sato多项式的根，并进一步细化了指数≤1或> dim X−1时的谱公式。

ABSTRACT

For an effective divisor on a smooth algebraic variety or a complex manifold, we show that the associated multiplier ideals coincide essentially with the filtration induced by the filtration V constructed by B. Malgrange and M. Kashiwara. This implies another proof of a theorem of L. Ein, R. Lazarsfeld, K.E. Smith and D. Varolin that any jumping coefficient in the interval (0,1] is a root of the Bernstein-Sato polynomial up to sign. We also give a refinement (using mixed Hodge modules) of the formula for the coefficients of the spectrum for exponents not greater than one or greater than the dimension of the variety minus one.

研究动机与目标

• 建立光滑概形上结构层的乘子理想与V-滤子之间的精确对应关系。
• 利用V-滤子与混合Hodge模，为Ein、Lazarsfeld、Smith与Varolin的定理提供新证明：在(0,1]中的跳跃系数是Bernstein-Sato多项式的根。
• 通过混合Hodge模细化超曲面奇点的谱公式，特别是针对指数≤1或> dim X−1的情况。
• 通过解析树上例外除子上层的上同调，建立V-滤子的分次项与谱之间的关系。

提出的方法

• 利用奇点的嵌入解析化定义乘子理想与D-模B_f上的V-滤子。
• 应用双滤子直接像理论与混合Hodge模理论，将V-滤子与消失上同调上的Hodge滤子联系起来。
• 在解析的例外除子E上定义层K_α与K′_α，用于计算V-滤子的分次项。
• 利用Serre对偶性与循环覆盖，将K_α与K′_α的上同调与Milnor纤维上同调上的Hodge滤子联系起来。
• 应用混合Hodge模的对偶定理，将H^j(F_x, C)上的Hodge滤子与K_α及K′_α的上同调联系起来。
• 建立H^j(E, K_α)与Milnor纤维上同调的(n−1)-阶滤子部分之间的典范同构。

实验结果

研究问题

• RQ1 光滑概形上结构层的乘子理想与V-滤子之间有何关系？
• RQ2 能否利用V-滤子与混合Hodge模重新证明(0,1]中的跳跃系数是Bernstein-Sato多项式的根这一事实？
• RQ3 超曲面奇点的谱与V-滤子的分次项之间存在何种精确关系？
• RQ4 例外除子上的层K_α与K′_α如何通过上同调计算谱？
• RQ5 混合Hodge模在细化指数≤1或> dim X−1时的谱公式中起什么作用？

主要发现

• 结构层上的V-滤子满足：当α非跳跃点时，V^α𝒪_X = 𝒥(αD)；更一般地，对充分小的ε > 0，有𝒥(αD) = V^{α+ε}𝒪_X 且 V^α𝒪_X = 𝒥((α−ε)D)。
• V-滤子的分次项满足：对所有有理数α，有Gr_V^α𝒪_X = ℐ(D,α)，即乘子理想商。
• 谱系数n_α等于在点x处的截面维数ℐ(D,x,α)，即当0 < α ≤ 1时，有n_α = dim ℐ(D,x,α)。
• 对所有j ∈ ℤ与α ∈ (0,1]，存在典范同构：H^j(E, K_α) ≅ F^{n−1}H^{j+n−1}(F_x, ℂ)_e(−α) 与 H^j(E, K′_α) ≅ F^{n−1}H_c^{j+n−1}(F_x, ℂ)_e(−α)。
• 谱系数n_α还满足n_α = χ(E, K′_{n−α})（当n−1 < α < n时），提供了一个基于对偶性的公式。
• Milnor纤维上同调上的Hodge滤子满足：当p < 0或p > j时，有Gr_F^p H^j(F_x, ℂ) = 0，从而确认了预期的Hodge理论界。