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 basic level one weight of affine sl2
Example
For indexed by , fix a Cartan complement and prescribe any complex value there. The weight with , and that complementary value is dominant integral. Its intrinsic central coroot is , its level is one, and is integrable and infinite dimensional. This is an intrinsic GCM statement; the complementary value does not specify a loop degree normalization.
Facts & Assumptions
Given: The displayed matrix and a fixed complementary Cartan value.
The primitive positive transpose null vector defines the intrinsic central coroot (Affine central coroot from the transpose null ray).
Dominant integral weights give integrable simple highest-weight modules (Integrability criterion for simple highest weight kac moody modules).
Positive-level nonzero highest-weight modules are infinite dimensional (Integrable affine highest weights have nonnegative integral level).
An indecomposable GCM with a positive null vector is affine (Finite affine indefinite trichotomy for indecomposable gcms).
The minimal realization has independent coroots and dimension (Realization of a generalized cartan matrix).
Dominance and integrality concern only the simple-coroot labels (Kac moody integral and dominant integral weights).
Verification
The matrix has diagonal entries , negative off-diagonal entries and a connected two-vertex graph, so it is an indecomposable GCM. Multiplication gives and the first row is nonzero while the second is its negative, so the rank is one. F4 makes it affine. Since , its positive primitive transpose null vector is , whose entries have gcd one. F1 therefore gives .
By F5 the Cartan has dimension with independent . Fix a complementary vector so that is a basis. For the prescribed , the formula defines a unique linear functional with the required values. Its labels satisfy F6, independently of .
Evaluating the coroot from 1.1 gives . F2 gives integrability of the nonzero simple highest-weight module, and F3 gives infinite dimension. The vanishing second label and arbitrary complementary scalar are both retained, including . No zero-level or loop-normalization claim is inferred. All constructions use a finite basis and explicit coordinates, with no AC.
Depends on
- Affine central coroot from the transpose null ray
- Integrability criterion for simple highest weight kac moody modules
- Integrable affine highest weights have nonnegative integral level
- Finite affine indefinite trichotomy for indecomposable gcms
- Realization of a generalized cartan matrix
- Kac moody integral and dominant integral weights
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
14 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
- Kleshchev, Lectures on Infinite Dimensional Lie Algebras (standard reference, not scraped)
- Perrin, Introduction to Kac-Moody Groups and Lie Algebras (standard reference, not scraped)