On Orbits of Order Ideals of Minuscule Posets II: Homomesy

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 $\mu$ with corresponding order ideal $I$, it is demonstrated that the behavior of the Weyl group simple reflections on $\mu$ not only uniquely determines $\mu$, 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.

13 pages, figures to be added

Cited by in corpus (11)

• Resonance in orbits of plane partitions and increasing tableaux
• Rowmotion in slow motion
• Rowmotion and Increasing Labeling Promotion
• On Order Ideals of Minuscule Posets III: The CDE Property
• The CDE property for minuscule lattices
• Promotion of increasing tableaux: frames and homomesies
• The birational Lalanne-Kreweras involution
• The CDE property for skew vexillary permutations
• Homomesy via Toggleability Statistics
• Foatic actions of the symmetric group and fixed-point homomesy
• Orbits of antichains in certain root posets