Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge 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.

Simples, projectives and tiltings map to the three distinguished Fock bases

Statement

Assume the Axiom of Choice (The Axiom of Choice) and the genuine tableau K0/Fock identification at s=1 (The parabolic category-O Grothendieck group is the integral Fock module). For every label A, [L(A)]=LA,[P(A)]=PA,[T(A)]=TA. The projective coefficients are dA,B(1) by BGG reciprocity; the tilting coefficients are the opposite/reverse-column composition coefficients d~A,B(1), by the exact parabolic Ringel equivalence. They are not generally the inverse-transpose of the original composition matrix. Simples, projectives and tiltings therefore give the dual-canonical, quasi-canonical and canonical Fock families respectively. These are ungraded specializations; no Koszul grading and no identification of the library upper and lower families is asserted.

Facts & Assumptions

Given: The tableau parabolic blocks with their simples, projectives, tiltings and Grothendieck bases; the source Fock families L,P,T and their transition matrices; the mixed multiplicity theorem and the Ringel equivalence.

[F1]

Coefficients and bases (Parabolic Kazhdan-Lusztig polynomials give the dual-canonical transition matrix, The dual-canonical, canonical and quasi-canonical Fock bases, The parabolic category-O Grothendieck group is the integral Fock module): [M(B):L(A)]=dA,B(1) including repeated entries, the standard-class isomorphism, the definition of d as the inverse of the source dual-canonical transition matrix, and PA,MA charts.

[F2]

BGG and reciprocity (BGG reciprocity, Simple and standard bases of K0(O)): projective/standard multiplicities are the simple multiplicities of standards, and simple/standard classes form bases.

[F3]

Ringel duality (Type-A parabolic category-O Ringel duality via the opposite parabolic, The Ringel dual of a finite highest weight ideal): (T(A):M(B))=[Mˉ(B):Lˉ(A)] and the reverse-column label dictionary.

[F4]

Reverse pairing (The Fock pairing matches the projective-simple and standard-costandard pairings, The dual-canonical, canonical and quasi-canonical Fock bases): C(L~A,TB)=δAB with labelled monomial Gram matrix specializing to the identity at s=1.

[F5]

Axiom of Choice (The Axiom of Choice).

Proof

technique · direct
1.1F1F5algebra

Simples. The mixed singular/parabolic coefficient theorem gives [M(B):L(A)]=dA,B(1) including repeated entries; inverting this unitriangular matrix by the standard-class isomorphism of [F1] gives [L(A)]=LA, because LA is defined as the inverse chart of the monomial basis through the same matrix d as the Fock bases.

1.2F1F2algebra

Projectives. BGG reciprocity [F2] gives [P(A)]=∑B[P(A):M(B)][M(B)]=∑BdA,B(1)MB=PA, which is exactly the quasi-canonical family of [F1].

2.1F3F4step 1.2

Tiltings. The opposite block labels and reversed order were computed by the semi-regular label helper, and Ringel reciprocity [F3] gives [T(A)]=∑Bd~A,B(1)MB; the typed reverse-factor pairing of [F4] has labelled monomial Gram matrix specializing to the identity at s=1, and it identifies exactly this latter matrix with the source canonical coefficients, giving [T(A)]=TA. The matrix d~ is the opposite/reverse-column matrix and is not generally the inverse transpose of the original composition matrix.

3.1step 1.1step 1.2step 2.1∎

Conclusion. At s=1 the simple, projective and tilting classes of the block are the dual-canonical, quasi-canonical and canonical Fock vectors respectively, with the stated coefficient matrices; the result is ungraded and asserts neither Koszul grading nor an identification of library upper and lower families.

Depends on

Used by

Dependency tree · two levels

93 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