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

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(μ)=(μ,μ)+2(μ,ρ)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 (θ,θ)=2(\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 sl3sl_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:

  • casimirScalar(LieAlgebraModule)
  • casimirScalar(LieAlgebra,List) (missing documentation)

For the programmer

The object casimirScalar is a method function.


The source of this document is in LieTypes.m2:2227:0.