# Is there an account of the algebra of highest weight tensors?

The context for this question is Schur-Weyl duality. Let $V$ be a vector space. For $r>0$ consider $\otimes^rV$. This has commuting actions of the symmetric group $S(r)$ and $G=GL(V)$.

My question is prompted by reading $\S 51$ in "Compact Lie groups and their representations" by D. P. Zelobenko.

Choose a Borel subgroup $B\subset G$ and let $N\subset B$ be the unipotent radical. Then by the algebra of highest weight tensors I mean the algebra of $N$-invariant tensors in the tensor algebra of $V$. Is there a description of this algebra? say, generators, relations and a basis indexed by standard tableaux?

Since I expect this to be known (perhaps implicitly) a supplementary question is whether the $q$-analogue of this algebra is a deformation of the plactic monoid algebra? More precisely it should be possible to put $q=0$ to get the plactic monoid algebra.

• Hmm, wait a moment. You live over an algebraically closed field of characteristic zero? Then all Borel subgroups of $G=\mathrm{GL}\left(V\right)$ are conjugate to $U_n$, the group of upper triangular unipotent matrices (where $n=\dim V$ and I identify $V$ with $k^n$), right? Now there is a theorem that for every irreducible representation $P$ of $G$, the space $P^{U_n}$ is $1$-dimensional, i. e. there is (up to scalars) one and only one $U_n$-invariant vector in $P$. (This is, for example, in math.unibas.ch/~kraft/Papers/KP-Primer.pdf 5.7 Corollary 1.) Nov 6, 2010 at 23:14
• The decomposition of $\otimes V$ into the Schur functors of $V$ is well-known - at least, nonconstructively. It now probably remains to actually locate these Schur functors inside $\otimes V$, and find their $U_n$-invariants. Nov 6, 2010 at 23:16
• Darij- I think you missed the point of his question. He wants to know the ring, not just the vector space. Nov 8, 2010 at 4:13

The highest weight vectors in the tensor algebra are obtained by applying certain Young symmetrizers to tensor products of standard basis vectors of $V$. For example, a highest weight vector is obtained from $$e_1 \otimes e_1 \otimes e_2 \otimes e_2$$ by applying the Young symmetrizer of the tableau of shape $(2,2)$ filled with $1,2,3,4$ from left-to-right top-to-bottom. There is a basis for the space of highest weight vectors indexed by pairs of tableaux $(T,S)$ where $T$ and $S$ have the same shape, row $i$ of $T$ consists of the number $i$ and $S$ is standard. I think this is written up in Fulton's book on Young Tableaux.