Alphabeta Math
ExampleConstruction: AI-generatedVerification: 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.

Dual-number vertex algebra that is not of CFT type

Example

Let V=C[e]/(e2). Each element has a unique form a+be with a,b∈C, and multiplication is (a+be)(c+de)=ac+(ad+bc)e; the vacuum is 1=1. Set T=0 and define Y(a,z)b=ab, viewed as a constant formal series for a,b∈V. Then (V,1,T,Y) is an ordinary vertex algebra. With the selected zero conformal vector ω=0 and central charge c=0, its Virasoro modes are Ln=0 and its weight-zero subspace is V0=V, of dimension two. It therefore fails the selected CFT-type condition V0=C1. This is a formal algebraic example and asserts no analytic or physical CFT existence.

Facts & Assumptions

Given: The two-dimensional complex vector space V=C1⊕Ce with the displayed commutative multiplication, vacuum 1, zero translation T, constant state–field assignment Y(a,z)b=ab, and the selected CFT-type convention.

[A1]

V has basis 1,e, unit 1, and e2=0; multiplication is the bilinear product stated in the Example.

[F1]

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 Y(a,z)=∑na(n)z−n−1 this is the field condition to check.

[F2]

Vertex algebra in the state–field convention: the required ordinary axioms are field truncation, vacuum and creation, translation covariance, and locality.

[F3]

Conformal vertex algebra of CFT type: the selected conformal data require Virasoro modes with L(−1)=T and the nonnegative grading, finite weight spaces, and vacuum-space condition V0=C1.

Verification

1.1givenA1algebra

Every polynomial modulo (e2) reduces to a+be. If a+be=0 in the quotient, its degree-at-most-one representative lies in the ideal (e2) only when a=b=0. Thus 1,e are a basis, and the displayed multiplication is well-defined, commutative, associative, and unital with e2=0.

2.1A1F1step 1.1algebra

Bilinearity of the product makes a↦Ma linear, so Y is a linear state–field map. For each a∈V, Y(a,z) is multiplication by a, independent of z. Its only possibly nonzero mode is a(−1)=Ma, while a(n)=0 for every n≠−1. Hence for every b∈V all modes with n≥0 annihilate b, so Y(a,z) is a field.

2.2A1F2step 1.1algebra

Multiplication by 1 is the identity and T1=0. Since T=0, ezTa=a, while Y(a,z)1=a⋅1=a. This verifies the vacuum and creation axioms.

3.1A1F2step 2.1algebra

Both [T,Y(a,z)] and ∂zY(a,z) vanish because T=0 and Y(a,z) is constant. Thus translation covariance holds.

4.1A1F2step 2.1step 2.2step 3.1algebra

For any a,b∈V, the multiplication operators commute: Y(a,z)Y(b,w)=Mab=Mba=Y(b,w)Y(a,z) by commutativity of V. Therefore [Y(a,z),Y(b,w)]=0, so locality holds with exponent N=0. Along with the preceding field, vacuum/creation, and translation checks, this verifies every ordinary axiom in [F2].

4.2A1F2F3step 3.1algebra

Take ω=0 and c=0. Then Y(ω,z)=0=∑n∈ZLnz−n−2, so coefficient uniqueness gives Ln=0 for all n. Their Virasoro relations hold because both the modes and the central charge are zero, and L(−1)=0=T.

5.1A1F3step 4.2algebra

Since L(0)=0, its zero eigenspace is V0=V, and for each integer n>0 its n-eigenspace is Vn={0}. Thus V=⨁n≥0Vn, L(0) is diagonalizable, and all weight spaces are finite-dimensional; but dim⁡V0=2.

6.1A1F3step 5.1algebra∎

The subspace C1=C1 is one-dimensional, while e is linearly independent of 1 and belongs to V0=V. Hence V0≠C1, so the selected CFT-type condition in [F3] fails. No analytic or physical conclusion is used.

Depends on

Dependency tree · 2 levels

Sources