Cauchy identities for staircase matrices

2024/11/05 by Evgeny Feigin, Feigin, Evgeny, Anton Khoroshkin +3
Computer Science · #05A19 #05E05 #17B10 #22E47 #33D52 #Category Theory (math.CT) #Combinatorics (math.CO) #FOS: Mathematics #Matrix Theory and Algorithms #Representation Theory (math.RT)

paper · pdf · doi:10.48550/arxiv.2411.03117

openalex publication_date 2024/11/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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× n-matrix as a sum over partitions λ of products of Schur polynomials: s_λ(x)s_λ(y). Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a \mathfrakgl_m-\mathfrakgl_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 Y we describe left and right ``standard" filtrations on the symmetric algebra of the space of shape 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) ∈ Y written as sums of products of key polynomials κ_λ(x) and (opposite) Demazure atoms a^μ(y).

Related

• Bubble sort and Howe duality for staircase matrices
• NW-SE expansions of non-symmetric Cauchy kernels on near staircases and growth diagrams
• Nonsymmetric q-Cauchy identity and representations of the Iwahori algebra
• On the left and right coefficients of the general Cayley-Hamilton identities for an nxn matrix
• Matrix symmetric and quasi-symmetric functions and noncommutative representation theory