Casimir element

Casimir element The Casimir element is a canonical central element in the universal enveloping algebra of a Lie algebra that plays a pivotal role in representation theory and theoretical physics. Originating in early 20th-century studies by figures such as Élie Cartan and formalized through work by Harish-Chandra and others, it connects the structure of semisimple Lie algebras with spectral invariants of representations and with conserved quantities in models studied by Paul Dirac and Werner Heisenberg. Its construction, eigenvalues, and generalizations inform classification results attributed to Hermann Weyl, Issai Schur, and modern developments involving Drinfeld, Vladimir Drinfeld, and Michio Jimbo.

Definition and construction

Given a finite-dimensional semisimple Lie algebra g over a field (often complex numbers), choose a nondegenerate invariant bilinear form such as the Killing form used by Élie Cartan; pick a basis {x_i} of g and let {x^i} denote the dual basis with respect to that form. Form the quadratic element sum_i x_i x^i inside the universal enveloping algebra U(g) of g; this element, historically introduced in contexts related to work by Harish-Chandra and Hermann Weyl, is the Casimir element. Construction variants use the Cartan subalgebra and root system data exploited by Cartan, Élie Joseph Cartan, and later by Kostant and Bernstein to produce higher-order central elements via Harish-Chandra isomorphism. In algebraic terms the Casimir arises from the canonical map from Sym^2(g)^{g} into the center Z(U(g)), a perspective developed in connections to Schur–Weyl duality and investigations by Issai Schur and Weyl.

Properties and algebraic significance

The Casimir element lies in the center Z(U(g)), commuting with every element of U(g); this centrality follows from invariance properties tied to the adjoint representation studied by Élie Cartan and formalized by Harish-Chandra. Under the Harish-Chandra isomorphism the Casimir corresponds to a quadratic invariant polynomial on a Cartan subalgebra, linking to the Weyl group action prominent in work by Hermann Weyl. In irreducible representations classified by highest weights as in the Borel–Weil theorem and the Cartan–Weyl theory, the Casimir acts by a scalar given by a quadratic function of the highest weight; these eigenvalue formulas were used in proofs by Weyl and by W. Schmid. The Casimir participates in the center's algebraic generation alongside higher Casimir elements related to invariant symmetric tensors studied by Kostant, Chevalley, and Harish-Chandra and features in character formulae such as the Weyl character formula.

Examples and computations

For g = sl(2, C), one takes standard generators e, f, h from the Cartan–Weyl basis associated to root system type A1; the Casimir becomes a quadratic polynomial in e, f, h whose eigenvalue on the spin-j irreducible representation matches the familiar j(j+1) from angular momentum theory explored by Wolfgang Pauli and Paul Dirac. For g = so(3) and connections to rotation group representations as in the work of Eugene Wigner and Marian Smoluchowski, the Casimir coincides with the total angular momentum operator. Computations for classical series such as sl(n), so(n), sp(2n) use bases adapted to Cartan subalgebra and root decomposition methods developed by Élie Cartan and Hermann Weyl; explicit eigenvalue formulas employ highest weights and the Weyl vector ρ appearing in the Harish-Chandra isomorphism and Weyl character formula. For exceptional Lie algebras like g2, f4, e6, e7, e8—studied by Wilhelm Killing and Élie Cartan—Casimir computations rely on invariant theory results by Chevalley and algorithms from modern computational algebra systems implemented by researchers at institutions such as Institut des Hautes Études Scientifiques.

Role in representation theory

In category-theoretic and module-theoretic approaches to representations of g, the Casimir serves as a spectral parameter distinguishing blocks in category O as developed by Joseph Bernstein, Israel Gelfand, and Dmitry Kharzeev; it yields central characters central to the Harish-Chandra isomorphism and the classification of primitive ideals in U(g) studied by Bertram Kostant and Anthony Joseph. In the context of Schur–Weyl duality, the Casimir corresponds to central elements reflecting commutant algebras as in the foundational work of Issai Schur and later expansions by Roger Howe. The action of the Casimir in tensor product decompositions interfaces with Clebsch–Gordan coefficients and branching rules that featured in the representation theory contributions of Eugene Wigner and Hermann Weyl.

Connections to quantum groups and physics

In quantum groups introduced by Vladimir Drinfeld and Michio Jimbo, q-deformations of universal enveloping algebras admit q-analogues of Casimir elements whose properties influence representation categories studied by Lusztig and Kirillov Jr.. In theoretical physics the Casimir operator corresponds to conserved quantities such as total angular momentum in quantum mechanics studied by Paul Dirac and Wolfgang Pauli and to mass-squared operators in Poincaré group representations analyzed by Eugene Wigner; in conformal field theory and integrable systems it appears in Hamiltonians and transfer matrices studied by Ludwig Faddeev and Alexander Zamolodchikov. Extensions to braided and Hopf algebra contexts link the Casimir to ribbon elements and monodromy matrices used in constructions by Reshetikhin and Turaev and inform dualities explored in modern mathematical physics programs at institutions like CERN and Institute for Advanced Study.

Category:Lie algebras