[論文レビュー] 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

ひとこと要約

この論文は、マトロイドのカジダン＝ルシュティグ多項式に関する最近の結果と予想を調査し、これらの多項式が常に実根を持ち、縮約によって根が交互に現れることを提案している。対称関数係数をもつ等置的バージョンを導入し、生成関数の関数方程式を確立している。特に、一様、タゴマイザー、ブレードマトロイドに対して、非負性と係数構造に関する未解決問題を強調している。

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.

研究の動機と目的

• マトロイドのカジダン＝ルシュティグ多項式に関する既知の結果と予想を要約し、特に実根性や対数的凸性といった構造的性質に焦点を当てる。
• 特に実現可能なマトロイドの文脈において、これらの多項式の係数の非負性を調査し、一般マトロイドにおける未解決の予想を提示する。
• 対称マトロイドにおける等置的カジダン＝ルシュティグ多項式を探索し、係数が対称関数に置き換えられ、その生成関数を分析する。
• 一様、タゴマイザー、ブレードマトロイドなどの主要な族において、カジダン＝ルシュティグ多項式の生成関数の関数方程式を確立する。
• 根の縮約による交互性や、ブレードマトロイドにおける係数構造といった、新しい予想を特定し、形式化する。

提案手法

• 論文は、フラットのラティスとムービウス関数に基づくカジダン＝ルシュティグ多項式の再帰的定義を用い、[EPW16] における公理的特徴づけに従う。
• 幾何的およびコhomオロジー的解釈を適用する：実現可能なマトロイドに対して、多項式は逆平面の交差コホモロジー・ポincare多項式に等しく、非負な係数を示す。
• 一様、タゴマイザー、ブレードマトロイドなどの族に対して、対称群の作用を用いて、対称関数を係数にもつ等置的多項式を定義する。
• プレシズムとべき級数の操作を用いて、生成関数の関数方程式を導出する。たとえば、$\mathcal{T}(t^{-1},tu)=(t-1)us(u)v(t,u)+\frac{s(tu)^2}{s(u)^2}\mathcal{T}(t,u)$ といった式が得られる。
• 予想の根の交互性や係数構造の検証のために、SAGE を用いた広範なコンピュータ計算を実施する。
• FS^{op} -モジュールの理論を活用し、係数の生成関数が有理関数であり、有理数の逆数に極を持つことを証明し、指数的生成関数の分解を導く。

実験結果

リサーチクエスチョン

• RQ1 任意のマトロイドのカジダン＝ルシュティグ多項式の係数は、予想2.2で示唆されているように非負であるか？
• RQ2 マトロイドの一つが他方のエッジを縮約することで得られるとき、カジダン＝ルシュティグ多項式の根が常に交互に現れるのか、予想3.4が示唆するように？
• RQ3 ブレードマトロイドのカジダン＝ルシュティグ多項式の係数の生成関数は、命題5.12で示されたように、逆数の整数に極を持つ有理関数として表現可能か？
• RQ4 ブレードマトロイドの等置的カジダン＝ルシュティグ多項式は、プレシズムと対称関数を含む関数方程式を満たすのか、[GPY] で予想されているように？
• RQ5 予想5.11で示唆されているように、$P_{B_{2k}}(t)$ の先頭係数は $(2k-3)!!(2k-1)^{k-2}$ に等しいか？

主な発見

• 実現可能なマトロイドのカジダン＝ルシュティグ多項式は、非負な係数を持つ。これは、逆平面の交差コホモロジー・ポincare多項式に等しいことから、定理2.3で証明されている。
• 一様マトロイドに対しては、等置的カジダン＝ルシュティグ多項式の係数はシュール正の対称関数であり、プレシズムを含む関数方程式を満たす生成関数を持つ。
• タゴマイザー・マトロイドの $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)$ である。
• ブレードマトロイドのカジダン＝ルシュティグ多項式の $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)}$ であり、極構造を確認している。