[論文レビュー] Survey on the $D$-module $f^s$

Anton Leykin, Uli Walther|arXiv (Cornell University)|Apr 28, 2015

Algebraic Geometry and Number Theory参考文献 115被引用数 3

ひとこと要約

本調査は、特異点論におけるベルンシュタイン＝サトウ多項式、乗数イデアル、モノドロミーを通じてその役割を強調する、$D$-加群 $\mathscr{M}_f(s) = D[s]/\operatorname{ann}_{D[s]}(f^s)$ について包括的な概説を提供する。特に、ハイパーオブジェクト配置やフリー・ディビザーの文脈において、グレブナー基底と除去技法を用いたウェイリーアルゲブラにおけるアルゴリズム的手法によるこれらの不変量の計算を詳述する。

ABSTRACT

In this survey we discuss various aspects of the singularity invariants with differential origin derived from the $D$-module generated by $f^s$.

研究の動機と目的

• 関数 $f^s$ によって生成される $D$-加群 $\mathscr{M}_f(s)$ の理論を体系的かつ包括的に整理・調査すること。
• ベルンシュタイン＝サトウ多項式、乗数イデアル、ミルナー・ファイバーのモノドロミーといった不変量が $\mathscr{M}_f(s)$ からどのように生じるかを説明すること。
• 特にハイパーオブジェクト配置やフリー・ディビザーの文脈において、これらの不変量を計算するアルゴリズム的手法を提示すること。
• $\mathscr{M}_f(s)$ の $D$-加群構造と、対数的比較定理や $V$-フィルトレーションといった主要な特異点不変量との関係を結ぶこと。

提案手法

• パrametric annihilator $\operatorname{ann}_{D[s]}(f^s)$ を用いて、関数方程式 $P \bullet f^{s+1} = b_f(s) f^s$ を符号化する、循環的 $D[s]$-加群 $\mathscr{M}_f(s)$ を定義する。
• ウェイリーアルゲブラ $D[s]$ におけるグレブナー基底技法を用い、$\operatorname{ann}_{D[s]}(f^s)$ を法とする $s$ の最小多項式としてベルンシュタイン＝サトウ多項式 $b_f(s)$ を計算する。
• ウェイント $(-w,w)$ を $D_{x,t}[s]$ に導入し、除去理論を適用することで、$\operatorname{in}_{(-w,w)}(I_f) \cap \mathbb{C}[x,s]$ を計算し、局所ベルンシュタイン＝サトウ多項式を捉える。
• 一般化された関数方程式 $b(\sigma)gf^s = \sum P_k g f_k f^s$ と $\sigma = -\sum \partial_{t_i} t_i$ を用い、乗数イデアルとジャンピング数を計算する。
• $V$-フィルトレーションと特徴的サイクルを用いて、$\mathscr{M}_f(s)$ の特異的台とホロノミック性を分析する。
• Singular、Macaulay2、Risa/Asir における計算ツールを、専用ライブラリ（例：dmod_lib、D-modules パッケージ）を介して統合し、実装を可能にする。

実験結果

リサーチクエスチョン

• RQ1 グレブナー基底と除去を用いて、$D$-加群 $\mathscr{M}_f(s)$ からベルンシュタイン＝サトウ多項式 $b_f(s)$ をどのようにアルゴリズム的に計算できるか。
• RQ2 $\mathscr{M}_f(s)$ 上の $V$-フィルトレーションとベルンシュタイン＝サトウ多項式の根との関係は何か。
• RQ3 多変数設定における一般化された関数方程式から、乗数イデアルとジャンピング数はどのように生じるか。
• RQ4 局所ベルンシュタイン＝サトウ多項式によって誘導される $\mathbb{C}^n$ のどの分割構造が生じ、どのようにアルゴリズム的に計算できるか。
• RQ5 ハイパーオブジェクト配置やフリー・ディビザーなどの特定の場合において、対数的比較定理は成立するか。また、$\mathscr{M}_f(s)$ とどのように関係するか。

主な発見

• ベルンシュタイン＝サトウ多項式 $b_f(s)$ は、関数方程式 $P \bullet f^{s+1} = b_{f,P}(s) f^s$ から得られるすべての $b_{f,P}(s)$ が生成する $\mathbb{C}[s]$ 内のイデアルの首項生成子である。
• $D[s]$-加群 $\mathscr{M}_f(s)$ はホロノミックかつ係数的であり、特徴的多様体の次元が $n$ である。特徴的サイクルは、順次的対象における成分の重複度を符号化する。
• ハイパーオブジェクト配置では、グレブナー変形と除去を用いたアルゴリズム的手法によりベルンシュタイン＝サトウ多項式を計算可能であり、[5] および [158] で示されている。
• イデアルに対する一般化されたベルンシュタイン＝サトウ多項式 $b_{f,g}(\sigma)$ を用いることで、ジャンピング数と乗数イデアルを計算可能であり、Macaulay2 の MultiplierIdeals パッケージで実装可能である。
• $\mathscr{M}_f(s)$ 上の $V$-フィルトレーションは、その関連順次的部品が $b_f(s)$ の根を制御するフィルトレーションを提供し、加群と特異点構造との間のリンクを提供する。
• $b_f(s)$ および乗数イデアルを計算するアルゴリズムは、Singular（dmod_lib）、Macaulay2（D-modules パッケージ）、Risa/Asir に実装されており、[129] に性能比較が示されている。