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

Back to manuscript

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.

Nearby in this section