[论文解读] Kazhdan-Lusztig polynomials of matroids: a survey of results and conjectures

Katie Gedeon, Nicholas Proudfoot+1 more|arXiv (Cornell University)|Nov 22, 2016

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

一句话总结

本文综述了拟阵的Kazhdan-Lusztig多项式近期的研究成果与猜想，提出这些多项式始终是实根的且对数凹的，且在边收缩下根具有交错性。文章引入了具有对称函数系数的等变版本，并建立了生成函数的功能方程，尤其针对均匀拟阵、thagomizer拟阵和辫子拟阵。同时指出了关于系数非负性与结构的开放问题。

ABSTRACT

We report on various results, conjectures, and open problems related to Kazhdan-Lusztig polynomials of matroids. We focus on conjectures about the roots of these polynomials, all of which appear here for the first time.

研究动机与目标

• 总结已知的关于拟阵的Kazhdan-Lusztig多项式的成果与猜想，特别关注实根性与对数凹性等结构性质。
• 研究这些多项式系数的非负性，尤其在可实现拟阵背景下，以及对一般拟阵的开放猜想。
• 探索对称拟阵的等变Kazhdan-Lusztig多项式，其中系数被替换为对称函数，并分析其生成函数。
• 为关键族（如均匀拟阵、thagomizer拟阵和辫子拟阵）的Kazhdan-Lusztig多项式生成函数建立功能方程。
• 识别并形式化新猜想，包括在边收缩下根的交错性以及辫子拟阵中系数的结构。

提出的方法

• 本文基于平坦格与Möbius函数，采用递归定义Kazhdan-Lusztig多项式，遵循[EPW16]中的公理化刻画。
• 应用几何与上同调解释：对于可实现拟阵，该多项式等于倒平面的交点上同调Poincaré多项式，从而蕴含非负系数。
• 对于均匀、thagomizer和辫子拟阵等族，作者利用对称群作用定义了具有对称函数系数的等变多项式。
• 通过幂级数运算与plethysm推导出生成函数的功能方程，例如 $\mathcal{T}(t^{-1},tu)=(t-1)us(u)v(t,u)+\frac{s(tu)^2}{s(u)^2}\mathcal{T}(t,u)$。
• 本文使用SAGE进行大量计算机计算，以验证关于根交错性与系数结构的猜想。
• 利用 $\operatorname{FS^{op}}$-模理论证明，系数的生成函数是有理函数，极点位于有理数的倒数处，从而导出指数生成函数的分解。

实验结果

研究问题

• RQ1 任意拟阵的Kazhdan-Lusztig多项式系数是否非负，如Conjecture 2.2所猜想？
• RQ2 当一个拟阵通过收缩一条边从另一个拟阵得到时，其Kazhdan-Lusztig多项式的根是否总是交错，如Conjecture 3.4所建议？
• RQ3 辫子拟阵的Kazhdan-Lusztig多项式系数的生成函数是否可表示为极点位于倒数整数的有理函数，如Proposition 5.12所示？
• RQ4 辫子拟阵的等变Kazhdan-Lusztig多项式是否满足涉及plethysm与对称函数的功能方程，如[GPY]中所猜想？
• RQ5 是否成立 $P_{B_{2k}}(t)$ 的首项系数为 $(2k-3)!!(2k-1)^{k-2}$，如Conjecture 5.11所提议？

主要发现

• 可实现拟阵的Kazhdan-Lusztig多项式具有非负系数，因为它等于倒平面的交点上同调Poincaré多项式，如Theorem 2.3所证明。
• 对于均匀拟阵，等变Kazhdan-Lusztig多项式系数是对称函数的Schur正性，其生成函数满足涉及plethysm的功能方程。
• thagomizer拟阵的 $S_n$-等变多项式的生成函数 $\mathcal{T}(t,u)$ 满足 $\mathcal{T}(t^{-1},tu)=(t-1)us(u)v(t,u)+\frac{s(tu)^2}{s(u)^2}\mathcal{T}(t,u)$。
• 辫子拟阵多项式的指数生成函数 $Q(t,z)$ 满足 $Q(t^{-1},tz)=t\,Q(t,K(t,z))$，其中 $K(t,z)=t^{-1}((-1+(1+z)^t)$。
• 辫子拟阵的Kazhdan-Lusztig多项式第 $i$ 个系数的指数生成函数 $G_i(z)$ 是 $e^{jz}$ 的线性组合，其系数为多项式，这意味着其生成函数是有理函数，极点位于 $\{j^{-1} \mid 1 \leq j \leq 2i\}$。
• 前两个系数的显式有理生成函数为 $H_1(z) = \frac{z^4}{(1-z)^3(1-2z)}$ 和 $H_2(z) = \frac{15z^6 - 50z^7 + 40z^8 + 4z^9}{(1-z)^5(1-2z)^3(1-4z)$，确认了极点结构。