Abstract
We prove an equivalence between the following notions: (i) unitary Möbius vertex algebras, and (ii) Wightman conformal field theories on the circle (with finite-dimensional conformal weight spaces) satisfying an additional condition that we call uniformly bounded order. Reading this equivalence in one direction, we obtain new analytic and operator-theoretic information about vertex operators. In the other direction we characterize OPEs of Wightman fields and show they satisfy the axioms of a vertex algebra. As an application we establish new results linking unitary vertex operator algebras with conformal nets.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Two-dimensional conformal field theory has attracted the attention of physicists and mathematicians for its rich algebraic and analytic structures (see e.g. [DMS97]). There are several well-developed approaches to axiomatizing unitary two-dimensional chiral conformal field theories (chiral CFTs), and in recent years the problem of reconciling the various approaches has garnered considerable interest. In this article, we will compare two formulations of two-dimensional unitary chiral conformal field theories, namely the vertex algebra approach (in terms of formal power series) and the Wightman approach (in terms of operator-valued distributions on the circle). While these two axiomatizations are supposed to describe the same theories, the manners in which they do so are quite different. In particular, Wightman fields rely on nontrivial analytic properties which are not readily visible in the vertex algebra formulation.
Our main result is that unitary Möbius vertex algebras are equivalent to Möbius-covariant Wightman field theories that satisfy an analytic condition which we call uniformly bounded order. The adjective “Möbius” describes the underlying symmetry of the theories under consideration, which is \(\mathfrak {sl}_2\) at the infinitesimal level or \(\mathrm {PSU}(1,1)\) at the global level. The main result is summarized in Theorem 3.12. A highlight of the result is that we do not impose any extraneous constraints on the vertex algebras under consideration, which is a departure from other results comparing axiomatizations of chiral CFTs. We establish the main result by giving a careful axiom-by-axiom comparison of the two notions, with emphasis on the key properties of locality and Möbius covariance.
The uniformly bounded ordered property arises in our treatment of the locality axiom, and it seems that this property had not been noticed in earlier comparisons of vertex operators and Wightman fields at a physical level of rigor (e.g. [Kac98, §1.2]; see Sect. 3.4 for further discussion). We use the locality axiom of vertex algebras to show that unitary Möbius vertex algebras satisfy uniformly bounded order, which yields new analytic information about these theories. On the other hand, we observe that uniformly bounded order for Wightman fields allows us to construct a vertex algebra structure. This amounts to showing operator product expansion for Wightman fields (cf. [Bos05]).
As an application, we are able to obtain further results comparing unitary vertex operator algebras (VOA) with conformal nets, another well-studied axiomatization of two-dimensional unitary chiral conformal field theories in the spirit of the Haag-Kastler axioms for algebraic quantum field theory (AQFT). First, starting from a conformal net we construct a canonical unitary VOA structure on a subspace of the finite-energy vectors of the theory. We show that this subspace is, in fact, the entire space of finite-energy vectors whenever the conformal net “comes from” a unitary VOA in a loose sense. This construction applies to arbitrary conformal nets, extending a result of [CKLW18] (based on the construction of [FJ96]). Second, we construct conformal nets from unitary VOAs possessing a strong commutativity property, which reproduces a result of [CKLW18] without requiring the technical assumption of “polynomial energy bounds.”
The article is organized as follows: In Sect. 2 we describe the vertex algebra and Wightman formulations of unitary two-dimensional chiral conformal field theories. We also give preliminary results constructing Wightman fields from unitary vertex algebras. In Sect. 3 we give a careful comparison of the two different axiomatizations, with particular attention to locality and Möbius covariance. Here, we prove our main result giving an equivalence between the two notions. In Sect. 4 we discuss conformal nets and give several applications of our results in this context.
2 Two Formulations of Chiral CFT
In this section we introduce our two formulations of chiral CFT, namely unitary Möbius vertex algebras and Möbius-covariant Wightman field theories.
2.1 Positive-energy representations of the Möbius group
We denote by \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) the group of holomorphic automorphisms of the unit disk, which we identify with fractional-linear transformations via
It is a three-dimensional real Lie group with Lie algebra denoted \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\). If we consider \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) as a subgroup of the group \(\mathrm {Diff}(S^1)\) of orientation-preserving diffeomorphisms of the unit circle \(S^1 \subset {\mathbb C}\), \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) is identified with a three-dimensional subspace of the space of smooth vector fields \(\mathrm {Vect}(S^1)\) on \(S^1\). Each vector field is identified with a differential operator \(f(e^{i\theta })\frac{d}{d\theta }\) for some smooth function \(f(e^{i\theta })\), and the Lie bracket is given by \([f\frac{d}{d\theta },g\frac{d}{d\theta }] = (f'g - fg')\frac{d}{d\theta }\), where \(f'\) denotes \(\tfrac{df}{d\theta }\). Note that this bracket is the opposite of the bracket of vector fields, which is the natural choice when identifying \(\mathrm {Vect}(S^1)\) with the Lie algebra of \(\mathrm {Diff}(S^1)\). This gives rise to an embedding \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}) \subset \mathrm {Vect}(S^1)\), and the complexification \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\cong \mathfrak {sl}(2,{\mathbb C})\) of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) is spanned by the elements \(\{L_{-1},L_0,L_1\}\), where \(L_m\) is the complexified vector field \(-ie^{im\theta }\frac{d}{d\theta }\). The vector fields \(L_m\) satisfy the commutation relations
A representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) on an inner product space \({\mathcal V}\) is called a unitary representation if \(\langle L_m u, v \rangle = \langle u, L_{-m}v \rangle \) for all \(u,v \in {\mathcal V}\) and \(m=-1,0,1\). Here we have extended the representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) to its complexification, and, as an abuse of notation, used the same symbols \(L_m\) for operators on the representation space. We are interested in positive-energy representations of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\), which are unitary representations with the additional property that \(L_0\) is a diagonalizable operator with non-negative eigenvalues. Any positive-energy representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) in which \(L_0\) has integral spectrum can be integrated to a continuous (in the strong operator topology, SOT) unitary representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) on the Hilbert space completion \({\mathcal H}\) of \({\mathcal V}\) (see e.g. [Lon08, Wei05, Appendix A], or [CKLW18, §3.1]).
Conversely, an SOT-continuous unitary representation \({\mathcal H}\) of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) is called a positive-energy representation if the generator of the rotation subgroup is a positive operator (with necessarily integral spectrum). In this case, the representation is the integration of a positive-energy representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) on the dense subspace \({\mathcal V}\) of finite-energy vectors (that is, the algebraic span of eigenvectors of the generator of rotation). In this article, we will emphasize positive-energy representations in which the generator of rotation \(L_0 \in {{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\) has finite-dimensional eigenspaces.
2.2 Unitary Möbius vertex algebras
In this section, we define (unitary) Möbius vertex algebras, which were introduced under the name quasi-vertex operator algebra in [FHL93]. The reader is cautioned that other authors have used the term Möbius vertex algebra to refer to a more general notion, in particular relaxing the requirement of finite-dimensionality of the weight spaces (e.g. [BK08]).
If \({\mathcal V}\) is a vector space, we denote by \({{\,\mathrm{End}\,}}({\mathcal V})[[z^{\pm 1}]]\) the set of formal power series in \(z^{\pm 1}\) with coefficients in \({{\,\mathrm{End}\,}}({\mathcal V})\). Given \(v \in {\mathcal V}\) and \(A(z) =\sum _{n \in {\mathbb Z}} A_n z^n \in {{\,\mathrm{End}\,}}({\mathcal V})[[z^{\pm 1}]]\), we can consider a formal series \(A(z)v = \sum _n A_n v z^n\) in the variables \(z^{\pm 1}\) with coefficients in \({\mathcal V}\). Furthermore, for any \(B \in {{\,\mathrm{End}\,}}({\mathcal V})\) we have \([A(z), B] = \sum _n [A_n, B]z^n \in {{\,\mathrm{End}\,}}({\mathcal V})[[z^{\pm 1}]]\). If B(w) is another formal series, then the expression [A(z), B(w)] makes sense as a formal series in \(z^{\pm 1}\) and \(w^{\pm 1}\).
Definition 2.1
An (\({\mathbb N}\)-graded) Möbius vertex algebra consists of a vector space \({\mathcal V}\) equipped with a representation \(\{L_{-1},L_0,L_1\}\) of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\), a state-field correspondence \(Y:{\mathcal V}\rightarrow {{\,\mathrm{End}\,}}({\mathcal V})[[z^{\pm 1}]]\), and a choice of vector \(\Omega \in {\mathcal V}\) such that the following hold:
-
(VA1)
\({\mathcal V}= \bigoplus _{n=0}^\infty {\mathcal V}(n)\), where \({\mathcal V}(n) = \ker (L_0 - n)\) and each \({\mathcal V}(n)\) is finite-dimensional.
-
(VA2)
\(\Omega \) is \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\)-invariant, i.e. \(L_k \Omega = 0\) for \(k=-1,0,1\), and \(Y(\Omega ,z) = {\text {Id}}_{\mathcal V}\).
-
(VA3)
\(Y(v,z)\Omega \) has only non-negative powers of z for all \(v \in {\mathcal V}\).
-
(VA4)
\([L_k, Y(v,z)] = \sum _{j=0}^{k+1} \left( {\begin{array}{c}k+1\\ j\end{array}}\right) z^{k+1-j} Y(L_{j-1}v,z)\) and \(Y(L_{-1}v,z) = \frac{d}{dz} Y(v,z)\) for all \(v \in {\mathcal V}\) and \(k = -1,0,1\).
-
(VA5)
\((z-w)^N[Y(v,z), Y(u,w)] = 0\) for N sufficiently large.
For \(v \in {\mathcal V}\), the field Y(v, z) associated with v can be expanded as a formal series \(Y(v,z) = \sum _{m \in {\mathbb Z}} v_{(m)}z^{-m-1}\), where \(v_{(m)} \in {{\,\mathrm{End}\,}}({\mathcal V})\). A vector \(v \in {\mathcal V}\) is called homogeneous (with conformal dimension d) if it lies in \({\mathcal V}(d)\). As a direct consequence of the axioms, when v is homogeneous with conformal dimension d we have
By comparison of formal series, one can deduce that \([L_0, v_{(m)}] = (d-m-1)v_{(m)}\). It follows that \(v_{(m)}\) maps \({\mathcal V}(n)\) into \({\mathcal V}(n+d-m-1)\).
An (antilinear) automorphism of \({\mathcal V}\) is an (anti)linear bijection \(\Theta :{\mathcal V}\rightarrow {\mathcal V}\) that fixes \(\Omega \), commutes with the \(L_m\), and satisfies \(\Theta (v_{(n)}u) = \Theta (v)_{(n)}\Theta (u)\) for all \(v,u \in {\mathcal V}\) and \(n \in \mathbb {Z}\). A vector \(v \in {\mathcal V}\) is called quasi-primary if it is homogeneous and \(L_{1}v=0\). The field Y(v, z) associated with a quasi-primary vector v is called a quasi-primary field.
An invariant bilinear form \(( \cdot , \cdot )\) on a Möbius vertex algebra \({\mathcal V}\) is a bilinear form such that
Definition 2.2
A unitary Möbius vertex algebra is a Möbius vertex algebra \({\mathcal V}\) equipped with an inner product \(\langle \cdot , \cdot \rangle \) and an antilinear automorphism \(\Theta \) such that the following hold:
-
1.
\(\langle L_{-n}v,u \rangle = \langle v,L_{n}u \rangle \) for all \(v,u \in {\mathcal V}\) and \(n=-1,0,1\) (i.e. \({\mathcal V}\) is a positive-energy representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\)).
-
2.
\(\left\| \Omega \right\| = 1\).
-
3.
\(\langle \cdot , \Theta \cdot \rangle \) is an invariant bilinear form.
Note that we follow the convention that the inner product is linear in the first variable. As in [CKLW18, §5], the operator \(\Theta \) is automatically an involution, and a unitary Möbius vertex algebra is simple (has no proper ideals) if and only if \({\mathcal V}(0) = {\mathbb C}\Omega \). Moreover if \({\mathcal V}(0) = {\mathbb C}\Omega \), then there is at most one involution \(\Theta \) making \({\mathcal V}\) into a unitary Möbius vertex algebra, and so in this case we can omit \(\Theta \) from the extra structure needed to specify unitarity.
If \(v \in {\mathcal V}\) is homogeneous with conformal dimension d, then we write \(v_{n}:=v_{(n+d-1)}\) for the degree-shifted mode, and we extend this definition to arbitrary \(v \in {\mathcal V}\) by linearity. The shifted modes have the property that \(v_n {\mathcal V}(m) \subset {\mathcal V}(m-n)\). For convenience of calculation, we will make use of both conventions throughout the paper. As in [CKLW18], we call a quasi-primary field Y(v, z) Hermitian if \(\langle v_n u,u' \rangle = \langle u,v_{-n}u' \rangle \) for every \(u,u' \in {\mathcal V}\) and \(n \in {\mathbb Z}\). This last condition is equivalent to requiring \(\Theta v = (-1)^{d_v} v\), where \(d_v\) is the conformal dimension of v.
Let \(\mathcal {S}\subset {\mathcal V}\) be a set of homogeneous vectors. We say that the fields \(\{Y(v,z) \, : \, v \in \mathcal {S}\}\) generate \({\mathcal V}\) if
We have the following version of [CKLW18, Proposition 5.17] for Möbius vertex algebras, proven exactly the same way as for vertex operator algebras in the reference.
Proposition 2.3
Let \({\mathcal V}\) be a \({\mathbb N}\)-graded Möbius vertex algebra with \({\mathcal V}(0) = {\mathbb C}\Omega \). Suppose that \({\mathcal V}\) is equipped with an inner product such that \(\left\| \Omega \right\| = 1\) and such that the representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\) on \({\mathcal V}\) is unitary. Then \({\mathcal V}\) is a unitary Möbius vertex algebra if and only if it possess a generating family of Hermitian quasi-primary fields.
2.3 Möbius-covariant Wightman fields
We now give an alternate axiomatization of two-dimensional chiral CFTs, in terms of Wightman fields. The Wightman axioms are usually defined on the Minkowski space \(\mathbb {R}^{d+1}\), but they can be adapted to chiral conformal field theory.
Let \({\mathcal H}\) be a Hilbert space, and let \({\mathcal D}\subseteq {\mathcal H}\) be a dense subspace. An operator-valued distribution on the unit circle \(S^1\) with domain \(\mathcal {D}\) is a continuous linear map
where \({{\,\mathrm{Hom}\,}}({\mathcal D},{\mathcal H})\) is the space of linear maps \({\mathcal D}\rightarrow {\mathcal H}\), equipped with the topology of pointwise convergence. We regard \(\varphi (f)\) as an unbounded operatorFootnote 1 on \({\mathcal H}\) with domain \({\mathcal D}\).
An operator-valued distribution \(\varphi \) with domain \({\mathcal D}\) is called adjointable (or an adjointable field) on \({\mathcal D}\) if there exists an operator-valued distribution \(\varphi ^\dagger \) with domain \({\mathcal D}\) such that
for all \(\Phi ,\Psi \in {\mathcal D}\). Equivalently, \(\varphi \) is adjointable if \({\mathcal D}\subseteq {{\,\mathrm{Dom}\,}}(\varphi (f)^*)\) for every \(f \in C^\infty (S^1)\), in which case the adjoint distribution is given by \(\varphi ^\dagger (f) := \varphi (\overline{f})^*\mid _{\mathcal D}\). Note that continuity of \(f \mapsto \varphi ^\dagger (f)\Phi \) is automatic, by the closed graph theorem. If \(\varphi \) is adjointable, then so is \(\varphi ^{\dagger }\) and \(\varphi ^{\dagger \dagger } = \varphi \). It follows that when \(\varphi \) is adjointable the operators \(\varphi (f)\) and \(\varphi ^\dagger (f)\) are closable. Note that an adjointable field with domain \({\mathcal D}\) remains adjointable when restricted to a dense subspace \({\mathcal D}^\prime \subset {\mathcal D}\).
We now assume that our Hilbert space carries a positive-energy representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\). Following [CKLW18, §6], for \(\gamma \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) we denote by \(X_\gamma \in C^\infty (S^1)\) the function
which takes values in the positive real numbers since \(\gamma \) is an orientation preserving diffeomorphism of \(S^1\). For \(f \in C^\infty (S^1)\) and \(d \in {\mathbb Z}_{\ge 0}\) we denote by \(\beta _d(\gamma )f \in C^\infty (S^1)\) the function
Now, let \({\mathcal D}\) be a dense subspace of \({\mathcal H}\). An operator-valued distribution with domain \({\mathcal D}\) is called Möbius-covariant of degree d (in the Wightman sense) if for every \(\gamma \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) we have \(U(\gamma ){\mathcal D}= {\mathcal D}\) and
for every \(f \in C^\infty (S^1)\), where the equality is that of maps \({\mathcal D}\rightarrow {\mathcal H}\).
Remark 2.4
The function \(X_\gamma \in C^\infty (S^1)\) is characterized in terms of the pushforward of the vector field \(\tfrac{d}{d\theta } \in \Gamma (TS^1)\) by the identity \(\gamma _* \tfrac{d}{d\theta } = (X_\gamma \circ \gamma ^{-1}) \tfrac{d}{d\theta }\). It follows that when \(d > 0\) the operation \(\beta _d(\gamma )\) can be understood in terms of pushforwards of sections of the tensor product bundle \(T^{\otimes d-1}S^1\):
Thus in some contexts the input to a Wightman field of degree d is best understood as a tensor field \(f \tfrac{d}{d\theta }^{\otimes d-1}\) of degree \(d-1\) rather than a function f (see [Lee13, Chapter 12]). Indeed, the same holds when \(d=0\), with \(\tfrac{d}{d\theta }^{\otimes -1}\) interpreted as \(d\theta \).
A set \(\mathcal {F}\) of operator-valued distributions on \(S^1\) with common dense domain \(\mathcal {D} \subset \mathcal {H}\) invariant under \(\varphi (f) \in \mathcal {F}\), together with a SOT-continuous unitary representation U of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) and a vector \(\Omega \in {\mathcal D}\), are called a Möbius-covariant Wightman field theory on \(S^1\) if they satisfy the following axioms:
-
(W1)
Möbius covariance: For every \(\gamma \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), \(U(\gamma )\) preserves \(\mathcal {D}\). For each \(\varphi \in \mathcal {F}\) there is \(d \in \mathbb {Z}_{\ge 0}\) such that \(\varphi \) is Möbius-covariant of degree d.
-
(W2)
Adjoint: Each \(\varphi \in \mathcal {F}\) is adjointable and \({\mathcal F}\) is closed under the involution sending \(\varphi \) to \(\varphi ^\dagger \).
-
(W3)
Locality: If f and g have disjoint supports, then \(\varphi _1(f)\) and \(\varphi _2(g)\) commute for any pair \(\varphi _1, \varphi _2 \in \mathcal {F}\).
-
(W4)
Spectrum condition: The generator \(L_0\) of rotations \(U(R_\theta )=e^{i\theta L_0}\) is positive.
-
(W5)
Vacuum: The vector \(\Omega \) is the unique (up to scalar) vector that is invariant under U, and \(\Omega \) is cyclic for \({\mathcal F}\) in the following sense: whenever \(\varphi _1, \ldots , \varphi _k \in {\mathcal F}\) and \(f_1,\ldots ,f_k \in C^\infty (S^1)\) we have \(\varphi _k(f_k) \cdots \varphi _1(f_1)\Omega \in \mathcal {D}\), and moreover \(\mathcal {D}\) is spanned by vectors of this form.
It follows automatically that expressions such as \(\varphi _1(f_1) \cdots \varphi _k(f_k)\Omega \) are jointly continuous in the \(f_j\). Indeed, \(f_j \mapsto \varphi (f_1) \ldots \varphi (f_k)\Omega \) has a closed graph, because \(f_j \mapsto \langle \varphi (f_j)\Phi , \Psi \rangle \) is continuous for any \(\Phi , \Psi \in \mathcal {D}\) and \(\mathcal {D}\) is dense. As \(C^\infty (S^1)\) is a Fréchet space, the map is therefore continuous. Hence the expression \(\varphi (f_1) \ldots \varphi (f_k)\Omega \) is separately continuous in the \(f_j\), and separately continuous maps from Fréchet spaces into a Fréchet space (the Hilbert space \({\mathcal H}\)) are jointly continuous (see e.g. [Rud91, Theorem 2.17]).
Let \({\mathcal V}\) be the finite-energy vectors \({\mathcal V}= \bigoplus _{n=0}^\infty {\mathcal V}(n)\), where \({\mathcal V}(n) = {\text {ker}}(L_0-n)\) and the direct sum is the algebraic direct sum. In this article we will emphasize theories that also satisfy:
-
(W6)
The eigenspaces \({\mathcal V}(n)=\mathrm {ker}(L_0-n)\) of \(L_0\) are finite-dimensional.
Examples of Wightman field theories that do not satisfy (W6) can be produced by the infinite tensor product construction, as in [CW05, §6].
We claim that if a Wightman field theory \({\mathcal F}\) satisfies (W6) then \({\mathcal V}\subset {\mathcal D}\). First, from the Möbius covariance axiom we see that the subspace \({\mathcal W}\) of \({\mathcal D}\) given by
is contained in \({\mathcal V}\) and invariant under \(L_0\). Thus \({\mathcal W}= \bigoplus _{n=0}^\infty {\mathcal W}(n)\) with \({\mathcal W}(n) \subseteq {\mathcal V}(n)\). Since \({\mathcal D}\) is dense in \({\mathcal H}\) and expressions of the form \(\varphi _k(f_k) \cdots \varphi _1(f_1)\Omega \) are continuous in the \(f_j\), \({\mathcal W}\) is also dense. But this means that \({\mathcal W}(n)\) is dense in \({\mathcal V}(n)\), and since \({\mathcal V}(n)\) was assumed finite-dimensional we must have \({\mathcal W}(n)={\mathcal V}(n)\). We conclude that \({\mathcal V}\subset {\mathcal D}\) as claimed.
For \(v \in {\mathcal V}\), expressions of the form \(\varphi _k(f_k) \cdots \varphi _1(f_1)v\) are jointly continuous in the \(f_j\) by the same argument given above in the case \(v = \Omega \). The Wightman fields that correspond to unitary Möbius vertex algebras satisfy an additional, apparently stronger, requirement that we now explain. For \(N \in {\mathbb R}_{\ge 0}\), the N-Sobolev norm on \(C^\infty (S^1)\) is given by
The Hilbert space completion of \(C^\infty (S^1)\) under this norm, denoted \(H^N(S^1)\), can be identified with the subspace of \(L^2(S^1)\) consisting of functions with finite N-Sobolev norm. The topology on \(C^\infty (S^1)\) is induced by the norms \(\left\| \cdot \right\| _N\), and a linear map from \(C^\infty (S^1)\) to a Banach space is continuous precisely when it extends to a bounded linear map on some \(H^N(S^1)\). Thus, we extend the domain of the expression \(\varphi _1(f_1) \cdots \varphi _k(f_k)v\) from \(C^\infty (S^1)^k\) to \(H^N(S^1)^k\) for some N that depends on v.
We consider the following additional property, asking that N can be chosen independent of v:
-
(W7)
Uniformly bounded order: For every collection \(\varphi _1, \ldots , \varphi _k \in {\mathcal F}\), there is a positive number N such that for every \(v \in {\mathcal V}\) the map \((f_1, {\ldots }, f_k) \mapsto \varphi _k(f_k) {\cdots } \varphi _1(f_1)v\) extends continuously to \(H^N(S^1)^k\).
Remark 2.5
We do not know if the condition of uniformly bounded order follows from the other axioms. Since we will show that Möbius-covariant Wightman field theories with uniformly bounded order correspond exactly to unitary Möbius vertex algebras, the uniformly bounded order condition is automatic if and only if every Möbius-covariant Wightman field theory corresponds to a vertex algebra. The axioms of a vertex algebra essentially require the existence of operator product expansions (OPE), while from the Wightman point of view a form of OPEs has been proved under additional analytic conditions (see e.g. [Bos05]). On the other hand, if we assume uniformly bounded order, then we prove that the fields generate a Möbius vertex algebra, and OPE \(A(z)B(w) = \sum _{j=0}^{N-1} (i_{w,z}\frac{1}{(z-w)^{j+1}}c^j(w) + :A(z)B(w):)\) as formal series follow [Kac98, Theorem 2.3], and this equality holds as distributions.
Remark 2.6
The definition of uniformly bounded order given here implicitly assumes that \({\mathcal V}\subset {\mathcal D}\), which will usually only occur when the weight spaces \({\mathcal V}(n)\) are finite-dimensional. If the \({\mathcal V}(n)\) are infinite-dimensional, then the condition (W7) should be modified to only require that the vectors v lie in \({\mathcal V}\cap {\mathcal D}\).
2.4 Adjointable fields from unitary Möbius vertex algebras
Let \({\mathcal V}\) be a unitary Möbius vertex algebra. In this section, we show that the formal distributions Y(v, z) correspond to adjointable operator-valued distributions on \(S^1\), and that these distributions can be repeatedly applied to the vacuum. This is a first step in constructing a Wightman field theory from \({\mathcal V}\). Other conditions of Wightman fields, such as Möbius covariance and locality, will be studied in Sect. 3.
Recall that for \(v \in {\mathcal V}\) we have a formal series \(Y(v,z) = \sum _n v_{(n)}z^{-n-1}\) with \(v_{(n)} \in \mathrm {End}({\mathcal V})\). For \(f \in C^\infty (S^1)\), we wish to define an unbounded operator \(Y^0(v,f)\) on the Hilbert space completion \({\mathcal H}\) of \({\mathcal V}\) by the formula
Here, \({\hat{f}}(n)\) are the coefficients of the Fourier series of f, and the degree-shifted mode \(v_n\) is given by \(v_n = v_{(n+d-1)}\) when v is homogeneous with conformal dimension d, and otherwise extended linearly. Formally, the map \(Y^0(v,f)\) corresponds to the smeared field \(\oint _{S^1} Y(z^{L_0}v,z)f(z)\,ds\), where ds is normalized arclength measure.
We will see shortly that with this formula \(Y^0(v,f)\) indeed maps \({\mathcal V}\) into the Hilbert space completion \({\mathcal H}\) of \({\mathcal V}\), for any smooth f. The key estimate is given by the following lemma.
Lemma 2.7
Let \({\mathcal V}\) be a unitary MöbiusFootnote 2 vertex algebra. Then for all \(v^1, \ldots , v^k,u,u' \in {\mathcal V}\), there exists a polynomial p such that
for all \((m_1, \ldots , m_k) \in {\mathbb Z}^k\). The polynomial depends on the vectors \(v^j,u,\) and \(u^\prime \), but the degree of p may be bounded independent of u and \(u'\).
Proof
We proceed by induction on k. The case \(k=0\) is vacuous and the case \(k=1\) is immediate as \(\langle v_m u,u' \rangle \) is nonzero for only finitely many m. Now suppose the result has been proven for a value \(k-1\), with \(k \ge 2\). We assume without loss of generality that each \(v^j\) is homogeneous with conformal dimension \(d_j\), and similarly for u and \(u'\).
First, observe that when \(m_1 < -d_{u'}\) we have \( \langle v^1_{m_1} v^2_{m_2} \cdots v^k_{m_k} u, u' \rangle = 0\) by unitarity, and thus we need only consider \(m_1 \ge -d_{u'}\). We have
We show separately that the two terms on the right-hand side are bounded by polynomials in the \(m_j\) (with degrees controlled by the \(v^j\)). We begin with the first of these two terms. Observe that when \(m_1 > d_u\) we have \(\langle v^2_{m_2} \cdots v^{k}_{m_{k}}v^1_{m_1}u, u^\prime \rangle = 0\), and thus we are left with finitely many values of \(m_1\) to consider. For each fixed value of \(m_1\) the inductive hypothesis asserts that \(\big | \langle v^2_{m_2} \cdots v^{k}_{m_{k}}\big (v^1_{m_1}u\big ), u^\prime \rangle \big |\) is bounded by a suitable polynomial in \(m_2, \ldots , m_k\), which completes the argument for the first term.
For the second term on the right-hand side of (2.4), we write
As the sum on the right-hand side is finite, it suffices to bound each term separately by a suitable polynomial. We will now apply the Borcherds commutator formula (see e.g. [Kac98, Section 4.8]), which is given in terms of degree-shifted modes by
when a and b are homogeneous (with conformal dimensions \(d_a\) and \(d_b\), respectively). The commutator formula yields
By the inductive hypothesis, for each s we may bound
for a polynomial p in the \(m_j\). As s takes only finitely many values we may choose a single p that works for all s. Note that the degree of \({\tilde{p}}\), and thus of p, may be bounded independent of u and \(u'\), by the inductive hypothesis.
Taking absolute values in (2.5), we now have
Observe that \(\left( {\begin{array}{c}m_1+d_1-1\\ s\end{array}}\right) \) is a polynomial in \(m_1\) of degree s, and thus the above sum of binomial coefficients is a polynomial in \(m_1\) of degree at most \(d_1+d_\ell -1\). This shows that \(\big | \langle v_{m_2}^2 \cdots [v_{m_1}^1,v_{m_\ell }^\ell ] \cdots v_{m_k}^k u, u' \rangle \big |\) is bounded by a suitable polynomial, which completes the proof. \(\square \)
If f is a Laurent polynomial (i.e. if f has only finitely many nonzero Fourier coefficients), then the map \(Y^0(v,f)\) defined in (2.3) is a finite linear combination of \(v_{(n)}\)’s and thus \(Y^0(v,f)\) defines a map \({\mathcal V}\rightarrow {\mathcal V}\). We have the following estimate for these maps.
Lemma 2.8
Let \({\mathcal V}\) be a unitary Möbius vertex algebra. Let \(v^1, \ldots , v^k, u \in {\mathcal V}\), and let \(f_1, \ldots , f_k \in {\mathbb C}[z^{\pm 1}]\) be Laurent polynomials. Then there is a positive number N, which depends only on the \(v^j\), such that
The constant C depends on the \(v^j\) and u.
Proof
Recall that \(\left\| f \right\| _N\) refers to the Sobolev norm (2.2). The definition of a unitary Möbius vertex algebra implies that
for all \(u,u' \in {\mathcal V}\) (see e.g. the proof of [CKLW18, Theorem 5.16]). Thus, setting \({\tilde{v}}^j = e^{L_1}(-1)^{L_0}\Theta v^j\) we have
By Lemma 2.7 we may choose a polynomial p such that
for all \(n_j\) and \(m_j\), with the degree of p bounded independent of u. Choose M sufficiently large that
for some constant C. Note that we may choose M independent of u (although the constant C does depend on u).
We then have
where in the last inequality we apply the Cauchy-Schwarz inequality to the expression \( \big |{\hat{f}}_j(n)\big |(1+n^2)^{M+1/2} \cdot (1+n^2)^{-1/2}. \) Note that there is no issue of convergence, as the \(f_j\) are Laurent polynomials and all sums are finite. This establishes the desired estimate with \(N=2M+1\). \(\square \)
In particular we have \(\left\| Y^0(v,f)u \right\| \le C \left\| f \right\| _N\) when f is a Laurent polynomial. Thus, if \(f \in C^\infty (S^1)\) and \(f_k\) is a sequence of Laurent polynomials that converges to f in \(C^\infty (S^1)\), we have
with convergence in \({\mathcal H}\). We may therefore define \(Y^0(v,f):{\mathcal V}\rightarrow {\mathcal H}\) as in (2.3) for arbitrary \(f \in C^\infty (S^1)\). As noted in the proof of Lemma 2.8, the definition of a unitary Möbius vertex algebra implies that
for all \(u,u' \in {\mathcal V}\). Extending by continuity, we have
for \(f \in C^\infty (S^1)\), and thus we have an extension of unbounded operators
In particular \(Y^0(v,f)^*\) is densely defined, and consequently the operators \(Y^0(v,f)\) are closable. We denote the closure of \(Y^0(v,f)\) by Y(v, f). Taking closures in the above extension, we obtain
A variant of the above argument shows that smeared fields Y(v, f) may be repeatedly applied to finite-energy vectors.
An expression of the form \(Y(v^k,f_k) \cdots Y(v^1,f_1)\) thus denotes a product of closed operators. Expressions \(Y(v^k,f_k) \cdots Y(v^1,f_1)u\) obtained by applying this product of operators are continuous in the \(f_i\), and thus this expression is also the continuous extension of the canonical map \({\mathbb C}[z^{\pm 1}]^k \rightarrow {\mathcal V}\) defined on Laurent polynomials to a map \(C^{\infty }(S^1)^k \rightarrow {\mathcal H}\).
Proposition 2.9
Let \({\mathcal V}\) be a unitary Möbius vertex algebra, let \(v^1, \ldots , v^k \in {\mathcal V}\), and let \(f_1, \ldots , f_k \in C^\infty (S^1)\). Then \({\mathcal V}\) is contained in the domain of \(Y(v^k,f_k) \cdots Y(v^1,f_1)\). Moreover, there exists a number N such that for every \(u \in {\mathcal V}\) we have
for some constant C (that depends on u).
Proof
We proceed by induction on k. Suppose that \(k \ge 1\) and that the result holds for \(k-1\) (with the base case \(k=0\) being vacuous). By the inductive hypothesis we may choose N such that
By Lemma 2.8 and the following discussion, there is a continuous multilinear map \(X: H^{N'}(S^1)^k \rightarrow {\mathcal H}\) such that when \(f_1, \ldots , f_{k-1}\) are Laurent polynomials
Making N or \(N'\) larger if necessary, we assume without loss of generality that \(N=N'\).
Now let \(f_1, \ldots , f_k \in C^\infty (S^1)\), and for \(j=1, \ldots , k-1\) choose sequences of Laurent polynomials \(f_{j,n}\) such that \(f_{j,n} \rightarrow f_j\) in \(H^N(S^1)\). Then, by the inductive hypothesis, we have
in \({\mathcal H}\). Moreover, since X is continuous we have that
Since \(Y(v^k,f_k)\) is closed, it follows that \(Y(v^{k-1}f_{k-1}) \cdots Y(v^1,f_{1})u\) lies in the domain of \(Y(v^k,f_k)\), and that
Since \(u \in {\mathcal V}\) was arbitrary, we have that \({\mathcal V}\) is contained in the domain of the product \(Y(v^k,f_k) \cdots Y(v^1,f_1)\). The desired estimate on \(\left\| Y(v^k,f_k) \cdots Y(v^1,f_1)u \right\| \) follows immediately from (2.7) and the continuity of X, completing the proof. \(\square \)
Remark 2.10
The natural analog of Proposition 2.9 with the vertex operators Y(v, z) replaced by a unitary module action \(Y^M(v,z)\) also holds, with the same proof. However we will not discuss modules for vertex algebras in this article.
Corollary 2.11
Let \({\mathcal V}\) be a unitary Möbius vertex algebra and let \(v \in {\mathcal V}\). Let
Then the assignment \(\varphi _v(f) = Y(v,f)\mid _{\mathcal D}\) is an adjointable operator-valued distribution on \({\mathcal D}\). If \({\tilde{v}} = e^{L_1}(-1)^{L_0}\Theta v\), then \(\varphi _v^\dagger = \varphi _{{\tilde{v}}}\).
Proof
The fact that \(\varphi _v\) and \(\varphi _{{\tilde{v}}}\) are operator-valued distributions on \({\mathcal D}\) follows immediately from Proposition 2.9. Adjointability and the formula for \(\varphi _v^\dagger \) now follow immediately from Equation (2.6). \(\square \)
Note that Corollary 2.11 applies to an arbitrary unitary Möbius vertex algebra \({\mathcal V}\), in contrast to earlier results (e.g. in [CKLW18]) which rely on specialized analytic assumptions on \({\mathcal V}\), such as polynomial energy bounds.
3 Vertex Operators and Möbius-Covariant Wightman Fields
In this section, we will show that the distributions described in Corollary 2.11 satisfy the axioms of Wightman field theory. We will also establish a converse result, that the space of finite-energy vectors in a Wightman field theory with uniformly bounded order can be equipped with a structure of Möbius vertex algebra.
One of the technical challenges in establishing the Wightman axioms is that all fields act on a common domain \({\mathcal D}\) which is in turn determined collectively by all of the fields (as it is spanned by expressions of the form \(\varphi _k(f_k) \cdots \varphi _1(f_1)\Omega \)). It is easier to consider properties that can be studied for each field separately, which we will do by restricting our Wightman fields to the smaller domain of finite-energy vectors \({\mathcal V}\). In this section, we will formulate a notion of “quasi-Wightman field theory” which corresponds to a family of operator-valued distributions with domain \({\mathcal V}\) that satisfy analogs of the axioms of Wightman fields, and we will show that, under the assumption of uniformly bounded order, Wightman field theories and quasi-Wightman field theories are both equivalent to unitary Möbius vertex algebras.
3.1 Regularity of adjointable fields on \({\mathcal V}\)
As before, fix a Hilbert space \({\mathcal H}\) carrying a positive-energy representation \(U:{\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\rightarrow {\mathcal U}({\mathcal H})\) of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), and denote by \({\mathcal V}= \bigoplus _{n \in {\mathbb Z}_{\ge 0}} {\mathcal V}(n)\) the dense subspace of finite-energy vectors. We assume that each \({\mathcal V}(n)=\mathrm {ker}(L_0-n)\) is finite-dimensional and that \(\dim {\mathcal V}(0) = 1\).
As discussed above, it will be a useful technical tool to consider a variation of the Wightman axioms in which the operator-valued distributions have domain \({\mathcal V}\), and not a larger invariant domain. Working with such theories, which we call quasi-Wightman field theories, involve several technical trade-offs. For our purposes, a key benefit is that quasi-Wightman field theories are easier to construct than Wightman field theories, since almost all of the imposed conditions are phrased in terms of properties of individual fields as opposed to interactions of families of fields.
We will now study general properties of operator-valued distributions defined on the domain \({\mathcal V}\). Write \({\widehat{{\mathcal V}}} = \prod _{n \in {\mathbb Z}_{\ge 0}} {\mathcal V}(n)\) for the algebraic completion of \({\mathcal V}\), namely, the set of all sequences \((v_1, v_2,\cdots )\) with \(v_n \in {\mathcal V}(n)\), equipped with the product topology. We have inclusions \({\mathcal V}\subset {\mathcal H}\subset {\widehat{{\mathcal V}}}\) as linear spaces. The inner product on \({\mathcal V}\) gives an identification of \({\widehat{{\mathcal V}}}\) with \(\overline{{\mathcal V}}^*\), the algebraic dual space of the complex conjugate of \({\mathcal V}\). We will generally use \(\langle \, \cdot \, , \, \cdot \, \rangle \) to denote both the inner product on \({\mathcal H}\) and the induced sesquilinear pairing of \({\mathcal V}\) with \({\widehat{{\mathcal V}}}\), adding subscripts to clarify when necessary. The topology on \({\widehat{{\mathcal V}}}\) is induced by the family of linear functionals \(\langle \, \cdot \, , u \rangle \), for \(u \in {\mathcal V}\).
Lemma 3.1
Let \(\varphi \) be an operator-valued distribution with domain \({\mathcal V}\). Then the following are equivalent:
-
1.
\(\varphi \) is adjointable.
-
2.
The map \(\varphi :C^\infty (S^1) \times {\mathcal V}\rightarrow {\mathcal H}\) extends to a continuous map \(C^\infty (S^1) \times {\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\).
Proof
Note that joint and separate continuity of maps \(C^\infty (S^1) \times {\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\) are equivalent by the Banach-Steinhaus theorem for Fréchet spaces (see e.g. [Rud91, Theorem 2.17]).
First assume that \(\varphi \) is an adjointable field. For each \(f \in C^\infty (S^1)\) we extend \(\varphi (f)\) to a map \({\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\) as follows. For \(\xi \in {\mathcal H}\), we define \(\varphi (f)\xi \in {\widehat{{\mathcal V}}} \cong \overline{{\mathcal V}}^*\) by requiring
The latter expression is evidently continuous in \(\xi \) and f separately, hence jointly.
Conversely, assume that \(\varphi \) extends to a continuous map \(C^\infty (S^1) \times {\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\). We use the symbol \(\varphi (f)\) to denote both the map \({\mathcal V}\rightarrow {\mathcal H}\) as well as the extension \({\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\). For each \(f \in C^\infty (S^1)\) and \(v \in {\mathcal V}\) the map \({\mathcal H}\rightarrow {\mathbb C}\) given by \(\xi \mapsto \langle \varphi (f)\xi ,v \rangle \) is continuous by assumption. Restricting to \(\xi \in {\mathcal V}\) we have \(v \in {{\,\mathrm{Dom}\,}}(\varphi (f)^*)\) for every f. Define \(\varphi ^\dagger :C^\infty (S^1) \times {\mathcal V}\rightarrow {\mathcal H}\) by the formula \(\varphi ^\dagger (f)v = \varphi (\overline{f})^*v\). By construction we have
for \(\xi ,v \in {\mathcal V}\), and by continuity this extends to all \(\xi \in {\mathcal H}\). By assumption the right-hand expression is continuous in f. Thus \(f\mapsto \varphi ^\dagger (f)v\) is continuous as a map into \({\mathcal H}\) equipped with the weak topology. This then implies that this map is continuous into \({\mathcal H}\) with the norm topology by the closed graph theorem (see e.g. [Rud91, Theorem 5.1]), and thus \(\varphi ^\dagger \) is an operator-valued distribution. \(\square \)
As a consequence of Lemma 3.1, when \(\varphi \) is an adjointable field with domain \({\mathcal V}\) we will implicitly extend \(\varphi (f)\) to a continuous map \(\varphi (f):{\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\). We will generally consider compound expressions which define vectors in \({\widehat{{\mathcal V}}}\) or some subspace. For example, if \(\varphi \) and \(\psi \) are adjointable fields and \(u \in {\mathcal V}\), then we have \(\varphi (f)\psi (g)u \in {\widehat{{\mathcal V}}}\).
As described in Sect. 2, Wightman fields arising from vertex operators are not only adjointable; they also satisfy a certain uniformity condition on the orders of the distributions. We describe this analog of the uniformly bounded order condition below in the context of a single operator-valued distribution with domain \({\mathcal V}\). In contrast, the condition (W7) of uniformly bounded order for a Wightman field theory is apparently stronger, as it is a condition on a collection of Wightman fields acting on an invariant domain. We will see later (Theorem 3.12) that these two notions of uniformly bounded order are, in fact, equivalent. The uniformly bounded order condition will eventually play a crucial role in comparing locality of fields in the Wightman sense with locality in the sense of vertex operators.
Definition 3.2
An adjointable operator-valued distribution \(\varphi \) with domain \({\mathcal V}\) is said to have uniformly bounded order if there is a positive number N such that the assignment \(f \mapsto \varphi (f)v\) extends to a continuous map \(H^N(S^1) \rightarrow {\mathcal H}\) for every \(v \in {\mathcal V}\).
Note that for each v we are guaranteed that the map \(f \mapsto \varphi (f)v\) extends continuously to \(H^N(S^1)\) for some N by the definition of the topology on \(C^\infty (S^1)\), but in Definition 3.2 we insist on choosing N independent of u.
We have the following analog of Lemma 3.1.
Lemma 3.3
Let \(\varphi \) be an adjointable field with domain \({\mathcal V}\). Then the following are equivalent:
-
1.
\(\varphi ^\dagger \) has uniformly bounded order.
-
2.
For some \(N>0\) the map \(\varphi :C^\infty (S^1) \times {\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\) extends to a continuous map \(H^N(S^1) \times {\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\).
Proof
This can be proved in a parallel way as in Lemma 3.1, replacing the Fréchet space \(C^\infty (S^1)\) by the Hilbert space \(H^N(S^1)\). \(\square \)
3.2 Möbius covariance for adjointable fields
As above, let \({\mathcal H}\) be a Hilbert space carrying a positive-energy representation \(U:{\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\rightarrow {\mathcal U}({\mathcal H})\), and let \({\mathcal V}\) be the subspace of finite-energy vectors, with finite-dimensional weight spaces \({\mathcal V}(n) = \mathrm {ker}(L_0 - n)\) and \(\dim {\mathcal V}(0) = 1\). As described in Sect. 2.1, U is the exponentiation of a positive-energy representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\). Given a complexified vector field \(g \frac{d}{d\theta } \in {{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\), we write \(\pi (g \tfrac{d}{d\theta }) \in {{\,\mathrm{span}\,}}_{\mathbb C}\{L_{-1},L_0,L_1\}\) for the corresponding operator, which we may regard as a map of \({\mathcal V}\) into \({\mathcal V}\) or as a map of \({\widehat{{\mathcal V}}}\) into \({\widehat{{\mathcal V}}}\). Thus, if \(\varphi \) is an adjointable field, we may consider expressions \(\pi (g \tfrac{d}{d \theta }) \varphi (f)u \in {\widehat{{\mathcal V}}}\) and \(\varphi (f)\pi (g \tfrac{d}{d\theta })u \in {\mathcal H}\). This allows us to state transformation rules for \(\varphi \) under the action of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) in terms of familiar commutation relations.
Remark 3.4
If \(g\tfrac{d}{d\theta } \in {{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\), then \(i\pi (g \tfrac{d}{d\theta })\) is a linear combination of \(L_1\), \(L_0\) and \(L_{-1}\), and so it is essentially skew-adjoint on \({\mathcal V}\) by the commutator theorem [RS75, Theorem X.37] and the explicit estimates in [Lon08, Section 1.5]. Hence the domain of its closure on \({\mathcal V}\) coincides with the domain of \((\pi (g \tfrac{d}{d\theta })|_{\mathcal V})^*\). From this point of view, the operator \(\pi (g \tfrac{d}{d\theta })\) can be seen as a map from \({\mathcal H}\) to \({\widehat{{\mathcal V}}}\) and the domain of the closure of \(\pi (g \tfrac{d}{d\theta })\!\mid _{\mathcal V}\) consists of the vectors \(\xi \in {\mathcal H}\) such that \(\pi (g \tfrac{d}{d\theta })\xi \in {\mathcal H}\).
An adjointable field \(\varphi \) on \({\mathcal V}\) is called Möbius-covariant (or quasi-primary) with degree d, in the Wightman sense if, for every \(f \in C^\infty (S^1)\), \(u \in {\mathcal V}\), and \(\gamma \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), we haveFootnote 3\(\varphi (f)U(\gamma )^*u \in {\mathcal H}\), and moreover \(\varphi \) satisfies the covariance condition
where \(\beta _d\) is defined in (2.1). Similarly, an adjointable field \(\varphi \) on \({\mathcal V}\) is called Möbius-covariant (or quasi-primary) with degree d in the vertex algebra sense if it satisfies the infinitesimal covariance condition with degree d:
for all \(g \tfrac{d}{d \theta } \in {{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\), \(u \in {\mathcal V}\), and \(f \in C^\infty (S^1)\). For a quasi-primary field \(\varphi \) with degree d, we have a formal series expansion \({\hat{\varphi }}(z) = \sum _n \varphi (e_n) z^{-n-d}\), where \(e_n(e^{i\theta }) = e^{in\theta }\). By taking \(g(e^{i\theta }) = -ie^{ik\theta }\), we see that Möbius covariance in the vertex algebra sense is equivalent to the familiar condition
Lemma 3.5
Let \(\varphi \) be an adjointable operator-valued distribution with domain \({\mathcal V}\) and let d be a non-negative integer. Then \(\varphi \) is Möbius-covariant with degree d in the Wightman sense if and only if it is so in the vertex algebra sense.
Proof
First assume that \(\varphi \) satisfies the infinitesimal covariance condition (3.1). Let \(g \frac{d}{d \theta } \in {{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) be a real vector field, and let \(\gamma _t = \exp (t g \frac{d}{d \theta }) \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) be the corresponding one-parameter group. Note that the exponential map from \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) to \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) is surjective, so it suffices to prove covariance for transformations of the form \(\gamma _t\). The operator \(\pi (g \frac{d}{d\theta })\) is skew-adjoint (we work with the closure of the operator defined on finite-energy vectors) and we have \(U(\gamma _t) = e^{t \pi (g \frac{d}{d\theta })}\) (see [Lon08, Section 1.5]). Fix \(u \in {\mathcal V}\), and let
Note that \(u_1\) naturally takes values in \({\widehat{{\mathcal V}}}\) and \(u_2\) naturally takes values in \({\mathcal H}\). We would now like to show that \(u_1 = u_2\). As both \(u_1(t)\) and \(u_2(t)\) are continuous in f (as maps into \({\widehat{{\mathcal V}}}\)), we may assume without loss of generality that f is a Laurent polynomial.
We first argue that both \(u_1\) and \(u_2\) extend to holomorphic functions on a neighborhood of \({\mathbb R}\). Indeed, by [Wei05, Proposition A.2.9], the function \(U(\gamma _{-t})u {=} U(\gamma _{-t_0})U(\gamma _{-(t-t_0)})u\) extends to a holomorphic function into \({\mathcal H}\) defined on a neighborhood of an arbitrary \(t_0 \in {\mathbb R}\). Composing with the continuous linear map \(\varphi (f): {\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\) yields a \({\widehat{{\mathcal V}}}\)-valued holomorphic extension of \(u_1\) (see [Rud91, Definition 3.30]).
We now consider \(u_2\). As each \(\gamma _t\) maps \(S^1\) onto itself, the map \(t \mapsto \gamma _t\) has a holomorphic extension to a neighborhood of \({\mathbb R}\), taking values in Möbius transformations that map \(S^1\) into \({\mathbb C}^\times \). Since f is a Laurent polynomial, the map \((t,z) \mapsto (\beta _d(\gamma _t)f)(z)\) has an extension to a neighborhood of \({\mathbb R}\times S^1\) which is (separately, and therefore jointly) holomorphic. Thus the function \(t \mapsto \beta _d(\gamma _t)f\) extends to a holomorphic function from a neighborhood of \({\mathbb R}\) into \(C^\infty (S^1)\), since the z-derivatives of \((\beta _d(\gamma _t)f)(z)\) are uniformly continuous in a compact neighborhood of \(S^1\). Composing with the continuous linear map \(\varphi \) shows that \(t \mapsto \varphi (\beta _d(\gamma _t)f)u\) has a holomorphic extension as a map into \({\mathcal H}\). Hence,
has a holomorphic extension for every \(v \in {\mathcal V}\). We conclude that \(u_2\) extends to a holomorphic map from a neighborhood of \({\mathbb R}\) into \({\widehat{{\mathcal V}}}\).
As both \(u_1\) and \(u_2\) are analytic, it suffices to show that their Taylor series centered at \(t=0\) coincide. For \(u_1\), it is straightforward to compute the derivatives
Repeatedly differentiating (while noting that \(\pi (-g\tfrac{d}{d\theta })\) maps \({\mathcal V}\) into itself) we obtain
We now turn our attention to \(u_2\). Recall from Remark 2.4 that \(\beta _d(\gamma _t)f\) is given by the pushforward
where in the case \(d=0\) we formally set \(\tfrac{d}{d\theta }^{\otimes -1} := d\theta \). We thus have
where \({\mathcal L}\) is the Lie derivative of tensor fields (see [Lee13, Chapter 12]). As \(f \mapsto \varphi (f)u\) is continuous, we can plug in the formula for \(\tfrac{d}{dt} \beta _d(\gamma _t)f\) from (3.4) and compute
By the infinitesimal commutation relation (3.1), \(\pi (g \tfrac{d}{d\theta })\varphi (\beta _d(\gamma _t)f)u\) is a linear combination of vectors in \({\mathcal H}\), and thus lies in \({\mathcal H}\) as well. By Remark 3.4, \(\varphi (\beta _d(\gamma _t)f)u\) lies in the domain of the skew-adjoint unbounded operator \(\pi (g \tfrac{d}{d\theta })\). We can now continue the above calculation:
We now repeatedly apply this computation to conclude that
Combining this with (3.3), we obtain
for all \(n\ge 0\). As \(u_1\) and \(u_2\) are analytic, we conclude that \(u_1 = u_2\). The map \(u_2\) takes values in \({\mathcal H}\), so it follows that \(u_1\) does as well. Hence \(\varphi (f)U(\gamma _{-t})u \in {\mathcal H}\), and multiplying \(u_1\) and \(u_2\) by \(U(\gamma _t)\) we get
completing one direction of the proof.
Now assume conversely that \(\varphi \) satisfies the Wightman version of Möbius covariance. Without loss of generality we take f to be a Laurent polynomial as above, as the infinitesimal covariance condition is continuous in f. It suffices to consider \(g \frac{d}{d\theta } \in {{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\), and we take \(\gamma _t\) as above. The functions \(u_1\) and \(u_2\), defined as above, are analytic, and this time by assumption we have \(u_1 = u_2\). Evaluating the derivatives as before, we have
and
The infinitesimal covariance condition follows immediately from the equality of these two quantities. \(\square \)
3.3 Locality for adjointable fields
We continue with our Hilbert space \({\mathcal H}\) carrying a positive-energy representation U of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\). We have finite-energy vectors \({\mathcal V}= \bigoplus _{n =0}^\infty {\mathcal V}(n)\), with each \({\mathcal V}(n)\) finite-dimensional and \(\dim {\mathcal V}(0) = 1\). We now turn to discussing the notion of locality for a pair of adjointable fields \(\varphi \) and \(\psi \) with domain \({\mathcal V}\). Using the extension of adjointable fields to maps \({\mathcal H}\rightarrow {\widehat{{\mathcal V}}}\) from Lemma 3.1, we may consider products like \(\varphi (f)\psi (g)\) as maps \({\mathcal V}\rightarrow {\widehat{{\mathcal V}}}\), and we can define locality in terms of these products.
Our goal is to relate adjointable fields to point-like formal distributions as studied in the context of vertex algebras. Let \(\varphi \) be an adjointable field with domain \({\mathcal V}\) that is Möbius-covariant with degree d. Let \(\varphi _n = \varphi (e_n)\), where \(e_n(z) = z^n\), and observe that \(\varphi _n \in {{\,\mathrm{End}\,}}({\mathcal V})\) by rotation covariance. The associated formal distribution \({\hat{\varphi }}(z) \in {{\,\mathrm{End}\,}}({\mathcal V})[[z^{\pm 1}]]\) is given by
Now let \(\varphi \) and \(\psi \) be a pair of Möbius-covariant adjointable fields with domain \({\mathcal V}\), and let \({\hat{\varphi }}\) and \({\hat{\psi }}\) be the associated formal distributions. We say that \(\varphi \) and \(\psi \) are relatively local in the vertex algebra sense if for N sufficiently large we have an equality of formal series \((z-w)^N [{\hat{\varphi }}(z), {\hat{\psi }}(w)] = 0\). On the other hand, \(\varphi \) and \(\psi \) are called relatively local in the Wightman sense if whenever \(f,g \in C^\infty (S^1)\) have disjoint support we have \(\varphi (f)\psi (g) = \psi (g)\varphi (f)\) as maps \({\mathcal V}\rightarrow {\widehat{{\mathcal V}}}\).
The equivalence of Wightman and vertex algebra locality was established in [CKLW18, Appendix A] under the hypothesis of polynomial energy bounds. It is not known whether every unitary VOA satisfies this property. Below, we observe that the argument from [CKLW18] goes through under the weaker hypothesis of uniformly bounded order (Definition 3.2), which we have shown holds in every unitary Möbius vertex algebra (see Proposition 2.9).
First, we need a technical result. Recall that a distribution on \(S^1 \times S^1\) with order N is a distribution that can be written as \(\sum _\alpha \partial ^\alpha f_\alpha \), where \(f_\alpha \) are continuous functions on \(S^1\times S^1\) and \(\alpha \) are multi-indices with \(|\alpha | \le N\).
Lemma 3.6
Suppose \(\Lambda \) is a distribution on \(S^1\times S^1\) supported on the diagonal \(z=w\) which has order N. Then there are distributions \(c_j\) on \(S^1\), for \(j=0, \ldots , N\), such that \(\Lambda (z,w) = \sum _{j=0}^N \partial _{w}^{(j)}\delta (z-w)c_j(w)\). In particular, \(\Lambda (z,w)(z-w)^{N+1} = 0\).
Proof
For a distribution \(\Lambda \) on \({\mathbb R}\) supported on a point p with order N there are constants \(c_\alpha \) such that \(\Lambda = \sum _{|\alpha |\le N} c_\alpha D^\alpha \delta _p\) (see [Rud91, Theorem 6.25]). The same holds for a distribution \(\Lambda \) on \(S^1\), because this property is determined in a neighbourhood of p.
Let f, g be any smooth function on \(S^1\), and let \(F_{f,g}(z,w) = f(z-w)g(w)\). Then the map \(f \longmapsto \Lambda (F_{f,g})\) is a distribution on \(S^1\) of order N. As this is supported at 0, it follows that \(\Lambda (F_{f,g}) = \sum _{j=0}^n c_{j,g}\partial ^{(j)}\delta (f)\), where \(\delta = \delta _0\) is the delta-distribution supported at 0, with coefficients \(c_{j,g}\) that depend on g.
We claim that the map \(g\longmapsto c_{j,g}\) is a distribution on \(S^1\). Indeed, if we choose a test function f such that only the j-th derivative does not vanish at 0 (among 0-th to N-th derivatives), the map \(g\longmapsto \Lambda (F_{f,g}) = \sum _{j=0}^n c_{j,g}\partial ^{(j)}\delta (f) = c_{j,g}f^{(j)}(0)\) is a distribution. That is, we found distributions \(c_j(g) = c_{j,g}\).
For any pair of test functions f and g we have \(\Lambda (F_{f,g}) = \sum _{j=0}^N c_j(g) f^{(j)}(0)\), which is to say that \(\Lambda \) coincides with \(\sum c_j(w)\partial _{w}^{(j)}\delta (z-w)\) on such pairs. As \(\Lambda \) is a distribution, this equality extends to any two-dimensional test function [Trè67, Theorem 39.2]. \(\square \)
We can now establish the equivalence of Wightman and vertex algebra locality under the hypothesis of uniformly bounded order.
Lemma 3.7
Let \(\varphi \) and \(\psi \) be adjointable fields with domain \({\mathcal V}\). Suppose that \(\varphi \), \(\psi \), \(\varphi ^\dagger \), and \(\psi ^\dagger \) have uniformly bounded order. Then \(\varphi \) and \(\psi \) are local in the Wightman sense if and only if they are local in the vertex algebra sense.
Proof
Since the fields have uniformly bounded order, we may invoke Lemma 3.3 to see that the assignments \((f, g) \mapsto \varphi (f)\psi (g)u\) and \((f, g) \mapsto \psi (g)\varphi (f)u\) give continuous bilinear maps \(H^N(S^1) \times H^N(S^1) \rightarrow {\widehat{{\mathcal V}}}\) for some number N which does not depend on u. By Lemma B.1, for any \(u,v \in {\mathcal V}\) we have a continuous functional \(X_{u,v}: H^M(S^1 \times S^1) \rightarrow {\mathbb C}\) determined by
with \(M = 2N+2\). This is a distribution of order \(M+2\) as we noted in Appendix 4. Furthermore, M is independent of u and v. From here, we proceed as in [CKLW18, Proposition A.1].
First assume that \(\varphi \) and \(\psi \) are local in the Wightman sense. Then the distribution \(X_{u,v}\) is supported on \(z=w\), and by Lemma 3.6 we infer that \((z-w)^{M+3} X_{u,v} = 0\). Specializing f and g to functions of the form \(z^k\) and \(w^\ell \), we get the same identity at the level of formal distributions:
As u and v were arbitrary and M did not depend on these vectors, we obtain the vertex algebra locality condition \((z-w)^{M+3} [{\hat{\varphi }}(z), {\hat{\psi }}(w)]=0\).
Conversely, suppose that \({\hat{\varphi }}\) and \({\hat{\psi }}\) are local in the sense of vertex algebras. By [Kac98, Corollary 2.2], we have that \(X_{u,v}\) is supported on the diagonal and thus \([\varphi (f),\psi (g)]u = 0\) when f and g have disjoint support. \(\square \)
We note that the property of uniformly bounded order was essential in going from Wightman locality to vertex locality in the proof of Lemma 3.7, allowing us to conclude that M was independent of u.
3.4 From vertex algebras to Wightman fields and back
Let us prove the first of our main results, namely that Wightman fields can be constructed from unitary Möbius vertex algebras \({\mathcal V}\). Recall from Sect. 2.4 that we define closed unbounded operators Y(u, f) on the Hilbert space completion \({\mathcal H}\) of \({\mathcal V}\), and Proposition 2.9 says that the domain of Y(u, f) contains expressions of the form \(Y(v^k,f_k) \cdots Y(v^1,f_1)\Omega \). Let \({\mathcal D}= {\text {span}}\{Y(v^k, f_k) \cdots Y(v^1,f_1)\Omega : v_j \in {\mathcal V}, f_j \in C^\infty (S^1)\}\). By Corollary 2.11, we have adjointable distributions \(\varphi _u:C^\infty (S^1)\times {\mathcal D}\rightarrow {\mathcal H}\) given by
and if u is quasi-primary then \(\varphi _u^\dagger = (-1)^{d_u} \varphi _{\Theta u}\).
Theorem 3.8
Let \({\mathcal V}\) be a unitary Möbius vertex algebra with \(\dim {\mathcal V}(0)=1\), and let \({\mathcal H}\) be the Hilbert space completion of \({\mathcal V}\). Let \({\mathcal S}\subset {\mathcal V}\) be a generating set for \({\mathcal V}\) consisting of quasi-primary vectors, and assume that \({\mathcal S}= (-1)^{L_0}\Theta {\mathcal S}\). Let \({\mathcal F}= \{ \varphi _u \, : \, u \in {\mathcal S}\}\), for \(\varphi _u\) as in (3.6). Then \({\mathcal F}\) is a Möbius-covariant Wightman field theory on \({\mathcal H}\) with uniformly bounded order.
Proof
We verify that \({\mathcal F}\) satisfies the axioms (W2)-(W7) of a Wightman field theory, leaving the nontrivial arguments for (W1) and (W3) for the end.
By Corollary 2.11, the \(\varphi _u\) are adjointable distributions and if \(\varphi _u \in {\mathcal F}\), then \(\varphi _u^\dagger = \varphi _{(-1)^{L_0}\Theta u} \in {\mathcal F}\) as well. Hence, \({\mathcal F}\) satisfies the adjoint axiom (W2). As described in Sect. 2.1, we may exponentiate the positive-energy representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\) spanned by \(\{L_{-1},L_0,L_1\}\) to a positive-energy representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\). As (the closure of) \(L_{0}\) is the generator of rotations, the spectrum condition axiom (W4) is satisfied by the definition of a unitary Möbius vertex algebra. The vacuum axiom (W5) is satisfied by construction, and we note that \({\mathcal D}\) contains \({\mathcal V}\) since \({\mathcal S}\) is a generating set, and thus \({\mathcal D}\) is dense. Finite-dimensionality of the \(L_0\)-eigenspaces (W6) is part of the definition of Möbius vertex algebra. The fields \(\varphi _u \in {\mathcal F}\) satisfy the uniformly bounded order axiom (W7) by Proposition 2.9. It remains to check Möbius covariance (W1) and locality (W3).
We first consider Möbius covariance. From the definition of a Möbius vertex algebra, if u is quasi-primary we have \([L_k,Y(u,z)] = \left( z^{k+1} \tfrac{d}{dz} + (k+1)z^k d_u \right) Y(u,z)\) for \(k=-1,0,1\), which implies that \(\varphi _u\) is Möbius-covariant in the vertex algebra sense. By Lemma 3.5, it follows that if \(v \in {\mathcal V}\) and \(\gamma \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), we have
Consider the expression
where \(f_1, \ldots , f_m\) are Laurent polynomials and \(u_1, \ldots , u_m \in {\mathcal S}\). We are able to apply the relation (3.7) repeatedly, as the vector to the right of \(U(\gamma )\) is always a finite-energy vector, yielding
Since both sides are continuous in the \(f_j\) by Proposition 2.9, the relation extends to all \(f_j \in C^\infty (S^1)\), and we see that \(U(\gamma )\varphi _u(f) U(\gamma )^* = \varphi _u(\beta _d(\gamma ) f)\) as operators on \({\mathcal D}\), which verifies the Möbius covariance axiom.
We give a similar proof of the locality axiom. Suppose that \(f_1\) and \(f_2\) are supported in disjoint intervals. By Lemma 3.7, \(\varphi _{u_1}(f_1)\varphi _{u_2}(f_2)\) and \(\varphi _{u_2}(f_2)\varphi _{u_1}(f_1)\) agree as maps \({\mathcal V}\rightarrow {\widehat{{\mathcal V}}}\). In fact, since \({\mathcal V}\) lies inside the domain \({\mathcal D}\), the two agree as maps into the Hilbert space. Thus if \(g_1, \ldots , g_m\) are Laurent polynomials and \(v_1, \ldots , v_m \in {\mathcal S}\) we have
Since such expressions are continuous in the \(g_j\), by the vacuum axiom we see that \(\varphi _{u_1}(f_1)\varphi _{u_2}(f_2) = \varphi _{u_2}(f_2)\varphi _{u_1}(f_1)\) as operators on \({\mathcal D}\), completing the proof. \(\square \)
For the other direction, it is convenient to first introduce a weaker notion of Wightman fields, which will be sufficient to construct unitary vertex algebras.
Definition 3.9
Let \({\mathcal H}\) be a Hilbert space carrying a SOT-continuous unitary representation U of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\). Let \({\mathcal V}= \bigoplus {\mathcal V}(n)\) be the finite-energy vectors, where \({\mathcal V}(n) = \mathrm {ker}(L_0-n)\), and assume that each \({\mathcal V}(n)\) is finite-dimensional. A quasi-Wightman field theory on \({\mathcal V}\) is given by a family \({\mathcal F}\) of adjointable operator-valued distributions on \(S^1\) with domain \({\mathcal V}\), along with the representation U and a vector \(\Omega \in {\mathcal V}\), such that the following hold:
-
(QW1)
Möbius covariance: Each \(\varphi \in \mathcal {F}\) is Möbius-covariant in the Wightman sense.
-
(QW2)
Adjoint: \({\mathcal F}\) is closed under \(\varphi \mapsto \varphi ^\dagger \).
-
(QW3)
Locality: If f, g have disjoint supports, then then \(\varphi _1(f)\varphi _2(g) = \varphi _2(g)\varphi _1(f)\) as maps \({\mathcal V}\rightarrow {\widehat{{\mathcal V}}}\).
-
(QW4)
Spectrum condition: The generator \(L_0\) of rotations \(U(R_\theta )=e^{i\theta L_0}\) is positive.
-
(QW5)
Vacuum: The vector \(\Omega \) is the unique (up to scalar) vector in \({\mathcal V}\) that is invariant under U, and \({\mathcal V}\) is spanned by expressions of the formFootnote 4\(\varphi _1(z^{n_1}) \cdots \varphi _k(z^{n_k})\Omega \) where \(\varphi _j \in {\mathcal F}\) and \(n_j \in {\mathbb Z}\).
Note that a family of fields satisfying all of the conditions of Definition 3.9 except for the cyclicity of the vacuum yields a quasi-Wightman field theory on an appropriate subspace of \({\mathcal H}\).
The difference between quasi-Wightman field theories and Wightman field theories is that in quasi-Wightman field theories we do not assume that the operators \(\varphi (f)\) preserve the domain in general. However one of our main results (Theorem 3.12) implies that this property is automatic under the additional condition of uniformly bounded order.
We say that a quasi-Wightman field theory \({\mathcal F}\) has uniformly bounded order if every \(\varphi \in {\mathcal F}\) has uniformly bounded order (Definition 3.2). The following is almost immediate.
Proposition 3.10
Let \({\mathcal H}\) be a Hilbert space carrying a positive-energy representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), let \({\mathcal V}\) be the finite-energy vectors, and suppose that each weight space \({\mathcal V}(n)\) is finite-dimensional. Let \({\mathcal F}\) be a Wightman field theory on \({\mathcal H}\). Then \({\tilde{{\mathcal F}}} = \{ \varphi |_{{\mathcal V}} \, : \, \varphi \in {\mathcal F}\}\) is a quasi-Wightman field theory on \({\mathcal V}\). If \({\mathcal F}\) has uniformly bounded order then so does \({\tilde{{\mathcal F}}}\).
Proof
Observe that \({\mathcal V}\subset {\mathcal D}\) since \(\dim {\mathcal V}(n) < \infty \), as described in Sect. 2.3. An adjointable field remains adjointable when restricted to a dense subspace of the domain, so in particular each \(\varphi |_{\mathcal V}\) is adjointable. Each condition of the definition of quasi-Wightman field theory follows directly from the corresponding property of a Wightman field theory. \(\square \)
We now give a converse to Theorem 3.8 by constructing a unitary Möbius vertex algebra from a (quasi-)Wightman field theory.
Theorem 3.11
Let \({\mathcal H}\) be a Hilbert space carrying a positive-energy representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), with finite-energy vectors \({\mathcal V}\). Assume that the weight spaces \({\mathcal V}(n)=\mathrm {ker}(L_0-n)\) are finite-dimensional and that \(\dim V(0) = 1\). Let \({\mathcal F}\) be a quasi-Wightman field theory on \({\mathcal V}\) with uniformly bounded order. Then there is a unique structure of a unitary Möbius vertex algebra on \({\mathcal V}\) such that for every \(\varphi \in {\mathcal F}\) there is a quasi-primary \(v \in {\mathcal V}\) such that \(\varphi (f) = Y(v,f)|_{\mathcal V}\).
Proof
We note that the uniqueness of such a vertex algebra structure is guaranteed by the fact that the condition \(\varphi (f) = Y(v,f)|_{{\mathcal V}}\) determines the modes of the generating fields.
Recall from (3.5) that for a field \(\varphi \in {\mathcal F}\) which is Möbius-covariant of degree d, the associated point-like field is \({\hat{\varphi }}(z) = \sum _{n \in {\mathbb Z}} \varphi _n z^{-n-d}\), where \(\varphi _n = \varphi (z^n)\). Let
be the family of point-like fields associated to \({\mathcal F}\).
First, we construct an \({\mathbb N}\)-graded Möbius vertex algebra structure on \({\mathcal V}\) by showing that \({\hat{{\mathcal F}}}\) satisfies the six hypotheses of Theorem A.1. The first two hypotheses of Theorem A.1 hold by assumption. By Lemma 3.5, each field of \({\mathcal F}\) is Möbius-covariant in the vertex algebra sense, and thus the fourth hypothesis holds for \({\hat{{\mathcal F}}}\). By assumption, any pair of fields in \({\mathcal F}\) is relatively local in the sense of Wightman fields. It follows that the point-like fields in \({\hat{{\mathcal F}}}\) are relatively local in the sense of vertex operators by Lemma 3.7 and the uniformly bounded orders of the fields. This shows that the fifth condition of Theorem A.1 is satisfied. The sixth condition, that \({\mathcal V}\) is generated by modes of fields from \({\hat{{\mathcal F}}}\), is immediate from the definition of quasi-Wightman field theory.
It thus remains to show the third condition, namely that \({\hat{\varphi }}(z)\Omega \) has a removable singularity at \(z=0\). That is, we must show that \(\varphi _{-n} \Omega = 0\) for \(n\le d-1\). When \(n < 0\) the positivity of \(L_0\) implies that \(\varphi _{-n}\Omega = 0\). It remains to consider the cases \(n=0, 1, \ldots , d-1\). For such n, the Möbius covariance of \({\hat{\varphi }}\) (3.2) and the Möbius invariance of \(\Omega \) yield that
Iteratively applying this identity, starting with \(n=0\), yields
as required.
By Theorem A.1, we conclude that there exists a \({\mathbb N}\)-graded Möbius vertex algebra structure on \({\mathcal V}\) such that for all \(\varphi \in {\mathcal F}\) we have \({\hat{\varphi }}(z) = Y(v_\varphi ,z)\), where \(v_\varphi = \lim _{z \rightarrow 0} {\hat{\varphi }}(z)\Omega \). It follows that \(\varphi (f)u = Y(v_\varphi ,f)u\) for f a Laurent polynomial, and indeed for all \(f \in C^\infty (S^1)\) if both sides are regarded as elements of \({\widehat{{\mathcal V}}}\). The vector \(v_\varphi \) is quasi-primary as
It remains to show that \({\mathcal V}\) is unitary. The assumption that \({\mathcal F}\) is invariant under \(\dagger \) shows that \(\tfrac{1}{2}({\hat{\varphi }} + \widehat{\varphi ^\dagger })\) and \(\tfrac{1}{2i}({\hat{\varphi }} - \widehat{\varphi ^\dagger })\) are fields of the vertex algebra which are Hermitian. Such fields generate \({\mathcal V}\), and thus \({\mathcal V}\) is unitary by Proposition 2.3. \(\square \)
In summary, we have given constructions which relate the notions of unitary Möbius vertex algebra and Möbius-covariant (quasi-)Wightman field theories with uniformly bounded order. All of these constructions start with a Hilbert space \({\mathcal H}\) carrying a positive-energy representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\). In all of the constructions, we require that the weight spaces \({\mathcal V}(n)=\mathrm {ker}(L_0 - n)\) are finite-dimensional and that \(\dim {\mathcal V}(0) = 1\). We write \({\mathcal V}= \bigoplus _{n=0}^\infty {\mathcal V}(n)\) for the space of finite-energy vectors. The constructions are then given by the following steps:
-
1.
Starting with a unitary Möbius vertex algebra \({\mathcal V}\) and a \((-1)^{L_0}\Theta \)-invariant generating set of quasi-primary vectors \({\mathcal S}\), Theorem 3.8 says that \({\mathcal F}= \{\varphi _v : v \in {\mathcal S}\}\) is a Möbius-covariant Wightman field theory. Here \(\varphi _v(f)\) is the restriction of Y(v, f) to the invariant domain \({\mathcal D}\) generated from the vacuum by all of the smeared fields. The resulting Wightman field theory has uniformly bounded order.
-
2.
Given a Möbius-covariant Wightman field theory on a domain \({\mathcal D}\), one may restrict all of the distributions to the smaller domain \({\mathcal V}\) of finite-energy vectors, and the result is a quasi-Wightman field theory by Proposition 3.10.
-
3.
From a Möbius-covariant quasi-Wightman field theory \({\mathcal F}\) with uniformly bounded order, Theorem 3.11 asserts the existence of a unique unitary Möbius vertex algebra structure on \({\mathcal V}\) such that for every \(\varphi \in {\mathcal F}\) there is a \(v_\varphi \in {\mathcal V}\) such that \(\varphi (f) = Y(v_\varphi , f)|_{{\mathcal V}}\). There is a canonical \((-1)^{L_0}\Theta \)-invariant generating set \({\mathcal S}= \{v_\varphi : \varphi \in {\mathcal F}\}\).
One may begin with a vertex algebra or (quasi-)Wightman field theory and cycle through the above steps, returning to the original object. We have therefore proven the following.
Theorem 3.12
Let \({\mathcal H}\) be a Hilbert space carrying a positive-energy representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), and let \({\mathcal V}= \bigoplus _{n=0}^\infty {\mathcal V}(n)\) be the finite-energy vectors. Assume that \({\mathcal V}(n)\) is finite-dimensional and \(\dim {\mathcal V}(0) = 1\). Then the constructions of Theorem 3.8, Proposition 3.10, and Theorem 3.11 provide bijections between the following notions:
-
1.
Unitary Möbius vertex algebra structures on \({\mathcal V}\), equipped with a \((-1)^{L_0}\Theta \)-invariant set of quasi-primary vectors that generate \({\mathcal V}\).
-
2.
Wightman field theories on \({\mathcal H}\) with uniformly bounded order.
-
3.
Quasi-Wightman field theories on \({\mathcal V}\) with uniformly bounded order.
We do not have an example of a (quasi)-Wightman field theory that does not have uniformly bounded order, and it is possible that this property is automatic. The smeared fields arising from vertex algebras have uniformly bounded order, so one approach to demonstrating that this property is automatic for Wightman field theories would be to give a proof of Theorem 3.11 which does not use the uniformly bounded order hypothesis. In particular, the only place where this hypothesis is invoked is in the proof of Lemma 3.7 regarding locality, so it would suffice to show that the fields of a Wightman field theory were automatically local in the vertex algebra sense. There is a sketch of an argument demonstrating this in [Kac98, §1.2], but it does not seem complete.Footnote 5
4 The VOA Associated to a Conformal Net
In this section, we introduce an operator-algebraic formulation of Möbius-covariant field theory. A Möbius-covariant (Haag-Kastler) net on \(S^1\) is a triple \(({\mathcal A}, U, \Omega )\), where \({\mathcal A}\) associates to each open nondense nonempty connected interval I of \(S^1\) a von Neumann algebra \({\mathcal A}(I)\) on \({\mathcal H}\), U is a SOT-continuous unitary representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) on \({\mathcal H}\), and \(\Omega \in {\mathcal H}\) such that the following hold:
-
(HK1)
Isotony: If \(I_1 \subset I_2\), then \({\mathcal A}(I_1) \subset {\mathcal A}(I_2)\).
-
(HK2)
Locality: If \(I_1 \cap I_2 = \emptyset \), then \({\mathcal A}(I_1)\) and \({\mathcal A}(I_2)\) commute.
-
(HK3)
Möbius covariance: For \(\gamma \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), \(U(\gamma )\Omega = \Omega \) and \(U(\gamma ){\mathcal A}(I) U(\gamma )^* = {\mathcal A}(\gamma I)\) for each interval I.
-
(HK4)
Spectrum condition: The generator \(L_0\) of rotations \(U(R_\theta )=e^{i\theta L_0}\) is positive.
-
(HK5)
Vacuum: \(\Omega \) is the unique (up to a scalar) vector in \({\mathcal H}\) that is invariant under U, and it is cyclic for \(\bigvee _{I\Subset S^1}{\mathcal A}(I)\).
While we will primarily be concerned with Möbius-covariant nets, we will also briefly discuss diffeomorphism covariant conformal nets, which have the additional property that U extends to a projective unitary representation of orientation-preserving diffeomorphisms \(\mathrm {Diff}(S^1)\). This representation is required to satisfy \(U(\gamma ){\mathcal A}(I)U(\gamma )^* = {\mathcal A}(\gamma I)\) and moreover \(U(\gamma ) \in {\mathcal A}(I)\) when \(\gamma \) is supported in I.
Definition 4.1
Let \({\mathcal A}\) be a Möbius-covariant net with vacuum Hilbert space \({\mathcal H}\), and let \({\mathcal V}= \bigoplus {\mathcal V}(n)\) be the space of finite-energy vectors. An adjointable distribution \(\varphi \) with domain \({\mathcal V}\) is affiliated with \({\mathcal A}\) if whenever \({{\,\mathrm{supp}\,}}(f) \subset I\) there is an intermediate extension \(\varphi (f) \subseteq \varphi ^{\text {aff}}(f) \subseteq \varphi ^\dagger (\overline{f})^*\) such that \(\varphi ^{\text {aff}}(f)\) is affiliated with \({\mathcal A}(I)\).
For a discussion on unbounded operators affiliated with a von Neumann algebra, see [Ped89, §5.2]. We note that the requirement that \(\varphi ^\dagger (\overline{f})^*\) is an extension of \(\varphi ^{\text {aff}}(f)\) is the same as requiring that the domain of \(\varphi ^{\text {aff}}(f)^*\) contains \({\mathcal V}\).
We will show that the Möbius-covariant fields affiliated with \({\mathcal A}\) satisfy all of the axioms of a quasi-Wightman field theory except perhaps cyclicity of the vacuum (which in turn produces a quasi-Wightman field theory on a subspace of the finite-energy vectors). The main step is to check the locality axiom, for which we will use the following basic lemma.
Lemma 4.2
Let X be a densely defined closed operator on a Hilbert space \({\mathcal H}\), and suppose that X is affiliated with a von Neumann algebra \({\mathcal M}\subset {\mathcal B}({\mathcal H})\). Then there exists a sequence \(x_n \in {\mathcal M}\) such that \(x_n\xi \rightarrow X\xi \) for all \(\xi \in {{\,\mathrm{Dom}\,}}(X)\) and \(x_n^*\xi \rightarrow X^*\xi \) for all \(\xi \in {{\,\mathrm{Dom}\,}}(X^*)\).
Proof
Let \(f_n:[0,\infty ) \rightarrow [0,\infty )\) be the bounded function \(f_n(t) = \min (n,t)\). Let \(X = v\left| X \right| \) be the polar decomposition, with v supported on \(\overline{{{\,\mathrm{Ran}\,}}(|X|)}\), and set \(x_n = v f_n(\left| X \right| ) \in {\mathcal M}\). For any \(\xi \in {{\,\mathrm{Dom}\,}}(X) = {{\,\mathrm{Dom}\,}}(\left| X \right| )\) we have \(f_n(\left| X \right| )\xi \rightarrow \left| X \right| \xi \), and thus \(x_n\xi \rightarrow X\xi \). We have \(X^* = (v\left| X \right| )^* = \left| X \right| v^*\) since v is bounded, and thus \(v^*\) maps \({{\,\mathrm{Dom}\,}}(X^*)\) into \({{\,\mathrm{Dom}\,}}(\left| X \right| )\). Thus if \(\xi \in {{\,\mathrm{Dom}\,}}(X^*)\) we have
as desired. \(\square \)
Theorem 4.3
Let \(({\mathcal A},U,\Omega )\) be a Möbius-covariant net and let \({\mathcal F}\) be the family of Möbius-covariant adjointable distributions with domain \({\mathcal V}\) that are affiliated with \({\mathcal A}\). Then \({\mathcal F}\) satisfies all of the axioms of a quasi-Wightman field theory except perhaps for the cyclicity of the vacuum.
Proof
We must check that \({\mathcal F}\) satisfies Definition 3.9. All of the conditions are immediate except closure under \(\dagger \) and the locality axiom.
Let \(\varphi \in {\mathcal F}\). We must show that \(\varphi ^\dagger \) is affiliated with \({\mathcal A}\) and that it is Möbius-covariant. Fix a function \(f \in C^\infty (S^1)\) that is supported in I. Since \(\varphi \) is affiliated with \({\mathcal A}\) we have extensions
with \(\varphi ^{\text {aff}}(\overline{f})\) affiliated with \({\mathcal A}(I)\). Taking adjoints (and forgetting the closure of \(\varphi ^\dagger (f)\)) we have
Since the adjoint \(\varphi ^{\text {aff}}(\overline{f})^*\) is an extension of \(\varphi ^\dagger (f)\) and is affiliated with \({\mathcal A}(I)\), we have shown that \(\varphi ^\dagger \) is again affiliated with \({\mathcal A}\) (see Definition 4.1).
We now check Möbius covariance of \(\varphi ^\dagger \). By Lemma 3.5 we may check that \(\varphi ^\dagger \) is Möbius-covariant in the vertex algebra sense, namely that for all \(g \tfrac{d}{d\theta } \in {{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\) we have
where \(\pi \) is the representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\) that integrates to U. Both sides of this condition depend continuously on f (in the topology of \({\widehat{{\mathcal V}}}\)) and thus it suffices to consider when f is a Laurent polynomial. By Möbius covariance for \(\varphi \) (applied to \(\overline{f}\) and \(\overline{g}\)) we have
Taking adjoints as endomorphisms of \({\mathcal V}\), and applying the fact that \(\pi (\overline{g} \tfrac{d}{d \theta })^* = -\pi (g \tfrac{d}{d \theta })\), we obtain the Möbius covariance condition for \(\varphi ^\dagger \), which completes the proof that \({\mathcal F}\) is \(\dagger \)-invariant.
We now show that \({\mathcal F}\) satisfies locality. Let \(\varphi ,\psi \in {\mathcal F}\), let \(I_1\) and \(I_2\) be disjoint intervals, and suppose that f is supported in \(I_1\) and g is supported in \(I_2\). Choose intermediate extensions
with \(\varphi ^{\text {aff}}(f)\) and \(\psi ^{\text {aff}}(g)\) affiliated with \({\mathcal A}(I)\) and \({\mathcal A}(J)\), respectively. Applying Lemma 4.2, we may choose a sequence \(x_n \in {\mathcal A}(I)\) such that for every \(u \in {\mathcal V}\) we have \(x_n u \rightarrow \varphi (f)u\) and and \(x_n^*u \rightarrow \varphi (f)^*u = \varphi ^\dagger (\overline{f})u\). We also choose \(y_n \in {\mathcal A}(J)\) that approximate \(\psi (g)\) in the same manner, and observe that the \(x_n\) and \(y_n\) commute by the locality axiom for \({\mathcal A}\). Then for \(u,v \in {\mathcal V}\) we have
which establishes locality, and completes the proof. \(\square \)
Note that any \(\dagger \)-invariant subset of a quasi-Wightman field theory (perhaps missing cyclicity of the vacuum) is again a quasi-Wightman field theory (perhaps missing cyclicity of the vacuum). In order to apply Theorem 3.11, we are particularly interested in the sub-theory of uniformly bounded distributions.
Definition 4.4
Let \({\mathcal A}\) be a Möbius-covariant net on a Hilbert space \({\mathcal H}\), and let \({\mathcal V}\subset {\mathcal H}\) be the space of finite-energy vectors. We denote by \({\mathcal F}_{\mathcal A}\) the collection of all adjointable Möbius-covariant distributions \(\varphi \) with domain \({\mathcal V}\) that are affiliated with \({\mathcal A}\) and have the property that both \(\varphi \) and \(\varphi ^\dagger \) have uniformly bounded order.
By Theorem 4.3, \({\mathcal F}_{\mathcal A}\) satisfies all of the axioms of a quasi-Wightman field theory except perhaps cyclicity of the vacuum, and thus yields a quasi-Wightman field theory on
provided that the \(L_0\)-eigenspaces are finite-dimensional. Note that the vectors which span \({\mathcal V}_{\mathcal A}\) are invariant under \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\), hence, the Hilbert space completion is invariant under the action of the group \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\). This quasi-Wightman field theory has uniformly bounded order by construction, and so by Theorem 3.12 there is a unitary Möbius vertex algebra structure on \({\mathcal V}_{\mathcal A}\). In general, we cannot guarantee that \({\mathcal V}_{\mathcal A}\) is not the trivial vertex algebra \(\{\Omega \}\). However, if \({\mathcal A}\) is a conformal net (i.e. if \({\mathcal A}\) is diffeomorphism covariant), then the associated stress-energy tensor \(T(z) = \sum _{n \in {\mathbb Z}} L_n z^{-n-2}\) induces a quasi-Wightman field affiliated with \({\mathcal A}\) [Car04, Appendix].
Corollary 4.5
Let \({\mathcal A}\) be a diffeomorphism covariant conformal net, and let \(T(z) = \sum _{n \in {\mathbb Z}} L_n z^{-n-2}\) be the associated stress-energy tensor. Suppose that the eigenspaces of \(L_0\) are finite-dimensional. Then \({\mathcal V}_{\mathcal A}\) is a unitary vertex operator algebra with conformal vector \(\nu = L_{-2}\Omega \) and \(Y(\nu ,z) = T(z)\).
The following proposition shows that if the net \({\mathcal A}\) “comes from” a Möbius vertex algebra (in a relatively weak sense), then that vertex algebra is the one we have constructed.
Proposition 4.6
Let \({\mathcal A}\) be a Möbius-covariant net defined on a Hilbert space \({\mathcal H}\) with finite-energy vectors \({\mathcal V}\). Suppose that there is a structure of a unitary Möbius vertex algebra \(Y^{{\mathcal V}}\) on \({\mathcal V}\), with the same vacuum vector and representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) as \({\mathcal A}\). Suppose that there is a generating family of quasi-primary vectors u for which the operator-valued distributions \(f \mapsto Y^{{\mathcal V}}(u,f)|_{\mathcal V}\) are affiliated with \({\mathcal A}\) in the sense of Definition 4.1. Then \({\mathcal V}= {\mathcal V}_{\mathcal A}\) as unitary Möbius vertex algebras.
Proof
As in Theorem 4.3, we write \({\mathcal F}\) for the collection of Möbius-covariant, adjointable distributions with domain \({\mathcal V}\) that are affiliated with \({\mathcal A}\), which form a quasi-Wightman field theory except perhaps for cyclicity of the vacuum. The vertex algebra \({\mathcal V}_{\mathcal A}\) corresponds to the subcollection \({\mathcal F}_{{\mathcal A}} \subset {\mathcal F}\) consisting of distributions \(\varphi \) such that \(\varphi \) and \(\varphi ^\dagger \) have uniformly bounded order.
Let \({\mathcal S}\subset {\mathcal V}\) be a generating set of quasi-primary vectors for the vertex algebra \({\mathcal V}\) such that the associated operator-valued distributions are affiliated with \({\mathcal A}\). For \(u \in {\mathcal S}\), let \(\varphi _u(f) = Y^{{\mathcal V}}(u,f)|_{\mathcal V}\) be the associated operator-valued distribution. By Theorem 3.8, the distributions \(\varphi _u\) are adjointable and Möbius-covariant, and by assumption the \(\varphi _u\) are affiliated with \({\mathcal A}\). Hence \(\varphi _u \in {\mathcal F}\). Moreover, by Proposition 2.9 the fields \(\varphi _u\) and \(\varphi _u^\dagger \) have uniformly bounded order, so \(\varphi _u \in {\mathcal F}_{{\mathcal A}}\). It follows that \({\mathcal S}\subset {\mathcal V}_{{\mathcal A}}\) and \(Y^{{\mathcal V}}(u,z)|_{{\mathcal V}_{\mathcal A}} = Y^{{\mathcal A}}(u,z)\) for \(u \in {\mathcal S}\), where \(Y^{\mathcal A}\) denotes the vertex algebra structure on \({\mathcal V}_{\mathcal A}\) arising from our construction. Since \({\mathcal S}\) generates \({\mathcal V}\), we have \({\mathcal V}_{{\mathcal A}} = {\mathcal V}\) as vertex algebras. The representations of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) and the inner products of \({\mathcal V}_{\mathcal A}\) and \({\mathcal V}\) coincide by construction. \(\square \)
Finally, as a result of our analysis of the domains of smeared vertex operators, we are able to give a construction of conformal nets from vertex algebras under looser assumptions than [CKLW18]. The key hypothesis will be the following.
Definition 4.7
A unitary Möbius vertex algebra \({\mathcal V}\) is called AQFT-local if for any \(u,v \in {\mathcal V}\) the closed operators Y(u, f) and Y(v, g) commute stronglyFootnote 6 whenever f and g have disjoint support.
Here Y(u, f) is the closure of \(Y^0(u,f)\), where the domain of \(Y^0(u,f)\) is \({\mathcal V}\). We have the following analog of [CKLW18, Theorem 6.8].
Proposition 4.8
Let \({\mathcal V}\) be a unitary Möbius vertex algebra that is AQFT-local. Then
defines a Möbius-covariant net, with Möbius symmetry given by the representation of \({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\) obtained by integrating the representation of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\) on \({\mathcal V}\). If \({\mathcal V}\) is a unitary vertex operator algebraFootnote 7 with conformal vector \(\nu \), then \({\mathcal A}_{\mathcal V}\) is diffeomorphism covariant with respect to the representation of \(\mathrm {Diff}(S^1)\) obtained by integrating the coefficients of \(Y(\nu ,z)\).
Proof
In the Möbius case, the only point to address is Möbius covariance. Let \(U:{\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\rightarrow {\mathcal U}({\mathcal H})\) be the representation obtained by integrating the \(L_k\) of \({\mathcal V}\). By the relation \(Y(L_{-1}v,f) = Y(v,if^\prime - d_vf)\), we see that \({\mathcal A}_{\mathcal V}(I)\) is generated by smeared fields Y(v, f) with v quasi-primary. Let \({\mathcal S}\subseteq {\mathcal V}\) be the set of quasi-primary vectors. Then the domain \({\mathcal D}= \{ Y(v^k,f_k) \cdots Y(v^1,f_1)\Omega \, : \, v^j \in {\mathcal S}, \, f_j \in C^\infty (S^1) \}\) contains \({\mathcal V}\), and is contained in the domain of any Y(v, f) by Proposition 2.9. Hence \({\mathcal D}\) is a core for Y(v, f). By Theorem 3.8, we have \(U(\gamma ){\mathcal D}= {\mathcal D}\) for any \(\gamma \in {\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}}\), and \(U(\gamma )Y(v,f)|_{{\mathcal D}} U(\gamma )^* = Y(v,\beta _d(\gamma )f)|_{{\mathcal D}}\) when v is quasi-primary with conformal dimension d. Taking closures yields \(U(\gamma )Y(v,f)U(\gamma )^* = Y(v,\beta _d(\gamma )f)\), and Möbius covariance follows. If \({\mathcal V}\) is a VOA, then (as in [CKLW18, Theorem 6.8]) we observe that \({\mathcal A}_{\mathcal V}\) is an extension of a Virasoro net and its conformal covariance follows from [Car04, Proposition 3.7]. \(\square \)
Corollary 4.9
Let \({\mathcal V}\) be an AQFT-local unitary Möbius vertex algebra, and let \({\mathcal A}_{\mathcal V}\) be the corresponding Möbius-covariant net. Then the unitary Möbius vertex algebra associated to \({\mathcal A}_{\mathcal V}\) via Corollary 4.5 recovers \({\mathcal V}\).
Proof
For every quasi-primary \(u \in {\mathcal V}\) the operator Y(u, f) is affiliated with \({\mathcal A}_{{\mathcal V}}(I)\) when \({{\,\mathrm{supp}\,}}f \subseteq I\). Thus the claimed result is an immediate consequence of Proposition 4.6. \(\square \)
There is another construction of conformal nets \({\mathcal A}_{{\mathcal V}}\) from unitary vertex operator algebras \({\mathcal V}\) which have a property called “bounded localized vertex operators” [Ten19b, Ten19c, Ten19a]. A straightforward argument shows that if \({\mathcal V}\) has this property then applying Corollary 4.5 to \({\mathcal A}_{{\mathcal V}}\) recovers \({\mathcal V}\), but we will omit a discussion of bounded localized vertex operators here.
Work in progress of André Henriques and JT will show that every (diffeomorphism covariant) conformal net is of the form \({\mathcal A}_{\mathcal V}\), for both the AQFT-locality construction and the bounded localized vertex operator construction. It would then follow that the unitary VOA \({\mathcal V}_{\mathcal A}\) from Corollary 4.5 is always defined on all of \({\mathcal V}\), and moreover that \({\mathcal V}_{\mathcal A}\) is AQFT-local with corresponding conformal net \({\mathcal A}\).
It would be interesting to know whether the dual nets of the Virasoro net with \(c>1\) [BSM90] or the \(\mathcal {W}_3\)-net with \(c>2\) [CTW21] come from vertex algebras. It is unknown whether these dual nets are diffeomorphism covariant.
Notes
Following standard references, the domain \({{\,\mathrm{Dom}\,}}(A)\) of an unbounded operator A is treated as part of the data of A. If B is the restriction of A to a subspace \({{\,\mathrm{Dom}\,}}(B) \subset {{\,\mathrm{Dom}\,}}(A)\), then we write \(B \subset A\). The adjoint \(A^*\) of A is defined on \(\Psi \in {\mathcal H}\) for which there exists a constant \(C_A\) such that \(\Vert \langle A\Phi , \Psi \rangle \Vert \le C_A \Vert \Phi \Vert \) for all \(\Phi \in {{\,\mathrm{Dom}\,}}(A)\), and it is characterized by \(\langle \Phi , A^*\Psi \rangle = \langle A\Phi , \Psi \rangle \). An unbounded operator is called closed if its graph is a closed subspace of \({\mathcal H}\times {\mathcal H}\), and called closable if the closure of its graph is the graph of some (closed) operator. See e.g. [Rud91, Ped89] for basic notions of unbounded operators.
For this lemma, the statement and proof go through equally well with \({\mathcal V}\) a \({\mathbb N}\)-graded vertex algebra and \(u^\prime \) in the restricted dual \(\bigoplus {\mathcal V}(n)^*\).
While a priori \(\varphi (f)U(\gamma )^*u \in {\widehat{{\mathcal V}}}\) we require that it is, in fact, in \({\mathcal H}\).
Note that \(\varphi _j(z^{n_j}) \in {{\,\mathrm{End}\,}}({\mathcal V})\) by Möbius covariance.
On page 11 the operator product expansion of two fields \([\Phi _a(t), \Phi _b(t')] = \sum _{j\ge 0} \partial ^{(j)}\delta (t-t')\Psi ^j(t')\) is stated and it is claimed that for \(\Psi ^j\) the Wightman axioms still hold, without proof. We are unable to justify this. Cf. [Bos05] which proves a form of OPE under additional assumptions.
Recall that two closed operators X and Y commute strongly when the von Neumann algebras \(\mathrm {vN}(X)\) and \(\mathrm {vN}(Y)\) commute. Here, \(\mathrm {vN}(X)\) is the smallest von Neumann algebra to which X is affiliated; it is generated by the polar partial isometry of X along with the spectral projections of \(\left| X \right| \). We avoid the terminology “strongly local” because in [CKLW18] “strongly local” vertex algebras are assumed to satisfy polynomial energy bounds.
For definitions and details of unitary vertex operator algebras, as opposed to unitary Möbius vertex algebras, see [CKLW18, §4,§5].
References
Buhl, G., Karaali, G.: Spanning sets for Möbius vertex algebras satisfying arbitrary difference conditions. J. Algebra 320(8), 3345–3364 (2008). arXiv:0803.3819
Bostelmann, H.: Operator product expansions as a consequence of phase space properties. J. Math. Phys. 46(8), 082304 (2005). arXiv:math-ph/0502004
Buchholz, D., Schulz-Mirbach, H.: Haag duality in conformal quantum field theory. Rev. Math. Phys. 2(1), 105–125 (1990)
Carpi, S.: On the representation theory of Virasoro nets. Commun. Math. Phys. 244(2), 261–284 (2004). arXiv:math/0306425
Carpi, S., Kawahigashi, Y., Longo, R., Weiner, M.: From vertex operator algebras to conformal nets and back. Mem. Am. Math. Soc. 254(1213), vi+85 (2018). arXiv:1503.01260
Carpi, S., Tanimoto, Y., Weiner, M.: Local energy bounds and strong locality in chiral CFT (2021). arXiv:2103.16475
Carpi, S., Weiner, M.: On the uniqueness of diffeomorphism symmetry in conformal field theory. Commun. Math. Phys. 258(1), 203–221 (2005). arXiv:math/0407190
Di Francesco, P., Mathieu, P., Sénéchal, D.: Conformal Field Theory. Springer, New York (1997)
Frenkel, I.B., Huang, Y.-Z., Lepowsky, J.: On axiomatic approaches to vertex operator algebras and modules. Mem. Am. Math. Soc. 104(494), viii+64 (1993). https://doi.org/10.1090/memo/0494
Fredenhagen, K., Jörß, M.: Conformal Haag-Kastler nets, pointlike localized fields and the existence of operator product expansions. Commun. Math. Phys. 176(3), 541–554 (1996)
Goddard, P.: Meromorphic conformal field theory. In: Infinite-Dimensional Lie Algebras and Groups (Luminy-Marseille, 1988), volume 7 of Adv. Ser. Math. Phys., pp. 556–587. World Sci. Publ., Teaneck, NJ (1989). https://doi.org/10.1142/0869
Kac, V.: Vertex Algebras for Beginners, volume 10 of University Lecture Series, 2nd edn. American Mathematical Society, Providence (1998)
Lee, J.M.: Introduction to Smooth Manifolds, volume 218 of Graduate Texts in Mathematics, 2nd edn. Springer, New York (2013)
Leoni, G.: A First Course in Sobolev Spaces, volume 181 of Graduate Studies in Mathematics, 2nd edn. American Mathematical Society, Providence (2017)
Longo, R.: Real Hilbert subspaces, modular theory, \({\rm SL}(2,{\bf R})\) and CFT. In: Von Neumann Algebras in Sibiu: Conference Proceedings, pp. 33–91. Theta, Bucharest (2008). https://www.mat.uniroma2.it/longo/Lecture-Notes_files/LN-Part1.pdf
Pedersen, G.K.: Analysis Now. Graduate Texts in Mathematics, vol. 118. Springer, New York (1989)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics. II. Fourier Analysis, Self-Adjointness. Academic Press, New York (1975)
Rudin, W.: Functional Analysis: International Series in Pure and Applied Mathematics, 2nd edn. McGraw-Hill Inc., New York (1991)
Tener, J.E.: Fusion and positivity in chiral conformal field theory (2019). arXiv:1910.08257
Tener, J.E.: Geometric realization of algebraic conformal field theories. Adv. Math. 349, 488–563 (2019). arXiv:1611.01176
Tener, J.E.: Representation theory in chiral conformal field theory: from fields to observables. Selecta Math. 25(5), 76–82 (2019). arXiv:1810.08168
Trèves, F.: Topological Vector Spaces, Distributions and Kernels. Academic Press, New York-London (1967)
Weiner, M.: Conformal covariance and related properties of chiral QFT. 2005. Ph.D. thesis, Università di Roma “Tor Vergata”. arXiv:math/0703336
Acknowledgements
CR and JT were supported by ARC Discovery Project DP200100067. CR was also supported by ARC Discovery Project DP170103265. YT was supported by Programma per giovani ricercatori, “Rita Levi Montalcini” of the Italian Ministry of Education, University and Research until 2020. YT acknowledges the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome “Tor Vergata” CUP E83C18000100006 and the University of Rome “Tor Vergata” funding scheme “Beyond Borders” CUP E84I19002200005. JT gratefully acknowledges the support of “Rita Levi Montalcini” grant and the hospitality of the University of Rome, Tor Vergata, which facilitated this collaboration.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Generating Unitary Möbius Vertex Algebras
The following theorem gives standard criteria for a collection of fields to generate a Möbius vertex algebra. However, standard references (e.g. [Kac98, Theorem 4.5]) provide a proof under additional hypotheses and do not treat \(L_1\)-covariance. We summarize the necessary adjustments here:
Theorem A.1
Let \({\mathcal V}\) be a vector space equipped with a representation \(\{L_{-1},L_0,L_1\}\) of \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})_{\mathbb C}\), a collection \({\mathcal F}\subset {{\,\mathrm{End}\,}}({\mathcal V})[[z^{\pm 1}]]\) of formal distributions, and a choice of vector \(\Omega \in {\mathcal V}\) such that the following hold:
-
1.
\({\mathcal V}= \bigoplus _{n=0}^\infty {\mathcal V}(n)\) where \({\mathcal V}(n) = \ker (L_0 - n)\) and each \({\mathcal V}(n)\) is finite-dimensional, with \(\dim {\mathcal V}(0) = 1\).
-
2.
\(\Omega \) is \({{\,\mathrm{Lie}\,}}({\mathrm {M}{\ddot{\mathrm {o}}}\mathrm {b}})\)-invariant.
-
3.
For every \(A(z) \in {\mathcal F}\), \(A(z)\Omega \) has a removable singularity at \(z=0\).
-
4.
For every \(A(z) \in {\mathcal F}\), there exists a number \(d_A \in {\mathbb Z}_{\ge 0}\) such that
$$\begin{aligned} {[}L_{k}, A(z)] = (z^{k+1} \tfrac{d}{dz} + (k+1)z^k d_A) A(z) \qquad k=-1,0,1. \end{aligned}$$ -
5.
For every \(A(z),B(w) \in {\mathcal F}\), \((z-w)^N[A(z),B(w)] = 0\) for N sufficiently large.
-
6.
\({\mathcal V}= {\text {span}} \{ A^1_{(n_1)} \cdots A^k_{(n_k)}\Omega \,\,: \,\, A^j \in {\mathcal F},\, n_j \in {\mathbb Z},\, k \in {\mathbb Z}_{\ge 0}\}\), where \(A_{(n)}\) denotes the nth mode of the formal series A(z).
Then there exists a unique structure of an \({\mathbb N}\)-graded Möbius vertex algebra on \({\mathcal V}\) such that \(A(z) = Y(A(z)\Omega |_{z=0},z)\) for every \(A \in {\mathcal F}\).
Proof
Note that the uniqueness part of the conclusion is clear by the generating property 6 along with the Borcherds product formula [Kac98, Eq. (4.6.10)]. Let \({\mathcal G}\) be the collection of formal distributions obtained by closing \({\mathcal F}\cup \{{\text {Id}}\}\) under derivatives, Borcherds (n)-products
for \(n \in {\mathbb Z}\), and linear combinations. Here \((z-w)^n\) is shorthand for the series expansion of that function in the domain \(\left| z \right| >\left| w \right| \), and similarly \((-w+z)^n\) is expanded in the domain \(\left| w \right| > \left| z \right| \). As in the proof of [Kac98, Theorem 4.5], \({\mathcal G}\) again satisfies properties 3 and 5 of the hypothesis, as well as the \(L_{-1}\)-commutation relations of 4. We note that Kac only considers (n)-products with \(n > 0\), but that does not affect this step (most notably Dong’s Lemma [Kac98, Lemma 3.2] has no restriction on n). By hypothesis 6, the map \({\mathcal G}\rightarrow {\mathcal V}\) given by \(A(z) \mapsto A(z)\Omega |_{z=0}\) is surjective. The argument of the uniqueness theorem [Kac98, Theorem 4.4] [God89], shows that this map is injective. By inverting, we obtain the state-field correspondence Y of a vertex algebra such that \(Y(A(z)\Omega |_{z=0},z) = A(z)\) for every \(A \in {\mathcal F}\).
It remains to check that the fields of this vertex algebra have the correct commutation relations with \(L_0\) and \(L_1\). From the \(L_0\)-commutation relation for \({\mathcal F}\) and the definition of the (n)-product, it is immediate to check the \(L_0\)-commutation relation for \({\mathcal G}\), and that \(A(z)\Omega |_{z=0} \in {\mathcal V}(d_A)\). To address the \(L_1\)-commutation relation, observe that if \(A(z) \in {\mathcal F}\), then
Thus, the states \(A(z)\Omega |_{z=0}\) are quasi-primary, and so the fields \(Y(A(z)\Omega |_{z=0},z)\) satisfy the \(L_1\)-commutation relation when \(A(z) \in {\mathcal F}\). The final step is to show that the \(L_1\)-commutation relation extends from the generating set to the entire vertex algebra, which is the content of Lemma A.2 below. \(\square \)
Lemma A.2
Suppose that \({\mathcal V}\) satisfies all of the axioms of a Möbius vertex algebra, except perhaps the commutation relation with \(L_1\). Then the set of homogeneous vectors \(v \in {\mathcal V}\) such that the \(L_1\)-commutation relation
holds is closed under Borcherds (n)-products \(u_{(n)}v\). That is, if Y(u, z) and Y(v, z) satisfy the \(L_{1}\)-commutation relation, then
where \(d_{u_{(n)}v} = d_u + d_v - n - 1\).
Proof
We make use of the formula (see [Kac98, Eq (3.1.12) and (4.6.10)])
where as before \((z-w)^n\) is shorthand for the series expansion of that function in the domain \(\left| z \right| >\left| w \right| \), and similarly \((-w+z)^n\) is expanded in the domain \(\left| w \right| > \left| z \right| \). Taking the commutator with \(L_{1}\), we have
The terms in the final two lines yield \(Y((L_{1}u)_{(n)}v,w)\) and \(Y(u_{(n)}(L_{1}v),w)\). Applying commutation relations, we have that \(L_{1}u_{(n)} = (2d_{u} -n -2)u_{(n+1)} + (L_{1}u)_{(n)} + u_{(n)}L_{1}\), and hence
Applying this equality, we can expand terms which appear on the righthand side of (A.2) using (A.3) as follows:
and similarly,
Using the identity
and applying integration-by-parts to the expression
we have that (A.4) is equal to the right-hand side of (A.2). \(\square \)
B Remarks on Sobolev Spaces
Recall that \(H^N(S^1)\) can be defined as
The norm \(\Vert f\Vert _{N} = (1+n^2)^N |{\hat{f}}(n)|^2\) is equivalent to the following norm
and accordingly the Sobolev space can be written as follows:
Using this norm, the map U such that \(\widehat{(Uf)}(n) = \sqrt{1+n^2 + \cdots + n^{2N}} {\hat{f}}(n)\) is a unitary from \(H^N(S^1)\) to \(L^2(S^1)\) (with \(H^N(S^1)\) equipped with the corresponding inner product). Any bounded operator x on \(L^2(S^1)\) can be written as \({\widehat{xf}}(m) = \sum _n x_{m,n} {\hat{f}}(n)\). As it is bounded, there is a constant \(C>0\) such that \(|x_{m,n}|< C\). Correspondingly, any bounded operator x on \(H^N(S^1)\) can be represented by components \(x_{m,n}\) and they satisfy \(|x_{m,n}(1+n^2 + \cdots + n^{2N})^{-\frac{1}{2}}(1+m^2 + \cdots + m^{2N})^{-\frac{1}{2}}|< C\) for some \(C > 0\).
Similarly, \(H^{2N+2}(S^1\times S^1)\) is a subspace of \(L^2(S^1\times S^1)\) with the norm
and the map \({\tilde{U}}\) such that \(\widehat{({\tilde{U}}f)}(m,n) = \sqrt{\sum _{k \le 2N+2} \sum _{\ell = 0}^k m^{2(k-\ell )}n^{2\ell } } {\hat{f}}(m,n)\) is a unitary from \(H^{2N+2}(S^1\times S^1)\) to \(L^2(S^1\times S^1)\).
Any continuous linear functional \(\xi \) on \(H^{2N+2}(S^1\times S^1)\) has the form \(\xi (f) = \sum \xi _{m,n} {\hat{f}}(m,n)\), where \(\xi _{m,n}\left( \sum _{k \le 2N+1} \sum _{\ell = 0}^k m^{2(k-\ell )}n^{2\ell }\right) ^{-\frac{1}{2}}\) is in \(\ell ^2({\mathbb Z}\times {\mathbb Z})\).
Any continuous linear functional \(\xi \) on \(H^{2N+2}(S^1\times S^1)\) can be written as a linear combination of derivatives of \(f \in L^2(S^1\times S^1)\) of order no greater than \(2N+2\) [Leo17, Theorem 11.62]. Hence, \(\xi \) itself has order no greater than \(2N+4\) as a distribution on \(S^1\times S^1\).
Lemma B.1
Let \(B(\cdot ,\cdot )\) be a jointly continuous bilinear form on \(H^N(S^1)\). Then there is a continuous linear functional \({\tilde{B}}\) on \(H^{2N+2}(S^1\times S^1)\) such that \({\tilde{B}}(f\otimes g) = B(f,g)\), where \((f\otimes g)(w,z) = f(w)g(z)\).
Proof
As B is jointly continuous, by the Riesz representation theorem there is a bounded operator x such that \(V(f,g) = \langle Jf, xg \rangle \), where \({\widehat{Jf}}(n) = \overline{f(n)}\) is a unitary conjugation and x can be represented by matrix components as above, satisfying
for some \(C > 0\).
We claim that
is in \(\ell ^2({\mathbb Z}\times {\mathbb Z})\). Indeed, we only have to show that
is in \(\ell ^1({\mathbb Z}\times {\mathbb Z})\), and note that
while
is in \(\ell ^1({\mathbb Z}\times {\mathbb Z})\).
Therefore, we have that
and \(x_{m,n}\) defines a continuous linear functional \({\tilde{B}}\) on \(H^{2N+2}(S^1\times S^1)\) such that \({\tilde{B}}(f,g) = \sum _{m,n} x_{m,n}{\hat{f}}(m){\hat{g}}(n)\), which is an extension of the desired form. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Raymond, C., Tanimoto, Y. & Tener, J.E. Unitary Vertex Algebras and Wightman Conformal Field Theories. Commun. Math. Phys. 395, 299–330 (2022). https://doi.org/10.1007/s00220-022-04431-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04431-9