Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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 rank-two cyclotomic KLR algebra at e=3

Example

Let F be algebraically closed of characteristic ≠3, let q∈F× be a primitive cube root of unity (so e=3), let Λ=Λ0 (level one) and d=2. Then:

(i) for i=(i1,i2)∈I2 the cyclotomic relation is y1δi1,0e(i)=0; thus y1e(i)=0 for the three sequences with i1=0, and e(i)=0 for all six sequences with i1≠0, because their exponent is zero and y10e(i)=e(i);

(ii) ψ12e(i) equals 0 if i1=i2, equals (y2−y1)e(i) if i2=i1+1 and equals (y1−y2)e(i) if i2=i1−1; for e=3 these are all cases;

(iii) the nonzero blocks of H2Λ are exactly Hα0+α1Λ and Hα0+α2Λ; both are one dimensional, with e((0,1))≠0 in the first (the block of the trivial module of HF,q(S2)) and e((0,2))≠0 in the second (the block of the sign module); the other four α-blocks of height 2 are zero (Residue-sequence idempotents and cyclotomic Hecke blocks, The type-A cyclotomic specialization of the QG-KLR algebras).

Verification

technique · direct

Given: F algebraically closed of characteristic ≠3, a primitive cube

root q, Λ=Λ0, d=2, and the KLR presentation of

1.1givenalgebra

The cyclotomic relation on I2. Enumerate I2={0,1,2}2. The cyclotomic exponent of the sequence i is the pairing (Λ0,αi1)=δi1,0, so the defining cyclotomic relation reads y1δi1,0e(i)=0. For the three sequences with i1=0 this is y1e(i)=0; for the six sequences with i1≠0 the exponent is zero and the relation is y10e(i)=e(i)=0, so those idempotents vanish rather than merely a degree-one dot relation.

1.2givenalgebra

The quadratic relation. The KLR quadratic relation distinguishes the colour cases: i1=i2, i2=i1+1, i2=i1−1. For e=3 and I={0,1,2} every ordered pair of distinct colours is adjacent in the 3-cycle, so these are all cases, and substituting gives ψ12e(i)=0, (y2−y1)e(i), and (y1−y2)e(i) respectively.

2.1step 1.1step 1.2algebra∎

The two nonzero blocks. By Cyclotomic Hecke algebras of level one are finite Hecke algebras the level-one algebra H2Λ is the finite Hecke algebra HF,q(S2) with standard basis {1,T1}, so it is two-dimensional, and T12−(q−1)T1−q=0 gives H2Λ≅F[T]/((T−q)(T+1))≅F×F, the two factors being distinct because q≠1 and q≠−1 for a primitive cube root in characteristic ≠3. Hence there are exactly two nonzero one-dimensional blocks. Their labels come from the polynomial generator: on the trivial module X1=q0=1 and X2=q−1T1X1T1=q−1q2=q, giving residue sequence (0,1); on the sign module X1=1 and X2=q−1(−1)2=q−1=q2, giving (0,2); equivalently these are the q-contents of the standard tableaux of (2) and (1,1) (The Hecke Jucys-Murphy action is dominance triangular). Every nonzero block contains at least one of these surviving idempotents, so the remaining four blocks of height 2 are zero.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

26 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