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}$ が、定数係数を持つ対数的 Pfaff 系（logarithmic Pfaffian system）の解層として実現可能かどうかである。 divisor が通常交叉（normally crossing）である古典的な場合とは異なり、一般的な超平面配置は通常交叉でない divisor を定義するため、この問題は非自明となる。著者らは、そのような対数的 Pfaff 系の圏 $\text{Pf}(\log \mathcal{A})$ に制限された de Rham 関手の本質的像を特徴付けることを目指す。

手法
著者らは、関手的アプローチを採用し、超平面配置の文脈に中間畳み込み（middle convolution）の概念を一般化する。手法は以下の手順で進行する。

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$ を定義する。これは、$\mathbb{C} \setminus \{n \text{ points}\}$ 上の Katz の中間畳み込みの一般化として構成される。この関手は、指標 $\chi$ に関連するランク 1 の局所系を含む外部テンソル積の、導来直接像（$R^1 pr_{2!}$ および $R^1 pr_{2*}$）間の射の像として定義される。

3. 接続に対する関手の構成: 局所系の構成と並行して、著者らは定数係数を持つ対数的 Pfaff 系の圏 $\text{Pf}(\log \mathcal{A})$ に作用する中間畳み込み関手 $mc_\lambda$ の Haraoka による定義を利用する。この関手は、良い直線 $Y$ の方向に沿った接続形式の係数行列を変更することによって作用する。

4. 両立性の解析: 核心的な技術的取り組みは、de Rham 対応の下でこれら 2 つの関手間の両立性を証明することである。著者らは、局所系の中間畳み込みと、対応する Pfaff 系の中間畳み込みに対して適用された de Rham 関手の間に同型を確立する。これには、仮定 4.3（係数行列の固有値に対する非共振条件を課すもの）の下で、周期写像、多価切断、およびファイバーのコホモロジーの慎重な解析が必要となる。

主要な貢献と結果

• 良性の一般化: 本論文は、「良い直線」を定義し、そのような直線の存在が補集合上の局所自明なファイバー束構造を意味することを証明することで、Terao によるファイバー束構造の characterization をアフィン超平面配置に拡張する（定理 1.8）。
• $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（ブraid 配置に対して）および Dettweiler–Reiter（$\mathbb{C} \setminus \{n \text{ points}\}$ に対して）による先行する結果を一般化する。
• 可解性の保存: 直接的な帰結として、定理 5.2は、中間畳み込み関手が対数的 Pfaff 系に対するリーマン・ヒルベルト問題の可解性を保存することを示す。具体的には、局所系 $\mathcal{L}$ が必要な仮定を満たす解 $\nabla_\mathcal{A}$ を許容する場合、$MC_\chi(\mathcal{L})$ もまた解を許容する。逆に、畳み込まれた系が解を許容する場合、元の系もまた解を許容する（ただし、系が性質 $\wp$ を満たす場合に限る）。

意義
本論文は、超平面配置の文脈におけるリーマン・ヒルベルト問題を調査するための構造的ツールを提供することを主張する。定数係数を持つ対数的 Pfaff 系の解として実現可能であるという性質を中間畳み込み関手が保存することを示すことで、著者らは既知の可解局所系から新たな可解局所系を生成する方法を提供する。これは、以前は中心配置または特定の配置に限定されていた中間畳み込み手法の適用範囲を、「良い直線」を持つより広範なアフィン配置のクラスに拡張するものである。これらの結果は、配置補集合上のファイバー束の幾何学的視点と、接続係数の代数的操作を統合する。