[论文解读] Multiplier ideals, b-function, and spectrum of a hypersurface singularity

Morihiko Saito|ArXiv.org|Feb 23, 2004

Algebraic Geometry and Number Theory参考文献 21被引用 5

一句话总结

本文建立了Ein、Lazarsfeld、Smith与Varolin定理的局部逆定理，证明了超曲面奇点的Bernstein-Sato多项式（b-函数）的某些根是乘子理想跳跃系数。文章引入了米尔诺上同调的新过滤，推广了马尔格朗日定理，并通过霍奇过滤与极点阶过滤将其与谱联系起来，为局部锥形除数及超平面排列的情形提供了乘子理想的显式公式。

ABSTRACT

We prove that certain roots of the Bernstein-Sato polynomial (i.e. b-function) are jumping coefficients up to a sign, showing a partial converse of a theorem of L. Ein, R. Lazarsfeld, K.E. Smith, and D. Varolin. We also prove that certain roots are determined by a filtration on the Milnor cohomology, generalizing a theorem of B. Malgrange in the isolated singularity case. This implies a certain relation with the spectrum which is determined by the Hodge filtration, because the above filtration is related to the pole order filtration. For multiplier ideals we prove an explicit formula in the case of locally conical divisors along a stratification, generalizing a formula of Mustata in the case of hyperplane arrangements. We also give another proof of a formula of U. Walther on the b-function of a generic hyperplane arrangement, including the multiplicity of -1.

研究动机与目标

• 建立关于跳跃系数小于1即为b-函数根这一结果的局部逆定理。
• 将马尔格朗日关于米尔诺单值性与霍奇过滤关系的定理推广至非孤立奇点情形。
• 在局部锥形除数沿分层结构的情形下，给出乘子理想的显式公式。
• 通过米尔诺上同调上的新过滤，将超曲面奇点的谱与b-函数联系起来。
• 为通用超平面排列的b-函数提供沃尔特公式的全新证明，包括-1处根的重数。

提出的方法

• 利用Kashiwara与Malgrange的V-过滤，将乘子理想与b-函数联系起来。
• 在米尔诺上同调上引入一个自然过滤$\widetilde{P}$，该过滤包含霍奇过滤，并在单值性作用下保持稳定。
• 应用饱和的Brieskorn格$\widetilde{\mathcal{G}}_{f}^{(-i)}$来定义过滤$\widetilde{P}$，并将其与极点阶过滤关联。
• 利用权重谱序列与博特定理，计算射影空间上扭曲形式的上同调，以进行谱的计算。
• 应用扭曲的德拉姆复形与对数微分形式，计算特定排列下$H^2(U, L^{(5/7)})$的情形。
• 利用关系式$\mathcal{J}(X, (\alpha+1)D) = f \mathcal{J}(X, \alpha D)$，利用跳跃系数的周期性。

实验结果

研究问题

• RQ1 b-函数$b_f(-s)$的哪些根对应于乘子理想的跳跃系数？
• RQ2 马尔格朗日定理中关于霍奇过滤与单值性的关系能否推广至非孤立奇点之外？
• RQ3 通过米尔诺上同调上的过滤，谱与b-函数之间有何关系？
• RQ4 当除数沿分层结构为局部锥形时，能否给出乘子理想的显式公式？
• RQ5 通用超平面排列的谱是否仅依赖于组合数据？能否通过b-函数与乘子理想证明这一点？

主要发现

• 若$b_{f,x}(-s)$在$(0,1)$内的根$\alpha$满足条件(a)存在全纯向量场$\xi$使得$\xi f = f$，且(b)对所有靠近$x$的$y \neq x$有$\alpha < \alpha_{f,y}$，则$\alpha$是$D$在$x$处的局部跳跃系数。
• 在$H^{n-1}(F_x, \mathbb{C})_\lambda$上的过滤$\widetilde{P}$满足：若$\mathrm{Gr}_{\widetilde{P}}^p H^{n-1}(F_x, \mathbb{C})_\lambda \neq 0$且$p = [n - \alpha]$，则$\alpha$是$b_{f,x}(-s)$的根。
• 若对任意$y \neq x$及$i \in \mathbb{N}$，$\alpha + i$不是$b_{f,y}(-s)$的根，则逆命题成立：此类$\alpha$是根当且仅当$\widetilde{P}$的分次部分非零。
• 当$\lambda = \exp(-2\pi i \alpha)$不是$y \neq x$处米尔诺单值性的特征值时，根$\alpha$的重数等于单值性在$\mathrm{Gr}_{\widetilde{P}}^{[n-\alpha]} H^{n-1}(F_x, \mathbb{C})_\lambda$上的最小多项式的次数。
• 对于局部锥形除数，乘子理想$\mathcal{J}(X, \alpha D)$沿分层结构存在显式公式，推广了穆斯塔察对超平面排列的结果。
• 在排列$\{ (x^2-1)(y^2-1) = 0 \}$的情形下，计算表明$\dim H^2(U, L^{(5/7)}) \neq 0$，意味着$5/7$是$b_f(-s)$的根，且谱系数$m_{5/7} = 1$。