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

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

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

一句话总结

本文提出了一种高效方法，用于计算由加权齐次孤立奇点的齐次多项式定义的射影超曲面的伯恩斯坦-萨托多项式的根，将问题简化为计算分次米尔诺代数的希尔伯特级数。关键贡献是提出了一种算法，可在较弱条件下通过计算机代数系统即时计算根，其理论基础为极点序 spectral 序列的 $E_2$-退化性。

ABSTRACT

We present a quite efficient method to calculate the roots of Bernstein-Sato polynomial for a defining polynomial $f$ of a projective hypersurface $Z\subset{\mathbb P}^{n-1}$ of degree $d$ having only weighted homogeneous isolated singularities. We prove the $E_2$-degeneration of the pole order spectral sequence so that the computation of roots is reduced to the one of the Hilbert series of the Jacobian ring of $f$ except the special case where $f$ is annihilated by a nonzero vector field on ${\mathbb C}^n$ with linear function coefficients. In the three variable case with $d>4$ we may assume that this vector field is a linear combination of $x\partial_x, y\partial_y, z\partial_z$, where $f$ is called extremely degenerated; in particular, the latter case does not contain any essential indecomposable central hyperplane arrangement in ${\mathbb C}^3$. Combined with the self-duality of the Koszul complex and a theorem of Dimca and Popescu, it implies for $n=3$ with $d>4$ except the extremely degenerated case that $R_f=\frac{1}{d}({\mathbb Z}\cap[3,k'])\cup R_Z$. Here $R_f,R_Z$ are the roots of Bernstein-Sato polynomials of $f$ and $Z$ up to sign, and $k'=\max(2d-3,k_{\max}+3)$ with $k_{\max}$ the maximal degree of the ``torsion part" of the Jacobian ring, where the latter is known to be at most $2d-5$ in the hyperplane arrangement case.

研究动机与目标

• 开发一种快速且有效的方法，用于计算具有加权齐次孤立奇点的齐次多项式的伯恩斯坦-萨托多项式的根。
• 建立伯恩斯坦-萨托多项式根与分次米尔诺代数的希尔伯特级数之间的联系。
• 在孤立奇点和加权齐次条件下，证明极点序 spectral 序列的 $E_2$-退化性。
• 提供一种计算框架，避免计算伯恩斯坦-萨托多项式中重数的需要，后者计算成本高昂。
• 通过显式例子和 Macaulay2 与 Singular 等计算机代数系统验证该方法的有效性。

提出的方法

• 将伯恩斯坦-萨托多项式根的计算简化为分次米尔诺代数 $M_f = R / (\text{Jac}(f))$ 的希尔伯特级数，其中 $R = \bC[x_1, \tdots, x_n]$ 且 $\text{Jac}(f)$ 为雅可比理想。
• 利用与微局部高斯-曼因复形及 $V$-滤子相关的极点序 spectral 序列，将上同调群与伯恩斯坦-萨托根联系起来。
• 在孤立加权齐次奇点假设下，证明极点序 spectral 序列的 $E_2$-退化性。
• 应用定理 1，将在原点处支持的伯恩斯坦-萨托多项式根与 $H^{n-1}(F_f, \bC)_\lambda$ 上极点序滤子的非零分次联系起来，其中 $p = [n - \alpha]$ 且 $\lambda = e^{-2\pi i \alpha}$。
• 利用计算机代数系统（Macaulay2、Singular）计算希尔伯特级数、蒂尤林数和米尔诺数以进行验证。
• 通过计算奇点理想根式并比较蒂尤林数与米尔诺数，验证不存在隐藏奇点。

实验结果

研究问题

• RQ1 对于具有加权齐次孤立奇点的射影超曲面，是否可以无需确定重数而高效计算其伯恩斯坦-萨托多项式的根？
• RQ2 在何种条件下，此类超曲面的极点序 spectral 序列在 $E_2$ 退化？
• RQ3 如何利用分次米尔诺代数的希尔伯特级数恢复伯恩斯坦-萨托多项式的根？
• RQ4 极点序滤子与米尔诺纤维上同调中的单峰特征空间之间存在何种关系？
• RQ5 该方法在多大程度上可通过 $\tfrac{16}{9}$-例子检测超平面排列的非组合不变量？

主要发现

• 在条件 $\alpha \notin \mathcal{R}_Z + \mathbb{Z}_{<0}$ 下，原点处支持的伯恩斯坦-萨托多项式根由 $\mathrm{Gr}_P^p H^{n-1}(F_f, \bC)_\lambda$ 的非零性决定，其中 $p = [n - \alpha]$ 且 $\lambda = e^{-2\pi i \alpha}$。
• 对于具有加权齐次孤立奇点的射影超曲面，极点序 spectral 序列的 $E_2$-退化性成立，这使得米尔诺代数的希尔伯特级数能够确定伯恩斯坦-萨托根。
• 在三变量情况下，除极高度退化的多项式外，该方法均适用，经大量计算验证。
• 即使对于高次多项式，也可使用 Macaulay2 等计算机代数系统即时计算米尔诺代数的希尔伯特级数。
• 该方法正确识别了非组合不变量：在沃瑟尔的例子中，$\sum \delta_k T^k = T^{16} + \cdots + T^0$ 且 $\tfrac{16}{9} \notin \tfrac{1}{3}\mathbb{Z}$，证明 $b_f(s)$ 不是组合不变量。
• 可通过奇点理想根式的计算检测隐藏奇点，如例 (5.5) 所示，其中 $\mathrm{Sing}\,Z$ 包含 $[1:-1:0]$。