[论文解读] Stokes shells and Fourier transforms

Takuro Mochizuki|arXiv (Cornell University)|Aug 2, 2018

Advanced Topics in Algebra被引用 3

一句话总结

本文引入了Stokes壳作为新颖的代数框架，用于分析复直线上亚纯平坦丛的傅里叶变换，特别关注无穷远处诱导的Stokes结构变换。它为基本构建模块建立了显式的局部傅里叶变换，并通过推广将结果一般化，通过Stokes数据完整地描述了傅里叶变换在holonomic D-模上的作用，涵盖拓扑与代数两方面。

ABSTRACT

Algebraic holonomic $\mathcal{D}$-modules on a complex line are classified by the associated topological data consisting of local systems with Stokes structure and the nearby and vanishing cycles at the singularities. The Fourier transform for algebraic holonomic $\mathcal{D}$-modules is defined by exchanging the roles of the variable and the derivative. It is interesting to study the induced transform for the associated topological data. In particular, we closely study the local system with Stokes structure at infinity of the Fourier transform of a $\mathcal{D}$-module, which also allows us to describe the remaining data. We introduce explicit algebraic operations for local systems with Stokes structure, called the local Fourier transform, to study the case of the $\mathcal{D}$-modules associated with basic meromorphic flat bundles. The properties of the local Fourier transforms are captured in terms of Stokes shells. We also introduce the notion of extensions to study the general case.

研究动机与目标

• 通过其关联的拓扑数据，特别是Stokes结构，理解代数holonomic D-模的傅里叶变换。
• 为具有不规则奇点的亚纯平坦丛的局部傅里叶变换开发一个代数框架。
• 通过显式的代数运算描述傅里叶变换在无穷远处的Stokes结构。
• 通过局部系统带Stokes结构的扩张概念，将基本亚纯平坦丛的结果推广至一般情形。
• 通过Stokes壳和局部傅里叶变换，建立原始D-模数据与其傅里叶变换之间的完整对应关系。

提出的方法

• 引入Stokes壳的概念，作为编码和计算Stokes结构局部傅里叶变换的工具。
• 利用快速衰减和适度增长同调群，为在0和∞处具有不规则奇点的亚纯平坦丛定义局部傅里叶变换。
• 应用Riemann-Hilbert对应关系，将D-模与构造性层及其上同调不变量联系起来。
• 利用Rham类与同调类之间的配对关系，提取傅里叶变换的数值不变量。
• 运用带Stokes结构的局部系统的扩张理论，将结果推广至基本构建模块之外的情形。
• 在各种层论构造之间建立对偶性与态射的一致性，以确保变换的一致性。

实验结果

研究问题

• RQ1 傅里叶变换如何作用于holonomic D-模在无穷远处的Stokes结构？
• RQ2 哪些代数运算可描述具有不规则奇点的亚纯平坦丛的局部傅里叶变换？
• RQ3 Stokes壳如何用于编码和计算变换后的Stokes结构？
• RQ4 扩张在将局部傅里叶变换推广至基本构建模块之外的情形中起什么作用？
• RQ5 亚纯平坦丛的同调群与D-模的傅里叶变换之间有何关系？

主要发现

• 在0处具有不规则奇点的亚纯平坦丛的局部傅里叶变换，会诱导无穷远处Stokes结构的明确定义的变换，该变换由引入的Stokes壳所捕获。
• 通过快速衰减和适度增长同调群，推导出局部傅里叶变换的显式公式，提供了一个计算框架。
• 傅里叶变换保持对偶结构，如导出范畴中某些态射的相等性所示，确认与已知对偶定理的一致性。
• 带Stokes结构的局部系统的扩张允许将局部傅里叶变换推广至任意holonomic D-模，而不仅限于基本情形。
• 该构造导致了通过Stokes数据对holonomic D-模的傅里叶变换的完整拓扑与代数描述。
• 本文确立了：通过引入的代数运算，D-模的傅里叶变换可完全从其在无穷远处的变换Stokes结构及邻域/消失圈数据中重构。