[论文解读] Effective Methods for the Computation of Bernstein-Sato polynomials for Hypersurfaces and Affine Varieties

Daniel de Andrés, Viktor Levandovskyy+1 more|arXiv (Cornell University)|Feb 18, 2010

Polynomial and algebraic computation参考文献 22被引用 3

一句话总结

本文提出了一种新颖的算法，用于计算超曲面和仿射代数簇的Bernstein-Sato多项式，采用了一种通用方法来计算左理想与由单个元素生成的子代数的交集。该方法在Singular中实现，通过用线性相关性检测替代Gröbner基消去法，提高了计算效率，并提出了一种计算代数簇Bernstein-Sato多项式的全新方法，通过包括奇点和单项曲线在内的多个示例进行了验证。

ABSTRACT

This paper is the widely extended version of the publication, appeared in Proceedings of ISSAC'2009 conference \citep*{ALM09}. We discuss more details on proofs, present new algorithms and examples. We present a general algorithm for computing an intersection of a left ideal of an associative algebra over a field with a subalgebra, generated by a single element. We show applications of this algorithm in different algebraic situations and describe our implementation in extsc{Singular}. Among other, we use this algorithm in computational $D$-module theory for computing e. g. the Bernstein-Sato polynomial of a single polynomial with several approaches. We also present a new method, having no analogues yet, for the computation of the Bernstein-Sato polynomial of an affine variety. Also, we provide a new proof of the algorithm by Briançon-Maisonobe for the computation of the $s$-parametric annihilator of a polynomial. Moreover, we present new methods for the latter computation as well as optimized algorithms for the computation of Bernstein-Sato polynomial in various settings.

研究动机与目标

• 开发D-模理论中关于超曲面和仿射代数簇的Bernstein-Sato多项式的高效计算方法。
• 解决非交换代数中变量消去的计算挑战，特别是在D-模的背景下。
• 将主交集技术推广至由单个元素生成的子代数，以应用于D-模计算。
• 提供一种全新、正确且高效的算法，用于计算仿射代数簇的Bernstein-Sato多项式，且此前在文献中无类似方法。
• 比较并优化不同方法——基于消去的理想、基于首项的以及基于系统关系的——在计算Bernstein-Sato多项式时的表现，尤其在具有挑战性的奇点情况下。

提出的方法

• 提出一种通用算法，用于计算非交换代数中左理想与由单个元素生成的子代数的交集。
• 应用主交集方法，以K-线性相关性检测正常形式的方法替代计算昂贵的Gröbner基消去法。
• 利用该技术计算多项式f的s-参数消去理想，这是计算Bernstein-Sato多项式的关键步骤。
• 提出一种新算法，通过扩展Budur等人（2006）的框架，用于计算仿射代数簇的Bernstein-Sato多项式。
• 在计算机代数系统Singular中实现该方法，使用Plural库进行非交换Gröbner基计算。
• 采用单项序如(dp(6), rp)以及符号x ≫ y，以在非交换设置中管理消去过程。

实验结果

研究问题

• RQ1 主交集方法能否被推广，以高效计算非交换代数中左理想与由单个元素生成的子代数的交集？
• RQ2 如何在不依赖超曲面已有方法的前提下，实现仿射代数簇的Bernstein-Sato多项式的计算？
• RQ3 在不同类型的奇点中，基于消去的理想的方法与基于首项的方法在计算Bernstein-Sato多项式方面有何相对性能优势？
• RQ4 基于系统关系的方法在计算Ann_{D[s]}(f^s)时是否可被证明优于Briançon-Maisonobe算法？在何种条件下成立？
• RQ5 该新方法在仿射代数簇上的应用在多大程度上可推广至更复杂的奇点，如高余维的循环商奇点？

主要发现

• 主交集方法通过用K上的线性代数替代Gröbner基消去法，显著提升了性能，降低了计算复杂度。
• 用于计算仿射代数簇的Bernstein-Sato多项式的新型算法是正确且可靠的，且为文献中首次提出此类方法。
• 对于单项曲线Spec ℂ[T³,T⁴,T⁵]，计算得到的b_Z(s)与Shibuta（2008）的结果一致：(s+1)²(s+7/9)(s+5/9)(s+1/2)(s+8/9)(s+11/9)(s+10/9)(s+4/9)。
• 对于类型为(5,2)的Hirzebruch-Jung奇点，Bernstein-Sato多项式为b_Z(s) = (s+1)³(s+4/3)(s+5/3)(s+3/2)，与已知结果一致。
• 该方法在计算类型为(6;1,2,3)的循环商奇点（含9个生成元）时失败，表明在高维或复杂情况下存在计算极限。
• 对于非超平面排列，基于消去的理想的方法优于基于首项的方法；而对于超平面排列，情况相反，表明效率具有上下文依赖性。