[论文解读] Bernstein-Sato polynomials and graded Milnor algebras for projective hypersurfaces with weighted homogeneous isolated singularities

Morihiko Saito|arXiv (Cornell University)|Sep 15, 2016

Algebraic structures and combinatorial models被引用 4

一句话总结

本文提出了一种高效计算齐次多项式 Bernstein-Sato 多项式根的方法，适用于其射影超曲面具有加权齐次孤立奇点的情形，且在特定条件下成立。通过将问题约化为计算分次 Milnor 代数的 Hilbert 系数，该方法在计算机代数系统中可行，从而实现快速根计算，即使在标准硬件上直接计算完整 Bernstein-Sato 多项式不可行时亦可实现。

ABSTRACT

We present a quite efficient method to calculate the roots of the Bernstein-Sato polynomials of homogeneous polynomials if the associated projective hypersurfaces have only weighted homogeneous isolated singularities and moreover a certain condition is satisfied. In the three variable case, the last condition often holds except for certain special cases. The computation of the roots is then reduced to that of the Hilbert series of the graded Milnor algebras of homogeneous polynomials, and we can calculate it instantly by computers (unless the degree is very big) although it takes much much longer to determine the Bernstein-Sato polynomials by using a computer program. (Indeed, the latter seems sometimes impossible for certain examples like Walther's at least by using ordinary computers.) For the proof of the formula, we prove the degeneration of the pole order spectral sequence, which is false unless the projective hypersurface has only weighted homogeneous isolated singularities.

研究动机与目标

• 开发一种实用方法，用于计算射影超曲面具有加权齐次孤立奇点的齐次多项式 Bernstein-Sato 多项式根。
• 识别在何种条件下，可通过分次 Milnor 代数的 Hilbert 系数计算 Bernstein-Sato 多项式根，使其变得可行。
• 通过将焦点从完整多项式计算转向利用代数不变量确定根，克服现有软件在处理困难示例（如 Walther 的例子）时的计算限制。
• 证明在给定奇点条件下，极点序数谱序列发生退化，这是该方法有效性的理论基础。

提出的方法

• 该方法将 Bernstein-Sato 多项式根的计算约化为与齐次多项式相关的分次 Milnor 代数的 Hilbert 系数计算。
• 利用如下事实：对于满足特定条件的加权齐次孤立奇点，极点序数谱序列发生退化，从而可将 Hilbert 系数用作根计算的代理。
• Hilbert 系数通过计算机代数系统算法化计算，即使在高次多项式情况下也具有高效性。
• 该方法避开了计算完整 Bernstein-Sato 多项式的需要，后者在许多情况下计算上不可行。
• 在三变量情形下尤为有效，因为在此情况下所需条件通常成立，除非存在特殊配置。
• 该方法的理论基础在于证明在指定奇点条件下，极点序数谱序列发生退化。

实验结果

研究问题

• RQ1 在何种条件下，可高效计算具有加权齐次孤立奇点的齐次多项式 Bernstein-Sato 多项式根？
• RQ2 在此设定下，分次 Milnor 代数的 Hilbert 系数与 Bernstein-Sato 多项式根之间有何关系？
• RQ3 为何极点序数谱序列在给定奇点与条件假设下恰好发生退化？
• RQ4 该方法是否能克服标准软件在处理如 Walther 的困难示例时无法计算 Bernstein-Sato 多项式的计算障碍？
• RQ5 在三变量情形下，该方法的适用程度如何，因为所需条件在此情形下通常成立？

主要发现

• 当射影超曲面具有加权齐次孤立奇点且满足某一条件时，可通过计算分次 Milnor 代数的 Hilbert 系数，高效计算 Bernstein-Sato 多项式的根。
• 在指定条件下，极点序数谱序列发生退化，这对方法的有效性至关重要，且已在本文中得到证明。
• 在三变量情形下，所需条件通常成立，使该方法在此设定下具有广泛适用性。
• Hilbert 系数的计算在标准软件下是可计算的，即使对高次多项式亦然，而直接计算 Bernstein-Sato 多项式在许多情况下仍不可行。
• 该方法成功克服了如 Walther 的例子中标准算法在普通硬件上失效的计算限制。
• 该方法通过聚焦于利用代数不变量确定根，为完整 Bernstein-Sato 多项式计算提供了一种实用的替代方案。