[论文解读] Thom-Sebastiani theorems for filtered D-modules and for multiplier ideals

Laurenţiu Maxim, Morihiko Saito+1 more|arXiv (Cornell University)|Oct 24, 2016

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

一句话总结

本文通过代数部分微局部化和Kashiwara与Malgrange的V-滤子，建立了乘子理想与过滤D-模的Thom-Sebastiani定理。它证明了当 $X = f_1 + f_2$ 时，乘子理想 ${\mathcal{J}}(\alpha X)$ 可分解为各分量理想之张量积的和，从而通过直接构造完整理想结构，而非仅捕捉到分次部分，填补了文献中长期存在的空白。

ABSTRACT

We give a proof of the Thom-Sebastiani type theorem for holonomic filtered $D$-modules satisfying certain good conditions (including Hodge modules) by using algebraic partial microlocalization. By a well-known relation between multiplier ideals and $V$-filtrations of Kashiwara and Malgrange, the argument in the proof implies also a Thom-Sebastiani type theorem for multiplier ideals, which cannot be deduced from a already known proof of the Thom-Sebastiani theorem for mixed Hodge modules (since the latter gives only the information of graded pieces of multiplier ideals). We also sketch a more elementary proof of the Thom-Sebastiani type theorem for multiplier ideals (as communicated to us by M.~Mustaţǎ), which seems to be known to specialists, although it does not seem to be stated explicitly in the literature.

研究动机与目标

• 在乘积空间上，对函数之和的情形，建立乘子理想的Thom-Sebastiani型定理，该问题此前仅靠Hodge模理论无法解决。
• 通过代数部分微局部化，为过滤正则Holonomic $\mathcal{D}$-模提供新的Thom-Sebastiani定理证明，超越现有方法仅能获得分次部分信息的局限。
• 阐明在函数之和下乘子理想及其跳跃系数的结构，特别是与奇点和对数可极小阈值的关系。
• 解决文献中的空白：此前基于混合Hodge模的证明仅能捕捉乘子理想的分次部分，而非理想本身。

提出的方法

• 使用代数部分微局部化分析与函数和 $f = f_1 + f_2$ 相关的过滤 $\mathcal{D}$-模上的 $V$-滤子。
• 应用已知的乘子理想与Kashiwara及Malgrange的 $V$-滤子之间关系，将 $\mathcal{D}$-模结果转化为理想论陈述。
• 利用直接像函子 $(i_f)_*^\mathcal{D}$，通过 $f$ 的图嵌入构造过滤 $\mathcal{D}$-模 $({\mathcal{B}}_f, F)$。
• 利用过滤 $\mathcal{D}$-模结构，将 $\mathbf{e}(-\alpha)$-特征空间 $\varphi^{(\alpha)}_f({\mathcal{O}}_Y, F)$ 定义为分次部分 $\mathrm{Gr}_V^\alpha({\mathcal{B}}_f, F)$。
• 应用微局部 $V$-滤子及其与Gauss-Manin系统相容的性质，在局部坐标下分析乘子理想的结构。
• 依赖 [La]、[Mu] 和 [Sa6] 中的已知结果，将理想论分解与 $\mathcal{D}$-模框架联系起来。

实验结果

研究问题

• RQ1 能否在不依赖混合Hodge模所给出的分次部分信息的前提下，独立建立乘子理想的Thom-Sebastiani定理？
• RQ2 过滤 $\mathcal{D}$-模上的 $V$-滤子是否允许对 $X = f_1 + f_2$ 的完整乘子理想 $\mathcal{J}(\alpha X)$ 进行直接构造？
• RQ3 当 $X = f_1 + f_2$ 时，其跳跃系数与对数可极小阈值如何与 $X_1$ 和 $X_2$ 的对应量相关？
• RQ4 公式 $\mathcal{J}(\alpha X) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{J}(\alpha_1 X_1) \boxtimes \mathcal{J}(\alpha_2 X_2)$ 对所有 $\alpha \in (0,1)$ 是否成立？能否推广至所有 $\alpha \in \mathbb{Q}$？
• RQ5 在不假设加权齐次性的情况下，是否可证明当 $c_1 = c_2 = 1$ 时，等式 $\mathcal{J}((f_1 + f_2)^\alpha) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{J}((f_1)^{\alpha_1}) \boxtimes \mathcal{J}((f_2)^{\alpha_2})$ 成立？

主要发现

• 本文证明了对所有 $\alpha \in (0,1)$，有 $\mathcal{J}(\alpha X) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{J}(\alpha_1 X_1) \boxtimes \mathcal{J}(\alpha_2 X_2)$，从而确立了完整的理想论Thom-Sebastiani定理。
• 它进一步表明，分次商 $\mathcal{G}(\alpha X) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{G}(\alpha_1 X_1) \boxtimes \mathcal{G}(\alpha_2 X_2)$，提供了乘子理想分次部分的分解。
• 对数可极小阈值满足 $\mathrm{lct}(X) = \min\{1, \mathrm{lct}(X_1) + \mathrm{lct}(X_2)\}$，确认了该不变量的加法律。
• 跳跃系数满足 $\mathrm{JC}(X) \cap (0,1) = (\mathrm{JC}(X_1) + \mathrm{JC}(X_2)) \cap (0,1)$，表明跳跃系数集合在函数之和下具有可加性。
• 该结果通过代数部分微局部化与 $V$-滤子获得，可访问完整理想结构，而不同于以往基于Hodge模的证明仅能提供分次部分信息。
• 本文通过解析与GAGA定理将非加权齐次情形约化至加权齐次情形，确认该公式在 $f_1$ 或 $f_2$ 非加权齐次时依然成立。