Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: 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.

The one-dimensional trivial VOA and its Zhu algebra

Statement

Let V=C1, T=0, ω=0, c=0, and Y(1,z)=id⁡V. Then V is a simple VOA of CFT type. Its Zhu circle subspace is O(V)=0, and its Zhu algebra is A(V)=C[1]≅C with [1]∗[1]=[1]. 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.

[F1]

Vertex algebra in the state–field convention: the field axioms are truncation, vacuum/creation, translation covariance and locality, with Y(a,z)=∑ma(m)z−m−1.

[F2]

Conformal vertex algebra of CFT type: CFT type requires a nonnegative integral L(0)-grading, finite-dimensional graded pieces, V0=C1, L(−1)=T, and the Virasoro relations.

[F3]

Zhu algebra of a CFT-type vertex operator algebra: for homogeneous a,b, the circle and candidate star operations are the finite residues specified in that definition.

Proof

1.1givenF1F2algebra

The only nonzero mode of Y(1,z)=id⁡V is 1(−1)=id⁡V. Truncation holds; creation gives Y(1,z)1=1=ezT1; translation covariance has both sides zero; and locality holds because the only fields commute. All L(m)=0, so the Virasoro relations hold with c=0, L(−1)=T=0, and V0=V=C1, 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 V is simple.

2.1givenF3step 1.1algebra∎

Every a=λ1 has weight zero. By [F3], a∘b=λμRes⁡zz−21=0,a∗b=λμRes⁡zz−11=λμ1. Hence O(V)=0, the quotient is V≅C, and its product is scalar multiplication with unit [1]. These computations verify the quotient and product directly in this example.

Depends on

Dependency tree · 2 levels

Sources