[论文解读] Derived equivalences for symmetric groups and sl\_2-categorification

Joseph Chuang, Raphaël Rouquier|ArXiv.org|Jul 12, 2004

Algebraic structures and combinatorial models参考文献 17被引用 71

一句话总结

本文引入了在阿贝尔范畴上的 ${\mathfrak{sl}}_2$-范畴化，证明了范畴化的简单反射在导出范畴与同伦范畴上诱导自同等价。证明了具有同构缺陷群的对称群块之间是卓越的里卡尔德等价，从而确认了对称群情形下的布劳-阿贝尔缺陷群猜想，并将结果推广至有限域上的一般线性群与分圆赫尔代数。

ABSTRACT

We define and study sl\_2-categorifications on abelian categories. We show in particular that there is a self-derived (even homotopy) equivalence categorifying the adjoint action of the simple reflection. We construct categorifications for blocks of symmetric groups and deduce that two blocks are splendidly Rickard equivalent whenever they have isomorphic defect groups and we show that this implies Broué's abelian defect group conjecture for symmetric groups. We give similar results for general linear groups over finite fields. The constructions extend to cyclotomic Hecke algebras. We also construct categorifications for category O of gl\_n(C) and for rational representations of general linear groups over an algebraically closed field of characteristic p, where we deduce that two blocks corresponding to weights with the same stabilizer under the dot action of the affine Weyl group have equivalent derived (and homotopy) categories, as conjectured by Rickard.

研究动机与目标

• 建立在阿贝尔范畴上 ${\mathfrak{sl}}_2$-范畴化的通用框架，包含满足退化仿射赫尔代数关系的函子 $E$ 与 $F$ 及其伴随关系，以及在 $E$ 上的自同态 $X$ 与在 $E^2$ 上的自同态 $T$。
• 证明通过里卡尔德复形实现的范畴化简单反射在导出范畴与同伦范畴上诱导自同等价，从而实现块之间的导出等价。
• 证明具有同构缺陷群的对称群的两个块是卓越的里卡尔德等价，从而在该情形下确认了布劳的阿贝尔缺陷群猜想。
• 将结果推广至有限域上的一般线性群与分圆赫尔代数，使用类似的范畴化技术。
• 通过格拉斯曼流形的上同调实现最小范畴化，并证明范畴化的反射函子在这些实现中同构于对偶函子。

提出的方法

• 通过阿贝尔范畴上的正合函子 $E$ 与 $F$ 定义 ${\mathfrak{sl}}_2$-范畴化，包含伴随关系，以及在 $E$ 上的自同态 $X$ 与在 $E^2$ 上的自同态 $T$，满足退化仿射赫尔代数关系。
• 通过退化仿射赫尔代数的商构造最小范畴化，其与格拉斯曼流形的上同调环具有莫里塔等价关系。
• 构造从最小范畴化到任意范畴化的函子，从而将一般 ${\mathfrak{sl}}_2$-范畴化的研究归约为最小情形。
• 将范畴化的反射函子 $\Theta$ 实现为函子的复形，通过在最小情形下的显式计算，证明其在导出与同伦范畴上诱导自同等价。
• 利用在最小范畴化中 $\Theta$（在移位后）成为阿贝尔范畴上的自同等价这一事实，从而推出一般性结果。
• 在格罗滕迪克群中构造范畴化的 $[E,F]$ 关系，从而得到 ${\mathfrak{sl}}_2$ 中 $[e,f]=h$ 关系的范畴化版本。

实验结果

研究问题

• RQ1 仿射威莱群中简单反射的伴随作用能否被范畴化为导出与同伦范畴上的自同等价？
• RQ2 具有同构缺陷群的对称群的两个块是否具有等价的导出范畴？
• RQ3 若导出等价蕴含卓越的里卡尔德等价，则布劳的阿贝尔缺陷群猜想对对称群是否成立？
• RQ4 该范畴化框架能否推广至有限域上的一般线性群与分圆赫尔代数？
• RQ5 在格拉斯曼流形上同调实现中，范畴化的反射函子是否同构于对偶函子？

主要发现

• 范畴化简单反射 $\Theta$ 在导出与同伦范畴上诱导自同等价，如定理 6.4 所证。
• 具有同构缺陷群的对称群的两个块是卓越的里卡尔德等价，这意味着布劳的阿贝尔缺陷群猜想在对称群情形下成立。
• 维数为 $n+1$ 的简单 ${\mathfrak{sl}}_2$-模的最小范畴化通过格拉斯曼流形 $G_{i,n}$ 的上同调实现，其中 $A_i = H^*(G_{i,n})$。
• 在最小范畴化中，函子 $E^{(1,r)}$ 同构于由双模 $H^*(G_{i,i+r})$ 给出的函子，从而提供了分次幂的几何实现。
• 在 $D^b(H^*(G_i){\rm -mod})$ 上限制的范畴化反射 $\Theta[-i]$ 同构于由拉格朗日格拉斯曼子簇 $\{(V,V') \mid V \cap V' = 0\}$ 的上同调给出的函子。
• 在 $E^2$ 上的自同态 $T$ 通过 ${\mathbf{P}}^1$-纤维丛 $\pi: G_{i,i+1} \times_{G_{i+1}} G_{i+1,i+2} \to G_{i,i+2}$ 构造，满足 $T(c_1(L_{i+1})) = c_1(L_{i+2}) - 1$，并给出所需的 $R$-矩阵结构。