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

ひとこと要約

本稿では、重み付き斉次な孤立特異点を持つ射影的超曲面をもつ斉次多項式に対して、特定の条件下でベルンシュタイン＝サトォ多項式の根を効率的に計算する手法を提示する。特異点の性質により、問題を階数付きミルナー代数のヒルベルト級数の計算に還元できる。これはコンピュータ代数系を用いて容易に実行可能であり、標準的なハードウェアでベルンシュタイン＝サトォ多項式の完全な計算が不可能な場合でも、迅速な根の計算が可能になる。

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.

研究の動機と目的

• 射影的超曲面が重み付き斉次な孤立特異点を持つ場合に、ベルンシュタイン＝サトォ多項式の根を実用的な方法で計算すること。
• 階数付きミルナー代数のヒルベルト級数を用いてベルンシュタイン＝サトォ多項式の根の計算が tractable となる条件を同定すること。
• ウォルターの例のような困難な例を扱う際、従来のソフトウェアが計算不能な問題を克服するため、完全な多項式の計算から根の決定への焦点の転換を図ること。
• 与えられた特異点の条件下で、極の順序スペクトル系列の退化を証明すること。これは本手法の正当性を支える根幹である。

提案手法

• ベルンシュタイン＝サトォ多項式の根の計算を、斉次多項式に関連する階数付きミルナー代数のヒルベルト級数の計算に還元する。
• 重み付き斉次な孤立特異点が特定の条件を満たす場合、極の順序スペクトル系列が退化することを活用し、ヒルベルト級数を根の計算の代理として用いる。
• ヒルベルト級数はコンピュータ代数システムを用いてアルゴリズム的に計算され、高次多項式に対しても効率的である。
• ベルンシュタイン＝サトォ多項式の完全な計算を避けるため、計算が非常に高価になる場合に特に有効である。
• 特に三変数の場合、必要な条件は一般に成り立つため、この設定において本手法は広く適用可能である。
• 理論的基盤は、指定された特異点の条件下で極の順序スペクトル系列が退化することの証明に立っている。

実験結果

リサーチクエスチョン

• RQ1 重み付き斉次な孤立特異点を持つ斉次多項式に対して、ベルンシュタイン＝サトォ多項式の根を効率的に計算できる条件は何か？
• RQ2 この設定において、階数付きミルナー代数のヒルベルト級数とベルンシュタイン＝サトォ多項式の根との関係は何か？
• RQ3 なぜ極の順序スペクトル系列は、与えられた特異点および条件の下で正確に退化するのか？
• RQ4 この手法は、ウォルターの例のような困難な例で、標準的なソフトウェアがベルンシュタイン＝サトォ多項式を計算できない計算的障壁を克服できるか？
• RQ5 三変数の場合、必要な条件が満たされる頻度が高いため、この手法がどの程度広く適用可能になるか？

主な発見

• 射影的超曲面が重み付き斉次な孤立特異点を持ち、ある条件が満たされる場合、階数付きミルナー代数のヒルベルト級数を計算することで、ベルンシュタイン＝サトォ多項式の根を効率的に計算できる。
• 指定された条件下で極の順序スペクトル系列が退化することが示され、これは本手法の正当性に不可欠であり、本稿で証明されている。
• 三変数の場合、必要な条件は一般に成り立つため、この設定では本手法が広く適用可能である。
• ヒルベルト級数の計算は、標準的なソフトウェアでも高次多項式に対しても実行可能であるが、ベルンシュタイン＝サトォ多項式の直接計算は多くの場合に計算不能である。
• ウォルターの例のような計算障壁に直面する事例に対しても、本手法は標準的なハードウェアで失敗する従来のアルゴリズムを効果的に克服する。
• 本手法は、代数的不変量を用いた根の決定に焦点を当てることで、完全なベルンシュタイン＝サトォ多項式の計算の代替手段を提供する。