[论文解读] Kazhdan-Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$

Keiichi Shigechi|arXiv (Cornell University)|Dec 21, 2014

Advanced Combinatorial Mathematics参考文献 12被引用 8

一句话总结

本文提出了一套组合规则，用于计算赫尔米特对称对 $(B_N, A_{N-1})$ 在不等参数下的Kazhdan–Lusztig多项式 $P_{α,β}^{\pm}$，方法基于标棒条与斜费勒斯图中的图示堆叠规则。该工作推广了Boe的二叉树算法，并建立了标棒条构型、二叉树标记与链路图式之间的双射关系，证明了生成函数 $Q^{\pm}_{\alpha,\beta}$ 等于Kazhdan–Lusztig多项式 $P^{\pm}_{\alpha,\beta}$。

ABSTRACT

We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Schützenberger to our case.

研究动机与目标

• 为赫尔米特对称对 $(B_N, A_{N-1})$ 在不等参数情形下，提供计算抛物型Kazhdan–Lusztig多项式 $P^{\pm}_{\alpha,\beta}$ 的统一组合框架。
• 将Lascoux–Schützenberger与Boe的二叉树算法推广至类型 $B_N$ 的不等参数设置。
• 建立标棒条构型、二叉树标记与链路图式之间的双射关系，实现 $P^{\pm}_{\alpha,\beta}$ 的直接计算。
• 证明通过条带堆叠定义的生成函数 $Q^{\pm}_{\alpha,\beta}$ 等于Kazhdan–Lusztig多项式 $P^{\pm}_{\alpha,\beta}$。

提出的方法

• 引入标棒条作为移位Dyck分拆的推广，用于在商空间 $S_N^C / S_N$ 中建模路径构型，结合在斜费勒斯图上的特定堆叠规则（规则I与规则II）。
• 通过在斜图 $\lambda(\beta)/\lambda(\alpha)$ 中对标棒条进行加权堆叠，定义生成函数 $Q^{\pm}_{\alpha,\beta}$，其中权重源自路径与标记结构。
• 在标棒条构型、二叉树标记与路径 $\alpha < \beta$ 对应的链路图式之间建立双射关系，且保持权重不变。
• 利用 $Q^{\pm}_{\alpha,\beta}$ 的反演关系，将其与 $R$-多项式的标准递推关系关联，确保与Kazhdan–Lusztig理论的一致性。
• 通过定义树标记与标棒条构型之间的保权映射，将二叉树算法推广至不等参数情形。
• 通过保权双射与Kazhdan–Lusztig基的因子分解性质，证明 $Q^{\pm}_{\alpha,\beta} = P^{\pm}_{\alpha,\beta}$。

实验结果

研究问题

• RQ1 如何在赫尔米特对称对 $(B_N, A_{N-1})$ 且Hecke参数不等时，组合地计算Kazhdan–Lusztig多项式 $P^{\pm}_{\alpha,\beta}$？
• RQ2 标棒条在编码 $P^{\pm}_{\alpha,\beta}$ 结构中的作用是什么？它们与路径构型和链路图式有何关联？
• RQ3 Boe与Lascoux–Schützenberger的二叉树算法能否推广至类型 $B_N$ 的不等参数情形？
• RQ4 是否存在标棒条构型、二叉树标记与链路图式之间的直接双射关系，且保持生成函数权重不变？
• RQ5 通过条带堆叠定义的生成函数 $Q^{\pm}_{\alpha,\beta}$ 是否与Kazhdan–Lusztig多项式 $P^{\pm}_{\alpha,\beta}$ 完全一致？

主要发现

• 通过在斜费勒斯图中对标棒条进行堆叠所定义的生成函数 $Q^{\pm}_{\alpha,\beta}$，已被证明等于赫尔米特对称对 $(B_N, A_{N-1})$ 在不等参数下的Kazhdan–Lusztig多项式 $P^{\pm}_{\alpha,\beta}$。
• 在标棒条构型、二叉树标记与链路图式之间建立了双射关系，且映射保持权重不变。
• 二叉树算法已被推广至不等参数情形；当参数相等时，该方法恢复了Boe的原始算法。
• 二叉树或链路图式中某一标记的权重，与对应标棒条构型的权重完全一致，确保了生成函数的一致性。
• Kazhdan–Lusztig基的因子分解性质在标棒条构造与堆叠规则下被保留并明确实现。
• 该方法提供了一种直接、可视化且计算可行的算法，用于计算 $P^{\pm}_{\alpha,\beta}$，结合路径图、标棒条与链路图式，将先前工作扩展至不等参数情形。