Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05
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 (λ,λ+2ρ)

Statement

Let M be a cyclic highest-weight module of highest weight λ. Then the quadratic Casimir element acts on M by the scalar

(λ,λ+2ρ),

where the pairing on h 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 M=U(g)v of highest weight λ and the quadratic Casimir element C.

Proof

technique · direct
1.1

By Central elements act by scalars on cyclic highest-weight modules and The quadratic Casimir element is central, it is enough to compute Cv on the highest vector v. 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 gα and gα dual. Choose a basis of h and root vectors eαgα, fαgα with B(eα,fα)=1; these are full dual bases, so the Casimir decomposes as C=jhjhj+α>0(eαfα+fαeα).

givenconstruct
2.1

Since eαv=0 for every positive root, one has fαeαv=0 and eαfαv=[eα,fα]v. By Opposite root spaces bracket to the Killing-dual line, that bracket is Hα, so step 1.1 gives Cv=(jhjhj+α>0Hα)v.

step 1.1algebra
3.1

The Cartan part acts on v by (λ,λ), and the root contribution acts by α>0λ(Hα)=2(λ,ρ). Therefore Cv=(λ,λ+2ρ)v, so the Casimir scalar on M is (λ,λ+2ρ).

step 2.1algebra

Depends on

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