next | previous | forward | backward | up | top | index | toc | Macaulay2 website
LieTypes :: casimirScalar

casimirScalar -- computes the scalar by which the Casimir operator acts on an irreducible Lie algebra module



The Casimir operator is an element of the universal enveloping algebra that acts by a scalar on each irreducible Lie algebra module. One has $c(\mu) = (\mu,\mu) + 2(\mu,\rho)$, where $\rho$ is half the sum of the positive weights and (,) is the Killing form scaled so that $(\theta,\theta)=2$, where $\theta$ is the highest root. See Di Francesco, Mathieu, and Senechal, Conformal Field Theory, Springer Graduate Texts in Theoretical Physics, (13.127) p. 512, and (13.46) p. 499.

In the example below, we see that the Casimir operator acts as multiplication by 8/3 on the standard representation of $sl_3$.

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

o1 = g

o1 : LieAlgebra
i2 : V=irreducibleLieAlgebraModule({1,0},g)

o2 = V

o2 : g module
i3 : casimirScalar(V)

o3 = -

o3 : QQ

Ways to use casimirScalar :

For the programmer

The object casimirScalar is a method function.