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 wall-crossing functor on Verma modules in rank one
Example
Assume the Axiom of Choice. Work in with the conventions of The classical BGG category O: , , so the regular standards are and for the two elements of , and the singular wall weight is , whose shifted value is . The dominant regular integral block is that of (The regular integral block and its antidominant weight), and the wall-crossing functor is that of The wall-crossing functor and its unit and counit built from the two-dimensional translating module with highest weight up to Weyl conjugacy.
Onto the wall. Tensoring the two regular standards with the two-dimensional module and projecting to the central character of the wall preserves the unique wall standard: and , since and differ by the single simple-root lowering and the tensor filtration retains exactly the labels of weight in the shifted parametrization, as in Translation to and from a single wall on standard modules.
Back out of the wall. The wall block at has a single simple object and is semisimple; hence is projective and injective there, and the exact biadjoint return translation sends it to a projective object of the regular block whose Verma flag has the two factors and , once each, by Translation to and from a single wall on standard modules. By biadjunction, its Hom to is one-dimensional, since ; its Hom to is zero, since has a different central character from . Thus its only simple quotient is , once, and the projective-cover decomposition identifies it with .
Conclusion. Both and are therefore isomorphic to the same nonsplit two-step extension with class in the Grothendieck group, in agreement with Wall-crossing acts on standard modules by a two-step extension. Maximal-weight peeling puts first in the flag; the extension is nonsplit because is indecomposable as a projective cover. The wall sits at highest weight , equivalently at shifted parameter ; the regular highest weight is the dominant maximum of the block; the antidominant minimum is .
Depends on
- The wall-crossing functor and its unit and counit
- Wall-crossing acts on standard modules by a two-step extension
- Verma modules
- Translation to and from a single wall on standard modules
- Finite Verma flags and their multiplicities
- The Axiom of Choice
- The classical BGG category O
- The regular integral block and its antidominant weight
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
43 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
- Arthur Garnier, The classical theory of Soergel bimodules and the link with Lusztig's conjecture, Oberwolfach Arbeitsgemeinschaft note (2022) (standard reference, not scraped)
- Wolfgang Soergel, Kategorie O, perverse Garben und Moduln ueber den Koinvarianten zur Weylgruppe, J. Amer. Math. Soc. 3 (1990) 421-445 (MPIM preprint 1989/46 full text) (standard reference, not scraped)