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.
Primitive ideals are partitioned by their dot-orbit central character
Statement
Assume the Axiom of Choice. Let be a finite-dimensional complex semisimple Lie algebra with Cartan subalgebra and a fixed positive system. If is a primitive ideal of , then for a unique central character , and there is a unique dot-Weyl orbit with ; this orbit is determined by alone. Consequently, for primitive ideals : if and only if , if and only if for any with and . Thus the primitive ideals are partitioned by their central characters, and the central character of a primitive ideal is exactly a dot-Weyl orbit under the Harish-Chandra isomorphism.
Facts & Assumptions
Given: The Axiom of Choice, a finite-dimensional complex semisimple Lie algebra with Cartan and positive system, and primitive ideals of .
For a primitive ideal , the center acts on a simple module with annihilator through a central character , and ; a unital homomorphism is determined by its kernel, because the quotient by the kernel is via the unital structure map (A primitive ideal determines a central character, Primitive ideals of an enveloping algebra).
Under AC, every central character equals for some (Every central character of a semisimple enveloping algebra arises from a weight, Central character of a Lie algebra module, The Axiom of Choice).
Under AC, if and only if (Central characters are dot-Weyl orbits).
Proof
By [F1], for a central character ; any central character with the same kernel equals , because the kernel determines the unital homomorphism through the quotient . Hence is unique, and it is determined by .
By [F2] there is with . If also , then , so by [F3]; hence the dot orbit is independent of the choice of and determined by .
For primitive ideals , the identity is equivalent to by [F1], which is equivalent to because a central character is determined by its kernel; and by step 2.1 with [F3] this is equivalent to for any realizing . Thus the fibres of on primitive ideals are exactly the sets of primitive ideals with a common dot-Weyl orbit, i.e. the primitive ideals are partitioned by their central characters.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
24 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
- P. Etingof, Representations of Lie Groups (18.757, MIT OCW 2023 full notes) (standard reference, not scraped)
- D. Barbasch, Cells in Weyl groups and primitive ideals (AIM workshop notes, 2006) (standard reference, not scraped)