casimirScalar(V)
The Casimir operator is an element of the universal enveloping algebra that acts by a scalar on each irreducible Lie algebra module. One has , where is half the sum of the positive weights and (,) is the Killing form scaled so that , where 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 .
|
|
|
The object casimirScalar is a method function.
The source of this document is in LieTypes.m2:2227:0.