[论文解读] Derived categories of character sheaves

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

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

一句话总结

本文建立了复单连通半单代数群 $G$ 上特征层的微分几何范畴的块分解，通过将广义 Springer 对应关系升级至微分几何范畴，并将特征层范畴识别为一个导出栈 $\widehat{G}$ 上的拟 coherent 层范畴。关键结果是：以仿射简单根的子集为指标，建立了一个完全等价的微分几何范畴，其结构由 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}$.

研究动机与目标

• 将广义 Springer 对应关系从三角范畴推广至 dg 范畴，以在极限与余极限下获得更优的范畴行为。
• 为单连通复半单代数群 $G$ 上特征层的 dg 范畴提供显式的块分解。
• 将特征层范畴识别为一个显式由根系数据构造的导出栈 $\widehat{G}$ 上的拟 coherent 层范畴。
• 利用混合 Hodge 复形技术，证明诱导层的自同态代数的正式性。
• 通过仿射简单根的子集而非 cuspidal 数据的等价类来对特征层的块进行分类，从而改进分类结构。

提出的方法

• 以广义 Springer 对应关系为起点，将三角范畴替换为 dg 范畴，以增强范畴结构。
• 应用 Cirici 与 Hovey 的「纯性蕴含正式性」定理，证明广义 Springer 层的自同态代数的正式性。
• 将导出栈 $\widehat{G}$ 构造为以仿射简单根子集 $I \subset \widetilde{\Delta}$ 为指标的块的余极限。
• 通过 Radon 变换与横截对应定义特征层，将其表征为在 $G \times \mathcal{N}_G \subset T^*G$ 上具有奇异支集的层。
• 利用仿射 Weyl 群 $\widetilde{W}^I$ 在每个 $I \subset \widetilde{\Delta}$ 对应的仿射子空间上的作用，来参数化块。
• 利用 $\mathcal{N}_L/L$ 上的 cuspidal 层具有几何起源的事实，从而在它们的上同调上构造混合 Hodge 复形。

实验结果

研究问题

• RQ1 如何在特征层的背景下，将广义 Springer 对应关系从三角范畴升级至 dg 范畴？
• RQ2 单连通复半单代数群上特征层范畴的 dg 范畴结构为何？
• RQ3 特征层范畴能否被实现为某个导出栈上的拟 coherent 层范畴？若是，该栈如何构造？
• RQ4 自同态代数的正式性在 Springer 对应关系的 dg 提升中起何作用？
• RQ5 特征层的块如何根据根系子系统与相对 Weyl 群进行分解？

主要发现

• 在 $G$ 上的构造性特征层的 dg 范畴，与对所有 $I \subset \widetilde{\Delta}$ 的直和等价，其每项为 $c_I$ 个 $\mathbb{C}[W^I] \# \SS_{\mathfrak{z}_I[1]}$ 的有限维模范畴的副本，其中 $c_I$ 为 $\mathcal{N}_{L_I}/L_I$ 上 cuspidal 层的数量。
• 在 $G$ 上的 $G$-等变层的完整 dg 范畴，与对所有 $I \subset \widetilde{\Delta}$ 的直和等价，其每项为 $c_I$ 个 $\mathbb{C}[W^I] \# \SS_{\mathfrak{z}_I[1]}$ 的所有模范畴的副本。
• perverse 特征层范畴与对所有 $I \subset \widetilde{\Delta}$ 的直和等价，其每项为 $c_I$ 个 $\mathbb{C}[W^I]$ 的有限维表示的阿贝尔范畴的副本。
• 对 $\mathcal{N}_L/L$ 上 cuspidal 层 $F$ 的诱导层 $\operatorname{Ind}_P(F)$ 的自同态代数是正式的，此结论通过 Frobenius 作用的纯性及纯混合 Hodge 复形的正式性得以证明。
• 导出栈 $\widehat{G}$ 显式构造为以 $I \subset \widetilde{\Delta}$ 为指标的块的余极限，其结构层由相应的 smash 乘积代数给出。
• 块分解以仿射简单根 $\widetilde{\Delta} = \Delta \cup \{\alpha_0\}$ 的子集为指标，为 cuspidal 数据提供了规范的代表系，从而改进了早期的分类。