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.
Dual-number vertex algebra that is not of CFT type
Example
Let . Each element has a unique form with , and multiplication is ; the vacuum is . Set and define , viewed as a constant formal series for . Then is an ordinary vertex algebra. With the selected zero conformal vector and central charge , its Virasoro modes are and its weight-zero subspace is , of dimension two. It therefore fails the selected CFT-type condition . This is a formal algebraic example and asserts no analytic or physical CFT existence.
Example references
Facts & Assumptions
Given: The two-dimensional complex vector space with the displayed commutative multiplication, vacuum , zero translation , constant state–field assignment , and the selected CFT-type convention.
has basis , unit , and ; multiplication is the bilinear product stated in the Example.
Formal distributions and fields on a vector space: an endomorphism-valued series is a field when its modes are vectorwise lower-truncated; in the convention this is the field condition to check.
Vertex algebra in the state–field convention: the required ordinary axioms are field truncation, vacuum and creation, translation covariance, and locality.
Conformal vertex algebra of CFT type: the selected conformal data require Virasoro modes with and the nonnegative grading, finite weight spaces, and vacuum-space condition .
Verification
Every polynomial modulo reduces to . If in the quotient, its degree-at-most-one representative lies in the ideal only when . Thus are a basis, and the displayed multiplication is well-defined, commutative, associative, and unital with .
Bilinearity of the product makes linear, so is a linear state–field map. For each , is multiplication by , independent of . Its only possibly nonzero mode is , while for every . Hence for every all modes with annihilate , so is a field.
Multiplication by is the identity and . Since , , while . This verifies the vacuum and creation axioms.
Both and vanish because and is constant. Thus translation covariance holds.
For any , the multiplication operators commute: by commutativity of . Therefore , so locality holds with exponent . Along with the preceding field, vacuum/creation, and translation checks, this verifies every ordinary axiom in [F2].
Take and . Then , so coefficient uniqueness gives for all . Their Virasoro relations hold because both the modes and the central charge are zero, and .
Since , its zero eigenspace is , and for each integer its -eigenspace is . Thus , is diagonalizable, and all weight spaces are finite-dimensional; but .
The subspace is one-dimensional, while is linearly independent of and belongs to . Hence , so the selected CFT-type condition in [F3] fails. No analytic or physical conclusion is used.