Pieri rules for the K-theory of cominuscule Grassmannians

Understand

We prove Pieri formulas for the multiplication with special Schubert classes in the K-theory of all cominuscule Grassmannians.

• For Grassmannians of type A this gives a new proof of a formula of Lenart.
• Our formula is new for Lagrangian Grassmannians, and for orthogonal Grassmannians it proves a special case of a conjectural Littlewood-Richardson rule of Thomas and Yong.
• Recent work of Thomas and Yong and of E.