For some time I have wanted to learn about the concept of Casimir invariants and I was not very satisfied with the information I found. Now I have made new efforts to learn about this topic and I will record some of what I learned here. Let be a finite-dimensional Lie algebra and let be the corresponding connected and simply connected Lie group.The Lie algebra can be identified with , the tangent space to at the identity. There is a one-to-one correspondence between elements of this tangent space and left-invariant vector fields on . Let be the algebra of symmetric tensors over . Let denote the associative algebra which is the quotient of by elements of the form . This is called the universal enveloping algebra of . There is a natural embedding of into and it is a Lie algebra homomorphism into , the Lie algebra obtained from by using the commutator to define a Lie bracket. Given an associative algebra and a Lie algebra homomorphism from to there exists an algebra homomorphism from to such that . This is the universal property which appears in the name of the object. Here the fact has been used implicitly that and can be identified as sets. An important example is given by a representation of the Lie algebra on a vector space , which can be thought of a Lie algebra homomorphism from to .
A Casimir invariant, or Casimir element or Casimir operator of is an element of the centre of . What remains unclear to me is whether these three concepts are supposed to be equivalent, or just related. I am also not sure whether (in any of these cases) any element of the centre is allowed, or just a particular one or a particular type. One definition I have found is the following. Suppose that semisimple. Then it has a Killing form which is a non-degenerate bilinear form. Let be a basis of and let be the basis of one-forms associated to it via . (I.e. for any vector we have . Then the Casimir invariant is defined to be the element of given by . This is independent of the basis chosen. Since is an invariant bilinear form it follows that commutes with all elements of and in fact lies in the centre of . As a consequence of the universal property it is possible to define an object . This is an operator on which commutes with all elements of the image of . If the representation is irreducible then this implies that is a multiple of the identity. The factor of proportionality is a real number which is an invariant of the representation.
There is a theorem on the structure of the centre of the universal enveloping algebra of a semisimple Lie algebra which is associated with the term ‘Harish-Chandra homomorphism’. It can be used to list the number of elements required to generate the centre and their orders as polynomials in basis vectors of the Lie algebra. The number of these generators is the rank of the algebra. For instance for there is one generator of order two. For there are generators of order two and three and the rank is two. The same will be true for or . My aim at the moment is not to learn the abstract theory in depth but rather to understand enough to do some calculations for a specific application. I plan to say more about the application in a later post.