[论文解读] Riemann-Hilbert correspondence for irregular holonomic D-modules

Masaki Kashiwara|arXiv (Cornell University)|Dec 24, 2015

Advanced Algebra and Geometry参考文献 2被引用 5

一句话总结

本文通过增强子解析层与温和增长结构，建立了一类非正则奇点的正则Holonomic D-模的黎曼-希尔伯特对应。该工作以辅助实变量引入的温和增长为框架，取代经典构造的子解析层，提出了一类新型增强子解析层，其核心结果为：一个完全忠实的增强解函子，能够通过新范畴捕捉Stokes现象与滤子结构。

ABSTRACT

This is a survey paper on the Riemann-Hilbert correspondence on (irregular) holonomic D-modules, based on the 16-th Takagi lecture (2015/11/28). In this paper, we use subanalytic sheaves, an analogous notion to the one of indsheaves.

研究动机与目标

• 将经典的黎曼-希尔伯特对应推广至非正则奇点的Holonomic D-模，此时经典正则奇点条件不成立。
• 解决长期存在的问题：在非正则情形下，缺乏经典构造子解析层的导出范畴的替代品。
• 构造一个完全忠实的增强解函子，以在非正则情形下捕捉Stokes现象与单值性数据。
• 利用子解析层与辅助实变量，建模非正则奇点附近解的温和增长。
• 通过增强范畴中的导出同态，从形式完成环在奇点处恢复Stokes滤子结构。

提出的方法

• 在 $X \times \mathbb{R}_\infty$ 上引入增强子解析层，其中 $\mathbb{R}_\infty$ 为在无穷远处添加一点的实直线，以建模解的温和增长。
• 定义增强解函子 $\mathcal{S}ol^\mathsf{T}_X(\mathscr{M}) := \mathrm{R}\mathscr{H}om_{\mathscr{D}_X}(\mathscr{M}, \mathscr{O}^{\mathsf{T}}_X)$，其中 $\mathscr{O}^{\mathsf{T}}_X$ 为增强的温和全纯函数层。
• 利用在奇点集上的实爆破 $\varpi: \widetilde{X} \to X$ 来解析奇点，并将问题提升至Stokes数据可见的空间。
• 构造 $\widetilde{\mathscr{S}}^{\mathsf{T}}_{\varphi} := (\varpi_\mathbb{R})^{-1} \mathscr{S}^{\mathsf{T}}_{\varphi}$ 与 $\widetilde{\mathscr{S}}^{\mathsf{T}} := (\varpi_\mathbb{R})^! \mathscr{S}^{\mathsf{T}}$，以在例外除子 $S$ 上定义增强层 $K_\varphi := \mathscr{H}om^\mathsf{E}(\widetilde{\mathscr{S}}^{\mathsf{T}}_\varphi, \widetilde{\mathscr{S}}^{\mathsf{T}})$。
• 证明 $i^{-1}K_\varphi$ 位于度数 0，且单射映射至 $\widetilde{L} = i^{-1}j_*L$，其像恰好为Stokes滤子 $F_\varphi$。
• 利用Mochizuki与Kedlaya关于非正则奇点平坦联络结构的结果，确保构造的正确性。

实验结果

研究问题

• RQ1 如何将黎曼-希尔伯特对应推广至非正则奇点的Holonomic D-模，此时经典构造子解析层范畴失效？
• RQ2 在非正则情形下，导出范畴中构造子解析层的合适替代品是什么？
• RQ3 Stokes现象——非正则奇点的特征——如何在导出范畴中以范畴方式编码？
• RQ4 增强解函子能否在奇点形式完成环上恢复完整的Stokes滤子？
• RQ5 辅助实变量 $\mathbb{R}_\infty$ 在捕捉温和增长并实现对应构造中起什么作用？

主要发现

• 增强解函子 $\mathcal{S}ol^\mathsf{T}_X: \mathsf{D}^\mathrm{b}_{\mathrm{hol}}(\mathscr{D}_X) \to \mathsf{D}^\mathrm{b}({\mathbb{C}}^{\mathrm{sub}}_{X \times \mathbb{R}_\infty})$ 是完全忠实的，将经典黎曼-希尔伯特对应推广至非正则情形。
• 该构造通过导出同态 $K_\varphi = \mathscr{H}om^\mathsf{E}(\widetilde{\mathscr{S}}^{\mathsf{T}}_\varphi, \widetilde{\mathscr{S}}^{\mathsf{T}})$ 恢复了形式完成环 $\widetilde{L}$ 上的Stokes滤子 $\{F_\varphi\}_{\varphi \in \Phi}$。
• 对象 $i^{-1}K_\varphi$ 位于度数 0，且单射嵌入 $\widetilde{L}$，其像恰好为Stokes滤子 $F_\varphi$。
• 增强层 $\mathscr{O}^{\mathsf{T}}_X$ 满足 $\mathscr{H}om^\mathsf{E}(\mathbb{C}_X^\mathsf{T}, \mathscr{O}^{\mathsf{T}}_X) \simeq \mathscr{O}_X$，确保其与正则Holonomic模上经典解函子的相容性。
• 通过子解析层与实爆破的使用，实现了对温和解的几何与范畴论处理，取代了对Ind-层的需求。
• 该方法通过增强范畴成功捕捉了解在非正则奇点附近的渐近行为，其中 $\mathscr{S}^{\mathsf{T}}_{\varphi} = \varinjlim_{c \to \infty} \mathbb{C}_{\{t + \operatorname{Re}\widetilde{\varphi} < c\}}$ 编码了增长条件。