Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-12
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 A=(2222) indexed by 0,1, fix a Cartan complement and prescribe any complex value there. The weight Λ0 with Λ0(h0)=1, Λ0(h1)=0 and that complementary value is dominant integral. Its intrinsic central coroot is cA=h0+h1, its level is one, and LA(Λ0) 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.

[F1]

The primitive positive transpose null vector defines the intrinsic central coroot (Affine central coroot from the transpose null ray).

[F2]

Dominant integral weights give integrable simple highest-weight modules (Integrability criterion for simple highest weight kac moody modules).

[F3]

Positive-level nonzero highest-weight modules are infinite dimensional (Integrable affine highest weights have nonnegative integral level).

[F4]

An indecomposable GCM with a positive null vector is affine (Finite affine indefinite trichotomy for indecomposable gcms).

[F5]

The minimal realization has independent coroots and dimension 2nrankA (Realization of a generalized cartan matrix).

[F6]

Dominance and integrality concern only the simple-coroot labels (Kac moody integral and dominant integral weights).

Verification

1.1

The matrix has diagonal entries 2, negative off-diagonal entries and a connected two-vertex graph, so it is an indecomposable GCM. Multiplication gives A(1,1)t=(0,0)t and the first row is nonzero while the second is its negative, so the rank is one. F4 makes it affine. Since At=A, its positive primitive transpose null vector is (1,1), whose entries have gcd one. F1 therefore gives cA=h0+h1.

F1F4given
1.2

By F5 the Cartan has dimension 41=3 with independent h0,h1. Fix a complementary vector z so that (h0,h1,z) is a basis. For the prescribed tC, the formula Λ0(ah0+bh1+cz)=a+ct defines a unique linear functional with the required values. Its labels 1,0 satisfy F6, independently of t.

F5F6given
2.1

Evaluating the coroot from 1.1 gives Λ0(cA)=1+0=1. 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 t=0. No zero-level or loop-normalization claim is inferred. All constructions use a finite basis and explicit coordinates, with no AC.

F2F3step 1.1step 1.2

Depends on

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