Alphabeta Math
CorollaryStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6.1-sol)
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 g be a finite-dimensional complex semisimple Lie algebra with Cartan subalgebra h and a fixed positive system. If I is a primitive ideal of U(g), then I∩Z(U(g))=ker⁡χI for a unique central character χI, and there is a unique dot-Weyl orbit W⋅λ⊆h∗ with χI=χλ; this orbit is determined by I alone. Consequently, for primitive ideals I,J: I∩Z=J∩Z if and only if χI=χJ, if and only if W⋅λ=W⋅μ for any λ,μ with χλ=χI and χμ=χJ. 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 g with Cartan h and positive system, and primitive ideals I,J of U(g).

[F1]

For a primitive ideal I, the center acts on a simple module with annihilator I through a central character χI, and I∩Z(U(g))=ker⁡χI; a unital homomorphism Z(U(g))→C is determined by its kernel, because the quotient by the kernel is C via the unital structure map (A primitive ideal determines a central character, Primitive ideals of an enveloping algebra).

[F2]

Under AC, every central character χ ⁣:Z(U(g))→C equals χλ for some λ∈h∗ (Every central character of a semisimple enveloping algebra arises from a weight, Central character of a Lie algebra module, The Axiom of Choice).

[F3]

Under AC, χλ=χμ if and only if μ∈W⋅λ (Central characters are dot-Weyl orbits).

Proof

technique · direct
1.1F1given

By [F1], I∩Z(U(g))=ker⁡χI for a central character χI; any central character with the same kernel equals χI, because the kernel determines the unital homomorphism through the quotient Z(U(g))/ker⁡χI≅C. Hence χI is unique, and it is determined by I.

2.1F2F3step 1.1

By [F2] there is λ∈h∗ with χI=χλ. If also χI=χμ, then χλ=χμ, so μ∈W⋅λ by [F3]; hence the dot orbit W⋅λ is independent of the choice of λ and determined by I.

3.1F1F3step 1.1step 2.1∎

For primitive ideals I,J, the identity I∩Z=J∩Z is equivalent to ker⁡χI=ker⁡χJ by [F1], which is equivalent to χI=χJ because a central character is determined by its kernel; and by step 2.1 with [F3] this is equivalent to W⋅λ=W⋅μ for any λ,μ realizing χI,χJ. Thus the fibres of I↦χI 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