Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck pass
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 KLR grading and the diagrammatic multiplication

Definition

Let Q be a KLR datum as in The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum. Assign degrees deg⁡e(ν):=0, deg⁡(xae(ν)):=(ανa∣ανa)=2dνa and deg⁡(τae(ν)):=−(ανa∣ανa+1)=−bνaνa+1 in the presentation; then every relation (1)-(7) is homogeneous (## Verification), so Rn(Q)=⨁m∈ZRn(Q)m is a Z-graded unital associative k-algebra with Rn(Q)m=⨁ν,η∈Ine(ν)Rn(Q)me(η), and each R(β)=⨁mR(β)m is a graded subalgebra (Associative graded algebras, bimodules, and internal shifts). The global sums xa=∑νxae(ν) and τa=∑ντae(ν) need not be homogeneous; displayed generator degrees always refer to their word components. Equivalently, the weight refinement by Q+ is available: the idempotent e(ν) carries weight ∑aανa, and xa and τa are weight-preserving operators of the displayed scalar degrees.

Diagram dictionary. Read a planar diagram bottom to top. A local dot on strand a is xa, a crossing of strands a,a+1 is τa, the identity is the collection of straight diagrams e(ν), and vertical concatenation of diagrams with matching bottom labels ν and top labels sar⋯sa1ν is the algebra product: in ab the diagram for b is placed below the diagram for a, matching operator composition. Isotopies of the plane that do not change the combinatorial type act as the identity, and the local relations (2.3)-(2.8) of Khovanov–Lauda I (quadratic relation, dot-sliding over a crossing, and the braid relation) in the simply-laced Khovanov–Lauda parameter specialization are relations (4), (6) and (7); for general Q the local diagram relations are defined by the full presentation of The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum. In particular the degree of a monomial equals the sum of the individual dot degrees plus the signed sum of the crossing degrees, and a dot contributes (ανa∣ανa)=2dνa, while a crossing contributes −bνaνa+1.

All grading shifts on this page are the internal shifts of Associative graded algebras, bimodules, and internal shifts, (M{r})m=Mm−r, and q acts on graded Grothendieck groups by q[P]=[P{1}].

Facts & Assumptions

Given: A KLR datum Q and the presented algebra Rn(Q) of The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum with its relations (1)-(7), together with the degree assignment deg⁡e(ν)=0, deg⁡xa=2dνa, deg⁡τa=−bνaνa+1 and the symmetric matrix bij=diaij with bii=2di>0 of Kac Moody root lattice height and positive cone.

[F1]

The relation list of the KLR algebra: relations (1)-(7) of The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum, including the symmetry bij=bji and bii=2di.

[F2]

The parameter conditions (Q1)-(Q4) of The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum, in particular (Q3): Qij is homogeneous of total degree −2bij for deg⁡u=2di, deg⁡v=2dj.

Verification

technique · direct; check homogeneity of each defining relation for the displayed degree assignment and then transfer it to the quotient
1.1givenF1algebra

Relation (1) has degree 0 on both sides, and in (2) the identity xae(ν)=e(ν)xa has degree 2dνa while xaxb=xbxa has degree 2dνa+2dνb on the ν-component; relation (3) has degree −bνaνa+1=−bνa+1νa on both sides by the symmetry of b from [F1].

2.1step 1.1F1F2algebra

Relation (4) is homogeneous of degree −2bνaνa+1: the left side τa2e(ν) has degree 2(−bνaνa+1), and the right side Qνaνa+1(xa,xa+1)e(ν) has degree −2bνaνa+1 by [F2], since a monomial urvs of Qij contributes r(2di)+s(2dj).

2.2step 1.1F1algebra

Relations (5) and (6) are homogeneous with their actual label-dependent degrees. In far crossing commutation, both products have degree −bνaνa+1−bνbνb+1 because the disjoint crossings interchange the same two color pairs. A far dot move has degree 2dνb−bνaνa+1 on both sides, as its untouched strand keeps the dot color. For adjacent unequal colors, dot sliding likewise preserves the degree of the crossing plus the transported dot. For equal colors i, the dot degree is 2di and the crossing degree is −2di, so both terms of τaxa−xa+1τa=e(ν) and τaxa+1−xaτa=−e(ν) have degree 0, equal to the degree of the idempotent on the right. Thus every dot and far-crossing relation is homogeneous, without asserting that its common degree is always zero.

3.1step 2.2F1F2algebra

Relation (7), unequal outer colours: for colours (νa,νa+1,νa+2)=(a′,b′,c′) both braid words are sums of terms each moving the same three crossings over the same three pairs, so each has degree −ba′b′−ba′c′−bb′c′, and the right side is 0; on the equal-outer-colour case (i,j,i) each braid word has the same degree −2bij−2di, while the correction numerator has degree −2bij and its division by xa+2−xa, of degree 2di, lowers the degree to −2bij−2di; for three equal colours Qii=0 and the ordinary nil-Hecke braid relation is homogeneous of degree −6di.

4.1step 1.1step 2.1step 2.2step 3.1algebra∎

Use the free path algebra with vertices ν, loops xae(ν) and arrows τae(ν):ν→saν, assigned the displayed degrees. Its vertex sum is the unit because I is finite; decomposing the global generators by word idempotents identifies its presented quotient with Rn(Q). Every defining component relation is homogeneous, so the two-sided ideal they generate is graded, and the quotient Rn(Q) inherits a Z-grading with Rn(Q)m=⨁ν,ηe(ν)Rn(Q)me(η); the weight refinement is inherited because each generator preserves the weight ∑aανa and each relation is weight-homogeneous, and R(β)=e(β)R∣β∣(Q)e(β) is a graded subalgebra for every β∈Q+.

Depends on

Used by

Dependency tree · two levels

12 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