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 be any field, with finite , and use the standard homogeneous cyclotomic KLR quotient at 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 and Then for , and has dimension one. The proof uses the basic first induction-restriction adjunction and the mixed relations on projective modulo , where is the formal grading variable, independent of any Hecke parameter . No Frobenius theorem, tensor-form perfectness, highest-weight or global-basis isometry, or Hecke basis is required. If and , then .
Open obligation. The proof consumes the sibling suppliers Cyclotomic induction is projective on the right (step 3.1), The categorical 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 , the dominant weight of level , the standard cyclotomic KLR quotient , its rank pieces , and the induction and restriction functors (right append and its adjoint) (Cyclotomic KLR induction and restriction functors, The cyclotomic KLR quotient at a dominant integral weight).
The corner idempotents are orthogonal and sum to the local unit ; left multiplication by gives an isomorphism with inverse , using only the unital corner homomorphism (Cyclotomic KLR induction and restriction functors, The cyclotomic KLR quotient at a dominant integral weight).
On projective modulo the same-color categorical decomposition forgets to on the root component , and the unequal-color mixed relation forgets to for (The categorical commutator for cyclotomic KLR functors, Normalized cyclotomic functors give an integrable quantum action).
The rank- basic projectives are itself, all restricted modules remain finite projective, and the first adjunction holds (Cyclotomic induction is projective on the right, Graded Grothendieck groups, shift action, and Cartan map).
For finite graded projectives the pairing with grading forgotten (equivalently the total graded Hom Hilbert series evaluated at ) is additive, invariant under shifts and descends to the quotient of [F3] (Graded Grothendieck groups, shift action, and Cartan map).
Proof
Given: The cyclic KLR data of [F1]–[F4], the operators
, on projective
modulo , and the classes , .
Rank decomposition. For fixed , the corner idempotents over all root components of height and colors are orthogonal and sum to : each word has exactly one last color and one prefix root, so it lies in exactly one corner. By [F1] the multiplication map is an isomorphism; spelling out the left action by the basic induction functor gives . The zero-corner case gives and is included since its summand is zero.
The mixed commutators at . Forgetting the grading shifts in the same-color categorical decomposition gives on the root component ; its positive identity summands contribute copies and its negative identity summands contribute the signed counterpart, so the integral specializes at to the integer with no division by . The unequal-color mixed relation gives for . Hence on root component . For affine type A every Cartan column sums to zero, including the double-edge matrix at , so independently of . Therefore , and since rank-zero restriction is zero, ; expanding gives .
The Hom-norm recurrence. For finite graded projectives define as in [F4]; it is additive in both variables, unchanged by shifts, and descends to projective modulo . Pairing distinct root blocks by zero and summing over a fixed rank, the ordinary first adjunction gives , hence ; all restricted modules remain finite projectives by [F3], so the recurrence stays inside the declared group. Combining with step 1.2,
Conclusion. The initial value is ; since by right multiplication, , and induction on gives as an ordinary integer. Nothing reduces the integer dimension or the factor inside , so the argument covers every field characteristic; for and the recurrence gives ; and for , independently of , 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 inside projective , so the total dimension 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
- The cyclic affine type A Cartan datum and its residues
- The cyclotomic KLR quotient at a dominant integral weight
- Cyclotomic KLR induction and restriction functors
- Graded Grothendieck groups, shift action, and Cartan map
- Cyclotomic dot annihilators, finite-dimensional blocks, and finite root strings
- Cyclotomic induction is projective on the right
- The categorical $\mathfrak{sl}_2$ commutator for cyclotomic KLR functors
- Normalized cyclotomic functors give an integrable quantum action
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
- Kang and Kashiwara, Categorification of Highest Weight Modules via Khovanov-Lauda-Rouquier Algebras, arXiv:1102.4677v4 (standard reference, not scraped)