On the Riemann-Hilbert problem for hyperplane arrangements with a good line

技术摘要：关于具有好直线的超平面构型的黎曼 - 希尔伯特问题

问题陈述
本文探讨了复空间 $\mathbb{C}^\ell$ 中仿射超平面构型 $\mathcal{A}$ 的补集 $M(\mathcal{A})$ 上黎曼 - 希尔伯特问题的一个变体。核心问题是：给定 $M(\mathcal{A})$ 上的一个局部系统 $\mathcal{L}$，能否将其实现为具有常系数的对数 Pfaffian 方程组的解层？与除子为法向交叉的经典情形不同，一般的超平面构型定义的除子并非法向交叉，这使得该问题变得非平凡。作者旨在刻画限制于此类对数 Pfaffian 方程组范畴（记为 $\text{Pf}(\log \mathcal{A})$）上的 de Rham 函子的本质像。

方法论
作者采用函子化方法，将中间卷积的概念推广到超平面构型的背景下。方法论通过以下步骤进行：

1. 几何设定（好直线）： 作者引入了仿射构型 $\mathcal{A}$ 的“好直线”$Y$ 的概念。通过原点的直线 $Y$ 是“好”的，如果对于交集偏序集 $L(\mathcal{A})$ 中的每一个秩为 2 的元素 $X$，和 $X + Y$ 仍属于 $L(\mathcal{A})$。该条件确保了投影 $\pi_Y: M(\mathcal{A}) \to M(\mathcal{A}_Y)$（其中 $\mathcal{A}_Y$ 由平行于 $Y$ 的超平面组成）具有纤维丛结构，其纤维同构于 $\mathbb{C}$ 减去有限个点。这将 Terao 关于中心构型的结果推广到了仿射情形。

2. 局部系统的函子构造： 利用由好直线诱导的纤维丛结构，作者在局部系统范畴 $\text{Loc}(M(\mathcal{A}), \mathbb{C})$ 上定义了一个中间卷积函子 $MC_\chi$。这是 Katz 在 $\mathbb{C} \setminus \{n \text{ 个点}\}$ 上定义的中间卷积的推广。该函子通过涉及与特征标 $\chi$ 相关的秩 1 局部系统的张量积的导出直接像（$R^1 pr_{2!}$ 和 $R^1 pr_{2*}$）之间的态射的像来定义。

3. 联络的函子构造： 与局部系统的构造平行，作者利用 Haraoka 定义的中间卷积函子 $mc_\lambda$，该函子作用于具有常系数的对数 Pfaffian 方程组范畴 $\text{Pf}(\log \mathcal{A})$。该函子通过沿好直线 $Y$ 方向修改联络形式的系数矩阵来运作。

4. 相容性分析： 核心的技术工作涉及证明这两个函子在 de Rham 对应下的相容性。作者建立了局部系统的中间卷积与对相应 Pfaffian 系统的中间卷积应用 de Rham 函子之间的同构。这需要仔细分析周期映射、多值截面以及纤维的上同调，特别是在假设 4.3下，该假设对系数矩阵的特征值施加了非共振条件。

主要贡献与结果

• 好性质的推广： 本文通过定义“好直线”并证明此类直线的存在性意味着补集上具有局部平凡纤维丛结构（定理 1.8），将 Terao 关于纤维丛结构的刻画推广到了仿射超平面构型。
• $MC_\chi$ 的定义： 作者定义了具有好直线的超平面补集上局部系统的中间卷积函子 $MC_\chi$（定义 2.3），并证明其满足类似于经典情形的合成律（定理 2.12）。
• 相容性定理： 主要结果是定理 4.8，它建立了局部系统的同构：
  $$MC_\chi \circ DR_{Pf}(\nabla_\mathcal{A}) \cong DR_{Pf} \circ mc_\lambda(\nabla_\mathcal{A})$$
  其中 $\chi(1) = \exp(2\pi i \lambda)$ 且 $\nabla_\mathcal{A}$ 满足非共振假设 4.3。这推广了 Haraoka（针对辫构型）以及 Dettweiler–Reiter（针对 $\mathbb{C} \setminus \{n \text{ 个点}\}$）之前的结果。
• 可解性的保持： 作为直接推论，定理 5.2 证明了中间卷积函子保持了对数 Pfaffian 方程组黎曼 - 希尔伯特问题的可解性。具体而言，如果局部系统 $\mathcal{L}$ admits 一个满足必要假设的解 $\nabla_\mathcal{A}$，那么 $MC_\chi(\mathcal{L})$ 也 admits 一个解。反之，如果卷积后的系统 admits 一个解，则原系统也 admits 一个解（前提是系统满足性质 $\wp$）。

意义
本文声称提供了一种结构化工具，用于在超平面构型的背景下研究黎曼 - 希尔伯特问题。通过表明中间卷积函子保持“可被实现为具有常系数的对数 Pfaffian 方程组的解”这一性质，作者提供了一种从已知可解局部系统生成新的可解局部系统的方法。这将中间卷积技术的应用范围（此前局限于中心构型或特定构型）扩展到了拥有“好直线”的更广泛的仿射构型类。这些结果统一了构型补集上纤维丛的几何视角与联络系数的代数操作。