## Action on the highest weight vector of a representation of a semisimple linear algebraic group

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$?

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}$.

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.

-
It is true. Say $\alpha$ is not perpendicular to $\lambda$. The element of the Weyl group corresponding to $\alpha$ moves $\lambda$, hence $v$. But it has a representative in the subgroup generated by $U_\alpha$, $U_{-\alpha}$. So these cannot both fix $v$. – Wilberd van der Kallen May 1 2011 at 17:04
Thanks, that exactly what I was searching for. – Benjamin Schmidt May 1 2011 at 18:56
You are forgiven for the misplaced apostrophe in the possessive version of my family name (which is commonly spelled in several ways anyway). I didn't actually choose that name, which my illiterate ancestors in England didn't worry about spelling correctly. It seems to have come from an old and now obsolete trade, which is why I took up mathematics. – Jim Humphreys May 5 2011 at 22:27
I'll remember that, if I'm going to cite anything from you in the future :-) – Benjamin Schmidt May 6 2011 at 7:40

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$.

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–395 (see Claim 23.52 and the following discussion).

-

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 Representations of Algebraic Groups (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.

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.

-