[論文レビュー] Constructibility of tempered solutions of holonomic D-modules

Giovanni Morando|arXiv (Cornell University)|Nov 26, 2013

Holomorphic and Operator Theory参考文献 7被引用数 3

ひとこと要約

本稿は、複素解析的多様体上の正則的でない 𝒟-加群の、temperedな正則的解の層の構成可能性を、部分解析的サイトに関して証明し、KashiwaraとSchapiraの予想を裏付ける。証明は次元に関する帰納法を用い、特異点の解消とtempered De Rham複体の性質を活用し、正則的でない 𝒟-加群に対してtempered De Rham複体のコホロジーが ℝ-sa-構成可能性であることを確立する。

ABSTRACT

In this paper we prove the constructibility on the subanalytic sites of the sheaves of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. Such a result solves a conjecture of M. Kashiwara and P. Schapira (2003).

研究の動機と目的

• KashiwaraとSchapiraが提起した、正則的でない 𝒟-加群のtemperedな正則的解の ℝ-sa-構成可能性に関する長年の予想を解決すること。
• 強化されたtempered解関手の像カテゴリを、不規則な場合において位相的に特徴づけることで、Riemann–Hilbert対応を不規則な場合に拡張すること。
• 任意の正則的でない 𝒟-加群のtemperedな正則的解の複体が、部分解析的サイト上で構成可能であることを確立することにより、不規則な特異点の存在下での解の構造を明確化すること。

提案手法

• 証明は、基礎となる複素多様体の次元に関する帰納法を用い、問題を次元が低い場合に還元する。
• 特異点の解消が適用され、特異部分集合を正則的および特異的部分に分解し、それにより正則的写像を用いて問題を滑らかな多様体に移す。
• tempered De Rham複体は、関手 $\mathcal{TH}\mathrm{om}$ を通じて、部分解析的サイト上の層と 𝒟-加群との関係を分析する。
• 主な同型は、導来カテゴリ、基底変換、双対性を用いて導出され、特に $R\mathcal{H}\mathrm{om}$ と $\mathbb{D}$-関手が関与する。
• 特異点の特異的部分と正則的部分を別々に取り扱い、解消における厳密な変換を用いて正則的部分に還元する。
• その帰納法の仮定を $\mathbb{D}\pi_{Z'}^*R\Gamma_{[Z]}\mathcal{M}$ と $R\Gamma_{[Z_s]}\mathcal{M}$ に適用し、それらの特異的補題の次元が低いことを利用している。

実験結果

リサーチクエスチョン

• RQ1 複素解析的多様体上の正則的でない 𝒟-加群のtemperedな正則的解の複体は、部分解析的サイト上で構成可能か？
• RQ2 KashiwaraとSchapiraの予想するように、正則的でない 𝒟-加群のtempered解の層は ℝ-sa-構成可能か？
• RQ3 不規則な場合において、強化されたtempered解関手は、構成可能性を用いて完全に位相的に特徴づけられるか？
• RQ4 特異点の構造は、tempered解の構成可能性にどのように影響するか？
• RQ5 tempered解を用いて、不規則な正則的でない 𝒟-加群に対してRiemann–Hilbert対応を拡張できるか？

主な発見

• 任意の複素解析的多様体上の正則的でない 𝒟-加群のtemperedな正則的解の層は、部分解析的サイト上で ℝ-sa-構成可能である。
• この結果は、KashiwaraとSchapiraによる不規則な場合のtempered解の構成可能性に関する予想を裏付ける。
• 証明は、特異点の解消により次元を低く還元することで、tempered De Rham複体のコホロジーが構成可能であることを確立する。
• 複体 $\mathrm{D\!R}^t_{Z'}(\mathbb{D}\pi_{Z'}^*R\Gamma_{[Z]}\mathcal{M})$ は、次元に関する帰納法により ℝ-sa-構成可能であることが示された。
• 厳密な変換と正則的押し出しを用いることで、特異点の正則的部分と特異的部分の両方を効果的に取り扱った。
• この結果は、不規則な正則的でない 𝒟-加群に対して、tempered解を用いたグローバルなRiemann–Hilbert対応を構築するための基盤を提供する。