[論文レビュー] On Orbits of Order Ideals of Minuscule Posets II: Homomesy

David B. Rush, Kelvin Wang|arXiv (Cornell University)|Sep 27, 2015

Advanced Combinatorial Mathematics参考文献 10被引用数 22

ひとこと要約

この論文は、複素単純リー代数の表現論を用いて、最小部分順序集合（minuscule posets）における Fon-Der-Flaass 動作の下で、順序理想のサイズと最大元の数という2つの統計量の同型性（homomesy）を確立している。Weyl群の重みへの作用と順序理想の基数を結びつけることで、チェーンの積に関する Propp と Roby の結果を、すべての最小部分順序集合へ一般化する一様な証明が与えられる。

ABSTRACT

The Fon-Der-Flaass action partitions the order ideals of a poset into disjoint orbits. For a product of two chains, Propp and Roby observed --- across orbits --- the mean cardinality of the order ideals within an orbit to be invariant. That this phenomenon, which they christened homomesy, extends to all minuscule posets is shown herein. Given a minuscule poset $P$, there exists a complex simple Lie algebra $\mathfrak{g}$ and a representation $V$ of $\mathfrak{g}$ such that the lattice of order ideals of $P$ coincides with the weight lattice of $V$. For a weight $μ$ with corresponding order ideal $I$, it is demonstrated that the behavior of the Weyl group simple reflections on $μ$ not only uniquely determines $μ$, but also encodes the cardinality of $I$. After recourse to work of Rush and Shi mapping the anatomy of the lattice isomorphism, the upshot is a uniform proof that the cardinality statistic exhibits homomesy. A further application of these ideas shows that the statistic tracking the number of maximal elements in an order ideal is also homomesic, extending another result of Propp and Roby.

研究の動機と目的

• 2つのチェーンの積に関する Propp と Roby の同型性結果を、すべての最小部分順序集合へ一般化すること。
• 表現論に基づいた一様な代数的説明を提供し、最小部分順序集合における同型性を解明すること。
• 順序理想の基数とその理想内の最大元の数が、Fon-Der-Flaass 動作の下で両方とも同型であることを示すこと。
• 最小部分順序集合の組合せ論と Weyl群の重みへの作用の幾何学的構造を統合すること。

提案手法

• 最小部分順序集合の順序理想と、複素単純リー代数の最小表現の重み格子との間のラティス同型を利用する。
• Weyl群の単純反射を用いて重みデータを符号化し、順序理想から重みへの写像 φ を介して、それらを順序理想の基数に関連付ける。
• 最小部分順序集合のヒープラベル付け（Stembridge の枠組み）を用い、要素に根を割り当て、局所的トグル動作を追跡する。
• Weyl群が重み格子に推移的に作用することから、全軌道上で (φ(Ψ^k(I)), α_j^∨) の和がゼロになるという事実を利用する。
• 基本重み {ω_i} と余根 {α_j^∨} の双対性を適用し、統計量の正確な表現式を導出する。
• Weyl群作用の下でノルム (μ,μ) = (λ,λ) が不変であるという事実を活用し、反鎖の基数統計量の平均が一定であることを示す。

実験結果

リサーチクエスチョン

• RQ1 最小部分順序集合の順序理想に対する Fon-Der-Flaass 動作は、順序理想のサイズについて同型性を示すか？
• RQ2 順序理想内の最大元の数の同型性は、表現論を用いて一様に説明可能か？
• RQ3 すべての最小部分順序集合、特に例外型の場合（E_6, E_7 など）を含めて、同型性を統一的に説明するリー理論的メカニズムは存在するか？
• RQ4 Weyl群の重みへの作用と、最小部分順序集合における順序理想のトグル作用の間にはどのような対応があるか？
• RQ5 同型性における定数平均値は、リー代数のデータ（たとえば (λ, ω_i) と (α_i, α_i)）から明示的に計算可能か？

主な発見

• 順序理想の基数は、Fon-Der-Flaass 動作の下で同型であり、各単純根 α_i に対して定数平均 c = 2(λ, ω_i)/(α_i, α_i) をとる。
• 順序理想内の最大元の数は、リー代数が単純型（simply laced）で、Ω が共通の根長であるとき、定数平均 c = 2(λ, λ)/Ω² で同型である。
• Rush–Shi のラティス同型と Weyl群の重みへの作用を用いることで、すべての最小部分順序集合においてサイズ統計量の同型性が一様に証明された。
• 証明は、全軌道上で (φ(Ψ^k(I)), α_j^∨) の和がゼロになるという事実に依拠しており、これは Weyl群が重み格子に推移的に作用することに由来する。
• 反鎖の基数統計量は、根の型ごとの和に表現し、Weyl群作用の下でのノルム (μ, μ) = (λ, λ) の不変性を用いることで同型であることが示された。
• 結果は、2つのチェーンの積における Propp と Roby の同型性を、E_6, E_7 や3つの無限族を含むすべての最小部分順序集合へ拡張した。