[论文解读] RoCK blocks for double covers of symmetric groups and quiver Hecke superalgebras

Alexander Kleshchev, Michael Livesey|arXiv (Cornell University)|Jan 18, 2022

Algebraic structures and combinatorial models被引用 6

一句话总结

本文通过quiver Hecke superalgebras，建立了对称群双重覆盖的RoCK块与标准局部块之间的Morita等价，证明了这些块的Broué阿贝尔缺陷子群猜想。利用Kang-Kashiwara-Tsuchioka同构与范畴化技术，作者构造了显式的Morita等价，将结果扩展至一级cyclic Hecke-Cli/f ord superalgebras，并通过虚 cuspidal 分类中的cuspidal系统对不可约表示进行分类。

ABSTRACT

We define and study RoCK blocks for double covers of symmetric groups. We prove that RoCK blocks of double covers are Morita equivalent to standard `local' blocks. The analogous result for blocks of symmetric groups, a theorem of Chuang and Kessar, was an important step in Chuang and Rouquier ultimately proving Broué's abelian defect group conjecture for symmetric groups. Indeed we prove Broué's conjecture for the RoCK blocks defined in this article. Our methods involve translation into the quiver Hecke superalgebras setting using the Kang-Kashiwara-Tsuchioka isomorphism and categorification methods of Kang-Kashiwara-Oh. As a consequence we construct Morita equivalences between more general objects than blocks of finite groups. In particular, our results extend to certain blocks of level one cyclotomic Hecke-Clifford superalgebras. We also study imaginary cuspidal categories of quiver Hecke superalgebras and classify irreducible representations of quiver Hecke superalgebras in terms of cuspidal systems.

研究动机与目标

• 定义并研究quiver Hecke superalgebras背景下对称群双重覆盖的RoCK块。
• 建立RoCK块与标准局部块之间的Morita等价，将对称群的结果推广至其双重覆盖。
• 证明对称群双重覆盖的RoCK块的Broué阿贝尔缺陷子群猜想。
• 通过虚cuspidal分类中的cuspidal系统，对quiver Hecke superalgebras的不可约表示进行分类。
• 将结果扩展至一级cyclic Hecke-Cli/f ord superalgebras的某些块。

提出的方法

• 利用Kang-Kashiwara-Tsuchioka同构，将对称群双重覆盖的表示论问题转化为quiver Hecke superalgebras的框架。
• 应用Kang-Kashiwara-Oh的范畴化方法，分析块的结构及其等价性。
• 在超代数$\bar{R}_\delta$和$\bar{R}_{d\delta}$上应用Gelfand-Graev截断技术，分离出相关的块分量。
• 使用互换子与仿射Zigzag关系，在超代数设定中构造并分析模之间的态射。
• 利用cuspidal系统与虚cuspidal分类的理论，对quiver Hecke superalgebras的不可约表示进行分类。
• 在$B_2$代数中进行显式图解计算，验证涉及元素$\Upsilon$及其在幂等元上作用的关键关系。

实验结果

研究问题

• RQ1 对称群双重覆盖的RoCK块是否与标准局部块Morita等价？
• RQ2 Broué的阿贝尔缺陷子群猜想能否推广至对称群双重覆盖的RoCK块？
• RQ3 cuspidal系统如何对quiver Hecke superalgebras的不可约表示进行分类？
• RQ4 元素$\Upsilon$在RoCK块结构及其在幂等元上作用中起什么作用？
• RQ5 这些结果在多大程度上可推广至一级cyclic Hecke-Cli/f ord superalgebras的块？

主要发现

• 对称群双重覆盖的RoCK块与标准局部块Morita等价，将Chuang-Kessar定理推广至双重覆盖情形。
• 本文证明了对称群双重覆盖的RoCK块的Broué阿贝尔缺陷子群猜想。
• 作者构造了RoCK块与$\mathrm{Br}(p) \wr S_d$（具有$p$个顶点的Brauer树代数与$S_d$的wreath积）之间的显式Morita等价。
• 通过虚cuspidal分类中的cuspidal系统，实现了quiver Hecke superalgebras不可约表示的分类。
• 元素$\Upsilon$满足关键关系$\gamma_{i,i}\Upsilon\gamma_{i,i} \equiv (-1)^i(z_1^2 - z_2^2)\gamma_{i,i} \mod B^{(1)}_{12}$，该关系对验证块代数的结构至关重要。
• 在$B_2$中的显式图解计算证实了$\Upsilon$的行为及其与幂等元的相互作用，支持了主要结构结果。