Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-07 rests on unproved material (inherited)
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.

Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are Cohen's first model: an infinite Dedekind-finite set of reals, Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

A singular integral A2 central-character summand

Example

Fix a finite-dimensional complex semisimple Lie algebra g, a Cartan subalgebra h, and a positive Borel b=hn+. Write Q+=iZ0αi, μλ when λμQ+, and wλ=w(λ+ρ)ρ.

In type A2, take λ=ω1, with fundamental-weight coordinates ρ=(1,1). Then λ+ρ=ω2 has Weyl stabilizer s1. The dot orbit consists of

ω1,2ω2,2ω1ω2.

These three simple labels form a single singular integral central-character block. Only labels and stabilizer are computed here.

Facts & Assumptions

Given: The setting above and the hypotheses in the example.

[F1]

Fix a finite-dimensional complex semisimple Lie algebra g, a Cartan subalgebra h, and a positive Borel b=hn+. Write Q+=iZ0αi, μλ when λμQ+, and wλ=w(λ+ρ)ρ. For a linkage class C=Wλλ, let OC be the full subcategory of objects all of whose simple composition factors have labels in C. Then O=COC, and each nonzero OC is indecomposable as a categorical direct summand. These are precisely the blocks. Each OC lies in Oχλ; a central-character summand can contain several blocks. Independently, grouping weights by cosets of the root lattice Q gives a canonical coarser decomposition by weight cosets. (Central-character summands refine into linkage blocks)

[F2]

Fix a finite-dimensional complex semisimple Lie algebra g, a Cartan subalgebra h, and a positive Borel b=hn+. Write Q+=iZ0αi, μλ when λμQ+, and wλ=w(λ+ρ)ρ. For a weight λ, define Φλ={αΦ:λ+ρ,αZ},Wλ=sα:αΦλW. Reflections and coroots are those of def-root-reflections-and-the-weyl-group-action, with the shift from def-weyl-vector-rho-for-a-chosen-positive-system. The integral-reflection linkage class through λ is Wλλ. The word integral includes zero and negative integral pairings. If Φλ is empty the generated group is {1}. This definition uses generating reflections; no identification with a root-lattice-coset stabilizer is assumed. (The integral Weyl group of a weight)

[F3]

Let χλ and χμ be the central characters obtained from highest weights λ and μ. Then χλ=χμif and only ifμWλ, where Wλ:={w(λ+ρ)ρ:wW}. (Central characters are dot-Weyl orbits)

[F4]

Let Φ be the root system from thm-the-root-set-is-a-reduced-crystallographic-root-system. For a root α, define the corresponding coroot by α:=2Hαα(Hα)h, where Hα is the vector from def-killing-dual-vector-attached-to-a-root. The associated root reflection is the linear map sα(λ):=λλ(α)α(λh). The subgroup of GL(h) generated by these reflections is the Weyl group W, acting on h in the usual way. (Root reflections and the Weyl group action)

Verification

1.1

With α1=2ω1ω2 and α2=ω1+2ω2, the reflection formula gives s1(a,b)=(a,a+b) and s2(a,b)=(a+b,b). Acting on (0,1) produces exactly (0,1),(1,1),(1,0): both reflection formulas permute this set and the three displayed points are reachable. Subtracting (1,1) gives (1,0),(0,2),(2,1), the claimed labels.

F4algebra
2.1

Type A2 has six Weyl elements, as is also seen by the six distinct matrices 1,s1,s2,s1s2,s2s1,s1s2s1: multiplication by either generator permutes these six matrices. Exactly 1 and s1 fix (0,1), by evaluating them. Thus the stabilizer is s1, and the orbit is singular.

algebrastep 1.1
3.1

The pairings of (0,1) with the positive coroots are 0,1,1. All are integers, so Φλ=Φ and Wλ=W. The full dot orbit has one central character and forms one integral-reflection block. The zero pairing explains the stabilizer and does not remove its reflection from the integral group.

F1F2F3step 2.1

Notes

The source gives a typical three-element singular A2 class with an antidominant representative. This item chooses the explicit representative -omega1 of such a class and computes its coordinates; statement provenance is ai-altered to record that specialization.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

15 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