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 , Hecke parameter , quantum characteristic , level-one weight , and content of height one in the cyclic type- datum. Then the cyclotomic Hecke block and the standard cyclotomic KLR algebra are each isomorphic to , 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: , , , the charge-zero fundamental weight , height-one content , and the standard homogeneous cyclotomic KLR quotient.
Category O, KLR, and Hecke route conventions: the cyclic nondegenerate route writes the Hecke parameter as , uses finite , and keeps the grading variable independent of .
The nondegenerate root-of-unity level-one Hecke regime: the nondegenerate level-one branch has of charge zero and ; the grading variable is independent of the Hecke parameter, which is written here and is the letter in the affine presentation.
Affine and cyclotomic type-A Hecke algebras: in the nondegenerate branch the affine algebra has generators with the displayed quadratic relation, and is its quotient by ; at only remain.
The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum: in height one there is one residue idempotent , one dot , and no crossing generator; the idempotents sum to one and the dots commute.
The cyclotomic KLR quotient at a dominant integral weight: for the standard homogeneous quotient the first-strand relation in color is .
The KLR grading and the diagrammatic multiplication: in the cyclic type-A datum and .
Residue-sequence idempotents and cyclotomic Hecke blocks: is the projector to residue sequence , and the central content projector is .
The Brundan–Kleshchev blockwise Hecke–KLR isomorphism: over any field, finite quantum characteristic and nonzero content sector, the corresponding cyclotomic Hecke and KLR blocks are isomorphic; the and cases are proved separately.
Proof
In , has order two, so and is the nondegenerate branch [F1,F2]. By [F2], the in the cyclotomic presentation [F3] is . Since and the other level-one pairing is zero, the height-one cyclotomic relation is . At the only affine generators are [F3], so both become in the quotient; the scalar map sending its unit to is inverse to the scalar inclusion, hence . The residue values and are distinct; thus [F7] gives sole projector and .
Since has height one, its only sequence is ; [F4] gives the idempotent , the dot , and no crossing. The sole dot commutes with itself, so the presented algebra is . The standard first-strand relation [F5] is , and evaluation at zero maps to , so the quotient is nonzero and equals . 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.
In this rank-one data, [F3] sets and the distinct spectral values make [F7] give . Also [F4] and [F5] give the nonzero quotient at . Thus the hypotheses of [F8] hold over with , and its block isomorphism identifies the two scalar algebras.
Depends on
- Category O, KLR, and Hecke route conventions
- Affine and cyclotomic type-A Hecke algebras
- The nondegenerate root-of-unity level-one Hecke regime
- The cyclic affine type A Cartan datum and its residues
- The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum
- The cyclotomic KLR quotient at a dominant integral weight
- The KLR grading and the diagrammatic multiplication
- Residue-sequence idempotents and cyclotomic Hecke blocks
- The Brundan–Kleshchev blockwise Hecke–KLR isomorphism
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
- Jonathan Brundan and Alexander Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov–Lauda algebras, Invent. Math. 178 (2009), complete 32-page preprint (standard reference, not scraped)
- Alexander Kleshchev, Representation theory of symmetric groups and related Hecke algebras, Bull. Amer. Math. Soc. 47 (2010), complete 66-page survey (standard reference, not scraped)