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 Harish-Chandra projection computes the highest-weight scalar
Statement
Let be a cyclic highest-weight module with highest vector of weight , and let . Then
so the scalar by which acts on is obtained by evaluating the Harish-Chandra projection at .
Facts & Assumptions
Given: A cyclic highest-weight module of highest weight and a central element .
Proof
By Central elements lie in the zero-weight subspace of , lies in . Fix the PBW order used in The Harish-Chandra projection. Every PBW monomial is an -weight vector, with weight equal to the sum of its root weights. In the expansion of the zero-weight element , only zero-weight monomials occur.
A zero-weight ordered monomial with a nontrivial factor must also have a nontrivial factor: without the latter its weight is a nonzero negative sum of positive roots. Thus every zero-weight PBW monomial outside has a rightmost factor in and annihilates . Consequently . Merely having a left factor would not imply annihilation; the zero-weight restriction supplies the needed right factor.
The element lies in , so it acts on by the scalar obtained from the polynomial by evaluation at the weight . Combining this with step 2.1 gives .
Depends on
Used by
- Central characters are dot-Weyl orbits Corollary
- The integral regular localization equivalence restricts to Category O Corollary
- Equal central character does not give every Verma embedding direction Counterexample
- Ordinary Weyl orbits do not classify central characters Counterexample
- The deformed category O family over the Cartan symmetric algebra Definition
- A point-supported SL2 module gives the shifted Verma module Example
- A singular integral A2 central-character summand Example
- Dot-conjugate type-A₂ weights have the same central character Example
- Finite-dimensional irreducible sl2 modules have exact integral central characters Example
- Integral line-bundle translation changes the infinitesimal character Example
- Nonintegral sl2 central characters split into two simple blocks Example
- The zero-weight singular central character Example
- Every central character of a semisimple enveloping algebra arises from a weight Lemma
- Finite weight-space detection of subquotients Lemma
- The central action on the deformed antidominant projective Lemma
- The Verma annihilator contains the central-character ideal Proposition
- Global sections of twisted differential operators on the flag variety Theorem
- Harish-Chandra isomorphism for the center Theorem
- The Casselman–Osborne constraint on weights of nilradical cohomology Theorem
Dependency tree · two levels
6 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)
- Lin Chen, Geometric Representation Theory I, Lecture 4 (standard reference, not scraped)