[论文解读] The leading coefficient of certain Kazhdan-Lusztig polynomials of the permutation group $S_n$

Nanhua Xi|ArXiv.org|Jan 30, 2004

Coding theory and cryptography参考文献 2被引用 5

一句话总结

本文证明了在对称群 $\mathfrak{S}_n$ 中，当 $a(y) < a(w)$ 时，Kazhdan-Lusztig 多项式 $P_{y,w}$ 的首项系数 $\mu(y,w)$ 至多为 1，其中 $a$ 是 Lusztig 的 $a$-函数。该结果依赖于 Bruhat 序、细胞理论以及通过星操作的递归约化，建立了对称群 Kazhdan-Lusztig 多项式中 $\mu$-系数的关键约束。

ABSTRACT

In this paper we show that the leading coefficient $μ(y,w)$ of certain Kazhdan-Lusztig polynomials $P_{y,w}$ of the permutation group $\mathfrak S_n$ of 1,2,...,n are not greater than 1. More precisely, we show that the leading coefficients $μ(y,w)$ are not greater than 1 whenever $a(y)&lt; a(w)$, where $a: \mathfrak S_n o\mathbf N$ is the function defined by Lusztig.

研究动机与目标

• 确定对称群 $\mathfrak{S}_n$ 的 Kazhdan-Lusztig 多项式之首项系数 $\mu(y,w)$。
• 理解 $\mu(y,w) > 1$ 的条件，特别是其与 Lusztig 的 $a$-函数的关系。
• 在 $a(y) < a(w)$ 的条件下建立 $\mu(y,w)$ 的上界，为 (0,1)-猜想与细胞理论提供贡献。

提出的方法

• 使用 Bruhat 序 $\leq$ 与 Lusztig 定义的 $a$-函数 $a: \mathfrak{S}_n \to \mathbb{N}$，该函数在双边细胞上为常数。
• 应用分解 $\mathfrak{S}_n = \bigcup_{i=0}^{n-1} U_i$，其中 $U_i$ 由以 $s_i \cdots s_1$ 开头的排列构成，以分析长度与序关系的性质。
• 采用保持右细胞与 $a$-值不变的左星操作，实现向更小对称群的约化。
• 利用恒等式 $P_{y,w} = P_{y_1,w_1}$，当 $y = s_i \cdots s_1 y_1$ 且 $w = s_i \cdots s_1 w_1$ 时成立，实现归纳约化。
• 应用 Springer 公式将 $\mu(y,w)$ 表示为 $\delta_{x,y,z}$ 与 $\gamma_{x,y,z}$ 的形式，并利用 $\mathcal{D}_0$ 由特殊对合元构成的性质。
• 利用 $a(y) = a(w)$ 蕴含 $y \sim_R w$ 或 $y \sim_L w$ 的事实，并结合对称性 $\mu(y,w) = \mu(y^{-1},w^{-1})$，将问题约化至右细胞等价情形。

实验结果

研究问题

• RQ1 在什么条件下，对 $y,w \in \mathfrak{S}_n$，Kazhdan-Lusztig 多项式 $P_{y,w}$ 的首项系数 $\mu(y,w)$ 有界于 1？
• RQ2 是否可以利用 $a$-函数预测 $\mu(y,w) > 1$ 的情形，特别是在 $a(y) < a(w)$ 时？
• RQ3 当 $a(y) < a(w)$ 时，是否可以通过星操作将 $\mu(y,w)$ 的计算约化至更小的对称群？

主要发现

• 对 $y,w \in \mathfrak{S}_n$，若 $y \leq w$（按 Bruhat 序）且 $a(y) < a(w)$，则 $\mu(y,w) \leq 1$，此结论已在定理 1.4 中得证。
• $\mathfrak{S}_n$ 上的 $a$-函数有界，且 $a(y) = a(w)$ 意味着 $y$ 与 $w$ 属于同一左、右或双边细胞。
• 当 $a(y) = a(w)$ 时，$\mu(y,w)$ 可能大于 1，但该情形在 $a(y) < a(w)$ 条件下被排除。
• 该结果在某些情况下对 (0,1)-猜想给出了否定回答，如 McLarnan 与 Warrington 所示，当 $a(y) \geq a(w)$ 时成立。
• 通过 $U_i$ 与星操作的递归结构，确保 $\mu(y,w) = \mu(y_1,w_1)$，从而实现归纳约化。
• 当 $a(w) = 1$ 时，对所有满足 $y \leq w$ 的 $y$，均有 $\mu(y,w) \leq 1$，此结论见于第 3.3 节部分 (b)。