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.
An sl3 weight with cohomology in degree one
Example
Assume the Axiom of Choice (The Axiom of Choice). Let with standard Borel, simple roots , fundamental weights and , and put . Then is regular with Weyl element and , so The Borel-Weil-Bott theorem gives and for . Since is eight-dimensional by the Weyl dimension formula, is eight-dimensional and the Euler-characteristic formula reads .
Facts & Assumptions
Given: The Axiom of Choice, with standard Cartan and Borel, simple roots , fundamental weights , , the simple reflection , the longest element of the Weyl group, and .
In the simple roots are , the positive roots are , and satisfies ; the simple reflection acts by , and the dot action is with (Classical complex matrix Lie algebras, Root systems of the classical complex Lie algebras, Fundamental weights for a chosen simple root system, The Weyl vector in fundamental coordinates, The Weyl vector, Root reflections and the Weyl group action).
Borel-Weil-Bott: if is regular with Weyl element , then and all other cohomology vanishes (The Borel-Weil-Bott theorem).
The Weyl dimension formula gives , since and for the three positive roots; in particular is eight-dimensional (The Weyl dimension formula, Root systems of the classical complex Lie algebras, The Weyl vector in fundamental coordinates).
Euler-characteristic form of Borel-Weil-Bott: when is regular with Weyl element (The Borel-Weil-Bott Euler character is a signed dual Weyl character).
For a dominant integral weight the dual is irreducible of highest weight ; since maps onto , it sends to , so and , hence is irreducible of highest weight and therefore by the classification of finite-dimensional irreducibles, with (Highest weight of the dual representation, Length and longest Weyl-group element, Highest-weight classification).
Verification
Compute in : by [F1] and . Since and (the Cartan entry is , read off from the -coordinates of [F1], so ), this is . Moreover , which is regular because is regular and preserves regularity, and , so the Weyl element is with .
By [F2] applied to and step 1.1, and for ; by [F3] this group is eight-dimensional.
The Euler-characteristic formula of [F4] at this weight reads , and by [F5] , so this equals ; since by step 2.1 the formula is precisely the alternating class of the group .
Steps 1.1-3.1 give a weight whose cohomology is concentrated in degree one with of dimension eight and whose Euler characteristic is , as asserted.
Depends on
- The Borel-Weil-Bott theorem
- The Borel-Weil-Bott Euler character is a signed dual Weyl character
- The Weyl dimension formula
- Highest weight of the dual representation
- Length and longest Weyl-group element
- Highest-weight classification
- The Weyl vector in fundamental coordinates
- Root reflections and the Weyl group action
- Classical complex matrix Lie algebras
- Root systems of the classical complex Lie algebras
- Fundamental weights for a chosen simple root system
- The Weyl vector
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
62 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)