Representations of twisted Yangians associated with skew Young diagrams
-
Maxim Nazarov [1]
-
[1] Department of Mathematics, University of York, USA
-
- Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 10, Nº. 1, 2004, págs. 71-129
- Idioma: inglés
- DOI: 10.1007/s00029-004-0350-1
- Enlaces
-
Resumen
Let $G_M$ be either the orthogonal group $O_M$ or the symplectic group $Sp_M$ over the complex field; in the latter case the non-negative integer $M$ has to be even. Classically, the irreducible polynomial representations of the group $G_M$ are labeled by partitions $\mu=(\mu_{1},\mu_{2},\,\ldots)$ such that $\mu^{\prime}_1+\mu^{\prime}_2\le M$ in the case $G_M=O_M$, or $2\mu^{\prime}_1\le M$ in the case $G_M=Sp_M$. Here $\mu^{\prime}=(\mu^{\prime}_{1},\mu^{\prime}_{2},\,\ldots)$ is the partition conjugate to $\mu$. Let $W_\mu$ be the irreducible polynomial representation of the group $G_M$ corresponding to $\mu$.
Regard $G_N\times G_M$ as a subgroup of $G_{N+M}$. Then take any irreducible polynomial representation $W_\lambda$ of the group $G_{N+M}$. The vector space $W_{\lambda}(\mu)={\rm Hom}_{\,G_M}( W_\mu, W_\lambda)$ comes with a natural action of the group $G_N$. Put $n=\lambda_1-\mu_1+\lambda_2-\mu_2+\ldots\,$. In this article, for any standard Young tableau $\varOmega$ of skew shape $\lm$ we give a realization of $W_{\lambda}(\mu)$ as a subspace in the $n$-fold tensor product $(\mathbb{C}^N)^{\bigotimes n}$, compatible with the action of the group $G_N$. This subspace is determined as the image of a certain linear operator $F_\varOmega (M)$ on $(\mathbb{C}^N)^{\bigotimes n}$, given by an explicit formula.
When $M=0$ and $W_{\lambda}(\mu)=W_\lambda$ is an irreducible representation of the group $G_N$, we recover the classical realization of $W_\lambda$ as a subspace in the space of all traceless tensors in $(\mathbb{C}^N)^{\bigotimes n}$. Then the operator $F_\varOmega\(0)$ may be regarded as the analogue for $G_N$ of the Young symmetrizer, corresponding to the standard tableau $\varOmega$ of shape $\lambda$. This symmetrizer is a certain linear operator on $\CNn$$(\mathbb{C}^N)^{\bigotimes n} $ with the image equivalent to the irreducible polynomial representation of the complex general linear group $GL_N$, corresponding to the partition $\lambda$. Even in the case $M=0$, our formula for the operator $F_\varOmega(M)$ is new.
Our results are applications of the representation theory of the twisted Yangian, corresponding to the subgroup $G_N$ of $GL_N$. This twisted Yangian is a certain one-sided coideal subalgebra of the Yangian corresponding to $GL_N$. In particular, $F_\varOmega(M)$ is an intertwining operator between certain representations of the twisted Yangian in $(\mathbb{C}^N)^{\bigotimes n}$.
