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.
Residue translation on small parabolic category-O standards
Example
Take and in the conventions of The higher-level wedge-tensor Fock module, so has the four monomials and there is only the residue .
On these four basis vectors the residue functors of The residue translation functors on the sum of parabolic blocks act by In the ordered basis the commutator is The source crystal has the component and the isolated label ; the categorical residue translates of the simples have the corresponding unique heads and socles. Outside the allowed alphabet the moves vanish. The calculation uses generalized standards and exact functors, not labels alone.
Facts & Assumptions
Given: Assume inherited AC (The Axiom of Choice) for the cited source upper chart and highest-weight suppliers; the finite computations below use no additional choice. The rank-one Fock model , , its four monomials, the residue functors of The residue translation functors on the sum of parabolic blocks, the source upper crystal of Full finite type-A tensor source upper charts and string leading terms and its data of The crystal graph, , and the weight function.
Flag action (Residue Casimir operators and local affine-Hecke actions): multiplicity-free generalized-standard flags given by the valid single-entry moves, the standard-class isomorphism.
Source upper crystal (Full finite type-A tensor source upper charts and string leading terms, proof step 3.1): read columns left to right, mark an -only column and an -only column , cancel , and use the rightmost surviving for lowering and the leftmost surviving for raising. This gives the components and isolated labels used below.
Rank-one and highest-weight structure (The root sl_2 triple, Parabolic category O is a highest weight category): the root relations , , finite-length Verma modules and their simple heads, projective covers, BGG reciprocity and simple-preserving restricted duality. The residue functors preserve projectives and injectives and commute with duality by The residue translation functors on the sum of parabolic blocks.
Verification
The moves. Apply the Levi tensor decomposition to each one-box column and add the two valid positions: tensoring with the natural module moves an entry to in either position, giving ; there is no entry in , giving ; and the unique entry in either mixed monomial changes to , giving . The dual functor is computed verbatim with the dual natural module and gives the displayed reverse moves.
The commutator. In the ordered basis the matrices of and are and direct multiplication gives , the -Cartan action on the Fock basis.
The actual simple classes. Here and the parabolic is the Borel. The tuple formula gives highest weights for , with root highest weights . On a Verma vector of root highest weight , induction using [F3] gives . For every coefficient for is nonzero, so a nonzero weight submodule contains and the Verma is simple. For , the span of , , is the simple Verma of highest weight , and the quotient is the one-dimensional simple of weight . Thus , , and . Both singular endpoint blocks have one label, so BGG reciprocity makes and projective-injective. In the mixed block reciprocity gives and .
Crystal and head/socle comparison. The moves in step 1.1 give ; these objects are projective, so finite decomposition into projective covers and independence of their classes identify both with . They are self-dual because the endpoint simples are self-dual and the residue functors commute with duality. Hence they have simple head and socle and class . Also and by the standard moves, while exactness gives , so these two translates vanish. The endpoint outward translates vanish as well. Independently, the source signature cancels pairs, leaving the component and isolated . These direct rank-one categorical computations establish precisely its head, socle and vanishing labels without using a general tensor-to-simple crystal identification.
Conclusion. On the four standard monomials the residue functors act by the displayed moves, their commutator is , the source crystal is with isolated , and the categorical translates have the corresponding unique heads and socles; all computations use the actual generalized standards and exact functors.
Depends on
- The residue translation functors give the integrable Fock-space action
- The residue translation functors on the sum of parabolic blocks
- The integral parabolic category-O blocks for higher-level Schur-Weyl duality
- The higher-level wedge-tensor Fock module
- The column monomial basis of the higher-level Fock module
- BGG reciprocity
- Finite Verma flags and their multiplicities
- The Axiom of Choice
- The crystal graph, $\varepsilon_i$, $\varphi_i$ and the weight function
- Full finite type-A tensor source upper charts and string leading terms
- Residue Casimir operators and local affine-Hecke actions
- The local affine-Hecke socle argument for residue translations
- The root sl_2 triple
- Parabolic category O is a highest weight category
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
91 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, Schur-Weyl duality for higher levels, Selecta Math. (N.S.) 14 (2008) 1-57 (complete 50-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)