[论文解读] Bernstein-Sato polynomials of hyperplane arrangements

Morihiko Saito|arXiv (Cornell University)|Feb 23, 2006

Advanced Combinatorial Mathematics参考文献 22被引用 18

一句话总结

本文利用广义Malgrange公式和Aomoto复形理论，为复空间中约化超平面排列的Bernstein-Sato多项式建立了显式公式与界限。证明了所有根均大于−2，根−1的重数等于环境维数，并提出了一种在低次情形下计算该多项式的方法，从而在三变量情况下证实了Denef与Loeser的猜想。

ABSTRACT

We show that the Bernstein-Sato polynomial (that is, the b-function) of a hyperplane arrangement with a reduced equation is calculable by combining a generalization of Malgrange's formula with the theory of Aomoto complexes due to Esnault, Schechtman, Terao, Varchenko, and Viehweg in certain cases. We prove in general that the roots are greater than -2 and the multiplicity of the root -1 is equal to the (effective) dimension of the ambient space. We also give an estimate of the multiplicities of the roots in terms of the multiplicities of the arrangement at the dense edges, and provide a method to calculate the Bernstein-Sato polynomial at least in the case of 3 variables with degree at most 7 and generic multiplicities at most 3. Using our argument, we can terminate the proof of a conjecture of Denef and Loeser on the relation between the topological zeta function and the Bernstein-Sato polynomial of a reduced hyperplane arrangement in the 3 variable case.

研究动机与目标

• 计算复空间中约化超平面排列的Bernstein-Sato多项式。
• 建立Bernstein-Sato多项式根的精确界限。
• 为低维情形（例如三变量，次数≤7）提供该多项式的计算方法。
• 在三变量情况下证实Denef与Loeser关于拓扑Zeta函数与Bernstein-Sato多项式之间关系的猜想。

提出的方法

• 通过微局部理论推广Malgrange关于Bernstein-Sato多项式的公式。
• 应用Aomoto复形理论，将无穷维的上同调问题转化为有限维线性代数问题。
• 利用奇点的嵌入解析解和单值性数据，分析局部Bernstein-Sato多项式。
• 采用谱理论与乘子理想研究跳跃系数与根的重数。
• 通过Aomoto复形应用扭曲de Rham上同调理论，计算上同调消失条件。
• 利用超曲面奇点的谱验证根界限中的等式。

实验结果

研究问题

• RQ1 约化超平面排列的Bernstein-Sato多项式的根的精确界限是什么？
• RQ2 根−1的重数如何用环境空间维数表征？
• RQ3 能否有效计算低次超平面排列的Bernstein-Sato多项式？
• RQ4 在三变量情况下，拓扑Zeta函数与Bernstein-Sato多项式之间存在何种关系？
• RQ5 在何种条件下，非整数根的重数等于一？

主要发现

• Bernstein-Sato多项式的所有根均大于−2，且根−1的重数等于环境空间的有效维数。
• 任意根α的重数受m(λ)有界，其中λ = exp(−2πiα)，该界限基于排列中强相邻的密集边。
• 根位于所有密集边L的ℤ/m_L的并集中，其中m_L为排列在L处的重数。
• 对于三变量下度数d且重数≤3的通用排列，可显式计算该多项式。
• Denef与Loeser关于拓扑Zeta函数与Bernstein-Sato多项式关系的猜想在三变量情况下得到证实。
• 在三变量下，当d=3m且m≥1时，若为约化中心超平面排列，则对λ=exp(−2πi/m)，有H¹(F_f,0)_λ = 0，从而确认了证明中的关键步骤。