Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-11-05 (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.

Charged rank-one Heisenberg Fock space

Definition

Let P=C[x1,x2,…], where each polynomial involves only finitely many variables. For a real charge p, the rank-one charged Heisenberg Fock space has algebraic core Fpalg=P. Its modes act by

a−kf=xkf,akf=k∂f∂xk,a0f=pf(k≥1, f∈P).

Give the monomial basis the Hermitian inner product

⟨∏k≥1xkuk,∏k≥1xkvk⟩=1u=v∏k≥1kukuk!.

and let Fp be its Hilbert completion. The current is a(z)=∑j∈Zajz−j−1. Normal ordering moves every negative-index mode to the left of every nonnegative-index mode. The conformal modes are

Ln(p)=12∑j∈Z:ajan−j:.

These sums are interpreted on P; their finite action is established by the cited well-definedness result. The vacuum vector 1∈P has charge p, oscillator number 0, and declared conformal weight p2/2.

Remarks

For p=0, the algebraic core and current modes agree with the vacuum oscillator space in Rank-one Heisenberg oscillator fields and vacuum space. For p≠0, the zero mode acts by the scalar p and the lowest conformal weight is p2/2. This is one chiral sector; it is not a full left/right theory.

Depends on

Dependency tree · 2 levels

Sources