Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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 level-one sl2 Sugawara central charge

Example

Let sl2 have basis e,f,h with [h,e]=2e, [h,f]=−2f, [e,f]=h, and use the invariant form normalized by B(h,h)=2, B(e,f)=B(f,e)=1. Then dim⁡sl2=3 and h∨=2. Substituting level k=1 into the Sugawara formula gives central charge c=1. Consequently every level-one module satisfying the hypotheses of Sugawara modes satisfy Virasoro at every noncritical complex level carries the normalized Virasoro action with that central charge.

Facts & Assumptions

Given: The displayed sl2 basis and form normalization, and a level-one module satisfying the theorem's restricted-module hypotheses.

[F1]

Sugawara modes and their normal ordering: the central-charge denominator is k+h∨, with critical level k=−h∨ excluded.

[F2]

Dual Coxeter number for the normalized invariant form: h∨ is half the adjoint Casimir scalar.

[F3]

Dual Coxeter number for the normalized invariant form: the adjoint Casimir acts by a scalar γBI.

[F4]

Sugawara modes satisfy Virasoro at every noncritical complex level: under the stated module hypotheses, c=kdim⁡(g)/(k+h∨).

Verification

1.1F2F3algebra

The given brackets make sl2 simple: ad⁡(h) has the three distinct eigenspaces Ce,Cf,Ch; polynomial projections in ad⁡(h) show any nonzero ideal contains one of e,f,h, and bracketing that vector with the other basis vectors yields all three. The B-dual basis to (h,e,f) is (h/2,f,e), so ΩB=h2/2+ef+fe. In the adjoint representation, ad⁡(ΩB)e=12[h,[h,e]]+[e,[f,e]]+[f,[e,e]]=2e+2e+0=4e. By [F2]–[F3], 2h∨=4, hence h∨=2.

2.1F1F4step 1.1algebra∎

The dimension is three. [F1] and [F4] therefore give c=1⋅3/(1+2)=1. The denominator is nonzero, so the example lies away from the critical level k=−2. This is a conditional module example: it computes the central charge for every level-one module meeting the theorem hypotheses with no unitarity or integrability requirement.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

16 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