On a \(q\)-analog of the Wallach-Okounkov formula (Q862913)

Let \(\text{Mat}_n\) denote the vector space of complex \(n\times n\)-matrices. The group \(K=S(\text{GL}_n\times \text{GL}_n)\) acts on \(\text{Mat}_n\) by \((u,v)Z=uZv^{-1}\), \((u,v)\in K\). This action yields an action of \(K\) on the algebra \(\mathbb C[\text{Mat}_n]\) of complex polynomials on \(\text{Mat}_n\). It is well-known that \(\mathbb C[\text{Mat}_n]\) decomposes into a direct sum of irreducible representations \(\mathbb C[\text{Mat}_n]_\lambda\), where \(\lambda\) runs in the set of partitions of length at most \(n\). Consider now the ring of differential operators on \(\text{Mat}_n\), which is generated by \(z^i_j\) and \(\partial_{ij}=\partial/\partial z^i_j\), \(i,j=1,2,\ldots, n\). This ring operates on \(\mathbb C[\text{Mat}_n]\) as usual. For ordered subsets \(I,J\) of the index set \(\{1,2,\ldots,n\}\) of the same length, let \(z^I_J\) (resp. \(\partial^I_J)\) denote the corresponding minor of the matrix \((z^i_j)\) (resp. \((\partial^i_j)\)). Then define \(y_k\) to be the sum of all \(z^I_J\partial^I_J\), where \(I,J\) run in the set of all ordered subsets of length \(k\). The action of this operator on \(\mathbb C[\text{Mat}_n]_\lambda\), being \(K\)-invariant, is the multiplication with a scalar. The explicit formula for this scalar is given in terms of the factorial Schur polynomials and is known as the Wallach-Okounkov formula. The aim of the paper under review is to give a \(q\)-analog of this formula. The crucial point is to provide an appropriate \(q\)-analog of the ring of differential operators. This was done in [\textit{D. Shklyarov, S. Sinel'shchikov, L. Vaksman}, ''Fock representations and quantum matrices.'' Int. J. Math. 15, No. 9, 855-894 (2004; Zbl 1090.17007)] by introducing the \(*\)-algebra \(\text{Pol}(\text{Mat}_n)_q\) generated by two quantum matrices \(z_a^\alpha\) and \((z_a^\alpha)^*\) subject to additional relations between \(z^\alpha_a\) and \((z^\beta_b)^*\). In fact, the classical ring of differential operators is obtained by making the change of generators \(z^\alpha_a\to (1-q^2)^{-1/2}z^\alpha_a\) and passing to the limit \(q\to 1\). Now the quantum analog of the operators \(y_k\) is given in terms of the quantum minors. A quantum analog \(U_q{\mathfrak k}\) of \(K\) is defined as a sub Hopf algebra of the quantum universal algebra \(U_q{\mathfrak sl}_{2n}\), which acts on \(\mathbb C[\text{Mat}_n]_q\). Further one has a similar decomposition of \(\mathbb C[\text{Mat}_n]_q\) into direct sum of irreducible representations, which are indexed by partitions of length at most \(n\). The algebra \(U_q{\mathfrak k}\) acts on \(\text{Pol}(\text{Mat}_n)_q\) in a natural way. It is shown that the operators \(y_k\) defined above are invariant under this action and further they commute each other. Consequently they act as scalar on the irreducible components of \(\mathbb C[\text{Mat}_n]_q\). These scalar constants are computed in terms of the \(q\)-factorial Schur functions.