From vertex operator algebras to conformal nets and back

TL;DR

This paper establishes a correspondence between strongly local vertex operator algebras and conformal nets, demonstrating that many known VOAs are strongly local and exploring their automorphism groups and subalgebra structures.

Contribution

It introduces a general procedure linking strongly local VOAs to conformal nets and proves their invariance under certain operations, expanding the understanding of their structure and classification.

Findings

Many known VOAs are strongly local.

The correspondence between VOAs and conformal nets is bijective for subalgebras.

The Baby Monster group is the automorphism group of the Moonshine conformal net.

Abstract

We consider unitary simple vertex operator algebras whose vertex operators satisfy certain energy bounds and a strong form of locality and call them strongly local. We present a general procedure which associates to every strongly local vertex operator algebra V a conformal net A_V acting on the Hilbert space completion of V and prove that the isomorphism class of A_V does not depend on the choice of the scalar product on V. We show that the class of strongly local vertex operator algebras is closed under taking tensor products and unitary subalgebras and that, for every strongly local vertex operator algebra V, the map W\mapsto A_W gives a one-to-one correspondence between the unitary subalgebras W of V and the covariant subnets of A_V. Many known examples of vertex operator algebras such as the unitary Virasoro vertex operator algebras, the unitary affine Lie algebras vertex operator algebras, the known c=1 unitary vertex operator algebras, the moonshine vertex operator algebra, together with their coset and orbifold subalgebras, turn out to be strongly local. We give various applications of our results. In particular we show that the even shorter Moonshine vertex operator algebra is strongly local and that the automorphism group of the corresponding conformal net is the Baby Monster group. We prove that a construction of Fredenhagen and J\"{o}rss gives back the strongly local vertex operator algebra V from the conformal net A_V and give conditions on a conformal net A implying that A= A_V for some strongly local vertex operator algebra V.