[论文解读] Conjectures on tilting modules and antispherical $p$-cells

Pramod N. Achar, William Hardesty+1 more|arXiv (Cornell University)|Dec 24, 2018

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

一句话总结

本论文提出一个推测性框架，将特征为正的半单代数群的扭模、幂零锥上的凝聚层与仿射 Weyl 群中的反球 $p$-细胞联系起来，其灵感来自在单位根处量子群已知的定理。关键贡献是提出了反球 $p$-细胞与幂零轨道之间的一个猜想双射，该双射扩展了 Lusztig–Vogan 双射，并旨在解决 Humphreys 关于支撑簇的猜想。

ABSTRACT

For quantum groups at a root of unity, there is a web of theorems (due to Bezrukavnikov and Ostrik, and relying on work of Lusztig) connecting the following topics: (i) tilting modules; (ii) vector bundles on nilpotent orbits; and (iii) Kazhdan-Lusztig cells in the affine Weyl group. In this paper, we propose a (partly conjectural) analogous picture for reductive algebraic groups over fields of positive characteristic, inspired by a conjecture of Humphreys.

研究动机与目标

• 将已知的量子群在单位根处的扭模、幂零轨道上的向量丛与 Kazhdan–Lusztig 细胞之间的对应关系，推广至正特征下的半单代数群。
• 为 Humphreys 关于扭模支撑簇的猜想提供更广泛的范畴与几何框架。
• 提出仿射 Weyl 群中反球 $p$-细胞与幂零轨道之间的一个猜想双射，推广 Lusztig–Vogan 双射。
• 建立仿射 Weyl 群中权细胞与 Frobenius 子群上扭模的投影性质之间的联系。
• 通过显式计算与已知结果，在低秩情形下验证该猜想（如 $\mathrm{GL}_2, \mathrm{GL}_3, \mathrm{GL}_4$，类型 $\mathbf{B}_2$）。

提出的方法

• 利用扩展仿射 Weyl 群在权重上的点作用定义 $p$-细胞，并将其与扭模的最高权联系起来。
• 借助 Lusztig–Vogan 双射与反球细胞理论，将 $p$-细胞与幂零轨道联系起来。
• 以 Bezrukavnikov–Ostrik 在量子情形下的结果为模型，应用于正特征情形。
• 利用有限 Weyl 群与扩展仿射 Weyl 群的作用，对最小长度代表元进行分类，并定义权细胞。
• 利用幂零锥及其幂零元素中心化子的结构，分析向量丛细胞及其与 $p$-细胞的对应关系。
• 通过显式计算与已知的 $p$-细胞及 Lusztig–Vogan 映射数据，在低秩情形（如 $\mathrm{GL}_2, \mathrm{GL}_3, \mathrm{GL}_4$，类型 $\mathbf{B}_2$）下验证猜想。

实验结果

研究问题

• RQ1 在正特征下，是否存在仿射 Weyl 群中反球 $p$-细胞与半单群幂零轨道之间的典范双射？
• RQ2 Frobenius 子群上扭模的投影性是否可由其在仿射 Weyl 群中的权细胞确定？
• RQ3 Lusztig–Vogan 双射是否可推广至正特征下 $p$-细胞与幂零轨道之间的对应关系？
• RQ4 仿射 Weyl 群中的权细胞如何与扭模的支撑簇相关联？
• RQ5 该猜想框架是否可在 $\mathrm{GL}_2$、$\mathrm{GL}_3$ 与 $\mathbf{B}_2$ 等低秩情形下得到验证？

主要发现

• 该猜想预测反球 $p$-细胞与幂零轨道之间存在双射，且在正则、次正则与零轨道上已显式验证。
• 在零轨道情形，该猜想退化为已知的 $p$-细胞（反球 $0$-细胞）与扭模权细胞之间的双射，且 Andersen 的结果提供了支持。
• 在正则轨道中，存在唯一的向量丛细胞，且对应的反球 $0$-细胞被证明为单个反球 $p$-细胞。
• 在次正则轨道中，中心化子为环面，意味着存在唯一的向量丛细胞，且在单连通型与 $\mathbf{G}_2$ 类型下，基于已知结果，该猜想成立。
• 在 $\mathrm{GL}_2$、$\mathrm{GL}_3$ 与 $\mathbf{B}_2$ 等低秩情形下，通过结合 Lusztig–Vogan 双射与显式 $p$-细胞数据，该猜想已得到验证。
• 论文表明，若该猜想成立，则从反球 $p$-细胞到幂零轨道的映射是单射且满射，在所有考虑的情形中均保持一致。