Manuscript Oai280-A@1 · Oai280-A.tex · proposition · 27038823
Proposition: The scalar VOA
Stage 0: the correspondence as a documentary record › The scalar case · lines 323–354 · proof included or linked
Oai280-A@1#prop:scalar
For with conformal vector zero, its vacuum net has on the one-dimensional vacuum Hilbert space. It is local, irreducible, split, strongly additive, and has two-interval index one.
The grading-restricted finite-length module category is the category of finite-dimensional complex vector spaces; after positive forms are chosen, its unitary version is finite-dimensional Hilbert spaces with ordinary tensor product and flip. The additive dualizable representation category of the scalar net is the same Hilbert-space category.
Proof. All vacuum fields are scalar multiples of identity, so their local algebras are . Every interval and two-interval inclusion is equality. The asserted net properties and index follow directly.
On a module, the conformal operator is zero because the conformal vector is zero. Grading restriction therefore makes the whole module finite dimensional. Fusion is tensor product over .
A normal representation of is scalar multiplication on a Hilbert multiplicity space. A finite-dimensional multiplicity space has its usual conjugate dual. Conversely, a coevaluation vector and evaluation satisfying the conjugate equations would represent the identity operator as a compact operator on that Hilbert space; hence dualizability forces finite dimension.