[論文レビュー] 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 と正則特異的 D-加群の近くの周期と消滅周期の比較定理について、無限次元のジョルダン型ブロックとデリーニュの正規拡張を用いて、リーマン＝ヒルベルト対応を明確化することで、詳細なサーベイと簡略化された証明を提供する。主な貢献は、無限次元ジョルダン型ブロック上の冪零自己準同型を用いた近くの周期の明示的構成を通じて、元の証明の概念的・技術的簡略化を達成し、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 と正則特異的 D-加群の解析的圏における近くの周期と消滅周期について、明確でアクセスしやすいサーベイを提供すること。
• D-加群と層論的近く・消滅周期の間の比較同型の極めて技術的な証明を簡略化すること。
• 無限次元ジョルダン型ブロックとデリーニュ正規拡張を用いて、比較定理を再導出することで、従来の手法よりも直感的なアプローチを提供すること。
• de Rham複体上のモノドロミー作用と、カシワラ＝マルグランジュフィルトレーションの冪零残留部の間の直接的な関係を確立すること。

提案手法

• 特別化可能な D-加群におけるカシワラ＝マルグランジュフィルトレーションを用い、その各次元ごとの層を用いて近くの周期と消滅周期を定義する。
• ベクトル空間上の冪零作用素に関連する無限次元ジョルダン型ブロックを用いて、 perverse sheaves における λ-近く周期を導入する。
• 特に準ユニポテンシャルで正則特異的 D-加群に対して、近く周期の構成をモデル化するため、デリーニュ正規拡張を適用する。
• カシワラ＝マルグランジュフィルトレーションとねじれた構造層を含む複体の直和限界として、近く周期複体を直接限界として構成する。
• de Rhamファンクターを用いて、D-加群の周期と層論的周期を関係づけ、リーマン＝ヒルベルト対応を活用する。
• 無限次元ジョルダン型ブロック上の自己準同型 J0,∞ を用いてモノドロミー対数をモデル化し、それが各次元ごとの層上の t∂t-作用と関係することを示す。

実験結果

リサーチクエスチョン

• RQ1 D-加群の近く周期と perverse sheaf の近く周期の間の比較同型を、より概念的な明確さで再証明するにはどうすればよいか？
• RQ2 無限次元ジョルダン型ブロックは、 perverse sheaves と D-加群の両方における近く周期関手のモデル化にどのような役割を果たすか？
• RQ3 リーマン＝ヒルベルト対応の下で、カシワラ＝マルグランジュフィルトレーションと de Rhamファンクターの間にはどのような相互作用があるか？
• RQ4 デリーニュ正規拡張は、D-加群設定における近く周期の構成をどのように簡略化するか？
• RQ5 近く周期複体上のモノドロミー作用は、接続の冪零残留部とどのように関係しているか？

主な発見

• 関数 f 沿いの正則特異的 D-加群 M に対する近く周期複体は、t∂t-作用を伴う Gr⁰_V(Mf ⊗ O K⁻α_m) の複体の直和限界と準同型である。
• 0 < α < 1 に対して、リーマン＝ヒルベルト対応の下で 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α} である。
• 消滅周期複体は、−1 ≤ α < 0 に対して DR_X(Φ_α(M)) ≃ Φ_f,λ(DR_X(M)) [−1] を満たす。
• 比較同型は、複体のクイバーとして実現される： DR_X(Ψ₀(M) → Φ₋₁(M)) [1] ≃ [Ψ_f,₁(DR_X(M)) → Φ_f,₁(DR_X(M))] であり、Var/2π√−1 は t∂t の冪零部に対応する。
• Gr⁰_V(Mf) と A₀_m の限界の間の準同型写像は、写像 m ↦ ∑(−1)^i (t∂t)^i m ⊗ e_i によって明示的に実現され、D-加群的および層論的構成の間の関係が確立される。