[论文解读] 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

一句话总结

本文在 $ℂ^n$ 中的一类自由除子上建立了对数 $D$-模 $ω̄{M}^{\log}$ 与梅雷莫菲克 $D$-模 $ϴ{O}[\star D]$ 之间的对偶同构，通过黎曼-希尔伯特对应和对数比较定理证明了 $ω̄{M}^{\log} \simeq \u03f4{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

研究动机与目标

• 建立 $ω̄{M}^{\log}$ 与 $ϴ{O}[\star D]$ 在 $ℂ^n$ 中自由除子上的对偶同构。
• 通过证明 $ω̄{M}^{\log} \simeq \u03f4{O}[\star D]$ 在非柯尔祖自由除子上成立，将对数比较定理（LCT）推广至非柯尔祖类自由除子。
• 利用格罗布纳基技术与系统关系式解析，验证 $ω̄{M}^{\log}$ 的整体正则性与整体有限性。
• 展示自由除子的 $b$-函数可确定 $1/f$ 的零化理想，从而实现 $ω̄{M}^{\log} \simeq \u03f4{O}[\star D]$ 的识别。

提出的方法

• 利用对数比较定理（LCT）通过拟同构关系联系 $\Omega^{\bullet}(\log D)$ 与 $\Omega^{\bullet}(\star D)$，并借助拟同构 $DR(\u03f4{O}[\star D]) \simeq \Omega^{\bullet}(\star D)$。
• 构造 $D$-模 $M^{\log} = \mathcal{D}/I^{\log}$，其中 $I^{\log}$ 是由对数向量场 $Der(\log D)$ 生成的左理想。
• 使用格罗布纳基计算 $M^{\log}$ 的自由解析，其中系统关系式由对数向量场的对易子 $[\delta_i, \delta_j]$ 导出。
• 应用对偶定理（如定理 4.1.4）证明 $(M^{\log})^* \simeq \u03c9̄{M}^{\log}$，并利用黎曼-希尔伯特对应关系连接 $DR(\u03c9̄{M}^{\log})$ 与 $DR(\u03f4{O}[\star D])$。
• 通过特征循环验证整体正则性，且因 $Ch(\u03f4{O}[\star D])$ 的维数为 $n$。
• 使用文献 [13] 中的算法计算 $f$ 的全局 $b$-函数，确认 $\widetilde{I}^{\log} = \text{Ann}_{\mathcal{D}}(1/f)$。

实验结果

研究问题

• RQ1 对非柯尔祖类自由除子，对偶同构 $\u03c9̄{M}^{\log} \simeq \u03f4{O}[\star D]$ 是否成立？
• RQ2 对非柯尔祖自由除子，对数比较定理（LCT）在何种条件下成立？
• RQ3 能否通过算法计算 $b$-函数与 $1/f$ 的零化理想，以确认 $\u03c9̄{M}^{\log} \simeq \u03f4{O}[\star D]$？
• RQ4 对满足局部准齐次性的自由除子，$D$-模 $\u03c9̄{M}^{\log}$ 是否整体正则且整体有限？
• RQ5 格罗布纳基技术如何用于构造 $M^{\log}$ 的自由解析并验证其整体正则性？

主要发现

• 通过黎曼-希尔伯特对应与对偶定理，对偶同构 $\u03c9̄{M}^{\log} \simeq \u03f4{O}[\star D]$ 在一类自由除子（包括非柯尔祖类）上成立。
• 对由 $f = y(x^2 + y)(x^2 z + y)$ 定义的非柯尔祖自由除子，对数比较定理（LCT）成立，其证明基于一系列涉及 $DR(\u03f4{O}[\star D])$、$\Omega^{\bullet}(\star D)$、$\Omega^{\bullet}(\log D)$、$Sol(M^{\log})$ 与 $DR((M^{\log})^*)$ 的拟同构链。
• $f = y(x^2 + y)(x^2 z + y)$ 的 $b$-函数计算为 $(6s+5)(3s+2)(2s+1)(3s+4)(6s+7)(s+1)^3$，确认了 $\u03f4{O}[\star D]$ 的正则性。
• $1/f$ 的零化理想为 $\widetilde{I}^{\log} = \text{Ann}_{\mathcal{D}}(1/f)$，且该理想与由对数向量场生成的左理想 $I^{\log}$ 一致，从而确认 $\u03c9̄{M}^{\log} \simeq \u03f4{O}[\star D]$。
• 通过格罗布纳基构造了 $M^{\log}$ 的自由解析，其中系统关系式由对易子 $[\delta_i, \delta_j]$ 生成，且第三级系统关系模组由单个元素 $\mathbf{t}$ 生成，证实该解析是有限且自由的。
• $D$-模 $\u03c9̄{M}^{\log}$ 是整体正则且整体有限的，其特征簇维数为 $n$，且 $b$-函数为全局定义，已通过验证。