[论文解读] The module $D f^s$ for locally quasi-homogeneous free divisors

Francisco Calderón-Moreno, Luis Narváez Macarro|ArXiv.org|Jun 25, 2002

Algebraic Geometry and Number Theory参考文献 9被引用 9

一句话总结

本文为局部准齐次自由除数的 $\mathcal{D}f^s$ 和 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ $\mathcal{D}$-模提供了显式的自由解析。当 $f$ 是局部准齐次自由除数的约化方程时，证明了此类除数是柯尔祖自由的，从而可通过对数向量场构造柯尔祖-斯宾塞型解析，给出了这些模的完整代数描述。

ABSTRACT

We find explicit free resolutions for the $\scr D$-modules ${\scr D} f^s$ and ${\scr D}[s] f^s/{\scr D}[s] f^{s+1}$, where $f$ is a reduced equation of a locally quasi-homogeneous free divisor. These results are based on the fact that every locally quasi-homogeneous free divisor is Koszul free, which is also proved in this paper

研究动机与目标

• 为与局部准齐次自由除数相关的 $\mathcal{D}$-模 $\mathcal{D}f^s$ 和 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ 提供显式自由解析。
• 证明每个局部准齐次自由除数都是柯尔祖自由的，从而使得基于柯尔祖复形的解析技术成为可能。
• 通过对其数向量场澄清 $\operatorname{Ann}_{\mathcal{D}}f^s$ 的代数结构。
• 通过自然同构将对数微分形式复形 $\Omega_X^\bullet(\log D)$ 与 $\mathcal{D}$-模的导出范畴联系起来。

提出的方法

• 通过在对数向量场 $\delta_1, \dots, \delta_{n-1}$ 的基上构造柯尔祖复形，其中这些向量场在 $f=0$ 上消失，来构建自由解析。
• 利用斯宾塞复形结构，通过扩展集合 $f, \delta_1, \dots, \delta_{n-1}$，为 $\mathcal{D}f^s$ 和 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ 构建解析。
• 通过分析 $\mathcal{D}$-模的关联分次环和 $\operatorname{Ann}_{\mathcal{D}}f^s$ 的符号，证明局部准齐次自由除数是柯尔祖自由的。
• 应用线性类型理想与雷思代数的理论，验证对数导子模的柯尔祖性质。
• 利用关于正则 $\mathcal{D}$-模和 perverse 层的已知结果，推导出 $\Omega_X^\bullet(\log D)$ 对此类除数是 perverse 的。
• 利用忠实平坦性与分次环技巧，验证某些微分算子不属于由对数向量场生成的消去理想。

实验结果

研究问题

• RQ1 对于局部准齐次自由除数，$\mathcal{D}$-模 $\mathcal{D}f^s$ 和 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ 是否是自由可解析的？
• RQ2 每个局部准齐次自由除数是否也是柯尔祖自由的？这一性质是否允许显式构造解析？
• RQ3 对数向量场是否能生成此类除数的消去理想 $\operatorname{Ann}_{\mathcal{D}}f^s$？
• RQ4 当 $D$ 是局部准齐次且自由时，对数微分形式复形 $\Omega_X^\bullet(\log D)$ 是否仍为 perverse？
• RQ5 是否存在反例表明 $[LCT] \Rightarrow [KF]$ 或 $[LQH] \Rightarrow [KF]$ 不成立？

主要发现

• 消去理想 $\operatorname{Ann}_{\mathcal{D}}f^s$ 由在 $f=0$ 上消失的对数向量场 $\delta_1, \dots, \delta_{n-1}$ 生成。
• 通过在 $\delta_1, \dots, \delta_{n-1}$ 上的柯尔祖-斯宾塞复形，为 $\mathcal{D}f^s$ 构造了显式自由解析；通过在 $f, \delta_1, \dots, \delta_{n-1}$ 上的柯尔祖-斯宾塞复形，为 $\mathcal{D}[s]f^s/\mathcal{D}[s]f^{s+1}$ 构造了显式自由解析。
• 证明了每个局部准齐次自由除数都是柯尔祖自由的，确立了对数导子模的强代数性质。
• 对数微分形式复形 $\Omega_X^\bullet(\log D)$ 对任意局部准齐次自由除数都是 perverse 的，因为它在导出范畴中同构于 $\mathbf{R} \operatorname{Hom}_{\mathcal{D}}(\mathcal{D}/\mathcal{I}, \mathcal{O}_X)$。
• 存在满足对数比较定理但不是柯尔祖自由的自由除数的例子，表明 $[LCT] \not\Rightarrow [KF]$，同样 $[LQH] \not\Rightarrow [KF]$。
• 存在一个微分算子 $P$ 属于 $\operatorname{Ann}_{\mathcal{D}}f^s$ 但不属于由对数向量场生成的左理想，证明了对数向量场的理想不是线性类型的。