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
Assume the Axiom of Choice. Let be a finite-dimensional complex semisimple Lie algebra with Cartan subalgebra , a chosen positive-root system and corresponding Borel, Weyl group , and half-sum of positive roots. Let and be the central characters obtained from highest weights for this Borel. Then
where .
Facts & Assumptions
Given: The Axiom of Choice, the indicated semisimple Lie algebra, Cartan, positive-root system, Borel, Weyl group, and weights .
The Weyl group is finite, so two distinct orbits are disjoint finite subsets of the affine space .
Under AC, the shifted Harish--Chandra map is an algebra isomorphism from the center onto (Harish-Chandra isomorphism for the center).
Proof
If for some , then . Under the stated AC, [F2] makes every central element determine a Weyl-invariant polynomial , and The Harish-Chandra projection computes the highest-weight scalar gives Since is ordinarily -invariant, . Hence for every central , so .
Let have distinct -orbits . Their union is finite and disjoint by [F1]. For each and each other , choose an affine linear polynomial with and ; a coordinate on which differ supplies one. Then equals at and at every other point of the union. The polynomial equals on and on . Averaging over the finite group, , gives with and .
Conversely, if , step 1.1 and the surjectivity in [F2] under the stated AC show that every polynomial in takes the same value at and . Step 1.2 rules out distinct ordinary -orbits, so lies in the dot orbit of .
Therefore equal central characters are exactly the dot-Weyl orbits.
Depends on
Used by
- Primitive ideals are partitioned by their dot-orbit central character Corollary
- The central character does not determine the primitive ideal Counterexample
- The antidominant projective and the Soergel functor Definition
- The deformed category O family over the Cartan symmetric algebra Definition
- The integral parabolic category-O blocks for higher-level Schur-Weyl duality Definition
- The regular integral block and its antidominant weight Definition
- The singular integral block and its dot stabilizer Definition
- The Whittaker functor from the relevant parabolic category-O summand Definition
- Translation functors by tensoring and projection Definition
- A singular integral A2 central-character summand Example
- Nonintegral sl2 central characters split into two simple blocks Example
- The regular integral sl2 block Example
- The two projectives in the principal sl2 block Example
- Translation between two regular integral blocks Example
- Translation through the sl2 wall Example
- Central-character cuts of a typed module are typed by the matching weights Lemma
- Every central character of a semisimple enveloping algebra arises from a weight Lemma
- Finite weight-space detection of subquotients Lemma
- Jordan-Holder factors of Verma modules dominate the head (BGG 8.12) Lemma
- The central action on the deformed antidominant projective Lemma
- The facet tensor-weight exclusion lemma Lemma
- The regular coset-dominant Harish–Chandra tensor comparison Lemma
- The single-wall tensor-weight exclusion lemma Lemma
- Weak BGG resolution of the trivial module Lemma
- Simple and standard bases of K0(O) Proposition
- Translation identifies the regular integral blocks Proposition
- Verma composition multiplicities are finite Proposition
- Central-character summands refine into linkage blocks Theorem
- Lifting of indecomposable projectives to the deformed family Theorem
- Parabolic category O is a highest weight category Theorem
- The Casselman–Osborne constraint on weights of nilradical cohomology Theorem
- Translation to and from a single wall on standard modules Theorem
- Translation to the wall on Verma, simple and projective objects Theorem
- Weak BGG resolution Theorem
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)
- Yiannis Sakellaridis, Verma Modules and the Category O (standard reference, not scraped)