[論文レビュー] Free divisors and duality for D-modules

Francisco Jesús Castro Jiménez, J. M. Ucha|ArXiv.org|Mar 14, 2001

Commutative Algebra and Its Applications参考文献 12被引用数 20

ひとこと要約

本稿は、$\mathbb{C}^n$ 内の自由除集合のクラスに対して、対数的 $D$-加群 $\widetilde{M}^{\log}$ とメロモーフィック $D$-加群 $\mathcal{O}[\star D]$ の間に双対性同型を確立し、リーマン＝ヒルベルト対応および対数的比較定理を用いて $\widetilde{M}^{\log} \simeq \mathcal{O}[\star D]$ を証明する。主な貢献は、局所準同次性と正則性を満たす自由除集合に対して、グレブナー基底の計算とスペンサー複体の分解を用いて検証された双対性公式である。

ABSTRACT

The relationship between ${\cal D}$-modules and free divisors has been studied in a general setting by L. Narváez and F.J. Calderón. Using the ideas of these works we prove in this article a duality formula between two ${\cal D}$-modules associated to a class of free divisors on ${\bf C}^n$ and we give some applications

研究の動機と目的

• 自由除集合 $D$ に対して、対数的 $D$-加群 $\widetilde{M}^{\log}$ とメロモーフィック $D$-加群 $\mathcal{O}[\star D]$ の間の双対性同型を確立すること。
• 対数的比較定理（LCT）を非コシュール自由除集合へ拡張し、特定の自由除集合に対して $\widetilde{M}^{\log} \simeq \mathcal{O}[\star D]$ が成り立つことを証明すること。
• グレブナー基底技術およびシンジーギー分解を用いて、$\widetilde{M}^{\log}$ の正則性とホロノミック性を検証すること。
• 自由除集合の $b$-関数が $1/f$ の annihilator を決定することを示し、$\widetilde{M}^{\log} \simeq \mathcal{O}[\star D]$ の同型を同定すること。

提案手法

• 対数的比較定理（LCT）を用いて、$\Omega^{\bullet}(\log D)$ と $\Omega^{\bullet}(\star D)$ を準同型写像で関連づけ、$DR(\mathcal{O}[\star D]) \simeq \Omega^{\bullet}(\star D)$ の準同型写像を活用する。
• 対数的ベクトル場 $Der(\log D)$ が生成する左イデアル $I^{\log}$ を用いて、$D$-加群 $M^{\log} = \mathcal{D}/I^{\log}$ を構成する。
• グレブナー基底を用いて $M^{\log}$ の自由分解を計算し、対数的ベクトル場の交換子 $[\delta_i, \delta_j]$ から得られるシンジーギーを導出する。
• 双対性定理（例：定理 4.1.4）を適用して $(M^{\log})^* \simeq \widetilde{M}^{\log}$ を示し、リーマン＝ヒルベルト対応を用いて $DR(\widetilde{M}^{\log})$ と $DR(\mathcal{O}[\star D])$ を関連付ける。
• 特徴的サイクルを用いてホロノミック性を検証し、$Ch(\mathcal{O}[\star D])$ の次元が $n$ であることを利用する。
• 文献[13]のアルゴリズムを用いて $f$ のグローバル $b$-関数を計算し、$\widetilde{I}^{\log} = \text{Ann}_{\mathcal{D}}(1/f)$ を確認する。

実験結果

リサーチクエスチョン

• RQ1 コシュールクラスを超える自由除集合に対し、双対性同型 $\widetilde{M}^{\log} \simeq \mathcal{O}[\star D]$ が成立するか？
• RQ2 非コシュール自由除集合に対して、対数的比較定理（LCT）がどのような条件下で成立するか？
• RQ3 アルゴリズム的に $b$-関数と $1/f$ の annihilator イデアルを計算し、$\widetilde{M}^{\log} \simeq \mathcal{O}[\star D]$ を確認できるか？
• RQ4 局所準同次性を満たす自由除集合に対して、$D$-加群 $\widetilde{M}^{\log}$ はホロノミックかつ正則か？
• RQ5 グレブナー基底技術を用いて $M^{\log}$ の自由分解を構成し、そのホロノミック性を検証できるか？

主な発見

• リーマン＝ヒルベルト対応および双対性定理を用いて、非コシュールクラスを含む自由除集合のクラスに対して、双対性同型 $\widetilde{M}^{\log} \simeq \mathcal{O}[\star D]$ が成立することが示された。
• 関数 $f = y(x^2 + y)(x^2 z + y)$ で定義される非コシュール自由除集合に対して、$DR(\mathcal{O}[\star D])$, $\Omega^{\bullet}(\star D)$, $\Omega^{\bullet}(\log D)$, $Sol(M^{\log})$, $DR((M^{\log})^*)$ を結ぶ準同型写像の鎖を用いて、対数的比較定理（LCT）が成立することが示された。
• 関数 $f = y(x^2 + y)(x^2 z + y)$ の $b$-関数は $(6s+5)(3s+2)(2s+1)(3s+4)(6s+7)(s+1)^3$ として計算され、$\mathcal{O}[\star D]$ の正則性が確認された。
• $1/f$ の annihilator イデアルは $\widetilde{I}^{\log} = \text{Ann}_{\mathcal{D}}(1/f)$ であり、このイデアルが対数的ベクトル場が生成する左イデアル $I^{\log}$ と一致することが確認され、$\widetilde{M}^{\log} \simeq \mathcal{O}[\star D]$ の同型が裏付けられた。
• グレブナー基底を用いて $M^{\log}$ の自由分解が構成され、交換子 $[\delta_i, \delta_j]$ から生成されるシンジーギーが用いられ、第3シンジーギー加群は単一の元 $\mathbf{t}$ で生成されることから、分解が有限かつ自由であることが確認された。
• 特徴的多様体の次元が $n$ であることおよび $b$-関数がグローバルに定義されることを確認し、$D$-加群 $\widetilde{M}^{\log}$ がホロノミックかつ正則であることが検証された。