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 nil-Hecke divided-power projective in rank two
Example
Work in of The KLR algebras in root degrees and : generators of degree and of degree , the basis , the relations , , , and center . Then: (a) is a nonzero idempotent of degree and is the reflected idempotent; the module is the polynomial representation of shifted by , an indecomposable graded projective with one-dimensional degree-zero endomorphism ring, and it is the projective cover of the unique graded simple -module up to shift. (b) with , so is the unique indecomposable projective summand up to shift. (c) In , for the divided power , and its self-pairing is , the value of the Lusztig-normalized form at .
Facts & Assumptions
Given: The rank-two nil-Hecke algebra with its basis and relations of The KLR algebras in root degrees and over a field , the idempotent and projective definitions of Nil-Hecke idempotents and divided-power KLR projectives, and the pairing and form comparison of The KLR Cartan (graded Hom) pairing on the projective Grothendieck group and The KLR Cartan pairing is the Lusztig-normalized half form.
Rank-two relations (The KLR algebras in root degrees and ): , , , PBW basis , and , .
Divided powers (Nil-Hecke idempotents and divided-power KLR projectives): for , is a nonzero idempotent of degree , is the unique indecomposable projective summand up to shift, and by The KLR Grothendieck ring satisfies the divided-power quantum Serre relations, clause (iii).
Pairing values (The KLR Cartan (graded Hom) pairing on the projective Grothendieck group, The KLR Cartan pairing is the Lusztig-normalized half form): and for the divided power .
Krull-Schmidt (Graded Krull-Schmidt and shift-orbit bases for finitely generated KLR modules): finite graded projective decompositions are unique up to order and shift.
Verification
(a) Using [F1], because , and because is a basis monomial; its degree is . Likewise , so is an idempotent of degree . The left ideal is the polynomial representation: the map is surjective onto because , and its inverse sends to ; the two maps are inverse because is the rank-one projection exhibiting , so the module is indecomposable projective and its homogeneous endomorphism algebra is the symmetric polynomial ring , whose degree-zero part is . As a projective with simple head it is the projective cover of the unique graded simple column , of dimension , up to shift. The positive symmetric-center ideal gives its simple quotient; its kernel is graded superfluous by the least-degree argument, or by the matrix equivalence with the connected positively graded center; the displayed shift is the one fixed in [F2] and does not affect these statements except by transport.
(b) The endomorphism ring computation of step 1.1 shows as a graded module over itself, and this is the direct sum of shifted copies of the polynomial column : the polynomial ring is free of rank over its symmetric subring with basis (or the Artin monomials for ), so the duals of the two basis monomials have degrees , so the regular module is for the polynomial column . Since , this is . By [F4] the decomposition into indecomposables is unique up to order and shift, so is the unique indecomposable projective summand up to shift. The graded multiplicity in the normalization of [F2] is , the value recorded in the statement, and at it is the ungraded multiplicity ; the two polynomial columns carry the permutation shifts of the two Artin monomials and are absorbed by this normalization.
(c) The class identification is [F2] with . The self-pairing is the rank- value of [F3] at : , which is the Lusztig-normalized value by the form comparison.
Depends on
- Nil-Hecke idempotents and divided-power KLR projectives
- The KLR algebras in root degrees $\alpha_i$ and $2\alpha_i$
- The KLR Grothendieck ring satisfies the divided-power quantum Serre relations
- The KLR Cartan (graded Hom) pairing on the projective Grothendieck group
- Graded Krull-Schmidt and shift-orbit bases for finitely generated KLR modules
- The KLR Cartan pairing is the Lusztig-normalized half form
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
33 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
- Mikhail Khovanov and Aaron D. Lauda, A diagrammatic approach to categorification of quantum groups I, Representation Theory 13 (2009) 309-347, arXiv:0803.4121v2 (standard reference, not scraped)
- Raphael Rouquier, 2-Kac-Moody Algebras, arXiv:0812.5023v3 (66 pages) (standard reference, not scraped)