层上的 Mellin 变换与解函子的一个交换定理

我们用 $\mathcal{D}$-模 $\mathcal{M}$ 的解来描述 $\mathcal{M}$ 的代数 Mellin 变换的解复形。为此，我们在层上定义 Mellin 函子。我们证明正则全纯 $\mathcal{D}$-模 $\mathcal{M}$ 的快速衰减解复形的 Mellin 变换拟同构于 $\mathcal{M}$ 的代数 Mellin 变换的解复形，而在单变量情形下正则性假设是不必要的。