next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
LieTypes :: starInvolution

starInvolution -- computes w* for a weight w



Let g be a Lie algebra. We give three equivalent descriptions of an involution * on the weights of g:

1. The involution * is given by -w0, where w0 is the longest word in the Weyl group W(g).

2. If μ is a dominant integral weight, and Vμ is the irreducible Lie algebra module with highest weight μ, then μ* is the highest weight of the dual module (Vμ)*.

3. If the Dynkin diagram of g has an involution, then * corresponds to the action of this involution on weights.

The formulas implemented have been adapted from Di Francesco, Mathieu, and Senechal, Conformal Field Theory, Springer Graduate Texts in Theoretical Physics, p. 511. Some changes are needed because we use the Bourbaki ordering of the roots in type E instead of the [DMS] ordering.

In the example below, we see that for sl3, ω1* = ω2.

i1 : g=simpleLieAlgebra("A",2)

o1 = g

o1 : LieAlgebra
i2 : starInvolution({1,0},g)

o2 = {0, 1}

o2 : List

Ways to use starInvolution :