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 one-dimensional trivial VOA and its Zhu algebra
Statement
Let , , , , and . Then is a simple VOA of CFT type. Its Zhu circle subspace is , and its Zhu algebra is with . This algebraic example is not asserted to model a nontrivial physical conformal field theory.
Facts & Assumptions
Given: The one-dimensional complex vector space and the displayed vacuum, translation, conformal, and state–field data.
Vertex algebra in the state–field convention: the field axioms are truncation, vacuum/creation, translation covariance and locality, with .
Conformal vertex algebra of CFT type: CFT type requires a nonnegative integral -grading, finite-dimensional graded pieces, , , and the Virasoro relations.
Zhu algebra of a CFT-type vertex operator algebra: for homogeneous , the circle and candidate star operations are the finite residues specified in that definition.
Proof
The only nonzero mode of is . Truncation holds; creation gives ; translation covariance has both sides zero; and locality holds because the only fields commute. All , so the Virasoro relations hold with , , and , with all other weight spaces zero. Thus the CFT-type axioms hold. The only subspaces of a one-dimensional vector space are zero and itself, so is simple.
Every has weight zero. By [F3], Hence , the quotient is , and its product is scalar multiplication with unit . These computations verify the quotient and product directly in this example.