一维增强Fourier-Sato变换的微局部方法

设$\mathcal{M}$为仿射直线上的完整代数$\mathcal{D}$-模。其指数因子是描述$\mathcal{M}$在非正则点处全纯解增长的Puiseux芽。驻相公式指出，$\mathcal{M}$的傅里叶变换的指数因子由$\mathcal{M}$的指数因子经勒让德变换得到。我们通过黎曼-希尔伯特对应，将其转化为增强ind-层（enhanced ind-sheaves）的语言，给出了这一事实的微局部证明。