Alphabeta Math
CorollaryStatement: Literature-sourcedProof: AI-adaptedverified 2026-09-23 (gpt-6-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.

Central characters are dot-Weyl orbits

Statement

Assume the Axiom of Choice. Let g be a finite-dimensional complex semisimple Lie algebra with Cartan subalgebra h, a chosen positive-root system and corresponding Borel, Weyl group W, and half-sum ρ of positive roots. Let χλ and χμ be the central characters obtained from highest weights λ,μ∈h∗ for this Borel. Then

χλ=χμif and only ifμ∈W⋅λ,

where W⋅λ:={w(λ+ρ)−ρ:w∈W}.

Facts & Assumptions

Given: The Axiom of Choice, the indicated semisimple Lie algebra, Cartan, positive-root system, Borel, Weyl group, and weights λ,μ∈h∗.

[F1]

The Weyl group W is finite, so two distinct orbits are disjoint finite subsets of the affine space h∗.

[F2]

Under AC, the shifted Harish--Chandra map is an algebra isomorphism from the center onto S(h)W (Harish-Chandra isomorphism for the center).

Proof

technique · direct
1.1F2given

If μ=w⋅λ for some w∈W, then μ+ρ=w(λ+ρ). Under the stated AC, [F2] makes every central element z determine a Weyl-invariant polynomial HC⁡ρ(z)∈S(h)W, and The Harish-Chandra projection computes the highest-weight scalar gives χλ(z)=pr⁡(z)(λ)=HC⁡ρ(z)(λ+ρ),χμ(z)=HC⁡ρ(z)(μ+ρ). Since HC⁡ρ(z) is ordinarily W-invariant, HC⁡ρ(z)(μ+ρ)=HC⁡ρ(z)(λ+ρ). Hence χμ(z)=χλ(z) for every central z, so χμ=χλ.

1.2F1constructalgebra

Let a,b∈h∗ have distinct W-orbits Oa,Ob. Their union is finite and disjoint by [F1]. For each x∈Oa and each other y∈Oa∪Ob, choose an affine linear polynomial Lx,y with Lx,y(x)=1 and Lx,y(y)=0; a coordinate on which x,y differ supplies one. Then px=∏y≠xLx,y equals 1 at x and 0 at every other point of the union. The polynomial p=∑x∈Oapx equals 1 on Oa and 0 on Ob. Averaging p over the finite group, q(z)=∣W∣−1∑w∈Wp(wz), gives q∈S(h)W with q(a)=1 and q(b)=0.

2.1F2step 1.1step 1.2

Conversely, if χμ=χλ, step 1.1 and the surjectivity in [F2] under the stated AC show that every polynomial in S(h)W takes the same value at λ+ρ and μ+ρ. Step 1.2 rules out distinct ordinary W-orbits, so μ lies in the dot orbit of λ.

3.1step 1.1step 2.1∎

Therefore equal central characters are exactly the dot-Weyl orbits.

Depends on

Used by

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