weightMuHighestWeightVectorsInSymdW(mu,d,rhoW)A highest weight vector is one that is killed by all the raising operators. The more general function weightMuHighestWeightVectorsInW can compute highest weight vectors for any representation by computing the intersection of the kernels of the raising operators restricted to the weight $\mu$ subspace. However, for large representations, this strategy will be slow. In the special case that W is of the form $\operatorname{Sym}^d W$, we want a strategy that allows us to work in the weight mu space of $\operatorname{Sym}^d W$ without fully computing $\operatorname{Sym}^d W$.
Here is our alternative approach. A highest weight vector $v_{\mu}$ of weight $\mu$ will generate an irreducible submodule $V(\mu) \subset \operatorname{Sym}^d W$. Therefore, the Casimir operator will act on $V(\mu)$ by a known scalar $c(\mu)$; see casimirScalar. Moreover, the spectrum of the Casimir operator is known. Thus, we can find the weight $\mu$ vectors with eigenvalue $c(\mu)$ by starting with a monomial basis of $\operatorname{Sym}^d W$ and iteratively projecting away the components that correspond to the other Casimir scalars.
Let $W$ be the irreducible representation of $sl_4$ with highest weight $\omega_1 + \omega_2$, and let $V(2,0,1)$ be the irreducible representation with highest weight $2\omega_1 + \omega_3$. The multiplicity of $V(2,0,1)$ in $\operatorname{Sym}^3 W$ is 2. In the example below, we compute two highest weight vectors of weight $(2,0,1)$ in $\operatorname{Sym}^3 W$. We work with the Gelfand-Tsetlin basis in these calculations.
|
|
|
|
|
|
The object weightMuHighestWeightVectorsInSymdW is a method function.
The source of this document is in LieAlgebraRepresentations/documentation.m2:2767:0.