[论文解读] The equivariant Kazhdan-Lusztig polynomial of a matroid

Katie Gedeon, Nicholas Proudfoot+1 more|arXiv (Cornell University)|May 5, 2016

Advanced Combinatorial Mathematics参考文献 11被引用 6

一句话总结

本文引入了带有群作用的拟阵的等变Kazhdan-Lusztig多项式，通过将系数编码为对称群的虚拟表示，推广了非等变版本。对于均匀拟阵，其公式以对称群的不可约表示形式清晰表达，揭示了表示稳定性，并为非可实现情形下的非负性猜想提供了强有力证据。

ABSTRACT

We define the equivariant Kazhdan-Lusztig polynomial of a matroid equipped with a group of symmetries, generalizing the nonequivariant case. We compute this invariant for arbitrary uniform matroids and for braid matroids of small rank.

研究动机与目标

• 为配备有限群作用的拟阵定义Kazhdan-Lusztig多项式的等变推广，以精炼非等变不变量。
• 提供一个表示论框架，使得系数为对称群的虚拟表示，通过维数约化恢复原始多项式。
• 通过研究非可实现例子（如均匀拟阵）为非等变Kazhdan-Lusztig多项式的非负性猜想提供更强证据。
• 在均匀拟阵中建立等变多项式系数的表示稳定性。
• 引入并探讨等变对数凹性的概念，将其从经典对数凹性推广至表示论设定。

提出的方法

• 将等变Kazhdan-Lusztig多项式 $ P_M^W(t) $ 定义为一个生成函数，其系数为群 $ W $ 的虚拟表示，推广非等变情形。
• 使用编码所有参数 $ i, m, d $ 的生成函数，推导均匀拟阵系数的函数方程。
• 通过重复应用Schubert微分几何中的Pieri法则，求解函数方程并得到系数的显式公式。
• 利用Schur-Weyl对偶性及 $ S_n $ 的表示理论，特别是 $ C^d $ 外幂的分解，分析系数的结构。
• 使用Remmel对称群表示张量积重数的公式，比较维数并验证对数凹性。
• 在 $ ext{grVRep}(W) $ 中引入强对数凹性的概念，该性质确保在张量积下兼容，并推广经典对数凹性。

实验结果

研究问题

• RQ1 如何对拟阵的Kazhdan-Lusztig多项式进行精化，以纳入群对称性，从而得到系数属于对称群表示环的多项式？
• RQ2 均匀拟阵的等变Kazhdan-Lusztig多项式具有何种结构？当秩增加时，其是否表现出表示稳定性？
• RQ3 等变框架能否为非可实现情形下非等变Kazhdan-Lusztig多项式的非负性猜想提供证据？
• RQ4 等变特征多项式系数序列在表示论意义上是否对数凹？这如何推广经典对数凹性？
• RQ5 在等变多项式背景下，强对数凹性与普通对数凹性之间有何关系？强对数凹性在张量积下是否表现良好？

主要发现

• 等变Kazhdan-Lusztig多项式 $ P_M^W(t) $ 定义于带有有限群 $ W $-作用的拟阵 $ M $ 上，其系数属于虚拟表示环 $ ext{VRep}(W) $，当 $ W $ 平凡时退化为标准多项式。
• 对于均匀拟阵 $ U_{m,d} $，$ t^i $ 的系数 $ C_{i,m,d} $ 是 $ S_{m+d} $ 的不可约表示的无重数和，其显式描述见定理3.1。
• 系数 $ C_{i,m,d} $ 展现均匀表示稳定性：当 $ d \to \infty $ 时，分解在 $ d \to \infty $ 时稳定，且与 $ d $ 无关。
• 均匀拟阵 $ U_{m,d} $ 的等变特征多项式 $ H_{m,d}(t) $ 在 $ \text{Rep}(S_d) $ 中是对数凹的，该结论由命题5.7通过Remmel对张量积重数的公式证明。
• 多项式 $ H_{m,d}(t) $ 的系数序列是强对数凹的，即对所有 $ k \to \infty $，有 $ C_i \bigotimes C_j - C_{i-k} \bigotimes C_{j+k} \to \text{Rep}(S_d) $，该条件强于普通对数凹性。
• 均匀拟阵中 $ C_{i,m,d} $ 的公式远比对应非等变情形下 $ c_{i,m,d} $ 的维数公式更简洁，揭示了在非等变设定下无法察觉的规律。