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 sl2 singular weight has no cohomology
Example
Assume the Axiom of Choice (The Axiom of Choice). For the weight has on the Weyl wall, and on . All cohomology of vanishes: . More generally the wall-crossing isomorphism of Rank-one cohomology shifts across a simple wall together with the vanishing above degree forces every cohomology group to vanish.
Facts & Assumptions
Given: The Axiom of Choice, , its upper triangular Borel, the flag variety , the fundamental weight and Weyl vector , the simple root with reflection , and the bundle .
In rank one and . Thus for one has , , and . The shifted weight is therefore not regular (Fundamental weights for a chosen simple root system, The Weyl vector, Rank-one cohomology shifts across a simple wall).
For the unique simple root has , so the fibre is all of , and under the fixed identification of the fibre with the two-affine projective line the restriction is isomorphic to ; in particular (A minimal-parabolic flag projection is a projective-line bundle, Flag line-bundle degree on a minimal-parabolic fiber, Two-affine projective line and its twists).
On over one has unless or ; for , and is nonzero exactly for . In particular at both and vanish (Cohomology of O(d) on projective space).
The wall-crossing isomorphism: since the pairing is , for all ; and all cohomology vanishes by the singular-weight lemma (Rank-one cohomology shifts across a simple wall, Singular dot weights have zero line-bundle cohomology, The Borel-Weil-Bott theorem).
is smooth projective of dimension , so for (Serre duality for locally free sheaves on a smooth projective variety).
Verification
By [F2] the bundle is , so [F3] gives and for .
The consistency argument is independent of the table: [F4] gives for all , while for by [F5]; starting from gives and then .
Both computations agree: for , the shifted weight lies on the Weyl wall (the boundary value of the rank-one shift), and all cohomology of vanishes, as asserted.
Depends on
- Rank-one cohomology shifts across a simple wall
- Singular dot weights have zero line-bundle cohomology
- The Borel-Weil-Bott theorem
- A minimal-parabolic flag projection is a projective-line bundle
- Minimal parabolic from one negative simple root
- Flag line-bundle degree on a minimal-parabolic fiber
- Two-affine projective line and its twists
- Cohomology of O(d) on projective space
- Serre duality for locally free sheaves on a smooth projective variety
- The equivariant line bundle associated to a Borel character
- Fundamental weights for a chosen simple root system
- The Weyl vector
- The Axiom of Choice
Used by
Dependency tree · two levels
95 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
- Jacob Lurie, A Proof of the Borel-Weil-Bott Theorem (standard reference, not scraped)
- Xiong Rui, Borel-Weil and Borel-Weil-Bott, Lecture 1 (standard reference, not scraped)