Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Casimir element
Summary
In mathematics, a Casimir element (also known as a Casimir invariant or Casimir operator) is a distinguished element of the center 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.
More generally, Casimir elements can be used to refer to any element of the center of the universal enveloping algebra. The algebra of these elements is known to be isomorphic to a polynomial algebra through the Harish-Chandra isomorphism.
The Casimir element is named after Hendrik Casimir, who identified them in his description of rigid body dynamics in 1931.
The most commonly-used Casimir invariant is the quadratic invariant. It is the simplest to define, and so is given first. However, one may also have Casimir invariants of higher order, which correspond to homogeneous symmetric polynomials of higher order.
Suppose that is an -dimensional Lie algebra. Let B be a nondegenerate bilinear form on that is invariant under the adjoint action of on itself, meaning that for all X, Y, Z in . (The most typical choice of B is the Killing form if is semisimple.)
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 .
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
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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.