[论文解读] Left cells in type $B_n$ with unequal parameters

Cédric Bonnafé, Laura Iancu|ArXiv.org|Feb 4, 2003

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

一句话总结

本文证明，在参数不等的 $B_n$ 类型中，当长根参数较大（即 $q^c$，$c \gg 1$）时，Iwahori–Hecke 代数的左细胞通过广义 Robinson–Schensted 对应关系，由总大小为 $n$ 的标准双表对参数化。关键结果是所有左细胞表示均为不可约且可构造的，从而通过此组合框架实现了不可约表示的新构造。

ABSTRACT

Kazhdan and Lusztig have shown that the partition of the symmetric group of degree $n$ into left cells is given by the Robinson-Schensted correspondence. The aim of this paper is to provide a similar description of the left cells in type $B_n$ for a special class of choices of unequal parameters. This is based on a generalization of the Robinson-Schensted correspondence for type $B_n$. We also give an explicit description of the left cell representations and show that they are irreducible and constructible.

研究动机与目标

• 将经典的 Robinson–Schensted 对应关系推广至 $B_n$ 类型的不等参数情形，推广经典 $\mathfrak{S}_n$ 情形。
• 描述在一类特殊不等参数下，$B_n$ 类型 Iwahori–Hecke 代数的左细胞结构。
• 证明当长根参数 $q^c$ 足够大时，左细胞表示在渐近情形下为不可约且可构造的。
• 通过广义对应关系，显式参数化 Hecke 代数的不可约表示。
• 在渐近设定下，建立 Kazhdan–Lusztig 基与细胞结构之间的联系。

提出的方法

• 将经典 Robinson–Schensted 对应关系推广，建立类型 $B_n$ 的 Coxeter 群 $W_n$ 的元素与总大小为 $n$ 的标准双表对之间的双射。
• 采用类似于 Clifford 理论的群元素分解方法，将 $W_n$ 中的左细胞与对称群 $\mathfrak{S}_l$ 和 $\mathfrak{S}_{n-l}$ 中的细胞联系起来。
• 在 Lusztig 的渐近 Hecke 代数框架下工作，用新变量 $Q$ 替代参数 $q^c$，以分析 Kazhdan–Lusztig 多项式与细胞的结构。
• 证明在渐近情形下，Kazhdan–Lusztig 多项式仅依赖于 $q$，而不依赖于 $Q$（定理 6.3(a)）。
• 通过参数 $Q$ 建立左细胞的分次结构，从而实现对细胞分解的分层理解（定理 6.3(b)、6.6）。
• 利用广义对应关系与细胞分解，证明左细胞表示不可约，并显式由对 $(\mu, \lambda^*)$ 参数化。

实验结果

研究问题

• RQ1 如何将 Robinson–Schensted 对应关系推广至参数不等的 $B_n$ 类型 Coxeter 群？
• RQ2 当长根参数较大（$q^c$，$c \gg 1$）时，$B_n$ 类型 Iwahori–Hecke 代数的左细胞结构如何？
• RQ3 在此渐近设定下，左细胞表示是否不可约？
• RQ4 Kazhdan–Lusztig 基能否在此背景下显式构造不可约表示？
• RQ5 广义 Robinson–Schensted 对应关系与左细胞分解为对称群细胞之间的关系为何？

主要发现

• 在参数不等的 $B_n$ 类型中，参数为 $q$ 和 $q^c$（$c \gg 1$）时，左细胞由总大小为 $n$ 的标准双表对参数化，推广了经典的 Robinson–Schensted 对应关系。
• 在渐近情形下，$B_n$ 类型 Iwahori–Hecke 代数 $\mathcal{H}_n$ 的所有左细胞表示均为不可约。
• 代数 $\mathcal{H}_n$ 的不可约表示显式由对 $(\mu, \lambda^*)$ 参数化，其中 $\mu$ 与 $\lambda^*$ 为标准杨表。
• 在此设定下，Kazhdan–Lusztig 多项式仅依赖于参数 $q$，而不依赖于 $Q = q^c$，如定理 6.3(a) 所示。
• 通过参数 $Q$ 建立了左细胞的分次结构，从而实现了对细胞分解的分层理解（定理 6.3(b)、6.6）。
• 左细胞表示是可构造的，并实现不可约特征标 $\chi_{\mu,\lambda^*}^{\mathcal{H}}$，从而确认了其不可约性与显式实现。