Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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 level-one e=2, one-strand Hecke and KLR blocks are both scalar

Statement

Take F=C, Hecke parameter ξ=−1, quantum characteristic e=2, level-one weight Λ0, and content α0 of height one in the cyclic type-A datum. Then the cyclotomic Hecke block Hα0Λ0 and the standard cyclotomic KLR algebra RΛ0(α0) are each isomorphic to C, and the Brundan–Kleshchev block isomorphism identifies them. The KLR algebra is concentrated in degree zero. Its unique ungraded simple has the representative concentrated in degree zero; its grading shifts give the other graded simple representatives.

Facts & Assumptions

Given: F=C, ξ=−1, e=2, the charge-zero fundamental weight Λ0, height-one content α0, and the standard homogeneous cyclotomic KLR quotient.

[F1]

Category O, KLR, and Hecke route conventions: the cyclic nondegenerate route writes the Hecke parameter as ξ≠1, uses finite e≥2, and keeps the grading variable q independent of ξ.

[F2]

The nondegenerate root-of-unity level-one Hecke regime: the nondegenerate level-one branch has Λ0 of charge zero and ⟨hi,Λ0⟩=δi,0; the grading variable is independent of the Hecke parameter, which is written ξ here and is the letter q in the affine presentation.

[F3]

Affine and cyclotomic type-A Hecke algebras: in the nondegenerate branch the affine algebra has generators Xr±1,Tr with the displayed quadratic relation, and HdΛ is its quotient by ∏i(X1−qi)⟨hi,Λ⟩; at d=1 only X1±1 remain.

[F4]

The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum: in height one there is one residue idempotent e(i), one dot x1, and no crossing generator; the idempotents sum to one and the dots commute.

[F5]

The cyclotomic KLR quotient at a dominant integral weight: for the standard homogeneous quotient the first-strand relation in color i is x1⟨hi,Λ⟩e(i)=0.

[F6]

The KLR grading and the diagrammatic multiplication: in the cyclic type-A datum deg⁡e(i)=0 and deg⁡x1=2.

[F7]

Residue-sequence idempotents and cyclotomic Hecke blocks: e(i) is the projector to residue sequence i, and the central content projector is eα=∑i∈Iαe(i).

[F8]

The Brundan–Kleshchev blockwise Hecke–KLR isomorphism: over any field, finite quantum characteristic e≥2 and nonzero content sector, the corresponding cyclotomic Hecke and KLR blocks are isomorphic; the q=1 and q≠1 cases are proved separately.

Proof

1.1givenF1F2F3F7algebra

In C, ξ=−1 has order two, so e=2 and ξ≠1 is the nondegenerate branch [F1,F2]. By [F2], the q in the cyclotomic presentation [F3] is ξ=−1. Since ⟨h0,Λ0⟩=1 and the other level-one pairing is zero, the height-one cyclotomic relation is X1−1=0. At d=1 the only affine generators are X1±1 [F3], so both become 1 in the quotient; the scalar map sending its unit to 1 is inverse to the scalar inclusion, hence H1Λ0≅C. The residue values ξ0=1 and ξ1=−1 are distinct; thus [F7] gives sole projector e(0)=1 and eα0=1≠0.

1.2givenF2F4F5F6algebra

Since α0 has height one, its only sequence is (0); [F4] gives the idempotent e(0)=1, the dot x1, and no crossing. The sole dot commutes with itself, so the presented algebra is C[x1]e(0). The standard first-strand relation [F5] is x1e(0)=0, and evaluation at zero maps e(0) to 1, so the quotient is nonzero and equals Ce(0)≅C. Its unit has degree zero and its dot is zero [F6], so the quotient is concentrated in degree zero. Every nonzero simple over this field algebra is one-dimensional because any nonzero vector spans a nonzero submodule; a graded simple is concentrated in one degree because the span of a homogeneous vector is a graded submodule. Thus the degree-zero representative and its grading shifts are exactly the graded simples.

2.1givenF1F2F3F4F5F7F8algebra∎

In this rank-one data, [F3] sets X1=1 and the distinct spectral values 1,−1 make [F7] give eα0=e(0)=1≠0. Also [F4] and [F5] give the nonzero quotient Ce(0) at α0. Thus the hypotheses of [F8] hold over C with e=2, and its block isomorphism identifies the two scalar algebras.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

58 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