[論文レビュー] Nearby Cycle Sheaves for Symmetric Pairs

Mikhail Grinberg, Kari Vilonen+1 more|arXiv (Cornell University)|May 8, 2018

Advanced Algebra and Geometry参考文献 14被引用数 11

ひとこと要約

本稿は、対称対 $(G,K)$ に対する近傍サイクル層の構成を導入し、グロタンディーク＝スプリンガー解体を代わりに層論的枠組みに一般化することでスプリンガー理論を拡張する。主な結果は、近傍サイクル層 $P_\chi$ のフーリエ変換が、${\mathfrak{p}}^{rs}$ 上の $K$--equivariant 局所系統のIC拡張であることを示しており、モノドロミーは小ウェイル群 $W_{\mathfrak{a}}$ のコックスター部分群に関連するパラメータ $\pm 1$ を持つヘッケ代数によって記述される。この構成により、古典的対称空間におけるすべての字跡層が、放物型誘導を除いて実現される。

ABSTRACT

We present a nearby cycle sheaf construction in the context of symmetric spaces. This construction can be regarded as a replacement for the Grothendieck-Springer resolution in classical Springer theory.

研究の動機と目的

• 対称空間における字跡層の層論的枠組みを構築し、グロタンディーク＝スプリンガー解体を超えて古典的スプリンガー理論を拡張すること。
• 捩れた係数を用いた近傍サイクル層 $P_\chi$ を、${\mathcal{N}}_{\mathfrak{p}}$ 上の $K$-equivariant な perverse 層として、随伴商写像 $f: {\mathfrak{p}} \to {\mathfrak{a}}/W_{\mathfrak{a}}$ を用いて構成すること。
• 近傍サイクル層 $P_\chi$ のフーリエ変換が、${\mathfrak{p}}^{rs}$ 上の $K$-equivariant 局所系統のIC拡張として明示的に記述されることを示すこと。
• モノドロミー作用 $B_{W_{\mathfrak{a}}}$ が、パラメータ $\pm 1$ を持つヘッケ代数による表現を通じて記述されることを特定すること。
• モノドロミー表現の標準的基底を確立し、近傍サイクル層の構成が、古典的対称空間において放物型誘導を除いてすべての字跡層を実現することを示すこと。

提案手法

• 各文字 $\chi \in \hat{I}$ に対して、$I = Z_K({\mathfrak{a}})/Z_K({\mathfrak{a}})^0$ を用いて、随伴商写像 $f: {\mathfrak{p}} \to {\mathfrak{a}}/W_{\mathfrak{a}}$ を用いて近傍サイクル層 $P_\chi$ を構成する。
• 正則な分割準同型を用いて、$\pi_1^K({\mathfrak{p}}^{rs})$ を $I$ とブレッド群 $B_{W_{\mathfrak{a}}}$ の半直積として実現し、モノドロミーを制御可能にする。
• $P_\chi$ にトップスロジカルフーリエ変換を適用し、${\mathfrak{p}}$ をその双対 ${\mathfrak{p}}^*$ と同一視することで、層を ${\mathfrak{p}}^{rs}$ 上の局所系統に関連付ける。
• $B_{W_{\mathfrak{a}}}$ の $P_1$ 上のモノドロミー作用を、$W_{\mathfrak{a}}$ のコックスター部分群に関連するヘッケ代数 ${\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0}$ の表現論を用いて特徴付ける。
• パスの上への持ち上げとモノドロミーの一貫性条件を用いて符号を選び、モノドロミー表現 $M_l(P)$ の標準的基底 $\{\pm v_w\}$ を構成する。
• フーリエ変換の $P_\chi$ が、自由 $\Bbbk$-加群としてのランク $|W_{\mathfrak{a}}|$ を持つ同型 $\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}] \otimes_{\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}^{\chi,0}]} (\Bbbk_\chi \otimes {\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0} \otimes \Bbbk_\tau)$ に同型であることを証明し、主定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 近傍サイクル層の構成を、捩れた係数を用いて対称対に一般化し、スプリンガー理論におけるグロタンディーク＝スプリンガー解体を置き換える方法は何か？
• RQ2 近傍サイクル層 $P_\chi$ のフーリエ変換の構造は、${\mathcal{N}}_{\mathfrak{p}}$ 上でどのように特徴づけられるか？
• RQ3 $B_{W_{\mathfrak{a}}}$ の $P_1$ 上のモノドロミー作用は、パラメータ $\pm 1$ を持つヘッケ代数によってどのように記述されるか？
• RQ4 $W_{{\mathfrak{a}},\chi}^0$ 及びその関連ヘッケ代数 ${\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0}$ は、モノドロミー表現の記述において果たす役割は何か？
• RQ5 近傍サイクル層の構成は、古典的対称空間において放物型誘導を除いてすべての字跡層を実現できるか？

主な発見

• 近傍サイクル層 $P_\chi$ のフーリエ変換は、${\mathfrak{p}}^{rs}$ 上の $K$-equivariant 局所系統のIC拡張に同型であり、パラメータ $\pm 1$ を持つヘッケ代数を用いて明示的に記述される。
• $B_{W_{\mathfrak{a}}}$ の $P_1$ 上のモノドロミー作用は、ヘッケ代数 ${\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0}$ の表現論を通じて実現され、$\delta(s_{\bar{\alpha}_i})$ が奇数のとき $(\sigma_i - 1)^2 = 0$、偶数のとき $\sigma_i^2 = 1$ を満たす生成子を持つ。
• モノドロミー表現 $M_l(P)$ の標準的基底 $\{\pm v_w\}$ が符号を除いて構成され、符号はパスの上への持ち上げと $\gamma_{1,s}$ 沿いのモノドロミーの一貫性条件によって選ばれる。
• $I = Z_K({\mathfrak{a}})/Z_K({\mathfrak{a}})^0$ の $P_\chi$ 上のモノドロミー作用は、$\lambda_l(u) v_w = \chi(u) \cdot \tau(u) \cdot v_w$ で与えられ、$\chi$ は文字であり $\tau$ は $K/K^0$ の文字である。
• モノドロミー表現 $M_l(P_\chi)$ は、$\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}] \otimes_{\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}^{\chi,0}]} (\Bbbk_\chi \otimes {\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0} \otimes \Bbbk_\tau)$ に同型であり、自由 $\Bbbk$-加群としてのランク $|W_{\mathfrak{a}}|$ の同型により主定理が確立される。
• この構成により、古典的対称空間において放物型誘導を除いてすべての字跡層が実現され、特別な場合 $(SL(2), SO(2))$ は第4節で明示的に検証されている。