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.
A singular integral A2 central-character summand
Example
Fix a finite-dimensional complex semisimple Lie algebra , a Cartan subalgebra , and a positive Borel . Write , when , and .
In type , take , with fundamental-weight coordinates . Then has Weyl stabilizer . The dot orbit consists of
These three simple labels form a single singular integral central-character block. Only labels and stabilizer are computed here.
Facts & Assumptions
Given: The setting above and the hypotheses in the example.
Fix a finite-dimensional complex semisimple Lie algebra , a Cartan subalgebra , and a positive Borel . Write , when , and . For a linkage class , let be the full subcategory of objects all of whose simple composition factors have labels in . Then , and each nonzero is indecomposable as a categorical direct summand. These are precisely the blocks. Each lies in ; a central-character summand can contain several blocks. Independently, grouping weights by cosets of the root lattice gives a canonical coarser decomposition by weight cosets. (Central-character summands refine into linkage blocks)
Fix a finite-dimensional complex semisimple Lie algebra , a Cartan subalgebra , and a positive Borel . Write , when , and . For a weight , define Reflections and coroots are those of def-root-reflections-and-the-weyl-group-action, with the shift from def-weyl-vector-rho-for-a-chosen-positive-system. The integral-reflection linkage class through is . The word integral includes zero and negative integral pairings. If is empty the generated group is . This definition uses generating reflections; no identification with a root-lattice-coset stabilizer is assumed. (The integral Weyl group of a weight)
Let and be the central characters obtained from highest weights and . Then where . (Central characters are dot-Weyl orbits)
Let be the root system from thm-the-root-set-is-a-reduced-crystallographic-root-system. For a root , define the corresponding coroot by where is the vector from def-killing-dual-vector-attached-to-a-root. The associated root reflection is the linear map The subgroup of generated by these reflections is the Weyl group , acting on in the usual way. (Root reflections and the Weyl group action)
Verification
With and , the reflection formula gives and . Acting on produces exactly : both reflection formulas permute this set and the three displayed points are reachable. Subtracting gives , the claimed labels.
Type has six Weyl elements, as is also seen by the six distinct matrices : multiplication by either generator permutes these six matrices. Exactly and fix , by evaluating them. Thus the stabilizer is , and the orbit is singular.
The pairings of with the positive coroots are . All are integers, so and . The full dot orbit has one central character and forms one integral-reflection block. The zero pairing explains the stabilizer and does not remove its reflection from the integral group.
Notes
The source gives a typical three-element singular A2 class with an antidominant representative. This item chooses the explicit representative -omega1 of such a class and computes its coordinates; statement provenance is ai-altered to record that specialization.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
15 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
- §4.11 Exercise, pp.85–86, singular three-element class (standard reference, not scraped)