[論文レビュー] On the middle convolution

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

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

ひとこと要約

本稿は、穴あき複素数直線上の局所系上の代数的ミドルコンボリューション関手 $MC_{\theta}$ に、コhomology的解釈を提供し、高次直接像層を用いたリーマン＝ヒルベルト対応を確立する。$MC_{\theta}(Τ) \cong R^1\bar{p}_2_* (j_* (\mathrm{pr}_1^*\mathcal{F} \otimes q^*\mathcal{L}_\theta))$ を示し、可解なFuchs系のアルゴリズム的構成と、リッジッド局所系に対するグローテンディーク＝カッツ $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}$ のコhomology的解釈を提供し、カッツの $l$-進ミドルコンボリューションを模倣する。
• $MC_{\lambda}$ に対してリーマン＝ヒルベルト対応を確立し、正則特異点を持つ微分系に翻訳する。
• 非可約リッジッド局所系に対応するFuchs系をアルゴリズム的に構成するための手法を開発する。
• $MC_{\lambda}$ の $p$-曲率における挙動を分析し、グローテンディーク＝カッツ $p$-曲率予想が新たな例についても成り立つかを検証する。

提案手法

• $p_2: E \to X$ というファイブレーション上での特異コhomologyおよび層論的構成法を用いる。ここで $E = \{(x,y) \in \mathbb{C}^2 \mid x,y \ne t_i, x \ne y\}$ である。
• $MC_\lambda(\mathcal{F})$ の実現に、高次直接像層 $R^1\bar{p}_2_* (j_* (\mathrm{pr}_1^*\mathcal{F} \otimes q^*\mathcal{L}_\lambda))$ を適用する。
• ポッハマーの輪とねじれた基底を用いて、モノドロミーとコンボリューションを交差ホモーモルフィズムによってモデル化する。
• Okubo標準形における微分系の構成により、$MC_\lambda$ が系の構造に与える影響を分析する。
• ゲージ変換とブロック行列分解を用いて系を簡略化し、ノルム的性質を分析する。
• Lerayのスペクトル系列およびモチビックガロア群論を用いて、特定の系について $p$-曲率予想の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 代数的ミドルコンボリューション $MC_\lambda$ は、複素数的設定においてどのようにコhomology的に解釈できるか？
• RQ2 $\mathbb{C} \setminus \{t_1,\dots,t_r\}$ 上の局所系に対して、$MC_\lambda$ の明示的リーマン＝ヒルベルト対応は何か？
• RQ3 $MC_\lambda$ を用いて、非可約リッジッド局所系に対応するFuchs系をアルゴリズム的に構成できるか？
• RQ4 $MC_\lambda$ の $p$-曲率における挙動は何か？ そして、グローテンディーク＝カッツ $p$-曲率予想を保存するか？
• RQ5 グローバルにノルム的である系のコンボリューションが、どのような条件下で再びグローバルにノルム的になるか？

主な発見

• ミドルコンボリューション $MC_\lambda(\mathcal{F})$ は、高次直接像層 $R^1\bar{p}_2_* (j_* (\mathrm{pr}_1^*\mathcal{F} \otimes q^*\mathcal{L}_\lambda))$ に同型であり、関手のコhomology的実現を提供する。
• この構成により、任意の与えられたリッジッド局所系 $\mathcal{F}$ に対して、その解層が $MC_\lambda(\mathcal{F})$ となる正則特異点を持つFuchs系を生成するアルゴリズムが得られる。
• $\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)$ に対してグローテンディーク＝カッツ $p$-曲率予想が成立することが示された。
• 定理7.9および補題7.11により、システム $D(L_n, \mathbf{a}, \mu)$ はランク3のグローバルにノルム的であることが確立された。