[论文解读] On the middle convolution

Michael Dettweiler, Stefan Reiter|ArXiv.org|May 22, 2003

Algebraic Geometry and Number Theory参考文献 11被引用 12

一句话总结

本文为复射影直线去掉点的局部系统上的代数中间卷积函子 $MC_{\theta}$ 提供了上同调解释，通过高阶直接像层构造了黎曼-希尔伯特对应。证明了 $MC_{\theta}(\mathcal{F}) \cong R^1\bar{p}_2_* (j_* (\mathrm{pr}_1^*\mathcal{F} \otimes q^*\mathcal{L}_\theta))$，从而实现了对刚性局部系统的Fuchsian系统算法构造，并验证了Grothendieck-Katz $p$-曲率猜想在新类微分方程上的成立。

ABSTRACT

We present a cohomological interpretation of the middle convolution functor MC and find an explicit Riemann-Hilbert correspondence for MC_λ. This leads to an algorithm for the construction of Fuchsian systems which correspond to irreducible rigid local systems under the Riemann-Hilbert correspondence. Also, the effect of MC_λon the p-curvatures ist determined and new examples of differential systems are found which satisfy the Grothendieck-Katz p-curvature conjecture.

研究动机与目标

• 为代数中间卷积函子 $MC_{\lambda}$ 提供上同调解释，与Katz的 $l$-进中间卷积相呼应。
• 为 $MC_{\lambda}$ 建立黎曼-希尔伯特对应，将其转化为具有正则奇点的微分系统。
• 开发一种算法，用于构造与不可约刚性局部系统对应的Fuchsian系统。
• 分析 $MC_{\lambda}$ 在 $p$-曲率上的行为，并验证其对新例子的Grothendieck-Katz $p$-曲率猜想。

提出的方法

• 在纤维化 $p_2: E \to X$ 上使用奇异上同调与层论构造，其中 $E = \{(x,y) \in \mathbb{C}^2 \mid x,y \ne t_i, x \ne y\}$。
• 应用高阶直接像层 $R^1\bar{p}_2_* (j_* (\mathrm{pr}_1^*\mathcal{F} \otimes q^*\mathcal{L}_\lambda))$ 来实现 $MC_\lambda(\mathcal{F})$。
• 利用Pochhammer闭包与扭曲基底来建模单值性与卷积，通过交叉同态实现。
• 构造Okubo标准型的微分系统，以分析 $MC_{\lambda}$ 对系统结构的影响。
• 使用规范变换与分块矩阵分解简化系统并分析幂零性。
• 应用Leray谱序列与动机伽罗瓦群理论，验证某些系统下 $p$-曲率猜想。

实验结果

研究问题

• RQ1 在复数情形下，代数中间卷积 $MC_\lambda$ 如何实现上同调解释？
• RQ2 在 $\mathbb{C} \setminus \{t_1,\dots,t_r\}$ 上的局部系统上，$MC_\lambda$ 的显式黎曼-希尔伯特对应是什么？
• RQ3 能否利用 $MC_\lambda$ 算法性地构造不可约刚性局部系统对应的Fuchsian系统？
• RQ4 $MC_\lambda$ 在 $p$-曲率上的行为如何？它是否保持Grothendieck-Katz $p$-曲率猜想？
• RQ5 在何种条件下，全局幂零系统的卷积仍为全局幂零？

主要发现

• 中间卷积 $MC_\lambda(\mathcal{F})$ 同构于高阶直接像层 $R^1\bar{p}_2_* (j_* (\mathrm{pr}_1^*\mathcal{F} \otimes q^*\mathcal{L}_\lambda))$，为该函子提供了上同调实现。
• 该构造可生成算法，用于产生具有正则奇点的Fuchsian系统，其解层即为任意给定刚性局部系统 $\mathcal{F}$ 的 $MC_\lambda(\mathcal{F})$。
• 当 $\mu = -1$ 时，有 $c_{-1}(a(\mathfrak{p}))^{k+1} = 0$ 且 $mc_{-1}(a(\mathfrak{p}))^{k+1} = 0$，表明模 $p$ 约化下具有幂零性。
• 当 $\mu = n_1/n_2$ 且 $p \nmid n_1n_2$ 时，有 $c_{\mu-1}(a(\mathfrak{p}))^{k+2} = 0$ 且 $mc_{\mu-1}(a(\mathfrak{p}))^{k+2} = 0$，确认在这些条件下具有幂零性。
• 通过纤维的动机伽罗瓦群的连通性，证明了系统 $D(L_n, \mathbf{a}, \mu)$ 满足Grothendieck-Katz $p$-曲率猜想。
• 系统 $D(L_n, \mathbf{a}, \mu)$ 是秩为3的全局幂零系统，由定理7.9与引理7.11确立。