Rational representations of Yangians associated with skew Young diagrams (Q1762684)

Irreducible rational representations of \(\text{GL}_M(\mathbb C)\) are parametrized by pairs of partitions \(\mu= (\mu_1, \mu_2,\dots)\) and \(\widetilde\mu= (\widetilde\mu_1, \widetilde\mu_2,\dots)\) such that the total number of non-zero parts of \(\mu\) and \(\widetilde\mu\) does not exceed \(M\). For such a pair, let \(V_{\mu\widetilde\mu}\) be the corresponding irreducible representation. Regard \(G_N(\mathbb C)\times\text{GL}_M(\mathbb C)\) as a subgroup of \(\text{GL}_{M+N}(\mathbb C)\), and let \(V_{\lambda\widetilde\lambda}\) be an irreducible rational representation of \(\text{GL}_{N+M}(\mathbb C)\). Let \(V^{\mu\widetilde\mu}_{\lambda\widetilde\lambda}= \Hom_{\text{GL}_M(\mathbb C)}(V_{\mu\widetilde\mu}, V_{\lambda\widetilde\lambda})\) which has a natural \(\text{GL}_N(\mathbb C)\)-action. Let \(n= \lambda_1- \mu_1+ \lambda_2- \mu_2+\cdots\) and \(\widetilde n= \widetilde\lambda_1- \widetilde\mu_1+ \widetilde\lambda_2- \widetilde\mu_2+\cdots\)\ . For any pair of standard Young tableaux \(\Omega\) and \(\overline\Omega\) of skew shapes \(\lambda|\mu\) and \(\widetilde\lambda|\widetilde\mu\) respectively, the author gives a realization of \(V^{\mu\overline\mu}_{\lambda\widetilde\lambda}\) as a subspace of the tensor product \(W_{n\widetilde n}\) of \(n\) copies of the standard representation of \(\text{GL}_N(\mathbb C)\) on \(\mathbb C^n\) and \(\widetilde n\) copies of the contragredient representation on \((\mathbb C^n)^*\). This subspace is the image of a certain linear operator \(\widetilde F_{\Omega\widetilde\Omega}\). The operator is given by an explicit multiplicative formula. When \(M= 0\), one recovers the known realization of \(V_{\lambda\widetilde\lambda}\) as a certain subspace of all traceless tensors in \(W_{n\widetilde n}\). However, the formula for \(F_{\Omega\widetilde\Omega}\) is still new if \(M= 0\). The methods involve the representation theory of the Yangian \(Y(\mathfrak{gl}_N(\mathbb C))\). \(\widetilde F_{\Omega\widetilde\Omega}\) is an intertwining operator between certain representations of \(Y(\mathfrak{gl}_N(\mathbb C))\) on \(W_{n\widetilde n}\). As a representation of \(Y(\mathfrak{gl}_N(\mathbb C))\), the image of \(\widetilde F_{\Omega\widetilde\Omega}\) is rational (a notion introduced in this paper) and irreducible.