Casimir invariant
From Free net encyclopedia
In mathematics, a Casimir invariant or Casimir operator of a Lie algebra is a member of the center of the universal enveloping algebra of the Lie algebra. In other words, it is a member of the algebra that commutes with all the generators in the Lie algebra.
The number of independent elements of the center of the universal enveloping algebra is also the rank in the case of a semisimple Lie algebra.
In any irreducible representation of the Lie algebra, by Schur's Lemma, any member of the center of the universal enveloping algebra commutes with everything and thus is proportional to the identity. This constant of proportionality can be used to classify the representations of the Lie algebra (and hence, also of its Lie group). Mass and spin are examples of these constants, as are many other quantum numbers found in quantum mechanics. Topological quantum numbers are a counterexample.
Examples
- The Lie algebra so(3) is the Lie algebra of the rotation group. It is semisimple of rank 1, and so it has a single independent Casimir. A basis for so(3) is given by the generators
- <math>L_{12}=
\begin{pmatrix} 0& -1& 0\\ 1& 0& 0\\ 0& 0& 0 \end{pmatrix}, L_{23}= \begin{pmatrix} 0& 0& 0\\ 0& 0& -1\\ 0& 1& 0 \end{pmatrix}, L_{13}= \begin{pmatrix} 0& 0& -1\\ 0& 0& 0\\ 1& 0& 0 \end{pmatrix}. </math> In terms of this basis, the quadratic Casimir invariant is
- <math>L^2=L_{12}^2+L_{23}^2+L_{13}^2.</math>
In physics, these operators provide the components of the angular momentum, and the quadratic Casimir provides the magnitude squared of the angular momentum.