Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Rank-one Heisenberg oscillator fields and vacuum space

Definition

Let P=C[x1,x2,…] be the polynomial algebra whose elements involve finitely many indeterminates, as in The polynomial ring R[xi:i∈I] as finitely supported coefficient families on monomials. Give xr degree r and write Pd for its degree-d subspace. On P, put

a−r=xr⋅,ar=r∂∂xr(r≥1),a0=0,1=1,T=∑r≥1rxr+1∂∂xr.

Every sum of operators here is applied to a polynomial and is then finite. Define a(z)=∑n∈Zanz−n−1, in the conventions of Formal distributions and fields on a vector space, and the divided derivative br(z)=∂zr−1a(z)/(r−1)! for r≥1. In normal ordering, all modes an with n<0 are moved to the left of all modes with n≥0, preserving their respective internal orders. For a polynomial monomial v=xr1⋯xrs define the candidate field

Y(v,z)=:br1(z)⋯brs(z):,Y(1,z)=I.

The empty normal product is the identity. The same-sign modes commute, so the formula is symmetric in the listed factors; it is extended linearly from the polynomial monomial basis. Set ω=12x12. The well-defined state-field and conformal-VOA structure on this vacuum space are proved in The rank-one Heisenberg vacuum space is a conformal VOA of central charge one ↗. The symbol an is a current mode; in particular Y(x1,z)=a(z) and Y(ω,z)=∑nL(n)z−n−2 use different mode shifts.

Depends on

Used by

Dependency tree · two levels

6 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources