Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05
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.

The Harish-Chandra projection is multiplicative on the center

Statement

For central elements z,z′∈Z(U(g)), the Harish-Chandra projection from The Harish-Chandra projection satisfies

pr⁡(zz′)=pr⁡(z)pr⁡(z′).

Facts & Assumptions

Given: Central elements z,z′∈Z(U(g)).

Proof

technique · direct
1.1givenconstruct

By Central elements lie in the zero-weight subspace of U(g), both z and z′ lie in U(g)0. Write z=pr⁡(z)+a and z′=pr⁡(z′)+a′ with a,a′∈n−U(g)+U(g)n+.

2.1step 1.1algebra

Put I:=n−U(g)+U(g)n+. Multiplication on either side by U(h) preserves I. Moreover, if c is central, then Ic⊆I: for a term xu with x∈n−, one has (xu)c=x(uc), while for a term uy with y∈n+, centrality gives (uy)c=(uc)y.

3.1step 1.1step 2.1algebra

Using only the decomposition of z, write zz′=pr⁡(z)z′+az′=pr⁡(z)pr⁡(z′)+pr⁡(z)a′+az′. The last two terms lie in I by step 2.1; no assertion that I is multiplicatively closed is needed.

4.1step 3.1∎

Applying the projection from The Harish-Chandra projection to step 3.1 leaves exactly pr⁡(z)pr⁡(z′). Therefore pr⁡(zz′)=pr⁡(z)pr⁡(z′).

Depends on

Used by

Dependency tree · two levels

5 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