[論文レビュー] Introduction to a theory of b-functions

Morihiko Saito|ArXiv.org|Oct 26, 2006

Commutative Algebra and Its Applications参考文献 36被引用数 3

ひとこと要約

本稿は、D-加群と正則系の文脈においてb関数（Bernstein-Sato多項式）の理論について包括的な導入を提供し、特異点、乗数イデアル、超平面配置との関係を確立する。単項イデアルおよび中心的超平面配置のb関数について明示的な公式を導出し、非孤立特異点を含む場合にも適用可能である。また、次数dの一般の中心的配置に対して、b_f(s) = (s+1)^{n-1} \prod_{j=n}^{2d-2} (s + \frac{j}{d}) が成り立ち、根とジャンピング数との関係を明確に示す。

ABSTRACT

We give an introduction to a theory of b-functions, i.e. Bernstein-Sato polynomials. After reviewing some facts from D-modules, we introduce b-functions including the one for arbitrary ideals of the structure sheaf. We explain the relation with singularities, multiplier ideals, etc., and calculate the b-functions of monomial ideals and also of hyperplane arrangements in certain cases.

研究の動機と目的

• D-加群および正則系の枠組みの中でb関数（Bernstein-Sato多項式）の基礎的理論を構築すること。
• 複素代数幾何におけるb関数、特異点、乗数イデアル、消滅サイクルの関係を明確化すること。
• 非孤立特異点を含む場合の単項イデアルおよび中心的超平面配置に対して、b関数を明示的に計算すること。
• b関数の根の集合を特定し、それらをジャンピング数および\chi(U) や h^i(F_0, \mathbb{C})_\lambda などのコhomological不変量と関連付けること。
• b関数の根の集合R_fに属するための条件を、組合せ論的およびコhomologicalな条件を用いて特定すること。

提案手法

• 良いフィルトレーションと特徴的多様体を用いて正則D-加群を定義する、フィルター付きD-加群理論を活用する。
• Kashiwaraの定理を応用し、D-加群と perverse sheaf の関係をde Rhamファンクターによって関係づける。
• b関数を定義し、その根を分析するために、Bernstein-Satoの関数方程式 b_f(s) f^s \in \mathcal{D}_X[s] f^s を用いる。
• 対数的de Rham複体とGauss-Manin接続の構造を用いて、コhomology群 H^{n-1}(\mathcal{A}^\bullet_\alpha) を計算する。
• Waltherの手法と双対性を用い、一般の中心的配置のb関数を計算し、問題をエッジと重複度に関する組合せ論的条件に還元する。
• 部分空間 V(I) \subset H^{n-1}(\mathcal{A}^\bullet_\alpha) を導入し、その生成元が部分集合Iによってインデックス付けされた微分形式の外積である。この部分空間を用いて非消滅性をテストし、根の包含関係を特定する。

実験結果

リサーチクエスチョン

• RQ1 単項イデアルのb関数の構造は何か。また、その定義する多様体の特異点とどのように関係するか。
• RQ2 超平面配置の文脈において、b関数の根はジャンピング数および乗数イデアルとどのように関係するか。
• RQ3 中心的超平面配置に対して、有理数 \alpha = k/d がb関数の根であるための条件は何か。
• RQ4 ミルナー球のコhomologyおよびオイラー標数 \chi(U) は、根の集合 R_f にどのように影響を与えるか。
• RQ5 中心的配置のb関数が特定の因数分解、例えば (s+1)^{n-1} \prod_{j=n}^{2d-2} (s + \frac{j}{d}) を持つための条件は何か。

主な発見

• 一般の中心的超平面配置（次数d）に対して、b_f(s) = (s+1)^{n-1} \prod_{j=n}^{2d-2} (s + \frac{j}{d}) が成り立ち、積の範囲は j=n から 2d-2 までである。
• \mathbb{C}^2 における (x^2-1)(y^2-1)=0 の配置に対して、\alpha = 8/5 は R_f に属さないが、\chi(U)=1 であるにもかかわらず、コhomologicalな条件および (d) の基準により成立する。
• (x^2-1)(y^2-1)(x+y)=0 の場合、10/6 \notin R_f であり、これは V(I) の非消滅性および (f) の条件により確認される。ここで I^c は (x+1)(y+1)=0 に対応する。
• d=7 の場合、(x^2-y^2)(x^2-1)(y^2-1)=0 に対して、12/7 \notin R_f であり、これは I^c が (x+1)(y+1)=0 に対応するとき V(I) が消えることにより説明され、条件 (f) を満たす。
• n=3、\text{mult}_z Z \leq 3、d \leq 7、\nu_3 \neq 0 の場合、b_f(s) = (s+1) \prod_{i=2}^4 (s + \frac{i}{3}) \prod_{j=3}^r (s + \frac{j}{d}) が成り立ち、r=2d-2 if \nu_3 < d-3、それ以外は r=2d-3 である。
• d=7 の場合、\alpha = 5/7 は R_f に属するが、12/7 \notin R_f であり、これは基準 (e) および (f) と整合的である。ここで \alpha \geq \alpha'_f かつ V(I) \neq 0 であるが、V(I) = H^{n-1}(\mathcal{A}^\bullet_\alpha) であるため、\alpha+1 \notin R_f である。