# Casimir element
A **Casimir element** is a distinguished central element of the universal enveloping algebra (the largest associative algebra containing a [Lie algebra](https://www.edgepedia.org/lie-algebra)'s structure) U(𝔤) of a Lie algebra 𝔤, constructed from a nondegenerate invariant bilinear form B on 𝔤. Given a basis x₁, ..., x_d of 𝔤 and the dual basis y₁, ..., y_d satisfying B(xᵢ, yⱼ) = δᵢⱼ, the element
\[ \Delta = \sum_{i=1}^{d} x_i y_i \]
lies in the center of U(𝔤) and does not depend on the choice of basis; it is called the Casimir element of U(𝔤) with respect to B[1](https://www-fourier.ujf-grenoble.fr/~panchish/ETE%20LAMA%202018-AP/lecturesZETAS2018/BumpD-Lie%20groups.pdf). When 𝔤 is semisimple, B is normally taken to be the [Killing form](https://www.edgepedia.org/killing-form), the canonical invariant form carried by every semisimple Lie algebra[2](https://math.berkeley.edu/~goldfarb/Misc/Lie_theory_notes.pdf). The element is named after the Dutch physicist Hendrik B. G. Casimir, whose 1931 thesis showed how a corresponding second-order operator can be defined for any semisimple Lie algebra[3](https://www.sciencedirect.com/topics/mathematics/casimir-operator).
| Key fact | Detail |
|---|---|
| Definition | For a nondegenerate invariant bilinear form B with dual bases, \( \Delta = \sum_i x_i y_i \in U(\mathfrak{g}) \) is central and basis-independent[1](https://www-fourier.ujf-grenoble.fr/~panchish/ETE%20LAMA%202018-AP/lecturesZETAS2018/BumpD-Lie%20groups.pdf) |
| Uniqueness | If 𝔤 is simple, the Casimir element is unique up to a constant, since any symmetric invariant bilinear form is a scalar multiple of the Killing form[2](https://math.berkeley.edu/~goldfarb/Misc/Lie_theory_notes.pdf) |
| sl₂ example | \( C = ef + fe + \tfrac{1}{2}h^2 \); the normalized element C/8 acts as \( m(m+2) \) on the irreducible of highest weight m[4](https://math.stanford.edu/~conrad/210CPage/handouts/lie_groups_notes.pdf) |
| Eigenvalue formula | On an irreducible highest-weight module of highest weight λ, the Killing-form Casimir acts as the scalar \( (\lambda, \lambda + 2\rho) \)[5](https://androma.org/theorems/9380) |
| Center structure | For simple 𝔤 of rank ℓ, the center of U(𝔤) is a polynomial algebra on ℓ generators, of which the quadratic Casimir is one[6](https://math.berkeley.edu/~frenkel/loop.pdf) |
| Origin | Casimir (1931) defined the second-order operator for any semisimple Lie algebra; Racah (1950, 1951) showed higher-order Casimirs distinguish irreducibles when the rank exceeds 1[3](https://www.sciencedirect.com/topics/mathematics/casimir-operator) |
| Physics role | For so(3) the quadratic Casimir is proportional to angular momentum squared; the Poincaré algebra has two independent Casimirs, \( P^2 \) and \( W^2 \)[7](https://people.fjfi.cvut.cz/snobllib/Casimirs_Lesna.pdf) |
## Construction and centrality
The construction requires a bilinear form B that is both nondegenerate and invariant, meaning \( B([z, x], y) + B(x, [z, y]) = 0 \) for all x, y, z in 𝔤. For gl(n), the trace form tr(XY) is a standard example[8](https://pi.math.cornell.edu/~barbasch/china2024.pdf). The proof of centrality uses invariance directly: writing \( [z, x_i] = \sum_j \alpha_{ij} x_j \) and \( [z, y_i] = \sum_j \beta_{ij} y_j \), invariance forces \( \beta_{ij} = -\alpha_{ji} \), and the two index contractions in the commutator \( [z, \Delta] \) then cancel term by term[1](https://www-fourier.ujf-grenoble.fr/~panchish/ETE%20LAMA%202018-AP/lecturesZETAS2018/BumpD-Lie%20groups.pdf). Equivalently, the tensor \( \sum_i x_i \otimes x^i \) is the identity endomorphism of 𝔤, which is ad-invariant, and its image in U(𝔤) is therefore central[2](https://math.berkeley.edu/~goldfarb/Misc/Lie_theory_notes.pdf).
In coordinates relative to the Killing form, the same element is often written with raised indices. Writing \( g_{mn} = B(e_m, e_n) \) for the components of the form and \( g^{pq} \) for the inverse matrix, the quadratic Casimir operator is
\[ \Omega = g^{mn} e_m e_n, \]
a product that formally lives in the enveloping algebra[9](https://books.physics.oregonstate.edu/GELG/Casimir.html). Some authors include a factor of ½ in the definition; with a nonzero invariant inner product κ₀ and dual bases, the element \( P = \tfrac{1}{2} \sum_a J^a J_a \) is central, and replacing κ₀ by a nonzero scalar multiple aκ₀ multiplies P by a⁻¹[6](https://math.berkeley.edu/~frenkel/loop.pdf) • [16](https://soimeme.org/~arunram/Notes/casimirContent.html).
## The example of sl₂
For \( \mathfrak{sl}_2(\mathbb{C}) \) with standard generators e, f, h, the Killing-form dual basis gives
\[ C = ef + fe + \tfrac{1}{2} h^2. \]
Because C is central, it commutes with the action of 𝔰𝔩₂ in any representation; by [Schur's lemma](https://www.edgepedia.org/schurs-lemma) it acts as a constant on each irreducible representation, and a reducible representation decomposes into eigenspaces of C[2](https://math.berkeley.edu/~goldfarb/Misc/Lie_theory_notes.pdf). In the normalization \( C/8 \in Z(U(\mathfrak{sl}_2)) \), direct computation shows that C acts as \( m(m+2) \) on the irreducible module of highest weight m[4](https://math.stanford.edu/~conrad/210CPage/handouts/lie_groups_notes.pdf). In the alternative normalization \( \Omega = \tfrac{1}{2}H^2 + XY + YX \), the scalar on the irreducible of highest weight \( \lambda = \dim_{\mathbb{C}} V - 1 \) is \( \tfrac{1}{2}(\dim_{\mathbb{C}} V)(\dim_{\mathbb{C}} V - 1) \)[10](https://www-users.cse.umn.edu/~garrett/m/lie/hc_isomorphism.pdf).
This scalar action is the mechanism behind one of the standard proofs of Weyl's theorem, that every complex finite-dimensional representation of a semisimple Lie algebra is completely reducible[2](https://math.berkeley.edu/~goldfarb/Misc/Lie_theory_notes.pdf).
## The center of the enveloping algebra
The quadratic Casimir is only one member of a larger family. For a finite-dimensional simple Lie algebra of rank ℓ over ℂ, the center \( Z(\mathfrak{g}) \) of U(𝔤) is a polynomial algebra \( \mathbb{C}[P_1, \ldots, P_\ell] \) generated by elements of orders \( d_i + 1 \), where the \( d_i \) are the exponents of 𝔤; for \( \mathfrak{sl}_n \) the exponents are \( \{1, \ldots, n-1\} \)[6](https://math.berkeley.edu/~frenkel/loop.pdf). The first exponent of any simple Lie algebra is always 1, so a quadratic central element always exists, and this is the Casimir element[6](https://math.berkeley.edu/~frenkel/loop.pdf). The [Harish-Chandra isomorphism](https://www.edgepedia.org/harish-chandra-isomorphism) identifies \( Z(\mathfrak{g}) \) with the Weyl-group invariants \( U(\mathfrak{h})^{\mathcal{W}} \cong \mathbb{C}[\mathfrak{h}^*]^{\mathcal{W}} \) on a [Cartan subalgebra](https://www.edgepedia.org/cartan-subalgebra) 𝔥; for \( \mathfrak{gl}_k \) this invariant ring is the classical ring of symmetric polynomials in k variables[11](https://drops.dagstuhl.de/storage/00lipics/lipics-vol339-ccc2025/html/LIPIcs.CCC.2025.26/LIPIcs.CCC.2025.26.html).
Every central element acts as a scalar on an irreducible module, and this scalar assignment defines the infinitesimal character of the module[8](https://pi.math.cornell.edu/~barbasch/china2024.pdf). For the Killing-form Casimir on an irreducible highest-weight module of highest weight λ, the scalar is
\[ (\lambda, \lambda + 2\rho), \]
where ρ is half the sum of the positive roots[5](https://androma.org/theorems/9380).
## Distinguishing representations
Because Casimir eigenvalues are invariant under equivalence of representations, they can be used to tell inequivalent irreducibles apart[7](https://people.fjfi.cvut.cz/snobllib/Casimirs_Lesna.pdf). For \( \mathfrak{so}(3) \) and \( \mathfrak{su}(2) \), the single quadratic Casimir suffices: its eigenvalue is essentially \( \ell(\ell+1) \), the square of angular momentum[9](https://books.physics.oregonstate.edu/GELG/Casimir.html). For algebras of rank greater than 1, the quadratic eigenvalue no longer determines the representation. Racah showed in 1950 and 1951 that a semisimple Lie algebra of rank ℓ possesses a set of ℓ independent Casimir operators, of orders up to the exponents plus one, whose eigenvalues together do completely specify the irreducible representation[3](https://www.sciencedirect.com/topics/mathematics/casimir-operator) • [7](https://people.fjfi.cvut.cz/snobllib/Casimirs_Lesna.pdf).
## Role in physics
Casimir invariants carry conserved physical quantities associated with symmetry groups. For the angular momentum algebra so(3), the quadratic Casimir is \( C = -\tfrac{1}{2} \sum_{l=1}^{3} L_l^2 \), proportional to the square of angular momentum as used in quantum mechanics[7](https://people.fjfi.cvut.cz/snobllib/Casimirs_Lesna.pdf). For the [Poincaré algebra](https://www.edgepedia.org/poincare-algebra), which is not semisimple but has a Levi decomposition into the Lorentz algebra and an abelian radical of translations, there are two independent Casimirs: \( P^2 = \sum \eta^{\mu\nu} P_\mu P_\nu \), whose eigenvalue fixes the particle mass, and \( W^2 \) built from the Pauli-Lubanski vector \( W_\mu = -\tfrac{1}{2} \varepsilon_{\mu\nu\rho\sigma} M^{\nu\rho} P^\sigma \), whose eigenvalue fixes the spin[7](https://people.fjfi.cvut.cz/snobllib/Casimirs_Lesna.pdf). The Klein-Gordon, Dirac, and Maxwell equations arise as eigenvalue equations for these Casimir operators in the unitary representations of the [Poincaré group](https://www.edgepedia.org/poincare-group)[12](https://arxiv.org/abs/math-ph/0502018).
On the geometric side, the Casimir element acts as an invariant differential operator. For a compact semisimple Lie group G with Killing form B, the Casimir element corresponds to an invariant differential operator on G, and on the quotient \( M = G/K \) with the induced metric the Laplace-Beltrami operator satisfies \( \Delta = -C \)[13](https://www.sciencedirect.com/topics/mathematics/laplace-beltrami-operator). Spherical functions on symmetric spaces are joint eigenfunctions of these invariant operators, a fact used throughout harmonic analysis on homogeneous spaces[14](https://www.sciencedirect.com/science/article/pii/037015739090120Q).
## Quantum deformations
The notion extends to quantum groups. The higher-order quantum Casimir elements of the Drinfeld-Jimbo quantum groups, introduced by Zhang, Bracken, and Gould in the early 1990s, were conjectured to generate the center of \( U_q(\mathfrak{g}) \). This was confirmed for type A and, in work published in the Journal of Algebra in 2026, extended to classical types B, C, and D, including quantum Casimir elements arising from spin and half-spin representations in types B and D[15](https://arxiv.org/abs/2509.17327).
## References
1. [Daniel Bump, Lie Groups lecture notes, Section 10: The Universal Enveloping Algebra](https://www-fourier.ujf-grenoble.fr/~panchish/ETE%20LAMA%202018-AP/lecturesZETAS2018/BumpD-Lie%20groups.pdf)
2. [Lie theory notes, Proposition 6.2 (Casimir element), UC Berkeley](https://math.berkeley.edu/~goldfarb/Misc/Lie_theory_notes.pdf)
3. [Casimir Operator, ScienceDirect Topics (J.F. Cornwell, Group Theory in Physics, 1997)](https://www.sciencedirect.com/topics/mathematics/casimir-operator)
4. [Brian Conrad and Aaron Landesman, Lie groups notes, Stanford University](https://math.stanford.edu/~conrad/210CPage/handouts/lie_groups_notes.pdf)
5. [Casimir Eigenvalue Formula for Irreducible Highest Weight Modules, Androma](https://androma.org/theorems/9380)
6. [Edward Frenkel, Vertex Algebras and Algebraic Curves, Section 2.1: The Center](https://math.berkeley.edu/~frenkel/loop.pdf)
7. [Representations of Lie algebras, Casimir operators, ČVUT lecture notes](https://people.fjfi.cvut.cz/snobllib/Casimirs_Lesna.pdf)
8. [Dan Barbasch, Dirac Cohomology and Unitary Representations, Cornell University](https://pi.math.cornell.edu/~barbasch/china2024.pdf)
9. [Casimir operators, Group Theory and Lie Theory, Oregon State University](https://books.physics.oregonstate.edu/GELG/Casimir.html)
10. [Paul Garrett, Harish-Chandra, Verma: The Harish-Chandra isomorphism, University of Minnesota](https://www-users.cse.umn.edu/~garrett/m/lie/hc_isomorphism.pdf)
11. [Algebraic Metacomplexity and Representation Theory, LIPIcs CCC 2025](https://drops.dagstuhl.de/storage/00lipics/lipics-vol339-ccc2025/html/LIPIcs.CCC.2025.26/LIPIcs.CCC.2025.26.html)
12. [Poincaré and Heisenberg quantum dynamical symmetry: Casimir invariant field equations of the quaplectic group, arXiv:math-ph/0502018](https://arxiv.org/abs/math-ph/0502018)
13. [Laplace-Beltrami Operator, ScienceDirect Topics](https://www.sciencedirect.com/topics/mathematics/laplace-beltrami-operator)
14. [Harmonic analysis and propagators on homogeneous spaces, Physics Reports 196 (1990)](https://www.sciencedirect.com/science/article/pii/037015739090120Q)
15. [Yanmin Dai and Yang Zhang, Higher-order Casimir elements and hook partitions for quantum groups of types B, C and D, arXiv:2509.17327](https://arxiv.org/abs/2509.17327)
16. [The Casimir](https://soimeme.org/~arunram/Notes/casimirContent.html)
---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Lie theory › Lie representations and modules › Universal enveloping algebras*
*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 15, 2026 · Last review: Oct 15, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license