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.
Cyclotomic Hecke blocks inherit -gradings
Statement
In the situation of The Brundan–Kleshchev blockwise Hecke–KLR isomorphism, each fixed choice of admissible local normalising series transports the KLR homogeneous decomposition to a -grading on . This is the unique grading for those fixed generator images with , and (The KLR grading and the diagrammatic multiplication). Different admissible series choices give graded-isomorphic transported algebras via ; their underlying identity map need not be graded. The grading can be nontrivial, but it may be trivial on an individual block, including the one-dimensional level-one rank-two blocks. The ordinary Hecke presentation always has the trivial assignment of degree zero to all its generators; the transported grading is generally expressed using the nilpotent dots and local crossings, and ordinary Hecke generators can be sums of different homogeneous pieces and may be homogeneous in special cases. No claim forbids the degree-zero assignment or asserts that every block grading is nontrivial.
Facts & Assumptions
Given: The blockwise Hecke–KLR isomorphism [F1], the KLR grading conventions [F2], the cyclotomic quotient conventions [F3], and the type-A specialization conventions [F4].
For every content with there are mutually inverse -algebra isomorphisms and , normalized by and the dot images or (The Brundan–Kleshchev blockwise Hecke–KLR isomorphism).
The KLR algebra is graded by , and , with homogeneous local relations (The KLR grading and the diagrammatic multiplication, The cyclotomic KLR quotient at a dominant integral weight).
The charged type-A specialization and its presentation conventions (The type-A cyclotomic specialization of the QG-KLR algebras).
Proof
Given: The field , the finite quantum characteristic , the
dominant weight , and the suppliers of [F1]–[F3].
Transport of the grading. Fix a choice of admissible local normalising series, hence the isomorphism of [F1]. Declare each image of a homogeneous KLR generator to be homogeneous of the same degree; the images generate and the KLR relations of [F2] are homogeneous, so the resulting degree assignment is well defined. Products retain degree addition because is an algebra map, so the degree summands are exactly the transported homogeneous summands. Since the generator images span the algebra, their assigned degrees determine every degree summand and give uniqueness of the grading for that fixed choice, with , and .
Independence of the series choice. If is the isomorphism attached to another admissible series, then sends each homogeneous native generator image of the first choice to the corresponding new image and hence is graded by construction; the two transported algebras are graded-isomorphic, while the underlying identity map on need not be graded because the two series differ by units that need not be homogeneous of degree zero.
Triviality is not excluded. Assigning degree zero to every ordinary Hecke generator makes all defining relations homogeneous, so the degree-zero assignment is a legitimate grading of the ordinary Hecke presentation and no impossibility statement is asserted. A one-dimensional sector has only degree zero, because its unit has degree zero and it equals ; in particular the one-dimensional level-one rank-two blocks are trivially graded.
A concrete nontrivial witness. Consider level one, , rank two. Of the four colour words only survives: the first-strand exponent zero kills , and on the equal-colour mixed identities give together with , hence after left multiplication by , giving ; so the equal-colour sector is zero, with and the crossing zero. The quadratic double-edge relation gives . Conversely , , in satisfy all rank-two relations, so that sector is with , and its Brundan–Kleshchev image supplies an actual nontrivial transported grading, including in the characteristic-two degeneration. This is a witness that the construction can be nontrivial, not a claim about all sectors.
Conclusion. Each fixed admissible series choice transports the KLR homogeneous decomposition to a -grading of , unique for the induced generator degrees; different choices give graded-isomorphic transported algebras; and the grading may be nontrivial on some blocks while trivial on others, with the ordinary presentation retaining its degree-zero assignment.
Remarks
The corollary records exactly what the blockwise isomorphism yields: a transported grading attached to a chosen normalising series, not a canonical intrinsic grading of the Hecke presentation, and not a claim of nontriviality on every block. No choice principle is used: the series choices and the gradings are explicit and finite.
Depends on
Used by
- Graded module and projective Grothendieck groups of the KLR and Hecke towers Definition
- The graded Specht module by homogeneous standard tableaux Definition
- The integral form of the cyclotomic Hecke-KLR block Definition
- The nondegenerate root-of-unity level-one Hecke regime Definition
- Projective and simple Grothendieck classes in a small non-semisimple block Example
- A graded algebra isomorphism transports the graded module category, its Grothendieck groups and its dualities Lemma
- The QG-8 categorification transports across the blockwise Hecke-KLR bridge Proposition
Dependency tree · two levels
17 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, arXiv:0808.2032v3, Invent. Math. 178 (2009) 451–484 (complete 32-page article) (standard reference, not scraped)
- Jonathan Brundan and Alexander Kleshchev, Graded decomposition numbers for cyclotomic Hecke algebras, arXiv:0901.4450v3, Adv. Math. 222 (2009) 1883–1942 (complete 57-page article) (standard reference, not scraped)
- Alexander Kleshchev, Representation theory of symmetric groups and related Hecke algebras, arXiv:0909.4844v1, Bull. AMS 47 (2010) 419–481 (complete 66-page survey) (standard reference, not scraped)