[论文解读] Fourier transform and middle convolution for irregular D-modules

D. Arinkin|ArXiv.org|Aug 5, 2008

Algebraic and Geometric Analysis被引用 6

一句话总结

本文通过将非正则D-模上的全局傅里叶变换推广到形式圆盘上的非正则D-模，提出了一种关于不规则D-模局部傅里叶变换的新概念性方法，借助伴随关系使关键性质变得显然。该框架被用于定义并计算局部中间卷积（Katz-Radon变换），给出了一个明确的公式，回答了N. Katz提出的问题，并在概念上证明了刚性指标在傅里叶变换下的不变性。

ABSTRACT

S.Block and H.Esnault constructed the local Fourier transform for D-modules. We present a different approach to the local Fourier transform, which makes its properties almost tautological. We apply the local Fourier transform to compute the local version of Katz's middle convolution.

研究动机与目标

• 通过非正则D-模的全局傅里叶变换，为形式圆盘上D-模的局部傅里叶变换提供一种新的、概念性的定义。
• 利用该框架，定义并研究Katz的中间卷积的局部版本，即局部Katz-Radon变换。
• 以概念性方式证明刚性指标在傅里叶变换下的不变性，此前该结果是通过复分析方法建立的。
• 回答N. Katz在[9, 第3.4节]提出的问题，给出局部Katz-Radon变换的显式公式。
• 在P¹上的D-模背景下，统一并推广现有关于Radon变换与中间卷积的方法。

提出的方法

• 将局部傅里叶变换定义为：将一个在穿孔形式圆盘上定义的D-模延拓至整个仿射直线后，对其应用全局傅里叶变换，从而得到一个在形式邻域上支撑的D-模。
• 利用导出函子之间的伴随关系，使D-模及其傅里叶变换之间奇异性的主要关系变得显然。
• 将局部Katz-Radon变换构造为穿孔形式圆盘上D-模范畴上的自等价，类似于局部傅里叶变换。
• 以形式驻定相位公式作为关键工具，该公式源自伴随关系，用于关联变换下无穷远处的奇异性质。
• 通过斜率滤子和分歧扩张的不规则奇点理论，将不可约D-模描述为Kummer型模的扩张。
• 通过形式微分算子的分数次幂（借助形式微分演算）构造实现局部中间卷积的同构，从而导出显式公式。

实验结果

研究问题

• RQ1 如何重新定义不规则D-模的局部傅里叶变换，使其基本性质变得显然？
• RQ2 局部傅里叶变换与D-模的全局傅里叶变换之间的确切关系是什么？
• RQ3 如何为不规则D-模明确定义并显式计算Katz中间卷积的局部版本？
• RQ4 局部Katz-Radon变换的显式公式是什么？它与全局变换有何关系？
• RQ5 刚性指标在傅里叶变换下如何变化？能否以概念性方式证明这一点？

主要发现

• 局部傅里叶变换被定义为：将一个在穿孔形式圆盘上定义的正则D-模延拓至整个仿射直线后，对所得非正则D-模应用傅里叶变换。
• 由于伴随关系的存在，D-模及其傅里叶变换之间奇异性的主要性质变得显然，从而简化了深刻结果的证明。
• 局部Katz-Radon变换被构造为穿孔形式圆盘上D-模范畴上的自等价。
• 导出了局部Katz-Radon变换的显式公式，回答了N. Katz在[9, 第3.4节]提出的问题。
• 在新框架下，刚性指标在傅里叶变换下的不变性得到了概念性证明。
• 该构造表明，局部中间卷积（Katz-Radon变换）通过微分算子的分数次幂作用于单值性，表现出精确的斜率依赖行为。