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.
Central characters are dot-Weyl orbits
Statement
Let and be the central characters obtained from highest weights and . Then
where .
Facts & Assumptions
Given: Weights .
For a finite Weyl group, two points of lie in the same ordinary -orbit exactly when every polynomial in takes the same value on them.
Proof
If for some , then . By Harish-Chandra isomorphism for the center, every central element determines a Weyl-invariant polynomial , and The Harish-Chandra projection computes the highest-weight scalar gives Since is ordinarily -invariant, . Hence for every central , so .
Conversely, if , then the equalities from step 1.1 show that for every central . Because Harish-Chandra isomorphism for the center identifies the image of with all of , every Weyl-invariant polynomial takes the same value at and . By [F1], those two points lie in the same ordinary -orbit, so lies in the dot orbit of .
Therefore equal central characters are exactly the dot-Weyl orbits.
Depends on
Used by
Dependency tree · two levels
13 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)
- Yiannis Sakellaridis, Verma Modules and the Category O (standard reference, not scraped)