[论文解读] Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permutations

Sara Billey, Gregory S. Warrington|ArXiv.org|May 5, 2000

Advanced Combinatorial Mathematics参考文献 14被引用 15

一句话总结

本文为对称群 $\mathfrak{S}_n$ 中 321-六边形避免排列 $w$ 的 Kazhdan-Lusztig 多项式 $P_{x,w}$ 提供了一个显式、非递归的公式，该公式基于约化表达式的子表达式上的缺陷统计量。关键结果为：$P_{x,w} = \sum q^{d(\sigma)}$，其中求和范围为所有乘积为 $x$ 的掩码 $\sigma$。此类排列满足 $\operatorname{IH}^*(X_w) \cong H^*(Y)$，且 $X_w$ 的 Poincar\'e 多项式等于 $(1+q)^{l(w)}$。该结果可推广至非分支的 Weyl 群 $B_n, F_4, G_2$。该框架简化了计算，并实现了对奇点集与小化解析的刻画。

ABSTRACT

We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivalent to several other conditions, such as the Bott-Samelson resolution of the Schubert variety $X_w$ being small. We conclude with a simple method for completely determining the singular locus of $X_w$ when $w$ is 321-hexagon-avoiding.

研究动机与目标

• 为对称群 $\mathfrak{S}_n$ 中 321-六边形避免排列 $w$ 的 Kazhdan-Lusztig 多项式 $P_{x,w}$ 提供一个非递归、组合的公式。
• 通过上同调与代数不变量（包括交上同调与 Hecke 代数结构）对 Schubert 代数簇 $X_w$ 进行刻画。
• 确定 $X_w$ 的 Bott-Samelson 解析为小解析的条件，以及 $X_w$ 允许小解析的条件。
• 对 321-六边形避免排列 $w$，完全描述其奇点集。
• 将 $\mathfrak{S}_n$ 中的结果推广至其他具有非分支 Coxeter 图的 Weyl 群，如 $B_n, F_4, G_2$。

提出的方法

• 利用 Deodhar 的 Kazhdan-Lusztig 多项式组合框架，当 $w$ 为 321-六边形避免排列时，该框架简化为对子表达式的缺陷统计量计算。
• 在 $w$ 的约化表达式 $\mathbf{a}$ 的掩码 $\sigma$ 上定义缺陷统计量 $d(\sigma)$，其中 $\sigma$ 对应于乘积为 $x\leq w$ 的子表达式。
• 利用缺陷图分析子表达式的结构，并证明关键性质的等价性。
• 通过等价关系 $\sum \dim(\operatorname{IH}^{2i}(X_w)) q^i = (1+q)^{l(w)}$ 来刻画 321-六边形避免排列。
• 通过枚举缺陷为正的掩码，显式计算 $P_{x,w}$，如示例 4 所示。
• 通过将 321-避免替换为短 braid 避免，将结果推广至 $B_n, F_4, G_2$。

实验结果

研究问题

• RQ1 在 $\mathfrak{S}_n$ 中，Kazhdan-Lusztig 多项式 $P_{x,w}$ 何时存在非递归、组合的公式？
• RQ2 Poincar\'e 多项式 $\operatorname{IH}^*(X_w)$ 为 $(1+q)^{l(w)}$ 的排列 $w$ 的精确刻画为何？
• RQ3 Bott-Samelson 解析为小解析的条件是什么？$X_w$ 在何种情况下允许小解析？
• RQ4 当 $w$ 为 321-六边形避免排列时，如何完全确定 $X_w$ 的奇点集？
• RQ5 Hecke 代数基元素 $C_w'$ 可表示为 $C_{s_i}'$ 的乘积，其与 $w$ 的模式避免条件之间有何关系？

主要发现

• 对于 321-六边形避免排列 $w$，Kazhdan-Lusztig 多项式 $P_{x,w}$ 由 $\sum q^{d(\sigma)}$ 给出，其中求和范围为固定约化表达式 $\mathbf{a}$ 的所有掩码 $\sigma$，且 $\sigma$ 的乘积为 $x$，$d(\sigma)$ 为缺陷统计量。
• 当且仅当 $w$ 为 321-六边形避免排列时，$X_w$ 的交上同调的 Poincar\'e 多项式为 $(1+q)^{l(w)}$。
• Hecke 代数基元素 $C_w'$ 满足 $C_w' = C_{s_{i_1}}' \cdots C_{s_{i_r}}'$ 当且仅当 $w$ 为 321-六边形避免排列。
• Bott-Samelson 解析为小解析当且仅当 $w$ 为 321-六边形避免排列。
• 对于 321-六边形避免排列 $w$，有 $\operatorname{IH}_*(X_w) \cong H_*(Y)$，即 $X_w$ 的交上同调同构于其 Bott-Samelson 解析的普通上同调。
• 当 $w$ 为 321-六边形避免排列时，$X_w$ 的奇点集可被完全确定，且此类代数簇仅在包含 [3,4,1,2] 模式时为奇异。