[論文レビュー] Derived categories of character sheaves

Penghui Li|arXiv (Cornell University)|Mar 12, 2018

Advanced Algebra and Geometry参考文献 18被引用数 8

ひとこと要約

本稿は、単純で simply-connected な複素再帰的代数群 $G$ 上の字跡層の dg 圏のブロック分解を確立し、一般化されたスプリンガー対応を dg 圏にまで拡張することで精錬し、字跡層の圏を導来スタック $\widehat{G}$ 上の準連接層の圏として同定する。主な結果は、アフィン単純根の部分集合でインデックスが付与された dg 圏の完全同型であり、Weyl 群と中心のリー代数上の対称代数によって構造が支配される。

ABSTRACT

We give a block decomposition of the dg category of character sheaves on a simple and simply-connected complex reductive group $G$, similar to the one in generalized Springer correspondence. As a corollary, we identify the category of character sheaves on $G$ as the category of quasi-coherent sheaves on an explicitly defined derived stack $\widehat{G}$.

研究の動機と目的

• 三角的圏から dg 圏への一般化されたスプリンガー対応の拡張により、極限や余極限におけるより良い振る舞いを可能にする。
• 単純で simply-connected な複素再帰的代数群 $G$ 上の字跡層の dg 圏の明示的ブロック分解を提供する。
• 字跡層の圏を、ルートデータから明示的に構成された導来スタック $\widehat{G}$ 上の準連接層の圏として同定する。
• 混合 Hodge 複体技術を用いて、誘導層の自己準同型代数の形式的性を確立する。
• 字跡層の分類を、余分類のcuspidalデータではなく、アフィン単純根の部分集合でインデックスを付けることで精錬する。

提案手法

• 一般化されたスプリンガー対応を出発点とし、三角的圏の代わりに dg 圏を用いることでカテゴリカル構造を強化する。
• Cirici と Hovey の「純粋性は形式的性を意味する」定理を適用し、一般化されたスプリンガー層の自己準同型代数の形式的性を証明する。
• アフィン単純根の部分集合 $I \subset \widetilde{\Delta}$ でインデックスが付与されたブロックの列挙として、導来スタック $\widehat{G}$ をコロイムとして構成する。
• ラドン変換と水平円筒対応を用いて字跡層を定義し、$G \times \mathcal{N}_G \subset T^*G$ 内の特異性を持つ層として特徴付ける。
• 各 $I \subset \widetilde{\Delta}$ に付随するアフィン部分空間に作用するアフィン Weyl 群 $\widetilde{W}^I$ を用いてブロックをパrametrizeする。
• cuspidal層 $\mathcal{N}_L/L$ が幾何的起源を持つことを利用して、それらのコホモロジー上に混合 Hodge 複体を構成する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたスプリンガー対応を、字跡層の文脈で三角的圏から dg 圏へどのようにアップグレードできるか？
• RQ2 単純で simply-connected な複素再帰的代数群上の字跡層の dg 圏の構造は何か？
• RQ3 字跡層の圏は導来スタック上の準連接層の圏として実現可能か？ もしそうなら、そのスタックはどのように構成されるか？
• RQ4 自己準同型代数の形式的性は、スプリンガー対応の dg 強化において果たす役割は何か？
• RQ5 字跡層のブロックは、根系部分系と相対的 Weyl 群の観点からどのように分解されるか？

主な発見

• $G$ 上の可解字跡層の dg 圏は、$I \subset \widetilde{\Delta}$ についての直和であり、$\mathbb{C}[W^I] \# \SS_{\mathfrak{z}_I[1]}$ 上の有限次元加群の dg 圏の $c_I$ 個のコピーから成る。ここで $c_I$ は $\mathcal{N}_{L_I}/L_I$ 上の cuspidal 層の数である。
• 全 $G$-不変層の dg 圏は、$I \subset \widetilde{\Delta}$ についての直和であり、$\mathbb{C}[W^I] \# \SS_{\mathfrak{z}_I[1]}$ 上のすべての加群の dg 圏の $c_I$ 個のコピーから成る。
• perverse 字跡層の圏は、$I \subset \widetilde{\Delta}$ についての直和であり、$\mathbb{C}[W^I]$ の有限次元表現のアーベル圏の $c_I$ 個のコピーから成る。
• cuspidal 層 $F$ を $\mathcal{N}_L/L$ 上に持ち、$\operatorname{Ind}_P(F)$ を誘導層としたとき、その自己準同型代数は形式的である。これはフロベニウス作用の純粋性と純粋な混合 Hodge 複体の形式的性によって示される。
• 導来スタック $\widehat{G}$ は、$I \subset \widetilde{\Delta}$ でインデックスが付与されたブロックのコロイムとして明示的に構成され、対応するスモーズ積代数がその構造層を与える。
• ブロック分解は、アフィン単純根 $\widetilde{\Delta} = \Delta \cup \{\alpha_0\}$ の部分集合によってインデックスが付けられ、cuspidal データの標準的代表系を提供し、以前の分類を精錬する。