[論文レビュー] 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

ひとこと要約

本稿では、非可換代数における左イデアルと単一生成部分代数の交わりを一般化した手法を用いて、超曲面およびアフィン多様体のバーナイン・サトウ多項式を計算する新規なアルゴリズムを提示する。Singularに実装されたこのアプローチは、グレブナー基底の消去を線形独立性の検出に置き換えることで計算効率を向上させ、特異点や単項曲線を含む例を通じて検証された、多様体のバーナイン・サトウ多項式を計算する新手法を導入する。

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-加群理論における超曲面およびアフィン多様体のバーナイン・サトウ多項式を効率的に計算するための手法を開発すること。
• 非可換代数における変数の消去という計算的課題、特にD-加群の文脈において解決すること。
• 主交差技法を単一生成部分代数に一般化し、D-加群計算への応用を可能とすること。
• 先行研究に類似例のない、正確で効率的なアフィン多様体のバーナイン・サトウ多項式を計算する新規なアルゴリズムを提供すること。
• アンニヒレーターに基づく、初期に基づく、およびシジージに基づくアプローチを比較・最適化し、特に困難な特異点においての性能を評価すること。

提案手法

• 非可換代数における左イデアルと単一生成部分代数の交わりを計算する一般化されたアルゴリズムを提案する。
• 主交差法を用いて、計算コストの高いグレブナー基底の消去を、正規形のK-線形独立性の検出に置き換える。
• この技法を用いて、多項式fのs-パrametricアンニヒレーターを計算し、バーナイン・サトウ多項式計算の重要なステップを達成する。
• Budurら（2006）のフレームワークを拡張することで、アフィン多様体のバーナイン・サトウ多項式を計算する新規なアルゴリズムを導入する。
• 非可換グレブナー基底を実装するPluralライブラリを用いて、コンピュータ代数システムSingularにこの手法を実装する。
• 消去を非可換設定で管理するため、(dp(6), rp)やx ≫ yの表記を用いた単項順序を採用する。

実験結果

リサーチクエスチョン

• RQ1 非可換代数において、左イデアルと単一生成部分代数の交わりを効率的に計算するため、主交差法を一般化できるか？
• RQ2 既存の超曲面用手法に依存せずに、アフィン多様体のバーナイン・サトウ多項式を計算する方法は何か？
• RQ3 アンニヒレーターに基づく手法と初期に基づく手法の相対的な性能優位性は、さまざまな種類の特異点においてどのように異なるか？
• RQ4 シジージ駆動型のAnn_{D[s]}(f^s)の計算手法が、Briançon-Maisonobeアルゴリズムを上回ることを証明できるか、そしてどのような条件下で成立するか？
• RQ5 アフィン多様体用の新規手法は、より高次元または複雑な特異点、例えば高codimensionの巡回商特異点へどの程度一般化可能か？

主な発見

• 主交差法により、グレブナー基底の消去をK上の線形代数に置き換えることで、著しく性能が向上し、計算複雑度が低減される。
• アフィン多様体のバーナイン・サトウ多項式を計算する新規なアルゴリズムは正しく、文献に類似例のない初の手法である。
• 単項曲線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)のヒルツェブルク・ジョンソン特異点に対して、バーナイン・サトウ多項式はb_Z(s) = (s+1)³(s+4/3)(s+5/3)(s+3/2)となり、既知の結果を確認する。
• 型(6;1,2,3)の巡回商特異点（9生成元）に対しては、バーナイン・サトウ多項式の計算に失敗し、高次元または複雑なケースにおける計算限界を示している。
• 非超平面配置ではアンニヒレーターに基づく手法が初期に基づく手法を上回る性能を示すが、超平面配置では逆の傾向を示し、効率性は文脈に依存することが示された。