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.
Integral line-bundle translation changes the infinitesimal character
Example
For , start at the singular twist with the nonzero -module . Tensor by the integral line bundle . The result is the -module , since integral line-bundle translation changes the twist from to . The Casimir characters change from The translated parameter is not antidominant, and the translated module still has zero global sections (indeed ); the twist equivalence on sheaf modules does not assert that global sections is faithful at the translated parameter.
Facts & Assumptions
Given: The type root datum, , the line-bundle convention and parameter-shifting functor, and the Casimir .
Tensoring by an integral line bundle identifies -modules with -modules (PBW and integral line-bundle twisting for flag TDOs).
For , the Harish–Chandra projection sends to , and (Flag-variety twisted differential operators and their modules, The Harish-Chandra projection computes the highest-weight scalar).
The Cech complex of the two standard affine charts computes (Cech cohomology computes quasi-coherent cohomology on a separated scheme).
Quasi-coherence is the affine-local associated-module condition (Quasi-coherent module on a scheme).
Verification
In type , is the fundamental weight and . Applying [F1] with and sends to at the new twist .
The Harish–Chandra polynomial from [F2] is in the -coordinate. At , the evaluation point is , so . At , the evaluation point is , so . Thus the central characters differ; also , so the target parameter is non-antidominant.
Put on and on . For , the Cech complex has and , with transition . The image contains powers for and for , leaving the single quotient basis . Hence and by [F3]. The nonzero identity of is killed by global sections, so that functor is not faithful. For the standard chart inclusions , put and . Restriction and difference give a -linear exact sequence : differential operators act on direct images by restriction, the kernel consists of sections that glue, and on the other direct-image summand maps isomorphically onto . These sheaves are quasi-coherent by [F5]: on their distinguished-open sections are the localizations of , and , respectively; the same calculation holds with on . The map is exactly the computed Cech differential with nonzero cokernel. Thus global sections is not exact on quasi-coherent -modules. This computation makes no claim that line-bundle translation preserves global-section faithfulness.
Depends on
- Flag-variety twisted differential operators and their modules
- Global sections and localization at a fixed infinitesimal character
- Sheaf cohomology as right derived global sections
- The Harish-Chandra projection computes the highest-weight scalar
- PBW and integral line-bundle twisting for flag TDOs
- Quasi-coherent module on a scheme
- Cech cohomology computes quasi-coherent cohomology on a separated scheme
- Global sections of twisted differential operators on the flag variety
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
- Masaki Kashiwara, Representation theory and D-modules on flag varieties, Astérisque 173–174 (1989) (standard reference, not scraped)
- Masaki Kashiwara, Representation theory and D-modules on flag varieties, Astérisque 173–174 (1989) (standard reference, not scraped)