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 Casimir element of a rational representation is an endomorphism of G-modules
Statement
Assume the Axiom of Choice inherited from the named suppliers. Let be a semisimple algebraic group over a field of characteristic and let be a finite-dimensional rational representation with the derived representation and . If , then: (a) is a semisimple Lie algebra and the trace form of the faithful representation of on is nondegenerate; (b) the Casimir element of defines a -module endomorphism (Casimir operator relative to an invariant form, The Casimir operator is basis-independent and intertwining); (c) . Here is the universal enveloping algebra, and is the action of on induced by the inclusion .
Facts & Assumptions
Given: A semisimple algebraic group over a characteristic-zero field with , a finite-dimensional rational representation with differential , and .
Quotients of semisimple Lie algebras. is semisimple (The Lie algebra of a semisimple group in characteristic zero is semisimple), and every quotient of a finite-dimensional semisimple characteristic-zero Lie algebra is semisimple (Ideals and quotients of semisimple Lie algebras); hence is semisimple.
Nondegenerate trace form. The representation is faithful and finite-dimensional, so its trace form for is nondegenerate and invariant (Trace forms of faithful representations of semisimple Lie algebras are nondegenerate).
Casimir element. For a semisimple Lie algebra with nondegenerate invariant form , a basis and the -dual basis , the element is independent of the basis. Its action is an endomorphism of as a -module, and (Casimir operator relative to an invariant form, The Casimir operator is basis-independent and intertwining).
Endomorphisms of . The space is a finite-dimensional rational representation of with , whose fixed points are exactly the -module endomorphisms of (Tensor products, exterior powers and Hom spaces of finite-dimensional rational representations are rational, Rational representations and comodules of an affine group scheme).
Lie-stable subspaces are stable. Since has characteristic and is connected and smooth, a subspace of a rational representation with is -stable (Lie algebras of subspace stabilizers and Lie-stable subspaces).
Semisimple groups have no characters. , so a one-dimensional rational representation of the semisimple group is trivial (Semisimple groups are perfect and have no nontrivial characters).
Proof
The image is a quotient of by the ideal , so it is semisimple by [F1], and is the trace form of the faithful finite-dimensional representation of on , hence nondegenerate by [F2]. This is (a).
By [F3], is basis-independent. Its action on is , where the are already operators in . This operator commutes with every and has trace .
The line inside the rational representation of [F4] is annihilated by , because the infinitesimal action is and step 2.1 gives ; in particular . By [F5] the line is -stable, and by [F6] the action of on the one-dimensional representation is trivial. Hence is a fixed point of the action on , so by [F4] it is a -module endomorphism of . This is (b).
The trace identity of step 2.1 is (c).
Steps 1.1, 3.1 and 3.2 establish (a), (b) and (c).
Remarks
- The point of the lemma is that the Casimir operator, which a priori is only an endomorphism of -modules, is fixed by the whole connected group in characteristic zero: the line it spans is a one-dimensional rational representation of the semisimple group , and .
- If , the representation is trivial by the characteristic-zero connected equal-Lie subgroup criterion. The empty-sum convention defines both the Casimir element and its operator as zero; the hypothesis ensures a nonzero trace and a nonzero line in step 3.1.
Depends on
- The Axiom of Choice
- Casimir operator relative to an invariant form
- Rational representations and comodules of an affine group scheme
- The Lie algebra of a semisimple group in characteristic zero is semisimple
- Lie algebras of subspace stabilizers and Lie-stable subspaces
- The Lie functor: exactness, fixed points and generation
- Semisimple groups are perfect and have no nontrivial characters
- Tensor products, exterior powers and Hom spaces of finite-dimensional rational representations are rational
- The Casimir operator is basis-independent and intertwining
- Trace forms of faithful representations of semisimple Lie algebras are nondegenerate
- Ideals and quotients of semisimple Lie algebras
Used by
Dependency tree · two levels
64 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
- J. S. Milne, Algebraic Groups (corrected 2022 printing, Cambridge University Press) (standard reference, not scraped)
- James E. Humphreys, Introduction to Lie Algebras and Representation Theory (Springer GTM 9, 1972) (standard reference, not scraped)