[论文解读] Nearby and vanishing cycles for perverse sheaves and D-modules

Lei Wu|arXiv (Cornell University)|Sep 28, 2017

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

本文在解析范畴中，針對 perverse sheaves 和正則正則 holonomic D-模，提供了一项關於鄰近循環與消失循環比較定理的詳細調查與簡化證明，使用無限維約旦塊與 Deligne 標準延拓，以釐清黎曼-希爾伯特對應關係。主要貢獻在於透過無限維約旦塊上幂零自同態的顯式構造，對鄰近循環進行概念性與技術性的簡化，建立 quasi-isomorphism，將 D-模的濾子與層論循環連結起來。

ABSTRACT

We survey nearby and vanishing cycles for both perverse sheaves and D-modules under analytic setting. Following ideas of A. Beilinson, M. Kashiwara and M. Saito, we explain in detail the proof of the comparison theorem between them in the sense of Riemann-Hilbert correspondence.

研究动机与目标

• 提供一個清晰、易於理解的鄰近與消失循環之調查，針對解析範疇中的 perverse sheaves 和正則正則 holonomic D-模。
• 簡化 D-模與層論鄰近與消失循環之間比較同構的高技術性證明。
• 利用無限維約旦塊與 Deligne 標準延拓，重新推導比較定理，提供比先前方法更具直覺性的方法。
• 建立 de Rham 多重複形上單變換作用與 Kashiwara-Malgrange 濾子的幂零殘留之間的直接連結。

提出的方法

• 使用特殊化 D-模上的 Kashiwara-Malgrange 濾子，透過濾子的分次項定義鄰近與消失循環。
• 針對 perverse sheaves 引入 λ-鄰近循環，使用與向量空間上幂零算子相關的無限維約旦塊。
• 應用 Deligne 標準延拓，以建模 D-模設定中的鄰近循環構造，特別是針對擬單純、正則正則 holonomic D-模。
• 將鄰近循環複形構造為涉及 Kashiwara-Malgrange 濾子與扭曲結構層的複形的直極限。
• 利用 de Rham 函子將 D-模循環與層論循環連結，利用黎曼-希爾伯特對應關係。
• 使用無限約旦塊上的自同態 J₀,∞ 來模擬單變換對數，並與分次項上的 t∂t-作用連結。

实验结果

研究问题

• RQ1 如何以更高的概念清晰度重新證明 D-模與 perverse sheaf 範疇中鄰近循環的比較同構？
• RQ2 無限維約旦塊在模擬 perverse sheaves 與 D-模的鄰近循環函子中扮演何種角色？
• RQ3 在黎曼-希爾伯特對應關係下，Kashiwara-Malgrange 濾子與 de Rham 函子之間的互動為何？
• RQ4 Deligne 標準延拓如何簡化 D-模設定中鄰近循環的構造？
• RQ5 鄰近循環複形上的單變換作用與連接的幂零殘留之間有何關係？

主要发现

• 沿函數 f 的正則正則 holonomic D-模 M 的鄰近循環複形，與涉及 Gr⁰_V(Mf ⊗ O K⁻α_m) 及 t∂t-作用的複形的直極限 quasi-isomorphic。
• 對於 0 < α < 1，有 quasi-isomorphism DR_X(Gr^α_V(M)) [1] ≃ Ψ_f,λ(DR_X(M))，在黎曼-希爾伯特對應關係下成立。
• 鄰近循環複形上的單變換算子 T 對應於 DR_X(e^{-2π√−1 t∂t}) = DR_X(λ · e^{-2π√−1(t∂t−α)})，其中 λ = e^{-2π√−1α}。
• 消失循環複形滿足 DR_X(Φ_α(M)) ≃ Φ_f,λ(DR_X(M)) [−1]，其中 −1 ≤ α < 0。
• 比較同構透過複形的 quiver 實現：DR_X(Ψ₀(M) → Φ₋₁(M)) [1] ≃ [Ψ_f,₁(DR_X(M)) → Φ_f,₁(DR_X(M))]，其中 Var/2π√−1 對應於 t∂t 的幂零部分。
• Gr⁰_V(Mf) 與 A₀_m 極限之間的 quasi-isomorphism 透過映射 m ↦ ∑(−1)^i (t∂t)^i m ⊗ e_i 明確實現，連結 D-模與層論構造。