Macaulay2 » Documentation
Packages » LieTypes :: casimirScalar
next | previous | forward | backward | up | index | toc

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

Synopsis

Description

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 : simple LieAlgebra
i2 : V=irreducibleLieAlgebraModule({1,0},g)

o2 = V

o2 : irreducible LieAlgebraModule over g
i3 : casimirScalar(V)

     8
o3 = -
     3

o3 : QQ

Ways to use casimirScalar :

For the programmer

The object casimirScalar is a method function.