Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
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.

Integrable WZW insertions on a punctured sphere

Definition

Fix a finite-dimensional complex simple g, its invariant form B with long roots of square 2, dual Coxeter number h∨, and highest root θ. At level k∈Z≥0, an integrable WZW insertion of label λ at a marked point is the affine module Lk(λ) of lem-cft-wzw-integrable-affine-highest-weight-modules-exist-positive-energy, where λ is dominant integral and ⟨λ,θ∨⟩≤k. The affine bracket is the one in def-untwisted-affine-central-extension, with central generator acting by k, and [d,xm]=mxm. The highest vector has d-weight zero. The horizontal top is the degree-zero space Vλ, with its finite-dimensional g-action. A finite collection of such insertions uses one common level k and the same normalized form.

The Sugawara denominator is k+h∨, which is nonzero under these hypotheses. The grading asserted here is the lower-bounded affine degree −d; restrictedness has the exact meaning in def-positive-energy-affine-module. It does not assert an integral Sugawara L0-spectrum, unitarity, a finite-rank conformal-block bundle, or a full left-right CFT.

Facts & Assumptions

Given: The normalized affine convention and the level, dominant-weight, and integrability hypotheses above.

[A1]

Full AC is assumed through The Axiom of Choice, as required by the finite-dimensional highest-weight classification.

[F1]

Integrable affine WZW highest-weight modules are graded and restricted proves existence, integrability, finite-dimensional horizontal top, degree grading, and restrictedness.

[F2]

Untwisted affine central extension fixes the central term and normalized form used by the Sugawara denominator.

[F3]

Restricted affine-current module calls a module restricted when every vector is killed by all sufficiently high positive current modes; this definition alone supplies no degree grading.

[F4]

Dual Coxeter number for the normalized invariant form defines the dual Coxeter number h∨ for the normalized form; it is positive for a finite-dimensional simple g.

[F5]

Highest-weight classification classifies the finite-dimensional simple horizontal top by its dominant integral highest weight.

Proof

1.1A1F1F2F5given

The lemma [F1] applies to every allowed λ, so the module named in the Definition exists, is simple and integrable, and has the specified finite-dimensional top. The classification in [F5] fixes that top as Vλ. Its current action is at level k with the bracket [F2]. This makes the label data a well-defined collection of affine insertions.

2.1F1F3F4given∎

Since k≥0 and h∨>0 by [F4], k+h∨≠0. The degree and restrictedness assertions are precisely those proved in [F1] using the actual meaning [F3]; no integer L0-spectrum is inferred.

Depends on

Dependency tree · 2 levels

Sources