Quasi-commuting families of quantum minors (Q2386059)

Let \(\mathbb C_q[ \text{Mat}_{k\times m}]\) be the \(q\)-deformation of the coordinate ring of the space of \(k\times m\) complex matrices where \(k\leq m\). This is the \(\mathbb C(q)\)-algebra with unity generated by indeterminates \(x_{i,j}\) for \(i\in [1\dots k]\) and \(j\in [1\dots m]\) subject to the Faddeev-Reshetikhin-Takhtadzhyan relations. The article is concerned with a special family of elements \(\Delta_{I,J}\in \mathbb C_q[\text{Mat}_{k\times m}]\) indexed by pairs of non-empty subsets \(I\) and \(J\) of \([1\dots k]\) and \([1\dots m]\) respectively with \(| I| =| J| =l\), defined by \[ \Delta_{IJ}:= \sum_{\sigma\in S_l} (-1)^{-l(\sigma)} x_{i_1,j_{\sigma(1)}} \dots x_{i_l, j_{\sigma(l)}}, \] where \(I=\{i_1<\cdots<i_l\}, J=\{j_1<\cdots<j_l\}\), and \(l(\sigma)\) is the length of the \(l\)-permutation \(\sigma\). The elements \(\Delta_{I,J}\) are called quantum minors. Two quantum minors \(\Delta_{A,B}\) and \(\Delta_{C,D}\) are said to quasi-commute if \(\Delta_{C,D}\Delta_{A,B} =q^c\Delta_{A,B}\Delta_{C,D}\) for some integer \(c\). This integer is uniquely determined by \(\Delta_{A,B}\) and \(\Delta_{C,D}\) and is denoted by \(c(\Delta_{A,B}| \Delta_{C,D})\). The main result of the article it to find necessary and sufficient conditions for two quantum minors to quasi-commute and to explicitely compute \(c(\Delta_{A,B}| \Delta_{C,D})\) in terms of \(A,B,C,D\). The techniques used are developed in [\textit{B. Leclerc} and \textit{A. Zelevinsky}, in: Kirillov's seminar on representation theory, Transl., Ser. 2, Am. Math. Soc. 181(35), 85--108 (1998; Zbl 0894.14021)]. In [loc. cit.] only the quantum flag variety is considered, so the problem in the general case is much more difficult, however the authors demonstrate that the problem can de reduced to a special case of the problem treated in [loc. cit.]. The criterion for quasi-commutativity is described in terms of the notion of ``weak separability'' of [loc. cit.].