Multiplication of extreme vector - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T07:09:03Z http://mathoverflow.net/feeds/question/21875 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/21875/multiplication-of-extreme-vector Multiplication of extreme vector Shizhuo Zhang 2010-04-19T18:59:10Z 2010-04-20T13:17:01Z <p>This question might be elementary and standard. </p> <p>Standard Notions: Let $g$ be a semisimple Lie algebra. Let $\pi=({\alpha_{1},....\alpha_{n}})$ be simple roots</p> <p>$P^{+}(\pi)=\Sigma\mathbb{N}\alpha _{i}$</p> <p>Suppose $\lambda,\nu\in P^{+}(\pi)$ and $e_{w\lambda}, e_{w\nu}$ are <a href="http://mathoverflow.net/questions/21656/what-is-extreme-extremal-vector-according-to-some-weights" rel="nofollow">extreme vector</a>. ($\lambda,\nu$ are highest weight and $w\in W$, Weyl group).</p> <p>Claim 1: $e_{w\lambda}\otimes e_{w\nu}$ is an extreme vector of weight vector $e_{w(\lambda+\nu)}$.(This has been done, easily follows from the definition of tensor products of representations)</p> <p>Claim 2: $e_{w\lambda}\otimes e_{w\nu}=A^{*}e_{w(\lambda+\nu)}$, where $A^{*}$ is multiplicative set of invertible elements</p> <p>There is a paper by A.Joseph talking about this observation. He claimed that it follows from <strong>Weyl Character formula</strong>. I think he might talk about the decomposition of tensor product of irreducible representations. However, I can not find a proof. </p> <p>Any comments are welcome.</p> <p>Edit: The paper I talked about is "Faithfully flat embeddings for minimal primitive quotients of quantized enveloping algebras" by Anthony Joseph. There is another paper by A.Rosenberg and V.Lunts on "<a href="http://www.springerlink.com/content/xp7xvqu6ahncmf4v/fulltext.pdf" rel="nofollow">localization for quantum group</a>" page 138 </p> <p>Section 2: Ore localization of rings $R_{A}$. They claimed </p> <p>$e_{w\lambda}\otimes e_{w\nu}=A^{*}e_{w(\lambda+\nu)}$, where $A^{*}$ is multiplicative set of invertible elements by using Weyl character formula,but how?</p> http://mathoverflow.net/questions/21875/multiplication-of-extreme-vector/21891#21891 Answer by Steven Sam for Multiplication of extreme vector Steven Sam 2010-04-19T20:53:39Z 2010-04-19T20:53:39Z <p>If $e_\lambda$ and $e_\nu$ are highest weight vectors, of their respective representations, then $e_\lambda \otimes e_\nu$ is a highest weight vector in the tensor product: being a highest weight vector just means that it's an eigenvector for our fixed Borel subalgebra, which remains true using the action of a Lie algebra on a tensor product of representations. Applying $w$, we see that $e_{w\lambda} \otimes e_{w\nu}$ is an extreme vector.</p> http://mathoverflow.net/questions/21875/multiplication-of-extreme-vector/21958#21958 Answer by Jim Humphreys for Multiplication of extreme vector Jim Humphreys 2010-04-20T13:17:01Z 2010-04-20T13:17:01Z <p>Maybe I understand what the basic question is, after looking at the two papers mentioned:</p> <p>MR1261902 (94m:17013) 17B37 (17B35) Joseph, Anthony (F-PARIS6-F), Faithfully flat embeddings for minimal primitive quotients of quantized enveloping algebras. Quantum deformations of algebras and their representations (Ramat-Gan, 1991/1992; Rehovot, 1991/1992), 79–106, Israel Math. Conf. Proc., 7, Bar-Ilan Univ., Ramat Gan, 1993.</p> <p>MR1694897 (2001f:17028) 17B37 (16S32 22E47) Lunts,V. A. (1-IN); Rosenberg, A. L. [Rosenberg, Alexander L.] (D-MPI), Localization for quantum groups. Selecta Math. (N.S.) 5 (1999), no. 1, 123–159.</p> <p>Fortunately I have the conference volume containing Joseph's paper and can get the other paper online via the library Springer subscription.</p> <p>Both papers discuss how to pass from classical results on localization and such to quantized enveloping algebras (not easy to do), but I think the immediate issue just concerns the classical theory of finite dimnsional representations of a semisimple Lie algebra. Here each simple module <code>$E(\lambda)$</code> has a unique highest weight vector <code>$e_\lambda$</code> up to scalars (with French <em>espace</em> <code>$E$</code> instead of English vector space <code>$V$</code>). When tensoring two such modules <code>$E(\lambda) \otimes E(\mu)$</code>, a summand <code>$E(\lambda +\mu)$</code> occurs uniquely and involves the highest weight of the tensor product. By taking the direct sum of all simple modules, one gets a transparent description of the representation ring due to complete reducibility. To get a unique choice of highest weight vector <code>$e_\lambda$</code> for each dominant integral weight, it is enough here to specify arbitrary choices for the fundamental weights and then tensor systematically. </p> <p>In Joseph's 2.2 the wording may be misleading. He comments parenthetically that the analogous simple modules for the quantized enveloping algebra also satisfy the Weyl character formula. But this is unrelated to the following line "Consequently ..." (Joseph's papers are interesting but not always easy to read in detail.) </p>