[论文解读] Lusztig's $a$-function in type $B_n$ in the asymptotic case

Meinolf Geck, Lăcrimioara Iancu|ArXiv.org|Apr 11, 2005

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

一句话总结

本文通过领先矩阵系数和广义 Robinson–Schensted 对应关系，显式确定了类型 $ B_n $ 的 Weyl 群在渐近情形下的 Lusztig 的 $\mathbf{a}$-函数。它证实了 Lusztig 所有猜想性质 (P1)–(P15)，除可能的 (P9)、(P10) 和 (P15) 外，且建立了 Iwahori–Hecke 代数 $\mathcal{H}_n$ 中两面细胞理想结构与 Dipper–James–Murphy 基之间的精确对应关系。

ABSTRACT

In this paper, we study Lusztig's $a$-function for a Coxeter group with unequal parameters. We determine that function explicitly in the ``asymptotic case'' in type $B_n$, where the left cells have been determined in terms of a generalized Robinson--Schensted correspondence by Bonnafé and the second author. As a consequence, we can also show that all of Lusztig's conjectural properties (P1)--(P15) hold in this case, except possibly (P9), (P10) and (P15). Our methods rely on the ``leading matrix coefficients'' introduced by the first author. We also interprete the ideal structure defined by the two-sided cells in the associated Iwahori--Hecke algebra $\bH_n$ in terms of the Dipper--james--Murphy basis of $\bH_n$.

研究动机与目标

• 解决在类型 $ B_n $ 的不等参数情形下，Lusztig 的 $\mathbf{a}$-函数缺乏显式确定的问题。
• 在类型 $ B_n $ 的渐近情形下，证实 Lusztig 的猜想性质 (P1)–(P15)，除可能的 (P9)、(P10) 和 (P15) 外。
• 建立 Iwahori–Hecke 代数 $\mathcal{H}_n$ 中两面细胞理想与 Dipper–James–Murphy 基之间的精确对应关系。
• 提供与类型 $ B_n $ 的渐近代数相关的环 $ J $ 的结构描述。
• 利用领先矩阵系数分析渐近情形下的细胞结构和 $\mathbf{a}$-函数值。

提出的方法

• 应用 Geck 提出的领先矩阵系数理论，分析渐近情形下 Iwahori–Hecke 代数 $\mathcal{H}_n$ 的结构。
• 利用类型 $ B_n $ 的广义 Robinson–Schensted 对应关系对左细胞进行分类，并通过细胞分解确定 $\mathbf{a}$-函数值。
• 将渐近代数 $ J $ 构造为 $\mathcal{H}_n$ 的商代数，并利用 Dipper–James–Murphy 基分析其两面细胞理想。
• 通过在正交表示下将基元素与矩阵单位对应，建立两细胞情形下的环同构 $ J_\lambda \cong M_2(\mathbb{Z}) $。
• 证明在 $\mathcal{H}_n$ 中的两面细胞理想 $ N^\lambda $ 与由对应于形状为 $ \nu $ 的 RS-细胞的 Kazhdan–Lusztig 基元素生成的理想 $ M^\lambda $（其中 $ \lambda \trianglelefteq \nu $）完全一致。
• 通过模的秩比较和 $ A $ 上模的自由性，得出在张量化于分式域 $ K_0 $ 后，理想 $ N^\lambda = M^\lambda $。

实验结果

研究问题

• RQ1 在渐近参数条件下，Lusztig 的 $\mathbf{a}$-函数对类型 $ B_n $ 的 Weyl 群中所有元素的显式值是什么？
• RQ2 Lusztig 的猜想性质 (P1)–(P15) 在类型 $ B_n $ 的渐近情形下哪些成立，哪些仍为开放问题？
• RQ3 Iwahori–Hecke 代数 $\mathcal{H}_n$ 中的两面细胞理想如何与 Dipper–James–Murphy 基相关？
• RQ4 与类型 $ B_n $ 的渐近代数相关的环 $ J $ 的结构是什么？
• RQ5 领先矩阵系数方法能否用于验证渐近情形下的细胞分解和 $\mathbf{a}$-函数值？

主要发现

• 在渐近参数条件下，Lusztig 的 $\mathbf{a}$-函数对类型 $ B_n $ 的 Weyl 群中所有元素均被显式确定。
• 在类型 $ B_n $ 的渐近情形下，Lusztig 的所有猜想性质 (P1)–(P15) 均成立，除可能的 (P9)、(P10) 和 (P15) 外，后续工作已予以证实。
• Iwahori–Hecke 代数 $\mathcal{H}_n$ 中的两面细胞理想 $ N^\lambda $ 与由对应于形状 $ \nu $ 的 RS-细胞的 Kazhdan–Lusztig 基元素生成的理想 $ M^\lambda $（其中 $ \lambda \trianglelefteq \nu $）完全一致。
• 与两细胞相关的环 $ J_\lambda $ 同构于 $ M_2(\mathbb{Z}) $，其基元素在正交表示下映射为矩阵单位。
• 在渐近情形下，由两面细胞定义的理想结构与 $\mathcal{H}_n$ 中由 Dipper–James–Murphy 基给出的理想结构完全匹配。
• 作为自由 $ A $-模，理想 $ N^\lambda $ 的秩等于 $ \sum_{\lambda \trianglelefteq \nu} d_\nu^2 $，与理想 $ M^\lambda $ 的秩一致，因此在张量化于分式域 $ K_0 $ 后，有 $ N^\lambda = M^\lambda $。