Tensor product decomposition of V and g - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T10:44:03Z http://mathoverflow.net/feeds/question/61683 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/61683/tensor-product-decomposition-of-v-and-g Tensor product decomposition of V and g Anton Galaev 2011-04-14T11:19:03Z 2011-04-14T18:18:22Z <p>Let $g$ be a simple complex Lie algebra with an irreducible representation $g\subset so(V)$ with the highest weight $\Lambda$.</p> <p>In the book by Onishchik and Vinberg "Lie groups and algebraic groups" the following formula is given. If $V_\Lambda$ and $V_M$ are irreducible $g$-modules with the highest weights $\Lambda$ and $M$, then the multiplicity of $V_N$ in $V_\Lambda\otimes V_M$ equals</p> <p>$\dim$ { $v\in(V_M)_{N-\Lambda}|(e_i)^{\Lambda_i+1}v=0, i=1,...,l$} </p> <p>$= \dim$ {$v\in(V_N)_{\Lambda-M'}|(e_i)^{M'_i+1}v=0, i=1,...,l$},</p> <p>where $l$ is the rank of $g$, ${e_i,f_i,H_i}$ are canonical generators of $g$, $\Lambda_i$ are labels on the Dynkin diagram, and $M'$ is the highest weight of $(V_M)^*$, $(V_M)_{N-\Lambda}$ denotes the weight space of weight $N-\Lambda$.</p> <p>Taking $V_M=g$, we obtain $$V\otimes g=kV\oplus\oplus_\lambda V_\lambda,$$ where $k$ is the number of non-zero labels on the Dynkin diagram of $g$ defining the representation $g\subset so(V)$, and $V_\lambda$ are irreducible modules different from $V$ with the the highest weights $\lambda$ that are pairwise different. Of course, one of the modules $V_\lambda$ is $V_{\Lambda+\delta}$, $\delta$ is the highest root.</p> <p>Are there some other formulas that may give more information about $V_\lambda$? I would like to have an expression for an element (not necessary of the highest vector) of each $V_\lambda$. Is it possible that $V_\lambda$ contains an element of the form $v\otimes A$, where $v\in V$, $A\in g$?</p> <p>I am classifying irreducible subalgebras $g\subset so(V)$ that admit linear maps from $V$ to $g$ satisfying some equation. I guess that only $V_{\Lambda+\delta}$ may consist of such maps. To show that other $V_\lambda$ do not consist of such maps, I need to take some element from these modules and to check the equation.</p> <p>The above formulas show that to each $V_\lambda$ there is a preferred root space in $g$ of weight $\lambda-\Lambda$ and a line in $V_\Lambda$ of weight $\lambda-\delta$. How the elements from these lines can be used?</p> http://mathoverflow.net/questions/61683/tensor-product-decomposition-of-v-and-g/61706#61706 Answer by Bruce Westbury for Tensor product decomposition of V and g Bruce Westbury 2011-04-14T14:51:04Z 2011-04-14T16:54:27Z <p>I think the formula you are looking for is $V(\mu)\otimes g\cong kV(\mu) \oplus \oplus_\alpha V(\mu+\alpha)$ where the sum is over roots $\alpha$ such that $\mu+\alpha$ is a dominant weight. Here $V(\lambda)$ is irreducible with highest weight $\lambda$ for $\lambda$ an integral dominant weight.</p>