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

Ben Elias, Nicholas Proudfoot+1 more|arXiv (Cornell University)|Dec 23, 2014

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

一句话总结

本文引入了拟阵的Kazhdan-Lusztig多项式，通过拟阵的特征多项式定义其递归公式。对于可表示拟阵，通过将其解释为对偶平面的交叠上同调Poincaré多项式，证明了该多项式具有非负整数系数；并猜想在$q$-形变的Möbius代数中，其结构常数也具有类似非负性。

ABSTRACT

We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also introduce a q-deformation of the Mobius algebra of M, and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples.

研究动机与目标

• 为拟阵发展类似于Coxeter群情形的Kazhdan-Lusztig理论。
• 为每个拟阵定义一个多项式不变量，其角色类似于表示理论中Kazhdan-Lusztig多项式。
• 通过几何实现，证明该多项式的系数在可表示拟阵情形下为非负整数。
• 将理论扩展至Möbius代数的$q$-形变，并猜想新规范基下结构常数的非负性。
• 探索组合模式，并通过均匀拟阵和辫拟阵的显式多项式表格提供计算证据支持猜想。

提出的方法

• 通过拟阵的特征多项式递归定义Kazhdan-Lusztig多项式$P_M(t)$。
• 建立几何解释：对于有限域上的可表示拟阵，$P_M(t)$等于对偶平面$X_{\mathcal{A}}$的$\ell$-adic étale交叠上同调Poincaré多项式。
• 引入Möbius代数$E(M)$的$q$-形变$E_q(M)$，推广Hecke代数的构造。
• 利用与平面区间相关的多项式$P_{M^F_G}(t)$，为$E_q(M)$定义Kazhdan-Lusztig基。
• 使用计算工具（Sage）计算并分析秩至20的均匀拟阵和辫拟阵的多项式。
• 借助在线整数数列百科全书，发现并验证了首项系数的组合公式。

实验结果

研究问题

• RQ1 能否为拟阵定义类似于Coxeter群经典理论的Kazhdan-Lusztig多项式？
• RQ2 拟阵的Kazhdan-Lusztig多项式系数是否恒为非负整数？
• RQ3 该多项式能否在几何上解释为可表示拟阵的交叠上同调Poincaré多项式？
• RQ4 在$q$-形变的Möbius代数的Kazhdan-Lusztig基中，乘法的结构常数是否具有非负系数？
• RQ5 在特殊类如均匀或辫拟阵中，是否存在特定系数（如首项系数）的组合公式？

主要发现

• Kazhdan-Lusztig多项式$P_M(t)$通过拟阵的特征多项式递归定义，其系数猜想为非负。
• 对于可表示拟阵，$P_M(t)$等于对偶平面$X_{\mathcal{A}}$的$\ell$-adic étale交叠上同调Poincaré多项式，从而在该情形下证明了系数的非负性。
• 均匀拟阵$M_{1,2k-1}$的$P_{M_{1,2k-1}}(t)$的首项系数为Catalan数$C_k = \frac{1}{k+1}\binom{2k}{k}$。
• 辫拟阵$M_{2k}$的$P_{M_{2k}}(t)$的首项系数为$(2k-3)!! \cdot (2k-1)^{k-2}$。
• 计算表格显示，$M_{1,8}$的多项式为$1 + 27t + 120t^2 + 84t^3$，支持非负性猜想。
• Kazhdan-Lusztig基在$E_q(M)$中的结构常数猜想为$q$的多项式且系数非负，已在多个例子中验证。