[论文解读] 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

一句话总结

本文通过复单李代数表示理论，利用Fon-Der-Flaass作用于极小偏序集时，对两个统计量——序理想大小和最大元个数——建立了同米西性（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.

研究动机与目标

• 将Propp与Roby在两链积上的同米西性结果推广至所有极小偏序集。
• 基于表示理论，为极小偏序集中的同米西性提供统一的代数解释。
• 证明在Fon-Der-Flaass作用下，此类序理想中的基数与最大元个数均为同米西性。
• 统一极小偏序集的组合结构与Weyl群在权上的作用几何。

提出的方法

• 利用极小偏序集的序理想与复单李代数极小表示的权格之间的格同构。
• 通过Weyl群的简单反射编码权数据，并借助从序理想到权的映射φ，将其与序理想的基数关联。
• 采用极小偏序集的堆标记法（Stembridge框架）为元素分配根，并追踪局部切换（toggle）行为。
• 利用在完整轨道上对(φ(Ψ^k(I)), α_j^∨)求和为零的事实，该结论源于Weyl群在权格上的传递作用。
• 应用基本权{ω_i}与余根{α_j^∨}之间的对偶性，推导出统计量的精确表达式。
• 利用Weyl群作用下范数(μ,μ) = (λ,λ)的不变性，证明反链基数统计量的均值恒定。

实验结果

研究问题

• RQ1 Fon-Der-Flaass作用于极小偏序集的序理想时，序理想大小是否呈现同米西性？
• RQ2 能否基于表示理论统一解释序理想中最大元个数的同米西性？
• RQ3 是否存在一种李理论机制，统一解释所有极小偏序集（包括例外情形）中的同米西性？
• RQ4 Weyl群在权上的作用如何对应于极小偏序集中序理想的切换行为？
• RQ5 同米西性中的恒定均值能否从李代数数据（如(λ, ω_i)与(α_i, α_i)）显式计算得出？

主要发现

• 在Fon-Der-Flaass作用下，序理想的基数呈现同米西性，其恒定均值为c = 2(λ, ω_i)/(α_i, α_i)，其中α_i为每个单根。
• 序理想中最大元个数的同米西性具有恒定均值c = 2(λ, λ)/Ω²，当李代数为单连通型且Ω为公共根长时成立。
• 通过Weyl群在权上的作用与Rush–Shi的格同构，统一证明了所有极小偏序集中大小统计量的同米西性。
• 该证明依赖于在完整轨道上对(φ(Ψ^k(I)), α_j^∨)求和为零的事实，该结论源于Weyl群在权格上的传递作用。
• 通过将反链基数统计量表示为各类根的和，并利用(μ, μ) = (λ, λ)在Weyl群作用下的不变性，证明了其同米西性。
• 研究结果将Propp与Roby在两链积中的同米西性推广至所有极小偏序集，包括例外情形E_6、E_7及三类无限族。