[論文レビュー] Order polynomial product formulas and poset dynamics

Sam Hopkins|arXiv (Cornell University)|Jun 2, 2020

Advanced Combinatorial Mathematics参考文献 72被引用数 12

ひとこと要約

本稿は、順序多項式の積公式を持つラティスと、線形拡大におけるプロモーションおよびP-分割におけるローワーモーションの下で「良い」動的挙動を示すラティスとの間のヒューリスティックな関係を提案する。minusculeラティス、一致型のルートラティス、および台形ラティスV(n)といった既知の例を調査し、これらが周期的シービング現象やローワーモーションの有限位数を含む構造的軌道ダイナミクスを示すことを示している。主な貢献は、代数的組合せ論、ラティスダイナミクス、および多項式の積公式（qアナログや周期的シービングを含む）を結びつける統一的枠組みを提供することにある。

ABSTRACT

We survey all known examples of finite posets whose order polynomials have product formulas, and we propose the heuristic that these are the same posets with good dynamical behavior. Here the dynamics in question are the actions of promotion on the linear extensions of the poset and rowmotion on the P-partitions of the poset.

研究の動機と目的

• 順序多項式が積公式を持つすべての既知の有限ラティスを調査すること。
• 順序多項式の積公式を持つラティスが、プロモーションおよびローワーモーションの下で「良い」ダイナミクス的挙動を示すものであるというヒューリスティックを提案すること。
• 代数的組合せ論、ラティスダイナミクス、およびqアナログや周期的シービングを含む多項式不変量との間の関係を確立すること。
• minusculeラティスやルートラティスといった、見た目は異なるが共通のダイナミクス的枠組みに従うラティス族を統一すること。
• 特に台形ラティスV(n)やminusculeダブルガングァー対について、軌道構造およびローワーモーション位数に関する予想の証拠を提供すること。

提案手法

• 順序多項式Ω_P(m)（高さmのP-分割の数として定義）を分析し、それが有理数の積公式に分解される条件を同定すること。
• Ω_P(m)の根に基づいて構成されるqアナログΩ_P(m;q)を導入し、整数根の場合はκ=1、半整数根の場合はκ=2とする。
• 順序ポリトープO(P)への分岐線形拡張を用いて、P-分割におけるローワーモーションの作用を研究し、ローワーモーションが有限位数をとるか、規則的な軌道構造を示す条件を同定すること。
• 順序イデアルおよびP-分割におけるローワーモーション作用を用いて、周期的シービング現象（CSP）を定義し、多項式の評価によって検証すること。
• minusculeダブルガングァー対および対称埋め込み（例：三角形から長方形への変換）の理論を応用し、異なるラティス間の軌道構造を関連付けること。
• 既知のルート系およびコクセター群に関する結果を活用し、ローワーモーションの挙動およびCSP予想をより広いラティス族へ一般化すること。

実験結果

リサーチクエスチョン

• RQ1 どの有限ラティスが、単純な積公式に分解される順序多項式を持つのか？
• RQ2 このような積公式を持つラティスを特徴付ける動的性質（有限位数や規則的な軌道構造など）は何か？
• RQ3 線形拡大におけるプロモーション作用およびP-分割におけるローワーモーション作用は、順序多項式の代数的構造とどのように関係するか？
• RQ4 minusculeダブルガングァー対は、どの程度まで同じローワーモーション軌道構造を共有するのか？
• RQ5 P-分割におけるローワーモーション作用が、どのような条件下で周期的シービングを示すのか？

主な発見

• minusculeラティスおよび一致型のルートラティスの順序多項式Ω_P(m)は、積公式を持ち、その根は整数または半整数である。
• これらのラティスにおいて、qアナログΩ_P(m;q)は非負整数係数の多項式であり、q=1で評価するとΩ_P(m)に一致する。
• minusculeラティスのP-分割におけるローワーモーションは、Row^{r(P)+2} = identity を満たす。一致型のルートラティスでは、Row^{r(P)+2} = δ（対合）である。
• 予想5.7が証明された：台形ラティスV(n)に対しては、Row^{r(P)+2} = δ が成り立ち、良好なダイナミクス的挙動が確認された。
• minusculeラティスおよび一致型のルートラティスでは周期的シービング予想が成り立ち、長方形R(a,b)の場合はRhoadesによって証明され、後にShen–Wengによって拡張された。
• minusculeダブルガングァー対が同一のローワーモーション軌道構造を持つという予想は、m=1の場合および長方形-台形の場合に検証され、最近のプレプリントでもさらなる進展が得られている。