[論文レビュー] Algorithms for computing multiplier ideals

Takafumi Shibuta|arXiv (Cornell University)|Jul 28, 2008

Polynomial and algebraic computation参考文献 11被引用数 6

ひとこと要約

本稿では、Weyl代数におけるGröbner基底を用いた乗数イデアルの計算のためのアルゴリズムを提示する。これは、Budur–Mustaçăţă–Saitoの一般化されたBernstein–Sato多項式の新しい変種に基づく。この手法により、乗数イデアルとそのジャンピング係数の有効な計算が可能となり、問題がWeyl代数におけるイデアルの属する問題に還元される。3変数における非自明なイデアルに対する明確な例を通じて、アルゴリズムの有効性が示されている。

ABSTRACT

We give algorithms for computing multiplier ideals using Gröbner bases in Weyl algebras. The algorithms are based on a newly introduced notion which is a variant of Budur--Mustaţǎ--Saito's (generalized) Bernstein--Sato polynomial. We present several examples computed by our algorithms.

研究の動機と目的

• 乗数イデアルの有効な計算手法を開発すること。これは、対数解体による定義のため、通常は計算が困難である。
• D-加群理論とV-フィルトレーションを用いて、OakuのBernstein-Sato多項式のアルゴリズムを任意のイデアル・シフトに拡張すること。
• 乗数イデアルを一般化されたBernstein-Sato多項式とWeyl代数におけるイデアルの属する問題に結びつける、体系的なアルゴリズム的枠組みを提供すること。
• 乗数イデアルの属する問題を解き、より重要なかぎり、それらの明示的な生成系を計算すること。
• 3変数における非単項式的かつ非主イデアルを含む具体的な例を通じて、この手法の実行可能性を示すこと。

提案手法

• Weyl代数におけるアルゴリズム的計算に適した、Budur–Mustaçăţă–Saitoの一般化されたBernstein-Sato多項式の修正版を導入する。
• Weyl代数 $D_X = \mathbb{C}\langle x_1,\dots,x_d, \partial_{x_1},\dots,\partial_{x_d}\rangle$ におけるGröbner基底技術を用いて、イデアルの一般化されたBernstein-Sato多項式を計算する。
• 乗数イデアル $\mathcal{J}(\mathfrak{a}^c)$ の情報を主分解を通じて符号化する、Weyl代数内の新しいイデアル $I_{(\mathfrak{a};c),2}$ を定義する。
• 主分解の計算アルゴリズムを構築し、$I_{(\mathfrak{a};c),2}$ の主成分から $\mathcal{J}(\mathfrak{a}^c)$ の生成系を抽出する。
• ジャンピング係数が一般化されたBernstein-Sato多項式の根に対応することを活用し、計算をガイドし、結果の妥当性を検証する。
• 標準的なコンピュータ代数システム（例：Risa/Asir, Kan/Sm1）を用いて、Weyl代数におけるGröbner基底をサポートする環境でアルゴリズムを実装する。

実験結果

リサーチクエスチョン

• RQ1 D-加群理論を用いて、$\mathbb{C}[x_1,\dots,x_d]$ の任意のイデアルに対して乗数イデアルをアルゴリズム的に計算する方法は何か？
• RQ2 Weyl代数におけるGröbner基底を用いて、イデアルの一般化されたBernstein-Sato多項式を有効に計算できるか？
• RQ3 一般化されたBernstein-Sato多項式と乗数イデアルの生成系との間の正確な代数的関係は何か？
• RQ4 計算代数幾何学を用いて、イデアルのジャンピング係数をどのように特定できるか？
• RQ5 提案されたアルゴリズムは、属する問題のテストを越えて、乗数イデアルの明示的な生成系を計算できるか？

主な発見

• イデアル $\mathfrak{a} = \langle x^3 - y^2z, x^2 + y^2 + z^2 - 1 \rangle$ に対して、アルゴリズムは $0 \leq c < \frac{11}{6}$ のとき $\mathcal{J}(\mathfrak{a}^c) = \mathbb{C}[x,y,z]$ であり、$\frac{11}{6} \leq c < 2$ のとき $\langle x,y,z^2 - 1 \rangle$ であると計算した。
• このイデアルの一般化されたBernstein-Sato多項式は $b_{\mathfrak{a}}(s) = \left(s + \frac{11}{6}\right)(s+2)\left(s + \frac{13}{6}\right)$ であり、根はジャンピング係数に対応する。
• イデアル $\mathfrak{a} = \langle x^3 - y^2z, x^2 + y^2 + z^2 - 1 \rangle$ に対して、$I_{(\mathfrak{a};1),2}$ の主分解が5つの成分に分解され、乗数イデアルの構造が確認された。
• さまざまな素イデアルにおける局所的一般化されたBernstein-Sato多項式は、$\mathfrak{m}_1 = \langle x,y,z-1\rangle$ および $\mathfrak{m}_2 = \langle x,y,z+1\rangle$ の最大イデアルで $b^{{\mathfrak{m}}_1}_{\mathfrak{a}}(s) = b^{{\mathfrak{m}}_2}_{\mathfrak{a}}(s) = \left(s + \frac{11}{6}\right)(s+2)\left(s + \frac{13}{6}\right)$ に等しい。
• アルゴリズムは $c < \frac{11}{6}$ のとき $\mathcal{J}(\mathfrak{a}^c) = \mathbb{C}[x,y,z]$ であり、$c \geq \frac{11}{6}$ のとき $\langle x,y,z^2 - 1 \rangle$ であると正しく特定した。理論的予測と一致する。
• この手法により、$I_{(\mathfrak{a};c),2}$ の主分解から $\mathbb{C}[x,y,z]$-成分を抽出することで、乗数イデアルの完全な生成系が得られ、従来の属する問題のみのアプローチの主要な制限が解決された。