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.
Opposite-parabolic Ringel duality on a finite ideal
Example
Use classical with Levi , and , in the distinct-entry regular block of The integral parabolic category-O blocks for higher-level Schur-Weyl duality.
In target tableau order let with highest weights . The target standard/simple matrix is The reverse readings give the opposite highest weights and the opposite matrix The semiregular label shift is verified on each of the three weights, and hold, and the tilting-standard row matrix is , distinct from the target projective-standard rows . On the genuine target lower ideal the tilting rows are , and its Ringel dual is the opposite highest-weight Serre quotient with standard/simple rows . Simples and canonical classes in the target ideal are unchanged ambient ones, whereas projective and quasi-canonical classes use the standard-flag truncation of the ambient projectives. This gives the actual three-basis finite-ideal dictionary without a false same-downset opposite restriction.
Facts & Assumptions
Given: The Levi- distinct-entry regular block with the three displayed tableaux, their highest weights, the reverse readings, the target and opposite matrices , and the finite witnesses of the semiregular and Ringel items.
Semiregular and Ringel (Parabolic semi-regular duality and the reverse-column label map, Type-A parabolic category-O Ringel duality via the opposite parabolic): the explicit shift on each weight, , and .
Coefficients (Parabolic Kazhdan-Lusztig polynomials give the dual-canonical transition matrix, Simples, projectives and tiltings map to the three distinguished Fock bases, The parabolic category-O Grothendieck group is the integral Fock module): the mixed standard/simple matrix , the opposite matrix , and the identification of simples, projectives and tiltings with the three Fock families at .
Finite ideal transport (The Ringel dual of a finite highest weight ideal, Indecomposable tilting objects exist and are classified in parabolic category O): lower-ideal invariance of the tiltings and the corner-quotient realization of the Ringel dual.
Verification
The two matrices. Finite Levi Weyl cancellation with and , together with all ordinary Kazhdan-Lusztig values at being , gives the target standard/simple matrix and the opposite matrix independently on the displayed labels; subtracting the scalar reduces the comparison to the actual regular example of the block, and the target dominant labels appear in the reverse tableau order while the reverse-side dominant labels appear in the displayed order.
The semiregular shift and the functor values. Applying the explicit block-offset shift of [F1] to each of the three highest weights verifies the label computation: the shifted coordinates return the original column readings, so and the central-character blocks match. Opposite BGG then gives the entrywise tilting-standard matrix through .
The proper ideal and the quotient. Restricting to , the invariant tiltings have rows , while the projective-corner quotient of [F3] has standard/simple rows ; this is the opposite highest-weight Serre quotient by the complementary label, not the same opposite down-set subcategory. Simples and canonical classes are unchanged ambient ones, while projectives and quasi-canonical classes use the standard-flag truncation of the ambient projectives.
Conclusion. In this finite example the semiregular label shift, the functor values and , the opposite BGG tilting matrix , the distinction from the target projective rows , and the two-label ideal quotient data are all verified; the three Fock families correspond to simples, projectives and tiltings exactly as stated.
Depends on
- Type-A parabolic category-O Ringel duality via the opposite parabolic
- The Ringel dual of a finite highest weight ideal
- Indecomposable tilting objects exist and are classified in parabolic category O
- The integral parabolic category-O blocks for higher-level Schur-Weyl duality
- The dual-canonical, canonical and quasi-canonical Fock bases
- The Axiom of Choice
- Parabolic semi-regular duality and the reverse-column label map
- Parabolic Kazhdan-Lusztig polynomials give the dual-canonical transition matrix
- Simples, projectives and tiltings map to the three distinguished Fock bases
- The parabolic category-O Grothendieck group is the integral Fock module
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
75 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, Tilting modules for Lie superalgebras, Comm. Algebra 32 (2004) 2251-2268 (complete 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)
- Volodymyr Mazorchuk, Lectures on Algebraic Categorification, QGM Master Class Series, European Mathematical Society 2012 (complete 77-page arXiv lecture-note set) (standard reference, not scraped)
- Wolfgang Soergel, Character formulas for tilting modules over Kac-Moody algebras (complete 22-page author English preprint; some later additions absent) (standard reference, not scraped)