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

ひとこと要約

本稿では、群作用を伴うマトロイドの不変カジダン＝ルシュティグ多項式を導入し、非不変バージョンを一般化する。非不変バージョンは、対称性群の仮想表現として係数を符号化することで、一般化される。一様マトロイドの場合、対称群の既約表現の観点から明確な公式が得られ、表現安定性を示し、非実現可能な場合の非負性予想に対する強い証拠を提供する。

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.

研究の動機と目的

• 有限群作用を備えたマトロイドに対して、非不変バージョンを一般化した不変カジダン＝ルシュティグ多項式を定義し、元の不変量を精緻化すること。
• 係数を対称性群の仮想表現として扱う表現論的枠組みを提供し、次元削減により元の多項式を回復すること。
• 非実現可能な例（例えば一様マトロイド）を検討することで、非不変カジダン＝ルシュティグ多項式の非負性予想に対するより強い証拠を提供すること。
• 一様マトロイドにおける不変多項式の係数における表現安定性を確立すること。
• 不変対数凸性の概念を導入・探求し、古典的対数凸性を表現論的設定に一般化すること。

提案手法

• 群 $ W $ の仮想表現を係数とする生成関数として、マトロイド $ M $ に対して不変カジダン＝ルシュティグ多項式 $ P_M^W(t) $ を定義し、非不変ケースを一般化する。
• すべてのパrameter $ i, m, d $ を符号化する母関数を用いて、一様マトロイドの係数に関する関数方程式を導出する。
• シューベルト計算におけるピエリ則の繰り返し適用により、関数方程式を解き、係数の明示的公式を導出する。
• シュール＝ウェイル双対性と $ S_n $ の表現論、特に $ C^d $ の外冪の分解を用いて、係数の構造を分析する。
• 対称群表現におけるテンソル積の重複度を表すレムエルの公式を用い、次元を比較して対数凸性を検証する。
• 表現環 $ ext{grVRep}(W) $ における強い対数凸性の概念を導入し、テンソル積と整合性を持つようにし、古典的対数凸性を一般化する。

実験結果

リサーチクエスチョン

• RQ1 マトロイドのカジダン＝ルシュティグ多項式は、群の対称性を組み込むことでどのように精緻化され、対称性群の表現環に係数を持つ多項式として得られるか？
• RQ2 一様マトロイドにおける不変カジダン＝ルシュティグ多項式の構造は何か？また、ランクが増加する際、表現安定性を示すか？
• RQ3 不変枠組みは、非実現可能な場合における非不変カジダン＝ルシュティグ多項式の非負性予想に対する証拠を提供できるか？
• RQ4 不変特徴多項式の係数の列は、表現論的意味での対数凸性を示すか？これは古典的対数凸性をどのように一般化するか？
• RQ5 強い対数凸性と通常の対数凸性との関係は何か？また、強い対数凸性はテンソル積に関して良好に振る舞うか？

主な発見

• 有限群 $ W $-作用を伴うマトロイド $ M $ に対して、仮想表現環 $ ext{VRep}(W) $ に係数を持つ不変カジダン＝ルシュティグ多項式 $ P_M^W(t) $ が定義され、$ 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 $ に対して独立して分解が安定化する。
• 一様マトロイド $ U_{m,d} $ の不変特徴多項式 $ H_{m,d}(t) $ は $ \text{Rep}(S_d) $ において対数凸であることが、レムエルの公式を用いた命題5.7で証明された。
• 多項式 $ 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} $ の次元公式よりも著しく洗練されており、非不変設定では見えなかったパターンを明らかにする。