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.

Exact chiral Majorana field with central charge one half

Example

Let F=⋀alg⟨e1/2,e3/2,…⟩ be the algebraic exterior algebra on finitely supported half-integer mode labels, with vacuum Ω=1. For r>0, let ξ−r act by exterior multiplication by er, and let ξr act by contraction with er, so {ξr,ξs}=δr+s,0I,ξrΩ=0(r>0). Define ε:F→C by ε(Ω)=1 and zero on every positive exterior-degree basis vector. The real one-species CAR field is ξ(z)=∑r∈Z+1/2ξrz−r−1/2, and its formal vacuum contraction is ⟨A(z)B(w)⟩contr:=ε(A(z)B(w)Ω). Fix the source's complex Euclidean normalization ψ(z):=iξ(z); then its radial contraction is −1/(z−w) for ∣z∣>∣w∣. This phase convention does not assert that ψ itself is self-adjoint.

Define fermionic normal ordering by moving all creation modes ξ−r, r>0, to the left of all annihilation modes ξr, r>0, with a factor −1 for every interchange of two odd modes. Set T(z):=12:ψ(z)∂ψ(z):. Every fixed Laurent coefficient of T is a finite sum on F; the OPE below is a formal radially ordered expansion, not an analytic convergence claim.

Facts & Assumptions

Given: The half-integer CAR representation on F, its vacuum, the phase choice ψ=iξ, the normal-ordering rule, and ∣z∣>∣w∣>0.

[F1]

Radial quantization of a plane CFT: radial products are expanded with the larger-radius field to the left.

[F2]

Holomorphic stress-tensor data in a plane CFT: the stress OPE convention is T(z)T(w)∼c/(2(z−w)4)+2T(w)/(z−w)2+∂T(w)/(z−w), and T-primary weight is the coefficient of the double pole in T(z)ψ(w).

[A1]

The finite-particle CAR representation, its vacuum, the mode expansion, and the phase ψ=iξ are the adopted algebraic model data stated in the Example.

[A2]

Fermionic normal ordering moves creation modes left of annihilation modes, with a sign −1 for each interchange of two odd modes. The single- and double-contraction signs used below are derived from this rule and the CAR in steps 1.2 and 2.1.

Verification

technique · direct

Given: [F1]–[F2], [A1]–[A2], and the explicitly defined finite-particle CAR domain.

1.1F1A1algebra

For r=n+12>0, ε(ξrξ−rΩ)=1, while every other mode pairing has zero vacuum coefficient. Therefore, in ∣z∣>∣w∣, ε(ξ(z)ξ(w)Ω)=∑n=0∞z−n−1wn=1z−w. The phase ψ=iξ gives the required negative contraction. Differentiation yields ⟨ψ(z)ψ(w)⟩contr=−s−1,⟨ψ(z)∂ψ(w)⟩contr=−s−2,⟨∂ψ(z)ψ(w)⟩contr=s−2,⟨∂ψ(z)∂ψ(w)⟩contr=2s−3,s=z−w.

2.1F2A2step 1.1algebra

In T(z)ψ(w), contracting the first odd factor across the second gives a minus sign, while the second factor is already adjacent and gives a plus sign. Thus the two single contractions of 12:ψ(z)∂ψ(z):ψ(w) are 12(−⟨ψ(z)ψ(w)⟩∂ψ(z)+⟨∂ψ(z)ψ(w)⟩ψ(z))=12(∂ψ(z)s+ψ(z)s2). Expanding ψ(z)=ψ(w)+s∂ψ(w)+O(s2) and ∂ψ(z)=∂ψ(w)+O(s) gives T(z)ψ(w)∼ψ(w)2s2+∂ψ(w)s. Thus the formal stress OPE has the primary-field singular form with coefficient h=12. This identifies the Virasoro weight in the declared stress-OPE convention; this algebraic calculation does not establish the finite passive-coordinate covariance defined by def-cft-2d-primary-field.

3.1F2A2step 1.1step 2.1algebra

For T(z)T(w), write A=ψ(z), B=∂ψ(z), C=ψ(w), and D=∂ψ(w). Move the annihilation modes to the right using [A2]. The possible single pairings AC, AD, BC, BD cross respectively 1, 2, 0, 1 odd factors, so their signs are −,+,+,−; the two double pairings AC·BD and AD·BC have odd and even crossing parity, so their signs are −,+. These exhaust the pairings of the four odd factors, with the uncontracted fully normal-ordered term regular at z=w. The double pairings therefore equal −(−1s)(2s3)+(−1s2)(1s2)=1s4. Multiplication by the two stress prefactors 1/2 gives the central term 1/(4s4). The single contractions are 14(:∂ψ(z)∂ψ(w):s−:∂ψ(z)ψ(w):s2+:ψ(z)∂ψ(w):s2−2:ψ(z)ψ(w):s3). Using fermionic antisymmetry and the Taylor expansions :∂ψ(z)ψ(w):=−2T(w)−2s ∂T(w)+O(s2),:ψ(z)∂ψ(w):=2T(w)+O(s2),:ψ(z)ψ(w):=−2sT(w)−s2∂T(w)+O(s3), the pole terms combine to 2T(w)/s2+∂T(w)/s; the first single-contraction term has no pole because :∂ψ(w)∂ψ(w):=0. Therefore T(z)T(w)∼1/4(z−w)4+2T(w)(z−w)2+∂T(w)z−w. Comparison with [F2] yields c/2=1/4, hence c=12.

4.1step 2.1step 3.1∎

For fixed integer mode index m, the coefficient of z−m−2 is Lm=12∑r+s=m(−s−12):ψrψs:. Terms with both indices negative have only finitely many solutions; terms with both positive also have only finitely many solutions. In a mixed-sign term, the positive-index annihilation operator can act nontrivially on a fixed exterior basis vector only when its label belongs to that vector's finite occupied set, leaving finitely many terms. Hence each stress mode is defined on all of F. The finite-particle mode sums establish the formal OPE and its two boundary coefficients h=12, c=12 on the specified domain. No conclusion about a full nonchiral theory, a spin-structure sum, analytic convergence, or a physical path integral follows.

Depends on

Dependency tree · 2 levels

Sources