Cauchy identities for staircase matrices

The well‐known Cauchy identity expresses the product of terms for indexing entries of a rectangular ‐matrix as a sum over partitions of products of Schur polynomials: . Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a ‐‐bimodule. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase‐shaped matrices equipped with the left and right actions of the Borel upper‐triangular subalgebras. For any given staircase shape , we describe left and right “standard” filtrations on the symmetric algebra of the space of shape matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive two distinct expansions for the product for written as sums of products of key polynomials and (opposite) Demazure atoms .