[论文解读] Constructibility of tempered solutions of holonomic D-modules

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

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

一句话总结

本文證明了在複解析流形上，正規化 𝒟-模的逐溫和全純解層在子解析拓撲上的構造可實現性，從而確認了 Kashiwara 與 Schapira 的一個猜想。證明方法依維數進行數學歸納法，運用奇點的解析化與逐溫和 De Rham 多複形的性質，確立了對於正規化 𝒟-模，其逐溫和 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 對正規化 𝒟-模的逐溫和全純解之 ℝ-sa-構造可實現性所提出的長期懸而未決猜想提供解答。
• 透過提供增強型逐溫和解函子像類別的拓撲特徵，將 Riemann–Hilbert 對應推廣至不規則情形。
• 確立任何正規化 𝒟-模的逐溫和全純解複形在子解析拓撲上是構造可實現的，從而釐清在存在不規則奇點時解的結構。

提出的方法

• 證明依底層複流形的維數進行數學歸納法，將問題簡化至低維情形。
• 應用奇點解析化，將奇點集分解為正則部分與奇異部分，進而利用正常態射將問題轉移到光滑流形上。
• 透過函子 $\mathcal{TH}\mathrm{om}$ 分析逐溫和 De Rham 多複形，該函子將子解析拓撲上的層與 𝒟-模相聯繫。
• 關鍵同構的推導依賴於導出範疇、基變換與對偶性，特別是涉及 $R\mathcal{H}\mathrm{om}$ 與 $\mathbb{D}$-函子。
• 針對奇點集的正則與奇異部分分別處理，利用解析化下的嚴格提升，將問題簡化至正則情形。
• 將歸納假設應用於 $\mathbb{D}\pi_{Z'}^*R\Gamma_{[Z]}\mathcal{M}$ 與 $R\Gamma_{[Z_s]}\mathcal{M}$，並利用其奇點支撐維數較低的事實。

实验结果

研究问题

• RQ1 在複解析流形上，正規化 𝒟-模的逐溫和全純解複形是否在子解析拓撲上構造可實現？
• RQ2 正規化 𝒟-模的逐溫和解層是否如 Kashiwara 與 Schapira 所猜想的那樣滿足 ℝ-sa-構造可實現性？
• RQ3 在不規則情形下，增強型逐溫和解函子能否透過構造可實現性獲得完整的拓撲特徵？
• RQ4 奇點集的結構如何影響逐溫和解的構造可實現性？
• RQ5 能否透過逐溫和解將 Riemann–Hilbert 對應推廣至不規則正規化 𝒟-模？

主要发现

• 任何複解析流形上正規化 𝒟-模的逐溫和全純解層在子解析拓撲上均為 ℝ-sa-構造可實現。
• 本結果確認了 Kashiwara 與 Schapira 對不規則情形下逐溫和解構造可實現性的猜想。
• 證明確立了透過奇點解析化簡化至低維情形後，逐溫和 De Rham 多複形的上同調是構造可實現的。
• 透過維數歸納法，證明複形 $\mathrm{D\!R}^t_{Z'}(\mathbb{D}\pi_{Z'}^*R\Gamma_{[Z]}\mathcal{M})$ 為 ℝ-sa-構造可實現。
• 該論證成功地透過嚴格提升與正常推前，分別處理奇點集的正則與奇異部分。
• 本結果為透過逐溫和解建立不規則正規化 𝒟-模的全局 Riemann–Hilbert 對應奠定了基礎。