[論文レビュー] Algorithms for Bernstein-Sato polynomials and multiplier ideals

Christine Berkesch, Anton Leykin|arXiv (Cornell University)|Feb 7, 2010

Commutative Algebra and Its Applications参考文献 8被引用数 7

ひとこと要約

本稿では、D-加群理論とWeyl代数におけるグレブナー基底を用いて、ベルンシュタイン＝サトウ多項式および乗数イデアルを計算するための新規アルゴリズムを提示する。局所b関数のための新規手法と、 Shibutaのm一般化ベルンシュタイン＝サトウ多項式を用いた、主成分分解と除去ステップを回避する、イデアルの関係的アプローチにより、計算コストを顕著に低減する。

ABSTRACT

The Bernstein-Sato polynomial (or global b-function) is an important invariant in singularity theory, which can be computed using symbolic methods in the theory of D-modules. After surveying algorithms for computing the global b-function, we develop a new method to compute the local b-function for a single polynomial. We then develop algorithms that compute generalized Bernstein-Sato polynomials of Budur-Mustata-Saito and Shibuta for an arbitrary polynomial ideal. These lead to computations of log canonical thresholds, jumping coefficients, and multiplier ideals. Our algorithm for multiplier ideals simplifies that of Shibuta and shares a common subroutine with our local b-function algorithm. The algorithms we present have been implemented in the D-modules package of the computer algebra system Macaulay2.

研究の動機と目的

• 単一の多項式の局所ベルンシュタイン＝サトウ多項式を、V-フィルトレーションとD-加群技術を用いて、効率的に計算するためのアルゴリズムを開発する。
• 一般化ベルンシュタイン＝サトウ多項式の計算を任意の多項式イデアルへと拡張し、ジャンピング係数およびローカル・コCanonical閾値の計算を可能にする。
• 主成分分解と除去ステップを回避する関係的アプローチにより、乗数イデアルの計算を簡素化する。
• すべてのアルゴリズムをMacaulay2のD-加群パッケージに実装し、代数幾何学および特異点論における実用的応用を可能にする。
• 完全交差のための乗数イデアル属する性質のテストと有理特異点の検出を支援する計算フレームワークを提供する。

提案手法

• 特異点に関連するD-加群の構造を解析するため、V-フィルトレーションとKashiwara-Malgrange理論を用いる。
• Weyl代数におけるグレブナー基底技術を用いて、b関数および微分作用素の関係を計算する。
• 除去と加群論的構成に基づく、局所ベルンシュタイン＝サトウ多項式のための新規アルゴリズムを開発する。
• 乗数イデアルを直接計算するためのキーパーツとして、Shibutaのm一般化ベルンシュタイン＝サトウ多項式を活用する。
• 主成分分解と1つの除去ステップを回避するための関係的技術を統合し、乗数イデアル計算におけるコストを低減する。
• すべてのアルゴリズムをMacaulay2のD-加群パッケージに実装し、既存の記号計算インfraを活用する。

実験結果

リサーチクエスチョン

• RQ1 D-加群理論を用いて、単一の多項式の局所ベルンシュタイン＝サトウ多項式をどのように効率的に計算できるか？
• RQ2 一般化ベルンシュタイン＝サトウ多項式の根と、与えられたイデアルのジャンピング係数との関係は何か？
• RQ3 主成分分解や完全な除去ステップを回避して乗数イデアルを計算できるか、その方法は何か？
• RQ4 グローバルベルンシュタイン＝サトウ多項式の根は、ローカル・コCanonical閾値および乗数イデアルとどのように関係するか？
• RQ5 乗数イデアルの計算において、関係的アプローチは従来の方法に比べてどのような計算的利点を提供するか？

主な発見

• 局所ベルンシュタイン＝サトウ多項式のためのアルゴリズムはMacaulay2に実装され、特異点のb関数の効率的計算を可能にしている。
• Shibutaのm一般化ベルンシュタイン＝サトウ多項式を用いることで、主成分分解を回避し、乗数イデアルを計算する計算複雑度が低減された。
• 多項式 $ f = x^5 + y^4 + x^3y^2 $ に対して、$ b_f(-s) $ の $ (0,1] $ 内の根に $ \frac{11}{20} $ が含まれるが、これはジャンピング係数でないことが示され、この区間内のすべての根がジャンピング係数に対応するわけではないことを裏付けた。
• $ \mathbb{P}^2 $ 内の非共線の3点に対して、グローバルベルンシュタイン＝サトウ多項式は $ (s + \frac{3}{2})(s+2)^2 $ であり、ローカル・コCanonical閾値は $ \frac{3}{2} $ で、$ c \geq \frac{3}{2} $ のとき乗数イデアルは $ \langle x,y,z \rangle $ となる。
• 3点が共線の場合はローカル・コCanonical閾値が $ \frac{5}{3} $ であり、非共線の場合より高いことが示され、共線性が悪い特異点を意味するわけではないことが確認された。
• 非一般の超平面配置 $ f = (x^2 - y^2)(x^2 - z^2)(y^2 - z^2)z $ に対して、$ \frac{5}{7} $ は $ b_f(-s) $ の根ではあるがジャンピング係数ではないことが確認され、理論的期待と一致した。