Alphabeta Math
LemmaStatement: AI-adaptedProof: 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.

Cyclic type-A KLR regular Hom norm gives the total dimension

Statement

Let F be any field, I=Z/eZ with finite e≥2, and use the standard homogeneous cyclotomic KLR quotient at Λ=∑iλiΛi for the cyclic affine type-A Cartan datum and admissible graded parameters (The cyclic affine type A Cartan datum and its residues, The cyclotomic KLR quotient at a dominant integral weight). Put ℓ=∑iλi and Bd=⨁ht⁡β=dRΛ(β). Then dim⁡FBd=ℓdd! for d>0, and B0=F has dimension one. The proof uses the basic first induction-restriction adjunction and the mixed relations on projective K0 modulo v−1, where v is the formal grading variable, independent of any Hecke parameter qH. No Frobenius theorem, tensor-form perfectness, highest-weight or global-basis isometry, or Hecke basis is required. If ℓ=0 and d>0, then Bd=0.

Open obligation. The proof consumes the sibling suppliers Cyclotomic induction is projective on the right (step 3.1), The categorical sl2 commutator for cyclotomic KLR functors (step 2.1) and Normalized cyclotomic functors give an integrable quantum action (step 2.1); if any of these is not yet authored, this item's decision stays escalated until the supplier and the exact use are reconciled.

Facts & Assumptions

Given: The cyclic affine type-A Cartan datum with finite e≥2, the dominant weight Λ of level ℓ, the standard cyclotomic KLR quotient RΛ=⨁βRΛ(β), its rank pieces Bd, and the induction and restriction functors Fibasic,Eibasic (right append and its adjoint) (Cyclotomic KLR induction and restriction functors, The cyclotomic KLR quotient at a dominant integral weight).

[F1]

The corner idempotents e(β,i) are orthogonal and sum to the local unit 1Bd; left multiplication by RΛ(β+i)e(β,i) gives an isomorphism Bde(β,i)⊗RΛ(β)RΛ(β)≅Bde(β,i) with inverse b↦b⊗1, using only the unital corner homomorphism A→eAe (Cyclotomic KLR induction and restriction functors, The cyclotomic KLR quotient at a dominant integral weight).

[F2]

On projective K0 modulo v−1 the same-color categorical decomposition forgets to [Eibasic,Fibasic]=hi(Λ−β)Id⁡ on the root component β, and the unequal-color mixed relation forgets to [Eibasic,Fjbasic]=0 for i≠j (The categorical sl2 commutator for cyclotomic KLR functors, Normalized cyclotomic functors give an integrable quantum action).

[F3]

The rank-d basic projectives are Bd itself, all restricted modules remain finite projective, and the first adjunction Fibasic⊣Eibasic holds (Cyclotomic induction is projective on the right, Graded Grothendieck groups, shift action, and Cartan map).

[F4]

For finite graded projectives the pairing h(P,Q)=dim⁡FHom⁡(P,Q) with grading forgotten (equivalently the total graded Hom Hilbert series evaluated at v=1) is additive, invariant under shifts and descends to the K0 quotient of [F3] (Graded Grothendieck groups, shift action, and Cartan map).

Proof

technique · direct

Given: The cyclic KLR data of [F1]–[F4], the operators

D=∑iFibasic, E=∑iEibasic on projective

K0 modulo v−1, and the classes Pd=[Bd], P0=[F].

1.1F1F3algebra

Rank decomposition. For fixed d, the corner idempotents e(β,i) over all root components β of height d−1 and colors i are orthogonal and sum to 1Bd: each word has exactly one last color and one prefix root, so it lies in exactly one corner. By [F1] the multiplication map ⨁β,iBde(β,i)⊗RΛ(β)RΛ(β)→Bd is an isomorphism; spelling out the left action by the basic induction functor gives Pd=DPd−1=DdP0. The zero-corner case gives Bde(β,i)=0 and is included since its summand is zero.

1.2F2algebra

The mixed commutators at v=1. Forgetting the grading shifts in the same-color categorical decomposition gives [Eibasic,Fibasic]=hi(Λ−β)Id⁡ on the root component β; its positive identity summands contribute hi copies and its negative identity summands contribute the signed counterpart, so the integral [hi]v specializes at v=1 to the integer hi with no division by v−v−1. The unequal-color mixed relation gives [Eibasic,Fjbasic]=0 for i≠j. Hence [E,D]=∑i[Eibasic,Fibasic]=(∑ihi(Λ−β))Id⁡ on root component β. For affine type A every Cartan column sums to zero, including the double-edge matrix at e=2, so ∑ihi(Λ−β)=∑iλi−∑jβj∑iaij=ℓ independently of β. Therefore [E,D]=ℓ⋅Id⁡, and since rank-zero restriction is zero, EP0=0; expanding [E,Dd]=dℓDd−1 gives EPd=dℓ Pd−1.

2.1F3F4step 1.1step 1.2algebra

The Hom-norm recurrence. For finite graded projectives define h as in [F4]; it is additive in both variables, unchanged by shifts, and descends to projective K0 modulo v−1. Pairing distinct root blocks by zero and summing over a fixed rank, the ordinary first adjunction Fibasic⊣Eibasic gives h(FibasicP,Q)=h(P,EibasicQ), hence h(DP,Q)=h(P,EQ); all restricted modules remain finite projectives by [F3], so the recurrence stays inside the declared group. Combining with step 1.2, h(Pd,Pd)=h(DPd−1,Pd)=h(Pd−1,EPd)=dℓ h(Pd−1,Pd−1).

3.1step 1.1step 2.1∎

Conclusion. The initial value is h(P0,P0)=dim⁡FEnd⁡F(F)=1; since End⁡Bd(Bd)≅Bdop by right multiplication, h(Pd,Pd)=dim⁡FBd, and induction on d gives dim⁡FBd=ℓdd! as an ordinary integer. Nothing reduces the integer dimension or the factor dℓ inside F, so the argument covers every field characteristic; for ℓ=0 and d>0 the recurrence gives dim⁡FBd=0; and for d=0, independently of ℓ, B0=F has the singleton empty monomial as basis. No Frobenius theorem, tensor-form perfectness, highest-weight or global-basis isometry, Hecke basis or choice principle is used.

Remarks

This is the independent dimension input used by the later exact basis theorem: the rank pieces satisfy the recurrence h(Pd,Pd)=dℓ h(Pd−1,Pd−1) inside projective K0, so the total dimension ℓdd! is obtained without any global basis or Hecke-theoretic input. The three sibling suppliers named in the Statement remain an open obligation until they are authored and their uses reconciled.

Depends on

Used by

Dependency tree · two levels

35 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