Skip to main content
1 of 4
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

To expand my short comment, the result itself (formulated by Sasha) has been around a long time and depends only on the definitions involved. Textbooks dealing with the highest weight classification of finite dimensional modules over $\mathbb{C}$ (which you assume but haven't specified) always say something about dual modules of simple modules but sometimes informally in exercises and sometimes more formally. For instance, the result appears in the book by Onishchik-Vinberg (where the tough exercise is to find it) but also much more formally in the treatise by Bourbaki: see Chapter VIII, $\S7.5$. (This statement about highest weight of the dual simple module actually carries over easily to prime characteristic as well, though the dimensions of such modules tend to shrink.)

The statement is fairly easy to visualize in terms of weight diagrams and Weyl group symmetry, since the modules are finite dimensional. An easy step (not requiring machinery and done quite generally in Bourbaki's Chapter I) is to show that $V^*$ is simple when $V$ is: this just requires duality and finite dimensionality along with the definition of the dual action, since submodules of one correspond to quotients of the other.

In the highest weight situation, the weight diagram of $V$ is symmetric under the Weyl group as is that of $V^*$. The weights (with multiplicity) of the latter are the negatives of the original weights, using just the definition of how the dual action, so the "lowest" weight is $-\lambda$. To get the highest weight use $w_0$ to pass from negative to positive root action, so the answer is $-w_0 \lambda$.

Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240