[论文解读] Hodge ideals and microlocal V-filtration

Morihiko Saito|arXiv (Cornell University)|Dec 27, 2016

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

一句话总结

本文建立了通过除子的极值德 Rham 复形的霍奇滤子定义的霍奇理想与微观局部 V-滤子之间的精确联系，表明霍奇理想模除子理想等于微观局部 V-滤子的正整数阶分量。关键结果是除子的 j-对数正则性由其微观局部对数正则阈值决定，该阈值等于约化伯恩斯坦-萨托多项式的最大根的相反数。

ABSTRACT

We show that the Hodge ideals in the sense of Mustata and Popa are quite closely related to the induced microlocal V-filtration on the structure sheaf, defined by using the microlocalization of the V-filtration of Kashiwara and Malgrange. More precisely the former coincide, module the ideal of the divisor, with the part of the latter indexed by positive integers, although they are different without modulo the ideal in general. This coincidence implies that the $j$-log-canonicity in their sense is determined by the microlocal log-canonical threshold of the divisor, which coincides with the maximal root of the reduced (or microlocal) Bernstein-Sato polynomial up to a sign.

研究动机与目标

• 澄清由穆斯塔卡和波帕定义的霍奇理想与由柏原和马尔格朗杰引入的微观局部 V-滤子之间的关系。
• 证明霍奇理想模除子理想等于微观局部 V-滤子的正整数阶分量。
• 建立除子的 j-对数正则性由其微观局部对数正则阈值决定，该阈值为约化伯恩斯坦-萨托多项式最大根的相反数。
• 证明微观局部对数正则阈值在横截光滑子簇上的限制下保持稳定，并在惠特尼层面上为常数。

提出的方法

• 使用 V-滤子的微观局部化来在 $\mathcal{O}_X$ 上定义微观局部 $\widetilde{V}$-滤子。
• 应用混合霍奇模与滤子 $\mathcal{D}$-模理论，将霍奇理想与 $\mathcal{O}_X(*D)$ 上的霍奇滤子联系起来。
• 利用同构 $\mathrm{Gr}^{\alpha}_{\widetilde{V}}\mathcal{O}_X \cong \mathrm{Gr}^{p}_{F}(\varphi_{f,\lambda}\mathcal{O}_X)$，其中 $p = -\lfloor 1 - \alpha \rfloor$，将微观局部 V-滤子与消失循环联系起来。
• 利用滤子德拉姆函子及其拟逆，将 $\mathcal{O}_X(*D)$ 上的霍奇滤子与带极点阶滤子的复形 $\Omega^{\bullet}_X(\log D)$ 联系起来。
• 使用 GAGA 和平展拉回，将局部模型（如 $\mathbb{C}^n$）上的结果转移到一般簇上，确保在奇点解析下的一致性。
• 利用导出范畴中混合霍奇模的开直接像的唯一性，确保通过解析或通过霍奇滤子定义的霍奇理想的一致性。

实验结果

研究问题

• RQ1 霍奇理想如何与结构层上的微观局部 V-滤子相关？
• RQ2 微观局部对数正则阈值是否与约化伯恩斯坦-萨托多项式的最大根一致？
• RQ3 除子的 j-对数正则性是否等价于 $j \leq \mathrm{mlct}(D) - 1$？
• RQ4 微观局部对数正则阈值在横截光滑子簇上的限制下是否保持稳定？
• RQ5 微观局部对数正则阈值在除子的惠特尼层面上是否为常数？

主要发现

• 霍奇理想 $\mathcal{I}^{(D,p)}$ 模除子理想 $\mathcal{I}_D$ 等于微观局部 V-滤子的 $\widetilde{V}^{p+1}\mathcal{O}_X$ 分量。
• 当且仅当 $j \leq \mathrm{mlct}(D) - 1$ 时，$D$ 的 j-对数正则性成立，其中 $\mathrm{mlct}(D)$ 为微观局部对数正则阈值。
• 微观局部对数正则阈值 $\mathrm{mlct}(D)$ 等于约化伯恩斯坦-萨托多项式 $\widetilde{b}_f(s)$ 最大根的相反数，即 $\mathrm{mlct}(D) = -\widetilde{\alpha}_f$。
• 微观局部对数正则阈值在横截于 $D$ 的惠特尼层的光滑子簇上限制下保持稳定，并在每个层面上为常数。
• 对于半加权齐次孤立奇点，$\mathrm{mlct}(D) = \sum w_i$，即奇点权重之和。
• 微观局部 V-滤子的分量 $\mathrm{Gr}^{\alpha}_{\widetilde{V}}\mathcal{O}_X$ 非零当且仅当 $\alpha$ 不小于微观局部对数正则阈值，且该阈值即为满足 $\mathrm{Gr}^{\alpha}_{\widetilde{V}}\mathcal{O}_X \neq 0$ 的最小 $\alpha$。