[論文レビュー] Riemann-Hilbert correspondence for irregular holonomic D-modules

Masaki Kashiwara|arXiv (Cornell University)|Dec 24, 2015

Advanced Algebra and Geometry参考文献 2被引用数 5

ひとこと要約

本稿は、補助的な実変数を用いて温度的成長を組み込む新たな枠組みとして、強化された可縮的層を導入することで、不規則な正則的でないD加群に対するリーマン＝ヒルベルト対応を確立する。主な結果は、ストークス現象とフィルトレーションを回復する完全忠実な強化された解関手であり、これは新たな種類の強化された可縮的層の圏を用いるものである。

ABSTRACT

This is a survey paper on the Riemann-Hilbert correspondence on (irregular) holonomic D-modules, based on the 16-th Takagi lecture (2015/11/28). In this paper, we use subanalytic sheaves, an analogous notion to the one of indsheaves.

研究の動機と目的

• 古典的なリーマン＝ヒルベルト対応を、正則的でない特異点をもつ不規則な正則的でないD加群に一般化すること。
• 長年の問題である、古典的な可縮的層の導来圏に相当する代替圏を不規則な場合に見つけること。
• 不規則な設定においてストークス現象とモノドロミー情報を捉える完全忠実な強化された解関手を構成すること。
• 可縮的層と補助的な実変数を用いて、不規則特異点近傍における解の温度的成長をモデル化すること。
• 特異点における形式的完成上でのストークスフィルトレーションを、強化圏における導来ホモロジーによって回復すること。

提案手法

• 解の温度的成長をモデル化するため、$X \times \mathbb{R}_\infty$ 上の強化された可縮的層を導入する。ここで $\mathbb{R}_\infty$ は無限遠点を追加した実直線である。
• 強化された解関手 $\mathcal{S}ol^\mathsf{T}_X(\mathscr{M}) := \mathrm{R}\mathscr{H}om_{\mathscr{D}_X}(\mathscr{M}, \mathscr{O}^{\mathsf{T}}_X)$ を定義する。ここで $\mathscr{O}^{\mathsf{T}}_X$ は温度的正則関数の強化層である。
• 特異点集合における実ブLOWアップ $\varpi: \widetilde{X} \to X$ を用いて特異点を解消し、ストークスデータが可視化される空間へ問題を持ち上げる。
• $\widetilde{\mathscr{S}}^{\mathsf{T}}_{\varphi} := (\varpi_\mathbb{R})^{-1} \mathscr{S}^{\mathsf{T}}_{\varphi}$ および $\widetilde{\mathscr{S}}^{\mathsf{T}} := (\varpi_\mathbb{R})^! \mathscr{S}^{\mathsf{T}}$ を構成し、例外除集合 $S$ 上の強化層 $K_\varphi := \mathscr{H}om^\mathsf{E}(\widetilde{\mathscr{S}}^{\mathsf{T}}_\varphi, \widetilde{\mathscr{S}}^{\mathsf{T}})$ を定義する。
• $i^{-1}K_\varphi$ が次数 0 に集中し、$\widetilde{L} = i^{-1}j_*L$ へモノモーマルに写像され、その像がストークスフィルトレーション $F_\varphi$ に一致することを示す。
• 不規則特異点をもつ平坦接続の構造に関するMochizukiおよびKedlayaの結果を活用し、構成の正当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的な可縮的層の圏が失敗する不規則な正則的でないD加群に対して、リーマン＝ヒルベルト対応をどのように拡張できるか。
• RQ2 不規則な場合において、可縮的層の導来圏に相当する適切な置き換えは何か。
• RQ3 不規則特異点に特徴的なストークス現象を、導来枠組みの中でどのように圏論的に表現できるか。
• RQ4 強化された解関手は、特異点における形式的完成上での完全なストークスフィルトレーションを回復できるか。
• RQ5 補助的な実変数 $\mathbb{R}_\infty$ は、温度的成長を捉え、対応の構成を可能にする上で果たす役割は何か。

主な発見

• 強化された解関手 $\mathcal{S}ol^\mathsf{T}_X: \mathsf{D}^\mathrm{b}_{\mathrm{hol}}(\mathscr{D}_X) \to \mathsf{D}^\mathrm{b}({\mathbb{C}}^{\mathrm{sub}}_{X \times \mathbb{R}_\infty})$ は完全忠実であり、古典的なリーマン＝ヒルベルト対応を不規則な場合に一般化する。
• 構成により、$\widetilde{L}$ 上のストークスフィルトレーション $\{F_\varphi\}_{\varphi \in \Phi}$ が導来ホモロジー $K_\varphi = \mathscr{H}om^\mathsf{E}(\widetilde{\mathscr{S}}^{\mathsf{T}}_\varphi, \widetilde{\mathscr{S}}^{\mathsf{T}})$ を用いて回復される。
• $i^{-1}K_\varphi$ は次数 0 に集中し、$\widetilde{L}$ へ単射に写像され、その像は正確にストークスフィルトレーション $F_\varphi$ に一致する。
• 強化層 $\mathscr{O}^{\mathsf{T}}_X$ は $\mathscr{H}om^\mathsf{E}(\mathbb{C}_X^\mathsf{T}, \mathscr{O}^{\mathsf{T}}_X) \simeq \mathscr{O}_X$ を満たし、正則的でないD加群上での古典的解関手との整合性が保証される。
• 可縮的層と実ブLOWアップの使用により、温度的解の幾何学的かつ圏論的取り扱いが可能となり、インダクティブ層の必要性が排除される。
• この方法により、強化圏を通じて不規則特異点近傍における解の漸近的挙動が的確に捉えられ、$\mathscr{S}^{\mathsf{T}}_{\varphi} = \varinjlim_{c \to \infty} \mathbb{C}_{\{t + \operatorname{Re}\widetilde{\varphi} < c\}}$ が成長条件を符号化する。