[论文解读] Hilbert series of graded Milnor algebras and roots of Bernstein-Sato polynomials

Morihiko Saito|arXiv (Cornell University)|Sep 21, 2015

Algebraic structures and combinatorial models参考文献 16被引用 7

一句话总结

本论文表明，即使米尔诺代数的希尔伯特级数相同，其在原点严格支持的伯恩斯坦-萨托多项式的根也并非由其希尔伯特级数唯一确定。通过在Macaulay2和RISA/ASIR中的显式计算，作者构造了两个齐次多项式，其米尔诺代数的希尔伯特级数相同，但其在原点严格支持的伯恩斯坦-萨托根集不同，从而否定了潜在的唯一性猜想，并揭示了米尔诺代数中的挠元并不总是贡献预期的根。

ABSTRACT

We show that there is a pair of homogeneous polynomials such that the sets of roots of their Bernstein-Sato polynomials which are strictly supported at the origin are different although the sets of roots which are not strictly supported at the origin are the same and moreover their graded Milnor algebras have the same Hilbert series. This shows that the roots of the Bernstein-Sato polynomials strictly supported at the origin cannot be determined uniquely by the Hilbert series of the Milnor algebras. This is contrary to certain hyperplane arrangement cases. It also implies that a nonzero torsion element with pure degree in the Milnor algebra does not necessarily contribute to a root of the Bernstein-Sato polynomial in an expected way. This example is found by using Macaulay2 and RISA/ASIR.

研究动机与目标

• 研究齐次米尔诺代数的希尔伯特级数是否能唯一确定原点严格支持的伯恩斯坦-萨托多项式根的集合。
• 挑战一个猜想，即希尔伯特级数唯一确定严格支持的根，尤其与超平面排列情形下的已知结果形成对比。
• 阐明米尔诺代数中挠元在贡献伯恩斯坦-萨托多项式根方面的作用。
• 通过计算代数方法证明，极序谱序列的微分并非仅由E₁项决定。

提出的方法

• 构造两个三变量中次数为5、具有孤立奇点的齐次多项式 $f_1 = x^5 + y^4z + x^4y$ 和 $f_2 = x^5 + y^4z + x^3y^2$。
• 使用Macaulay2计算其米尔诺代数的希尔伯特级数，确认二者完全相同。
• 使用RISA/ASIR计算其在原点严格支持的伯恩斯坦-萨托多项式根，发现 $8/5 \in R^0_{f_2} \setminus R^0_{f_1}$。
• 利用极序谱序列和极序滤子 $P$，将上同调数据与伯恩斯坦-萨托多项式的根联系起来。
• 应用典范满射 $M_k \twoheadrightarrow \mathrm{Gr}^p_P H^{n-1}(f^{-1}(1), \mathbb{C})_\lambda$ 定义元素对根的贡献。
• 对从 $M'$ 到米尔诺上同调的典范态射的失效进行理论分析，表明挠元与单值化本征值之间不存在自然对应关系。

实验结果

研究问题

• RQ1 原点严格支持的伯恩斯坦-萨托多项式根的集合是否可由米尔诺代数的希尔伯特级数唯一确定？
• RQ2 米尔诺代数中非零挠元是否总是以可预测的方式贡献于伯恩斯坦-萨托多项式的根？
• RQ3 极序谱序列中的微分是否仅由 $E_1$-项决定，还是在同构的 $E_1$-项下可能变化？
• RQ4 是否存在一个反例，以否定希尔伯特级数决定严格支持的伯恩斯坦-萨托根的猜想，特别是在非超平面排列的情形下？

主要发现

• 通过Macaulay2计算确认，$f_1$ 和 $f_2$ 的米尔诺代数的希尔伯特级数完全相同。
• 尽管希尔伯特级数相同，但其在原点严格支持的伯恩斯坦-萨托多项式根集不同：$8/5 \in R^0_{f_2}$ 但 $8/5 \notin R^0_{f_1}$，此结果由RISA/ASIR计算得出。
• 米尔诺代数的挠部分满足 $\dim M'_8 = 1$ 且 $\dim M'_9 = 0$，对 $f_1$ 和 $f_2$ 均成立，表明非零挠元不一定会贡献于根。
• 典范态射 $M_k' \to \mathrm{Gr}^p_P H^{n-1}(f^{-1}(1), \mathbb{C})_\lambda$ 不是单射，且从 $M'$ 到米尔诺上同调不存在典范态射，从而破坏了预期的对应关系。
• 极序谱序列中的微分 $d_r$ 并非仅由 $E_1$-项唯一确定，因为相同的 $E_1$-项可导致同构米尔诺代数下不同的 $E_\infty$-项。