Alphabeta Math
ExampleConstruction: AI-adaptedVerification: 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 nil-Hecke divided-power projective in rank two

Example

Work in R(2αi)≅NH2 of The KLR algebras in root degrees αi and 2αi: generators x1,x2 of degree 2di and τ=τ1 of degree −2di, the basis {x1ax2b,x1ax2bτ}, the relations τ2=0, τx1=x2τ+e, τx2=x1τ−e, and center k[x1,x2]S2. Then: (a) ei,2:=x1τ is a nonzero idempotent of degree 0 and ψ(ei,2)=τx1 is the reflected idempotent; the module Pi,2:=R(2αi)ψ(ei,2){−di} is the polynomial representation of NH2 shifted by −di, an indecomposable graded projective with one-dimensional degree-zero endomorphism ring, and it is the projective cover of the unique graded simple R(2αi)-module up to shift. (b) R(2αi)≅Pi,2{di}⊕Pi,2{−di} with [2]qi!=(qi+qi−1), so Pi,2 is the unique indecomposable projective summand up to shift. (c) In K0(R), [Pi,2]=γ(θi(2)) for the divided power θi(2)=Fi2/[2]qi, and its self-pairing is ([Pi,2],[Pi,2])=(1−qi2)−1(1−qi4)−1, the value of the Lusztig-normalized form at θi(2).

Facts & Assumptions

Given: The rank-two nil-Hecke algebra R(2αi)=NH2 with its basis and relations of The KLR algebras in root degrees αi and 2αi over a field k, 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.

[F1]

Rank-two relations (The KLR algebras in root degrees αi and 2αi): τ2=0, τx1=x2τ+e(ii), τx2=x1τ−e(ii), PBW basis {x1ax2b,x1ax2bτ}, and deg⁡xa=2di, deg⁡τ=−2di.

[F2]

Divided powers (Nil-Hecke idempotents and divided-power KLR projectives): for n=2, ei,2=x1τ is a nonzero idempotent of degree 0, Pi,2=R(2αi)ψ(ei,2){−di} is the unique indecomposable projective summand up to shift, and [Pi,2]=γ(θi(2)) by The KLR Grothendieck ring satisfies the divided-power quantum Serre relations, clause (iii).

[F3]

Pairing values (The KLR Cartan (graded Hom) pairing on the projective Grothendieck group, The KLR Cartan pairing is the Lusztig-normalized half form): ([Pi],[Pi])=(1−qi2)−1 and for the divided power ([Pi,n],[Pi,n])=∏a=1n(1−qi2a)−1.

[F4]

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

technique · direct computation in rank two
1.1givenF1F2algebra

(a) Using [F1], ei,22=x1τx1τ=x1(x2τ+e)τ=x1x2τ2+x1τ=x1τ=ei,2 because τ2=0, and ei,2≠0 because x1τ is a basis monomial; its degree is 2di+(−2di)=0. Likewise ψ(ei,2)2=τx1τx1=(x2τ+e)τx1=x2τ2x1+τx1=τx1, so ψ(ei,2) is an idempotent of degree 0. The left ideal R(2αi)ψ(ei,2) is the polynomial representation: the map aψ(ei,2)↦a⋅1 is surjective onto k[x1,x2] because ψ(ei,2)1=1, and its inverse sends f to fτx1; the two maps are inverse because ψ(ei,2) is the rank-one projection exhibiting NH2=End⁡k[x1,x2]S2(k[x1,x2]), so the module is indecomposable projective and its homogeneous endomorphism algebra is the symmetric polynomial ring k[x1,x2]S2, whose degree-zero part is k. As a projective with simple head it is the projective cover of the unique graded simple column k[x1,x2]/(x1+x2,x1x2), of dimension 2, 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 −di is the one fixed in [F2] and does not affect these statements except by transport.

2.1step 1.1F2F4algebra

(b) The endomorphism ring computation of step 1.1 shows R(2αi)≅End⁡k[x1,x2]S2(k[x1,x2]) as a graded module over itself, and this is the direct sum of 2=[2]i!∣qi=1 shifted copies of the polynomial column Pi,2: the polynomial ring is free of rank 2 over its symmetric subring with basis {1,x1} (or the Artin monomials {1,x1} for m=2), so the duals of the two basis monomials have degrees 0,−2di, so the regular module is V⊕V{−2di} for the polynomial column V. Since Pi,2=V{−di}, this is Pi,2{di}⊕Pi,2{−di}. By [F4] the decomposition into indecomposables is unique up to order and shift, so Pi,2 is the unique indecomposable projective summand up to shift. The graded multiplicity in the normalization of [F2] is [2]qi!=[1]qi[2]qi=1⋅(qi+qi−1), the value recorded in the statement, and at qi=1 it is the ungraded multiplicity 2; the two polynomial columns carry the permutation shifts of the two Artin monomials and are absorbed by this normalization.

3.1step 2.1F2F3algebra∎

(c) The class identification [Pi,2]=γ(θi(2)) is [F2] with n=2. The self-pairing is the rank-n value of [F3] at n=2: ([Pi,2],[Pi,2])=∏a=12(1−qi2a)−1=(1−qi2)−1(1−qi4)−1, which is the Lusztig-normalized value BL(θi(2),θi(2)) by the form comparison.

Depends on

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