In mathematics, a Casimir element (also known as a Casimir invariant or Casimir operator) is a distinguished element of the centre of the universal enveloping algebra of a Lie algebra. A prototypical example is the squared angular momentum operator, which is a Casimir element of the three-dimensional rotation group.
Suppose that is an -dimensional semisimple Lie algebra. Let B be a bilinear form on that is invariant under the adjoint action of on itself, meaning that for all X,Y,Z in G. (The most typical choice of B is the Killing form.) Let
be any basis of , and
be the dual basis of with respect to B. The Casimir element for B is the element of the universal enveloping algebra given by the formula
Although the definition relies on a choice of basis for the Lie algebra, it is easy to show that Ω is independent of this choice. On the other hand, Ω does depend on the bilinear form B. The invariance of B implies that the Casimir element commutes with all elements of the Lie algebra , and hence lies in the center of the universal enveloping algebra .
Casimir invariant of a linear representation and of a smooth action
Given a representation ρ of on a vector space V, possibly infinite-dimensional, the Casimir invariant of ρ is defined to be ρ(Ω), the linear operator on V given by the formula
Here we are assuming that B is the Killing form, otherwise B must be specified.
A specific form of this construction plays an important role in differential geometry and global analysis. Suppose that a connected Lie group G with Lie algebra acts on a differentiable manifold M. Consider the corresponding representation ρ of G on the space of smooth functions on M. Then elements of are represented by first order differential operators on M. In this situation, the Casimir invariant of ρ is the G-invariant second order differential operator on M defined by the above formula.
Specializing further, if it happens that M has a Riemannian metric on which G acts transitively by isometries, and the stabilizer subgroup Gx of a point acts irreducibly on the tangent space of M at x, then the Casimir invariant of ρ is a scalar multiple of the Laplacian operator coming from the metric.
More general Casimir invariants may also be defined, commonly occurring in the study of pseudo-differential operators in Fredholm theory.
Since for a simple lie algebra every invariant bilinear form is a multiple of the Killing form, the corresponding Casimir element is uniquely defined up to a constant. For a general semisimple Lie algebra, the space of invariant bilinear forms has one basis vector for each simple component, and hence the same is true for the space of corresponding Casimir operators.
Relation to the Laplacian on G
If is a Lie group with lie algebra , the choice of an invariant bilinear form on corresponds to a choice of bi-invariant Riemannian metric on . Then under the identification of the universal enveloping algebra of with the left invariant differential operators on , the Casimir element of the bilinear form on maps to the Laplacian of (with respect to the corresponding bi-invariant metric).
The Casimir operator is a distinguished quadratic element of the center of the universal enveloping algebra of the Lie algebra. In other words, it is a member of the algebra of all differential operators that commutes with all the generators in the Lie algebra. In fact all quadratic elements in the center of the universal enveloping algebra arise this way. However, the center may contain other, non-quadratic, elements.
By Racah's theorem, for a semisimple Lie algebra the dimension of the center of the universal enveloping algebra is equal to its rank. The Casimir operator gives the concept of the Laplacian on a general semisimple Lie group; but this way of counting shows that there may be no unique analogue of the Laplacian, for rank > 1.
By definition any member of the center of the universal enveloping algebra commutes with all other elements in the algebra. By Schur's Lemma, in any irreducible representation of the Lie algebra, the Casimir operator is thus 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). Physical mass and spin are examples of these constants, as are many other quantum numbers found in quantum mechanics. Superficially, topological quantum numbers form an exception to this pattern; although deeper theories hint that these are two facets of the same phenomenon.[according to whom?].
The Lie algebra is the Lie algebra of SO(3), the rotation group for three-dimensional Euclidean space. It is simple of rank 1, and so it has a single independent Casimir. The Killing form for the rotation group is just the Kronecker delta, and so the Casimir invariant is simply the sum of the squares of the generators of the algebra. That is, the Casimir invariant is given by
In an irreducible representation, the invariance of the Casimir operator implies that it is a multiple of the identity element e of the algebra, so that
In quantum mechanics, the scalar value is referred to as the total angular momentum. For finite-dimensional matrix-valued representations of the rotation group, always takes on integer values (for bosonic representations) or half-integer values (for fermionic representations).
For a given value of , the matrix representation is -dimensional. Thus, for example, the three-dimensional representation for so(3) corresponds to , and is given by the generators
The quadratic Casimir invariant is then
Given that is central in the enveloping algebra, it acts on simple modules by a scalar. Let be any bilinear symmetric non-degenerate form, by which we define . Let be the finite dimensional highest weight module of weight . Then the Casimir element acts on by the constant where is the weight defined by half the sum of the positive roots.
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics 222 (2nd ed.), Springer