Vertex Operator Algebras and Direction-Specific Net Bridges

Vertex operator algebras encode chiral fields through formal series. Passing to local operator algebras requires analytic control of those series after smearing; returning from a net requires enough recoverable pointlike fields.

Enter this chapter

Read VOA axioms and module theory first, then distinguish finiteness conditions from the energy bounds used in the operator-algebraic bridge. Helpful background. Free Bosons and Vertex Operators supplies the Heisenberg model used to test every stage. Affine Current Algebras and WZW Models supplies non-Abelian positive-energy examples. Chiral Blocks, Sewing, and Modular Invariance supplies the analytic products, iterates, and modular transformations that tensor-category theorems must control.

Topics

1. Vertex Operator Algebras: Axioms, Grading, and Locality — Defines the graded state–field correspondence and formal locality.
2. Modules, Intertwining Operators, and Tensor Categories — Builds tensor structure from convergent products and iterates.
3. C₂-Cofiniteness, Rationality, and Regularity — Separates finite quotients, semisimplicity, and weak-module regularity.
4. Zhu Algebras, Characters, and Modular Invariance — Connects top-level representation data to genus-one trace functions.
5. VOA Extensions, Orbifolds, Cosets, and Commutants — States the algebraic input for extensions and subtheories.
6. Unitary VOAs, Energy Bounds, and Strong Locality — Identifies the positivity and analytic estimates behind strong locality.
7. Energy Bounds, Strong Locality, and Smeared Vertex Operators — Turns mode bounds into controlled closed smeared fields.
8. From VOAs to Conformal Nets — Constructs an interval net from a strongly local unitary VOA.
9. From Nets to VOAs: Partial Reconstructions and Limits — States what pointlike-field reconstruction can recover.
10. Direction-Specific VOA–Net Extension Theorems and Open Converses — Keeps extension comparisons and their converses direction-specific.

How the ideas fit together

Formal identities are coefficientwise statements; they do not ensure strong commutation of unbounded operator closures. Energy bounds make smearing meaningful, and strong locality yields the conformal net Carpi et al. 2018, Theorems 6.8 and 9.2 (PDF). Finiteness has a separate role: Zhu’s character theorem uses its stated rationality and finiteness hypotheses Zhu 1996, Theorem 5.3.3. Neither modular covariance nor a formal Jacobi identity alone supplies the analytic bridge.

Hypotheses and licensed conclusions

Directional VOA, module, finiteness, smearing, net, and comparison theorems

Object and domain	Required hypotheses	Licensed conclusion	Excluded converse or upgrade	Adversarial check
Graded state–field correspondence	Vacuum and creation, translation, lower truncation, conformal grading, Jacobi or uniform formal locality	A vertex operator algebra with all mode identities	A finite mode table or several OPE coefficients do not establish the Jacobi identity	Alter a high mode while preserving every tested low mode and look for a missing locality exponent
Modules and intertwining operators	Closure under tensor products, convergence and extension of products and iterates, parallel transport, grading restrictions	Associativity, braiding, and a coherent tensor category in the stated module class	Fusion multiplicities alone do not determine associators, braiding, rigidity, or positivity	Supply an associative based ring but no analytic continuation of insertion points
Finiteness and semisimplicity	Declared CFT-type, $C_2$-cofiniteness, rationality, self-contragredience, and any rigidity hypotheses	Regularity or a finite modular tensor category at exactly the theorem's strength	$C_2$-cofiniteness alone does not imply rationality or regularity	Use a triplet VOA with logarithmic indecomposable modules
Zhu algebra and genus-one traces	Admissible top levels; rationality and $C_2$ control for ordinary modular traces, or generalized pseudotrace hypotheses	Simple top-level classification and finite-dimensional modular covariance of the appropriate trace space	A finite Zhu algebra need not be semisimple, and simple characters need not close in a logarithmic theory	Retain a nilpotent $L_0$ part and compare characters with pseudotraces
Unitary VOA on its Hilbert completion	Positive invariant form, PCT adjoints, polynomial mode bounds, common invariant smooth core	Closable smeared vertex operators with controlled adjoints and energy domains	Formal locality or a vanishing core commutator does not imply strong commutativity of closures	Choose symmetric operators commuting on one dense core but with noncommuting spectral resolutions
Strongly local simple unitary VOA	Energy bounds and strong locality for every interval, plus the vacuum and conformal-vector hypotheses	An irreducible diffeomorphism-covariant conformal net and recovery within the theorem's image	Not every unitary VOA is known to be strongly local, and the theorem is not a universal net–VOA equivalence	Remove energy bounds and show that the smeared series lacks a controlled closure
Extensions, orbifolds, cosets, and converse maps	Compatible algebra objects or subobjects, positivity and locality, integrability, finite-index or Condition-I/II hypotheses, matched equivalence notions	The specified extension comparison, sector functor, or partial net-to-VOA reconstruction	Matching modular data, characters, or sector branching do not establish equality of extensions or essential surjectivity	Keep the branching matrix but remove the multiplication, energy bounds, or point-field generation theorem

Structured table data (JSON).

Review the chapter

Why does commutation on a common invariant domain not automatically prove locality of the generated von Neumann algebras?

Solution

For unbounded operators, domain-level commutators need not control the spectral projections of their closures. Strong commutation is the closure-level property needed for commuting local algebras; energy and locality theorems must establish it.

Where to go next

Continue to extended TQFT and bordisms for a classification problem organized by gluing and duality rather than analytic chiral fields.

References

• Carpi, Sebastiano, Yasuyuki Kawahigashi, Roberto Longo, and Mihály Weiner. From Vertex Operator Algebras to Conformal Nets and Back. Memoirs of the American Mathematical Society 254, no. 1213 (2018): vi + 85 pp. DOI; Open PDF.
• Zhu, Yongchang. “Modular Invariance of Characters of Vertex Operator Algebras.” Journal of the American Mathematical Society 9 (1996): 237–302. DOI.