[論文レビュー] Nearby Cycle Sheaves for Stable Polar Representations

Mikhail Grinberg, Kari Vilonen+1 more|arXiv (Cornell University)|Dec 28, 2020

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

ひとこと要約

本稿は、複素数体上の連結な再帰的群の安定極形式表現における、近接サイクル層のフーリエ変換とねじれた局所系について計算する。近傍サイクル層 $ P_{\tilde{\chi}} $ のフーリエ変換が、双対空間の正則部分集合上にランク $ |W| $ の局所系の交差コホモロジー拡張に同型であることを確立し、階数付きリー代数におけるキャラクターシーブ理論の重要な道具を提供する。

ABSTRACT

Let G|V, G connected, reductive over C, be a stable polar representation in the sense of [DK], satisfying some mild additional hypotheses. Given a G-equivariant rank one local system L on the general fiber of the quotient map f : V --> V/G, we compute the Fourier transform of the corresponding nearby cycle sheaf P on the zero-fiber of f. This provides a partial generalization of the results of [Gr1] and [GVX1]. Our main intended application is to the theory of character sheaves for graded Lie algebras over C.

研究の動機と目的

• 連結な再帰的群の複素数体上での安定極形式表現への近傍サイクル層の結果の拡張。
• 零ファイバー上の $ G $-不変なランク1局所系の、基本群の特徴によるねじれを伴うフーリエ変換の計算。
• 近傍サイクル層のフーリエ変換と双対空間上の交差コホモロジー層との間の明確な同型を確立。
• 階数付きリー代数の文脈におけるキャラクターシーブ理論の基盤を提供。

提案手法

• 正則ファイバー $ X_{\bar{c}_0} $ 上の $ G $-不変局所系から、零ファイバー $ X_0 $ 上の $ G $-不変な $ \mathbb{C}^* $-鋭錐 perverse 層へと写す近傍サイクル関手 $ \psi_f[\bar{c}_0] $ を用いる。
• 空間 $ V $ 上の perverse 層とその双対空間 $ V^* $ 上の perverse 層との関係を確立するため、トポロジカルなフーリエ変換関手 $ \mathfrak{F} $ を適用する。
• 境界写像と局所系類を用いてモノドロミーと交差数を解析するピカール・レフシェッツ理論を適用する。
• ワイル群 $ W $、部分群 $ W_{\chi}^0 \subset W $、およびヘッケ代数 $ \mathcal{H}_{W_{\chi}^0} $ の構造を用いて、モノドロミー表現を分解する。
• 正則部分集合上で近傍サイクル関手の整合性を保つために、正則分解と braid 群作用を用いる。
• モノドロミー分解の簡略化とモノドロミー不変部分空間 $ M_0 $ の構造の明確化を目的として、交差数の消失に関する予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 安定極形式表現の正則ファイバー上の $ G $-不変ランク1局所系に対する近傍サイクル層のフーリエ変換は、どのように振る舞うか？
• RQ2 双対空間上の交差コホモロジー層の観点から、$ P_{\chi} = \psi_f(\mathcal{L}_\chi[-]) $ のフーリエ変換の明確な構造は何か？
• RQ3 モノドロミー作用が $ W_{\chi}^0 \subset W $ の陪集合に沿って分解される条件は何か？
• RQ4 $ M_0 \subset M_{l_0}(P_\chi) $ である $ \mathbb{C}^* $-不変部分空間は、元の構成とは独立に特徴付けられるか？
• RQ5 予想10.2で示唆されているように、$ w_1 W_{\chi}^0 \neq w_2 W_{\chi}^0 $ のとき、交差数 $ \partial u_1 \pitchfork \partial u_2^* $ が消失するか？

主な発見

• 近傍サイクル層 $ P_{\chi} $ のフーリエ変換は、$ V^* $ の正則部分集合上にランク $ |W| $ の局所系 $ \mathcal{M}_{\chi} $ がある交差コホモロジー拡張 $ \operatorname{IC}((V^*)^{rs}, \mathcal{M}_{\chi}) $ に同型である。
• 安定性および零ファイバーにおけるランク1または有限軌道条件といった弱い技術的仮定のもとで、同型 $ \mathfrak{F}P_{\chi} \cong \operatorname{IC}((V^*)^{rs}, \mathcal{M}_{\chi}) $ が成り立つ。
• 近傍サイクル層上のモノドロミー作用は $ W_{\chi}^0 \subset W $ の陪集合に沿って分解され、部分空間 $ M_0 \subset M_{l_0}(P_\chi) $ は単位陪集合に対応する。
• 予想される交差数 $ \partial u_1 \pitchfork \partial u_2^* $ の消失は、モノドロミー表現の明確な分解を示唆する。
• 主要定理の証明は、ピカール・レフシェッツの公式と、ねじれ係数を伴う相対ホモロジーにおける境界写像の構造に依存する。
• この結果により、フーリエ変換と双対性を通じて、階数付きリー代数における近傍サイクル層とキャラクターシーブの間の直接的な関係が確立される。