[论文解读] Curve test for enhanced ind-sheaves and holonomic D-modules

Takuro Mochizuki|arXiv (Cornell University)|Oct 26, 2016

Algebraic Geometry and Number Theory被引用 4

一句话总结

本论文建立了一个曲线测试准则，用于刻画由上同调正则D-模导出的增强局部小丛：在复流形上，一个实构造性增强局部小丛是某个上同调正则D-模的增强de Rham复形当且仅当其沿任意全纯曲线的拉回也是此类复形。该结果通过提供一种基于曲线测试的几何准则，完成了非正则正则情形下的Riemann-Hilbert对应，实现了增强局部小丛向D-模的提升。

ABSTRACT

Recently, the Riemann-Hilbert correspondence was generalized in the context of general holonomic D-modules by A. D'Agnolo and M. Kashiwara. Namely, they proved that their enhanced de Rham functor gives a fully faithfully embedding of the derived category of cohomologically holonomic complexes of D-modules into the derived category of complexes of real constructible enhanced ind-sheaves. In this paper, we study a condition when a complex of real constructible enhanced ind-sheaves $K$ is induced by a cohomologically holonomic complex of D-modules. We characterize such $K$ in terms of the restriction of $K$ to holomorphic curves.

研究动机与目标

• 确定复流形上一个实构造性增强局部小丛是否源自某个上同调正则D-模的必要且充分条件。
• 通过刻画增强de Rham函子的像的必要图像，将Riemann-Hilbert对应推广至非正则正则情形。
• 提供一种基于全纯曲线的几何提升准则，取代原有刻画中对形式或渐近分析的需求。

提出的方法

• 定义实构造性增强局部小丛的一个全子范畴 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$，其沿任意全纯曲线到 $X$ 的拉回属于增强de Rham函子的必要图像。
• 利用增强de Rham函子与六操作及对偶性的相容性，将问题约化为局部曲线测试。
• 通过从曲线拉回中提取的分支不规则值与重数函数，在奇点邻域上构造梅留拉函数平坦丛。
• 对增强局部小丛的支撑集的维数进行归纳，将问题约化至低维分量。
• 利用梅留拉函数平坦丛的全忠实Riemann-Hilbert对应，将局部数据提升为全局D-模。
• 证明解函子 $\mathop{\rm Sol}\nolimits^\mathsf{E}$ 在范畴 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$ 上是等价函子，从而确立主定理。

实验结果

研究问题

• RQ1 何时一个复流形上的实构造性增强局部小丛同构于某个上同调正则D-模的增强de Rham复形？
• RQ2 能否通过沿全纯曲线的拉回，几何地刻画增强de Rham函子的必要图像？
• RQ3 曲线测试条件——即沿曲线拉回后其像属于必要图像——是否足以确保原局部小丛源自D-模？
• RQ4 如何利用曲线数据从其增强解复形重构一个上同调正则D-模？
• RQ5 增强解函子在由曲线测试定义的范畴上是否全忠实且本质满射？

主要发现

• 由曲线测试条件定义的范畴 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$ 等于增强de Rham函子的必要图像 $\mathsf{E}^b_\mathcal{D}(\mathrm{I}\mathbb{C}_X)$。
• 增强解函子 $\mathop{\rm Sol}\nolimits^\mathsf{E}$ 在 $\mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$ 上是等价函子，意味着每一个此类增强局部小丛均源自某个上同调正则D-模。
• 曲线测试条件既是必要也是充分的：一个局部小丛属于必要图像当且仅当其沿每条全纯曲线的拉回也属于必要图像。
• 证明过程采用支撑集维数的归纳法，将问题约化至低维分量，并利用梅留拉函数平坦丛的全忠实Riemann-Hilbert对应。
• 通过从曲线拉回中提取的分支不规则值与重数，实现梅留拉函数平坦丛的局部构造，确保其与全局D-模结构相容。
• 对所有 $K \in \mathsf{E}^b_\triangle(\mathrm{I}\mathbb{C}_X)$，自然态射 $\Phi_K: K \to \mathop{\rm Sol}\nolimits^\mathsf{E} \Upsilon^\mathsf{E}(K)$ 是同构，确认了增强de Rham函子的本质满射性。