Rowmotion orbits of trapezoid posets (Q2673857)

Summary: Rowmotion is an invertible operator on the order ideals of a poset which has been extensively studied and is well understood for the rectangle poset. In this paper, we show that rowmotion is equivariant with respect to a bijection of \textit{Z. Hamaker} et al. [Int. Math. Res. Not. 2020, No. 2, 487--540 (2020; Zbl 1433.05041)] between order ideals of rectangle and trapezoid posets, thereby affirming a conjecture of \textit{S. Hopkins} [``Minuscule doppelgängers, the coincidental down-degree expectations property, and rowmotion'', Preprint, \url{arXiv:1902.07301}] that the rectangle and trapezoid posets have the same rowmotion orbit structures for order ideals. Our main tools in proving this are \(K\)-jeu-de-taquin and (weak) \(K\)-Knuth equivalence of increasing tableaux. We define almost minimal tableaux as a family of tableaux naturally arising from order ideals and show for any partition \(\lambda\), the almost minimal tableaux of shape \(\lambda\) are in different (weak) \(K\)-Knuth equivalence classes.