Cauchy identities for staircase matrices

Abstract

The well known Cauchy identity expresses the product of terms $(1-x_i{y}_j{)}^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $\hat{I}»$ of products of Schur polynomials: $s_{\hat{I}}»(x)s_{\hat{I}}»(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a ${\mathfrak{gl}}_m$-${\mathfrak{gl}}_n$-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 $\mathsf{Y}$ we describe left and right ``standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ 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 $(1-x_i{y}_j{)}^{-1}$ for $(i,j)\in \mathsf{Y}$ written as sums of products of key polynomials $\hat{I}{º}_{\hat{I}}»(x)$ and (opposite) Demazure atoms $a^{\hat{I}}¼(y)$.

Revised version with numerous minor corrections based on JLMS reviews; figures added