How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The quadratic Casimir eigenvalue on a highest-weight module is
Statement
Let be a cyclic highest-weight module of highest weight . Then the quadratic Casimir element acts on by the scalar
where the pairing on is induced by the Killing form and is the Weyl vector from The Weyl vector rho for a chosen positive system.
Facts & Assumptions
Given: A cyclic highest-weight module of highest weight and the quadratic Casimir element .
Proof
By Central elements act by scalars on cyclic highest-weight modules and The quadratic Casimir element is central, it is enough to compute on the highest vector . The root-system theorem The root set is a reduced crystallographic root system makes every root space one-dimensional, while nondegeneracy and root-space orthogonality make and dual. Choose a basis of and root vectors , with ; these are full dual bases, so the Casimir decomposes as .
Since for every positive root, one has and . By Opposite root spaces bracket to the Killing-dual line, that bracket is , so step 1.1 gives .
The Cartan part acts on by , and the root contribution acts by . Therefore , so the Casimir scalar on is .
Depends on
- The quadratic Casimir element is central
- Central elements act by scalars on cyclic highest-weight modules
- The Weyl vector rho for a chosen positive system
- Highest-weight vectors and cyclic highest-weight modules
- Root-space decomposition relative to a Cartan subalgebra
- The Killing form pairs only opposite root spaces
- The Killing-dual vector attached to a root
- Opposite root spaces bracket to the Killing-dual line
- The root set is a reduced crystallographic root system
Used by
Dependency tree · two levels
16 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Pavel Etingof, Representations of Lie Groups (standard reference, not scraped)
- Alexander Kleshchev, Lectures on Infinite Dimensional Lie Algebras (standard reference, not scraped)