[论文解读] Specht modules and Kazhdan--Lusztig cells in type $B_n$

Meinolf Geck, Lăcrimioara Iancu+1 more|ArXiv.org|Apr 16, 2007

Algebraic structures and combinatorial models参考文献 4被引用 3

一句话总结

本论文在渐近情形下建立了类型 $B_n$ 的 Hecke 代数中，Specht 模与 Kazhdan–Lusztig 左细胞模之间的典范同构，此时参数按支配序排列。当基适当排序时，该同构的矩阵为对角线上元素均为 1 的三角矩阵，且对于其他单项序，该结果不成立，反例已给出。

ABSTRACT

Dipper, James and Murphy generalized the classical Specht module theory to Hecke algebras of type $B_n$. On the other hand, for any choice of a monomial order on the parameters in type $B_n$, we obtain corresponding Kazhdan--Lusztig cell modules. In this paper, we show that the Specht modules are naturally equivalent to the Kazhdan--Lusztig cell modules {\em if} we choose the dominance order on the parameters, as in the ``asymptotic case'' studied by Bonnafé and the second named author. We also give examples which show that such an equivalence does not hold for other choices of monomial orders.

研究动机与目标

• 建立类型 $B_n$ 中 Specht 模与 Kazhdan–Lusztig 细胞模之间的自然同构。
• 确定该同构成立的特定参数排序——即支配（渐近）情形。
• 证明该同构在其他单项序下不成立。
• 在渐近情形下，通过约化的表达式显式描述特殊左细胞。
• 比较在特殊代数设定下，Kazhdan–Lusztig 基的细胞结构与 Specht 模构造之间的关系。

提出的方法

• 利用 Bonnafé 与 Iancu（2006）在渐近情形下对左细胞的组合描述，从而可显式识别每个双分拆对应的特殊左细胞。
• 在渐近情形下，构造 Specht 模 $ ilde{S}^{ u}$ 与 Kazhdan–Lusztig 左细胞模 $W_{k}( u)$ 之间的典范同构。
• 证明当两个模均配备适当排序的标准基时，该同构的矩阵为对角线上元素均为 1 的三角矩阵。
• 使用 Hecke 代数 $ olinebreak[4]\mathcal{H}$ 的 Kazhdan–Lusztig 基 $ olinebreak[4]{ C_w }$，其通过 Bruhat–Chevalley 序与 $A_{<0}$ 中的结构常数 $P_{y,w}^*$ 定义。
• 在渐近条件 $b > (n-1)a > 0$ 下，利用 $ olinebreak[4]\mathcal{H}_{n,k}$ 的细胞代数结构，确保 Specht 模与细胞模之间的兼容性。
• 在第 4 节中提供反例，表明该同构在非渐近单项序（如加权字典序）下不成立。

实验结果

研究问题

• RQ1 在类型 $B_n$ 中，何种参数排序下 Specht 模与 Kazhdan–Lusztig 细胞模同构？
• RQ2 在渐近情形下，Specht 模与 Kazhdan–Lusztig 细胞模之间的同构是否为典范的，且其矩阵为对角线上元素均为 1 的三角矩阵？
• RQ3 该同构能否推广至支配（渐近）序以外的其他参数序？
• RQ4 在特殊代数 $ olinebreak[4]\mathcal{H}_{n,k}$ 中，Kazhdan–Lusztig 基的细胞结构与 Specht 模构造之间有何比较关系？
• RQ5 集合 $\Lambda^{\clubsuit}$ 与 $\Lambda^{\spadesuit}$ 之间的关系是什么，其中前者索引 Specht 模的非零不可约商，后者索引细胞模的非零不可约商？

主要发现

• 在渐近情形下，对每个 $n$ 的双分拆 $\nu$，Specht 模 $\tilde{S}^{\nu}$ 与 Kazhdan–Lusztig 左细胞模 $W_{k}(\nu)$ 之间存在典范同构。
• 当两个模均配备按 Bruhat–Chevalley 序排序的标准基时，该同构的矩阵为对角线上元素均为 1 的三角矩阵。
• 对于非渐近单项序，该同构不成立：已在加权字典序下构造出反例。
• 在渐近情形下，当 $b > (n-1)a > 0$ 时，Kazhdan–Lusztig 基 $\{C_w\}$ 构成一个细胞基，且有 $W_k(\nu) \cong \tilde{S}_k^\nu$。
• 集合 $\Lambda^{\clubsuit}$ 与 $\Lambda^{\spadesuit}$，分别索引 Specht 模与细胞模的非零不可约商，仅在渐近情形下完全一致。
• 该结果推广了 McDonough–Pallikaros 在类型 $A_{n-1}$ 中的结果至类型 $B_n$，但仅在参数的支配序下成立。