[论文解读] Quantum Groups, the loop Grassmannian, and the Springer resolution

Sergey Arkhipov, Roman Bezrukavnikov+1 more|ArXiv.org|Apr 14, 2003

Advanced Algebra and Geometry参考文献 26被引用 4

一句话总结

本文建立了量子群在奇单位根处的主块表示的导出范畴、施温格尔覆盖上的等变凝聚层导出范畴，以及朗兰兹对偶群的环路格拉斯曼ian上的 perverse 层导出范畴之间的三角等价。关键贡献是对 Deligne-Langlands-Lusztig 同构的范畴化，通过环路格拉斯曼ian上的交叠上同调，给出了量子群表示的特征公式。

ABSTRACT

We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra which have played a key role in the proof of the Deligne-Langlands-Lusztig conjecture. One realization is in terms of locally constant functions on the flag manifold of a p-adic reductive group, while the other is in terms of equivariant K-theory of a complex (Steinberg) variety for the dual group. Our equivalence (2)-(3) may be viewed as a `categorification' of the isomorphism between the corresponding two geometric realizations of the fundamental polynomial representation of the affine Hecke algebra. The composite of the two equivalences above yields an equivalence between abelian categories of quantum group representations and perverse sheaves. A similar equivalence at an even root of unity can be deduced, following Lusztig program, from earlier deep results of Kazhdan-Lusztig and Kashiwara-Tanisaki. Our approach is independent of these results and is totally different (it does not rely on representation theory of Kac-Moody algebras). It also gives way to proving Humphreys' conjectures on tilting U_q(g)-modules, as will be explained in a separate paper.

研究动机与目标

• 构建 affine Hecke 代数的两种几何实现（一种通过 $p$-进旗流形，另一种通过 Steinberg 变体的 $K$-理论）之间的范畴化同构的导出等价。
• 为奇单位根处量子群主块中简单模的特征公式提供一种新的、独立的证明。
• 使用几何方法证明 Humphreys 关于量子群 tilting 模的猜想。
• 在量子群表示的导出范畴与环路格拉斯曼ian上的 perverse 层之间建立导出等价。

提出的方法

• 在奇单位根处的量子群 $U_q(\mathfrak{g})$ 的有限维表示的导出范畴与施温格尔覆盖 $\widetilde{\mathcal{N}}$ 上的 $G \times \mathbb{C}^*$-等变凝聚层的导出范畴之间建立导出等价。
• 利用朗兰兹对偶群 $G^\vee$ 的环路格拉斯曼ian $\mathsf{Gr}$ 的几何结构，定义沿 Schubert 分层构造的 perverse 层范畴。
• 通过 Wakimoto 层与正则层的自同态扩张，建立环路格拉斯曼ian上 perverse 层范畴与施温格尔覆盖上等变凝聚层范畴之间的几何等价。
• 利用同构 $\operatorname{Ext}^\bullet_{D^b(\mathsf{Gr})}(\mathbf{1}_{\mathsf{Gr}}, \mathcal{R}) \simeq \mathbb{C}[\mathcal{N}]$ 将格拉斯曼ian的上同调与幂零锥联系起来。
• 利用谱序列与五引理，证明在单位元处的纤维函子之间的典范态射是同构，从而在阿贝尔范畴层面建立等价。
• 应用分解定理与卷积的半单性，确保与 $t$-结构相容，并诱导出阿贝尔范畴的等价。

实验结果

研究问题

• RQ1 两个几何实现（一个通过 $p$-进旗流形，一个通过 $K$-理论）的 affine Hecke 代数之间的同构能否通过层与表示的导出范畴实现范畴化？
• RQ2 能否使用环路格拉斯曼ian与施温格尔覆盖，几何地构造出根为单位根的量子群表示？
• RQ3 主块中 $U_q(\mathfrak{g})$ 的简单模的特征公式能否用环路格拉斯曼ian上的交叠上同调层表示？
• RQ4 奇单位根处的量子群表示的导出范畴是否能通过 $\widetilde{\mathcal{N}}$ 上的凝聚层实现几何模型？
• RQ5 量子群表示的导出范畴与环路格拉斯曼ian上 perverse 层的导出范畴之间的等价性能否提升为阿贝尔范畴的等价？

主要发现

• 本文建立了 $D_{\text{quantum}}(\mathfrak{g})$、$D^{G}_{\text{coherent}}(\widetilde{\mathcal{N}})$ 与 $D_{\text{perverse}}(\mathsf{Gr})$ 之间的三角等价，将量子群表示理论与几何朗兰兹对偶联系起来。
• 复合等价诱导出阿贝尔范畴的等价：$\mathsf{block}(\mathsf{U}) \simeq \mathcal{P}\!{erv}(\mathsf{Gr})$，从而为量子群表示提供了几何实现。
• 该等价将 Lusztig 的简单 $U_q(\mathfrak{g})$-模特征公式的重数公式实现为环路格拉斯曼ian上的交叠上同调层。
• 对所有属于主块的 $M$，典范态射 $\vartheta: F_e(M) \to H^\bullet(\mathsf{Gr}, \mathcal{P}M)$ 是同构，该结论通过谱序列与五引理证明。
• 该等价与 $t$-结构相容，确保几何构造保持阿贝尔范畴结构，并导出特征公式。
• 该方法独立于 Kazhdan-Lusztig 与 Kashiwara-Tanisaki 理论，为根为单位根的量子群表示理论提供了新的几何方法。