Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-05 (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.

Integrally graded conformal module

Definition

Let V be a conformal vertex algebra of CFT type. An integrally graded conformal V-module is a module M for which the conformal field has modes YM(ω,z)=∑n∈ZLM(n)z−n−2, LM(0) is diagonalizable, and M=⨁d∈Z, d≥d0Md,LM(0)∣Md=d id,LM(n)Md⊆Md−n for some integer lower bound d0. The operators LM(n) satisfy the Virasoro relations with the same central charge as V. The sum is algebraic: each vector has finitely many nonzero homogeneous components. No finite-dimensionality of Md is required. Integer weights make aLM(0) single-valued for a∈C∗; the lower bound makes each positive-mode exponential used in the formal-coordinate action locally finite. Modules with fractional L(0) weights require additional tangent or root data and are outside this definition.

Depends on

Dependency tree · 2 levels

Sources