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 /Fock identification at (The parabolic category-O Grothendieck group is the integral Fock module). For every label , The projective coefficients are by BGG reciprocity; the tilting coefficients are the opposite/reverse-column composition coefficients , 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 and their transition matrices; the mixed multiplicity theorem and the Ringel equivalence.
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): including repeated entries, the standard-class isomorphism, the definition of as the inverse of the source dual-canonical transition matrix, and charts.
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.
Ringel duality (Type-A parabolic category-O Ringel duality via the opposite parabolic, The Ringel dual of a finite highest weight ideal): and the reverse-column label dictionary.
Reverse pairing (The Fock pairing matches the projective-simple and standard-costandard pairings, The dual-canonical, canonical and quasi-canonical Fock bases): with labelled monomial Gram matrix specializing to the identity at .
Axiom of Choice (The Axiom of Choice).
Proof
Simples. The mixed singular/parabolic coefficient theorem gives including repeated entries; inverting this unitriangular matrix by the standard-class isomorphism of [F1] gives , because is defined as the inverse chart of the monomial basis through the same matrix as the Fock bases.
Projectives. BGG reciprocity [F2] gives , which is exactly the quasi-canonical family of [F1].
Tiltings. The opposite block labels and reversed order were computed by the semi-regular label helper, and Ringel reciprocity [F3] gives ; the typed reverse-factor pairing of [F4] has labelled monomial Gram matrix specializing to the identity at , and it identifies exactly this latter matrix with the source canonical coefficients, giving . The matrix is the opposite/reverse-column matrix and is not generally the inverse transpose of the original composition matrix.
Conclusion. At 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
- The parabolic category-O Grothendieck group is the integral Fock module
- Type-A parabolic category-O Ringel duality via the opposite parabolic
- Parabolic Kazhdan-Lusztig polynomials give the dual-canonical transition matrix
- The dual-canonical, canonical and quasi-canonical Fock bases
- The column monomial basis of the higher-level Fock module
- The integral parabolic category-O blocks for higher-level Schur-Weyl duality
- BGG reciprocity
- Parabolic category O multiplicities are parabolic Kazhdan–Lusztig values
- Simple and standard bases of K0(O)
- The Axiom of Choice
- The Ringel dual of a finite highest weight ideal
- The Fock pairing matches the projective-simple and standard-costandard pairings
Used by
- The Whittaker functor from the relevant parabolic category-O summand Definition
- Opposite-parabolic Ringel duality on a finite ideal Example
- Projective and simple dual bases in a degenerate cyclotomic block Example
- Sign duality and Ringel duality match the Fock-space involutions Proposition
- Degenerate Specht decomposition numbers are canonical basis coefficients at one Theorem
- Schur functor images of standard, simple, projective and tilting objects Theorem
- The degenerate Ariki categorification theorem Theorem
- The degenerate cyclotomic Hecke G₀ is the dual highest weight module Theorem
- The degenerate cyclotomic Hecke projective K₀ is the highest weight module Theorem
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
- Jonathan Brundan and Alexander Kleshchev, The degenerate analogue of Ariki's categorification theorem, Math. Z. 266 (2010) 877-919 (complete 44-page arXiv article) (standard reference, not scraped)
- Jonathan Brundan and Alexander Kleshchev, The degenerate analogue of Ariki's categorification theorem, Math. Z. 266 (2010) 877-919 (complete 44-page arXiv article) (standard reference, not scraped)
- Jonathan Brundan, Dual canonical bases and Kazhdan-Lusztig polynomials, J. Algebra 306 (2006) 17-46 (complete 29-page arXiv v2 article) (standard reference, not scraped)