Action on the highest weight vector of a representation of a semisimple linear algebraic group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T19:45:55Z http://mathoverflow.net/feeds/question/63621 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/63621/action-on-the-highest-weight-vector-of-a-representation-of-a-semisimple-linear-al Action on the highest weight vector of a representation of a semisimple linear algebraic group Benjamin Schmidt 2011-05-01T16:51:45Z 2011-05-05T22:22:01Z <p>Let $G$ be a semisimple linear algebraic group, $V$ a $G$-representation and $v \in V$ a vector of highest weight $\lambda$. Is it true, that for any positive root $\alpha \in R^+$ the one dimensional unipotent subgroup $U_{-\alpha}$ acts trivially on $v$ if and only if $\langle \alpha^{\vee}, \lambda \rangle = 0$?</p> <p>I'm asking, because I want to apply this to the following situation. For any simple root $\alpha$, I denote the corresponding fundamental weight by $\omega$. Let $V=V(\omega)$ be the simple representation of highest weight $\omega$ with highest weight vector $v$. I'm trying to prove, that the stabilizor of the element $[v] \in \mathbb{P}(V)$ is the maximal parabolic that doesn't contain $U_{-\alpha}$.</p> <p>The only reference I have for representations of semisimple groups is the small chapter in Humphrey's book Linear algebraic groups. I would also be grateful, if someone could give me a bigger reference on that subject.</p> http://mathoverflow.net/questions/63621/action-on-the-highest-weight-vector-of-a-representation-of-a-semisimple-linear-al/63625#63625 Answer by Tom Church for Action on the highest weight vector of a representation of a semisimple linear algebraic group Tom Church 2011-05-01T17:45:18Z 2011-05-01T17:45:18Z <p>For any irreducible representation $V$ with highest weight vector $v$ and highest weight $\lambda$, the stabilizer of $[v]\in \mathbb{P}V$ is the parabolic subgroup corresponding to those simple roots that are orthogonal to $\lambda$. By this I mean the parabolic generated by $\mathfrak{h}$, all positive root spaces, and the negative root spaces $\mathfrak{g}_{-\alpha}$ with $\alpha$ simple and $\langle \alpha,\lambda\rangle=0$.</p> <p>For the representation theory of semisimple algebraic groups I strongly recommend the book "Representation Theory" by Fulton and Harris; in particular, this answer was taken from §23.3, Homogeneous spaces, p. 382&ndash;395 (see Claim 23.52 and the following discussion).</p> http://mathoverflow.net/questions/63621/action-on-the-highest-weight-vector-of-a-representation-of-a-semisimple-linear-al/64060#64060 Answer by Jim Humphreys for Action on the highest weight vector of a representation of a semisimple linear algebraic group Jim Humphreys 2011-05-05T22:22:01Z 2011-05-05T22:22:01Z <p>A couple of added remarks, too long for a comment. For a more comprehensive reference in the algebraic group setting, there is (uniquely) the second edition of Jantzen's book <em>Representations of Algebraic Groups</em> (AMS, 2003). This large book of course contains far more than you need here but also allows the field to be of arbitrary characteristic. While the specific features of the finite dimensional irreducible representations (such as dimensions) usually differ in prime characteristic from the classical case, the "highest weight" technology doesn't really change so much. </p> <p>On the other hand, if you stay in characteristic 0 the Lie algebra representations provide most of the information you want and are worked out in an example-oriented geometric spirit by Fulton and Harris. But the question you ask is really centered on roots and weights in the context of parabolic subgroups, where Jantzen gives the most extensive treatment. This is dealt with much more concisely in Wilberd's comment. </p>