[论文解读] Log D-modules and Index theorems

Lei Wu, Peng Zhou|arXiv (Cornell University)|Apr 19, 2019

Rings, Modules, and Algebras参考文献 11被引用 4

一句话总结

本文建立了光滑对数对上对数 $π$-模的对数比较定理，利用Sabbah的广义 $b$-函数证明了对数de Rham复形在足够大的除子扭变下趋于稳定。主要贡献是一个推广的对数指标定理，将Dubson-Kashiwara指标定理推广至拟射影概形，并给出了关于 perverse 她aves 的Riemann-Roch型公式。

ABSTRACT

We study log D-modules on smooth log pairs and construct a comparison theorem of log de Rham complexes. The proof uses Sabbah's generalized b-functions. As applications, we deduce a log index theorem and a Riemann-Roch type formula for perverse sheaves on smooth quasi-projective varieties. The log index theorem naturally generalizes the Dubson-Kashiwara index theorem on smooth projective varieties.

研究动机与目标

• 建立对数de Rham复形在格与除子补集上de Rham复形的推前之间的比较同构。
• 通过使用对数 $π$-模，将Dubson-Kashiwara指标定理推广至光滑拟射影概形。
• 利用对数 $π$-模技术，为光滑拟射影概形上的 perverse 她aves 建立Riemann-Roch型公式。
• 分析对数de Rham复形在除子移位扭变下的行为，特别关注Deligne格与Bernstein-Sato型构造的背景。
• 通过使用对数拉格朗日锥面的闭包与特征循环的交点理论，提供指标定理的几何证明。

提出的方法

• 在光滑概形 $X$ 上的法向交叉除子 $D$ 的补集上，构造作为正则整体 $π_U$-模的格的对数 $π$-模。
• 应用Sabbah的广义 $b$-函数，证明对数比较定理：当 $q$ 足够大时，有 $\mathrm{DR}_{X,D}(\mathcal{M}(qD)) \simeq Rj_*\mathrm{DR}_U(\mathcal{M}_U)$，作为拟同构。
• 利用实定义函数与对数余切丛理论，分析 $T^*(X,D)$ 中对数拉格朗日锥面循环的对数闭包。
• 应用曲线选择引理，并沿实解析曲线积分Liouville 1-形式，证明对数法丛 $\Gamma_{-d\log\rho}$ 仅在拉格朗日循环的内部与其闭包相交。
• 通过在 $\mathbf{s} = \mathbf{v}$ 处局部化，建立 $\mathscr{D}_Y[\mathbf{s}]$-模的纤维描述，从而导出 $j_*\mathcal{M}_U$ 与 $j_!\mathcal{M}_U$ 关于扭模的表达式。
• 通过计算欧拉示性数与对数法丛对 perverse 她ave 的特征循环的交点，推导出Riemann-Roch型公式。

实验结果

研究问题

• RQ1 当对数de Rham复形的格在除子 $D$ 上经历足够大的正扭变时，其行为如何？
• RQ2 能否通过使用对数 $π$-模，将Dubson-Kashiwara指标定理推广至非射影的光滑概形？
• RQ3 对数法丛 $\Gamma_{-d\log\rho}$ 与对数拉格朗日锥面循环闭包的交集的几何意义是什么？
• RQ4 模 $\mathscr{D}_Y[\mathbf{s}]$-模 $\mathcal{M}_{\mathbf{h}}^\mathbf{v}$ 与推前 $j_*\mathcal{M}_U$ 和 $j_!\mathcal{M}_U$ 之间有何关系？
• RQ5 在何种条件下，对数de Rham复形在除子扭变下趋于稳定？其稳定复形是什么？

主要发现

• 对数比较定理成立：对任意正则整体 $π_U$-模 $\mathcal{M}_U$，存在 $q_0 > 0$，使得对所有 $q > q_0$，有 $\mathrm{DR}_{X,D}(\mathcal{M}(qD)) \simeq Rj_*\mathrm{DR}_U(\mathcal{M}_U)$，作为拟同构。
• 对Deligne格 $\overline{\mathcal{V}}$（其留数的特征值属于 $(-1,0]$），有 $\mathrm{DR}_{X,D}(\overline{\mathcal{V}}(k_2D^{\bar{I}} - k_1D^I)) \simeq j^{I}_{2!}Rj^{I}_{1*}L[n]$，对所有 $k_1,k_2 > 0$ 成立。
• 建立了对数指标定理：$[\overline{\mathrm{SS}}(F)] \cdot [T^*_X(X,D)] = \chi(U,F)$，推广了Dubson-Kashiwara定理。
• 在条件 $v_l \gg 0$ 下，$\mathscr{D}_Y[\mathbf{s}]({\mathbf{h}}^{\mathbf{s}+\mathbf{v}}\cdot\mathcal{M}_0)$ 在 $\mathbf{s} = \mathbf{v}$ 处的纤维同构于 $j_!\mathcal{M}_U$，在 $\mathbf{s} = -\mathbf{v}$ 处同构于 $j_*\mathcal{M}_U$。
• 对数闭包 $\Gamma_{-d\log\rho}$ 与对数拉格朗日锥面 $\Lambda$ 的闭包的交集恰好为 $\Lambda$，从而证明了指标定理的关键几何引理。
• 导出了Riemann-Roch型公式：$\chi(U,F) = \Gamma_{-d\log\rho} \cdot \overline{\mathrm{SS}}(F)$，其中 $F$ 是 $U$ 上的 perverse 她ave。