Abstract
Let V be a simple unitary vertex operator algebra and U be a (polynomially) energy-bounded unitary subalgebra containing the conformal vector of V. We give two sufficient conditions implying that V is energy-bounded. The first condition is that U is a compact orbifold \(V^G\) for some compact group G of unitary automorphisms of V. The second condition is that V is exponentially energy-bounded and it is a finite direct sum of simple U-modules. As a consequence of the second condition, we prove that if U is a regular energy-bounded unitary subalgebra of a simple unitary vertex operator V, then V is energy-bounded. In particular, every simple unitary extension (with the same conformal vector) of a simple unitary affine vertex operator algebra associated with a semisimple Lie algebra is energy-bounded.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Since more than fifty years, energy bounds play an important role in the mathematics of quantum field theory, see, e.g., [5, 20, 21, 25, 41]. Roughly speaking, a quantum field theory is (polynomially) energy-bounded if the corresponding smeared field operators can be bounded by some power of the Hamiltonian operator. The typical applications of energy bounds in this context are the self-adjointness of smeared field operators and the connection between the Wightman and the Haag–Kastler approaches to quantum field theory.
In more recent years, energy bounds appeared naturally in the study of chiral (two-dimensional) conformal field theories (see, e.g., [6, 47, 49]) and in the representation theory of the infinite-dimensional Lie groups describing the symmetries of these theories (see, e.g., [7, 26, 27, 48]). In these cases the role of the Hamiltonian operator is typically played by the conformal Hamiltonian \(L_0\). Applications of the energy bounds for chiral conformal field theories include quantum energy inequalities [22], uniqueness of conformal symmetry [16], construction of spectral triples [10,11,12], approximation of conformal field theories [37, 51], modular flow, relative entropy and quantum null energy conditions [32, 33, 39, 40], functional analytic properties of Segal’s conformal field theories [44, 45], and construction of conformal nets on two-dimensional space-times [1, 34]. Moreover, the energy bonds are the starting point to prove the more sophisticated local energy bounds [14, 17].
A systematic use of the energy bounds for unitary vertex operator algebras was started in [13] in order to investigate their connections with conformal nets from a general point of view. Subsequently, the study of the relations between vertex operator algebras and conformal nets has been considerably developed in order to cover the representation theory aspects, see, e.g., [18, 28,29,30, 44,45,46]. The energy bounds also play an essential role for these representation theory aspects.
Although energy bounds for vertex operator algebras appear difficult to prove in general, many important examples of unitary vertex operator algebras have been shown to be energy-bounded. Among them we mention: unitary Virasoro vertex operator algebras, unitary affine vertex operator algebras, unitary lattice vertex operator algebras, the moonshine vertex operator algebra, the even shorter moonshine vertex operator algebras, and their unitary subalgebras including orbifolds and cosets [13, 29, 30]. It has been conjectured that every unitary simple vertex operator algebra is energy-bounded [13, Conjecture 8.18] and this conjecture appears to be presently open. A weak version of the energy bounds (the uniformly bounded-order property) has been recently proved to hold for all unitary vertex operator algebras (and many other unitary vertex algebras) in [42]. Although the uniformly bounded-order property can be used to replace the existence of energy bounds for various purposes, ordinary energy bounds still appear to be important, if not essential, in various situations and it is presently not clear how to derive the stronger version of the bounds from the weaker one.
The easiest examples of energy-bounded unitary vertex operator algebras, such as the affine and Virasoro unitary vertex operator algebras, follow in a rather direct way from the Lie algebra relations of the generating fields, cf. Sect. 3. Many other examples come by considering unitary subalgebras. What about vertex operator algebra extensions such as simple current or exotic (cf. [24]) extensions? Some of them can be can be shown to be energy-bounded by proving energy bounds for sufficiently many intertwining operators of the smaller vertex operator algebra. This method has been developed by Gui and used to prove, among other things, that the extensions of unitary affine vertex operator algebras of ADE Lie type and the lattice vertex operator algebras (viewed as extensions of Heisenberg vertex operator algebras) are energy-bounded, see [29, 30]. Unfortunately, the proof of the energy bounds for the intertwining operators can be in general very hard. For example, it is presently unknown if there are enough intertwining operators satisfying energy bounds in order to prove that the extensions of the affine vertex operator algebras are energy-bounded for all Lie types besides ADE.
The main results of this paper are certain conditions implying that a simple unitary vertex operator algebra V is energy-bounded if it contains a “sufficiently large” energy-bounded unitary subalgebra U. For example, we prove that if a unitary compact orbifold \(V^G\) is energy-bounded, then V is energy-bounded (Theorem 4.1). Moreover, we prove that if a regular unitary subalgebra U of V with the same conformal vector of V is generated by vectors with conformal energy 1, Virasoro vectors and \({\mathcal {W}}_3\) vectors, then V is energy-bounded (Theorem 4.7). This gives many new examples of energy-bounded unitary vertex operator algebras. In particular, every simple vertex operator algebra extension (with the same conformal vector) of a rational, simple unitary affine vertex operator algebra of any Lie type is unitary and energy-bounded (Theorem 4.8).
2 Unitary vertex operator algebras
In this section, we briefly discuss some preliminaries about unitary vertex operator algebras and their unitary subalgebras. We mainly follow the terminology and notations in [13], see also [19]. For the general theory of vertex (operator) algebras needed in this paper, we refer the reader to [23, 35, 38]. In this paper, every vertex operator algebra and in fact every vector space will be over the field \({\mathbb C}\) of complex numbers.
Let now V be a vertex operator algebra. We denote by \(\Omega \) and \(\nu \) the vacuum vector and the conformal vector of V, respectively. Moreover, we denote by \(1_V\) the identity in \({\text {End(V)}}\) (more generally, for any vector space X we denote by \(1_X\) the identity in \({\text {End(X)}}\) ). For every \(a \in V\) the vertex operator
is a (quantum) field on V, i.e., a formal Laurent series with coefficients in \({\text {End}}(V)\) such that, for every \(b\in V\), \(a_{(n)}b=0\) eventually for \(n\rightarrow +\infty \). Moreover, for every \(a \in V\) we have \(a_{(n)}\Omega = 0\) for all \(n \ge 0 \) and \(a_{(-1)}\Omega = a\).
The vertex operator \(Y(\nu ,z)\) corresponding to the conformal vector \(\nu \) is called the energy-momentum field of V and is often written as
so that \(L_n=\nu _{(n +1)}\). The endomorphisms \(L_n\), \(n\in {\mathbb Z}\), give a representation of the Virasoro algebra on V with central charge \(c\in {\mathbb C}\) (the central charge of V), i.e.,
for all \(n,m\in {\mathbb Z}\). Moreover, \([L_{-1},a_{(n)}] = -n a_{(n-1)}\) for all \(a \in V\) and all \(n\in {\mathbb Z}\). Equivalently,
for all \(a \in V\).
The operator \(L_0\) is diagonalizable on V with integer eigenvalues. Accordingly, if we set \(V_n:= \textrm{Ker}(L_0 - n1_V)\), \(n \in {\mathbb Z}\), we have
so that V has a natural \({\mathbb Z}\)-grading.
In various occasions we will make direct use of the Borcherds identity [4], i.e., the equality
This can be taken as one of the axioms of vertex operator algbras or as a consequence of other axioms including, e.g., locality, see [35, Sect. 4.8].
Another useful property of vertex operator algebras is skewsymmetry
for all \(a,b \in V\) and all \(n \in {\mathbb Z}\), see [35, Section 4.2].
The endomorphisms \(a_n \in \textrm{End}(V)\), \(a\in V\), \(n\in {\mathbb Z}\), are defined by
If \(L_0 a = da\) (equivalently \(a \in V_d\)), we say that V is homogeneous of conformal dimension (or conformal weight) d. In this case we have \(a_n = a_{(n + d -1)}\) and \(a_{(n)} = a_{n+1-d}\) for all \(n\in {\mathbb Z}\). In particular, \(a_{-d} = a_{(-1)}\) and consequently \(a = a_{-d}\Omega \). The Borcherds identity gives
for all homogeneous \(a\in V_d\) and all \(n\in {\mathbb Z}\).
An important consequence of Eq. (9) is that the action of the endomorphisms \(a_m\) on V is well-behaved with respect to the \({\mathbb Z}\)-grading, namely
for all \(a \in V\) and all \(m,n \in {\mathbb Z}\). In particular \(a_{-n}\Omega \in V_n\) for all \(n \in {\mathbb Z}\).
A homogeneous vector \(a \in V\) and the corresponding field Y(a, z) are called quasi-primary if \(L_1a=0\) and primary if \(L_na=0\) for every integer \(n>0\). Since \(L_n\Omega = \nu _{(n+1)}\Omega =0\) for every integer \(n\ge -1\), the vacuum vector \(\Omega \) is a primary vector in \(V_0\). Moreover, it follows by the Virasoro algebra relations that the conformal vector \(\nu \) is a quasi-primary vector in \(V_2\).
We have the following commutation relations:
for all primary (resp. quasi-primary) \(a \in V_d\), for all \(n\in {\mathbb Z}\) and all \(m \in {\mathbb Z}\) (resp. \(m\in \{-1,0,1\}\)), see, e.g., [35, Cor.4.10].
If \(a, b \in V\) and a is homogeneous of conformal dimension \(d_a\), then it follows directly from the Borcherds identity in Eq. (6) that
By taking \(n=1-d_a\), \(k= q +1-d_a\) and \(m=p+d_a -1\) in Eq. (14), we obtain the Borcherds commutator formula
Moreover, by taking \(m=0\) in Eq. (14) we get
for all \(n,k \in {\mathbb Z}\).
A homogeneous vector \(a \in V\) is called a Virasoro vector (with central charge \({\tilde{c}} \in {\mathbb C}\)) if
and the endomorphisms \({\tilde{L}}_n\), \(n \in {\mathbb Z}\), give a representation of the Virasoro algebra on V with central charge \({\tilde{c}}\). Then \(a_{(n+1)}={\tilde{L}}_n\) for all \(n\in {\mathbb Z}\) so that \(a = {\tilde{L}}_{-2}\Omega \in V_2 \) and \({\tilde{L}}_n\Omega = 0\) for all \(n \ge -1\). The conformal vector is a quasi-primary Virasoro vector and, if \(V_1 = \{0\}\), then every Virasoro vector is quasi-primary. However, a Virasoro vector needs not to be in general quasi-primary. If a is a Virasoro vector, we say that Y(a, z) is a Virasoro field.
Let \(X \subset V\) be a (vector) subspace. We say that X is a \({\mathbb Z}\)-graded subspace of V if \(X = \bigoplus _{n \in {\mathbb Z}}X_n\), where \(X_n:= X \cap V_n\), \(n \in {\mathbb Z}.\) Equivalently, X is \({\mathbb Z}\)-graded if \(L_0 X \subset X\).
A vertex subalgebra of V is a subspace \(U \subset V\) such that \(\Omega \in U\) and \(a_{(n)}b \in U\) for all \(a, b \in U\) and all \(n \in {\mathbb Z}\). A vertex subalgebra of V is always a vertex algebra but in general not a vertex operator algebra. If U is a \({\mathbb Z}\)-graded subalgebra of V and it has a structure of vertex operator algebra which is compatible with the \({\mathbb Z}\)-grading inherited from V, then we say that V is a vertex operator algebra extension of U. If \(\nu \in U\) then U is a \({\mathbb Z}\)-graded subalgebra of V and it is also a vertex operator algebra. In this case we say that V is a vertex operator algebra extension of U with the same conformal vector.
Given a subset \({\mathscr {F}} \subset V\), we set \(U_{\mathscr {F}}\) to be the intersection of all vertex subalgebras of V containing \({\mathscr {F}}\). Then \(U_{{\mathscr {F}}}\) is the smallest vertex subalgebra of V containing \({{\mathscr {F}}}\), and we call it the vertex subalgebra generated by \({{\mathscr {F}}}\). If \(U_{{\mathscr {F}}} = V\) we say that V is generated by \({\mathscr {F}}\). If all vectors in \({\mathscr {F}}\) are homogeneous, then \(U_{{\mathscr {F}}}\) is a \({\mathbb Z}\)-graded vertex subalgebra of V.
We now come to unitary vertex operator algebras, cf. [13, Chapter 5]. In order to simplify the discussion, we will assume that V is of CFT type, i.e., that \(V_0 = {\mathbb C}\Omega \) and that \(V_n =\{0 \}\) for \(n < 0\). Actually, the second condition follows from the first, see [13, Remark 4.5]. Note that by [13, Proposition 5.3] a unitary vertex operator algebra is of CFT-type if and only if it is simple.
Let \((\cdot | \cdot ): V \times V \rightarrow {\mathbb C}\) be a scalar product on V (i.e., a positive definite Hermitian form on V). We say that \((\cdot | \cdot )\) is normalized if \((\Omega | \Omega ) =1\). Moreover, we say that \((\cdot | \cdot )\) is invariant if there exists an anti-linear involution \(V \ni a \mapsto a^* \in V\) such that \(\nu ^* = \nu \) and
for all \(a,b,c \in V\) and all \(n \in {\mathbb Z}\). As a consequence, we also have that \(\Omega ^* = \Omega \).
If V is equipped with an invariant and normalized scalar product \((\cdot | \cdot )\), we say that V is a unitary vertex operator algebra. If this is the case then, by [13, Theorem 5.16], there exists a necessarily unique vertex operator algebra anti-linear automorphism \(\theta : V \rightarrow V\) (the PCT-operator) such that
for all \(a \in V\). It turns out that \(\theta ^2 = 1_V\), cf. [13, Proposition 5.1]. If V is unitary, then the representation of the Virasoro algebra associated with the conformal vector is unitary, [13, 36]. In particular, the central charge c of V is a nonnegative real number.
The unitary structure is not necessarily unique but is unique up to unitary vertex operator algebra automorphisms [13, Proposition 5.19]. More precisely, if \(\{\cdot | \cdot \}\) and \((\cdot | \cdot )\) are two normalized invariant scalar products on V, then there is a vertex operator algebra automorphism \(g: V \rightarrow V\) such that \(\{\cdot | \cdot \} = (g\cdot | g \,\cdot )\). Conversely, if \((\cdot | \cdot )\) is a normalized invariant scalar product on V and \(g: V \rightarrow V\) is a vertex operator algebra automorphism, then \((g \cdot | g \cdot )\) is a normalized invariant scalar product with anti-linear involution given by \(a \mapsto a^{*_g}:= g^{-1}(ga)^*\), \(a \in V\) and PCT-operator \(\theta _g:=g^{-1}\theta g\).
We now discuss unitary subalgebras, cf. [13, Section 5.4] and [9]. Let V be a simple unitary vertex operator algebra. We say that \(a \in V\) is a Hermitian vector if \(a=a^*\). If \(a \in V\) is Hermitian, we also say that Y(a, z) is a Hermitian field. If a is a quasi-primary vector of conformal dimension d, then \(a^* = (-1)^d\theta a\) so that a is Hermitian if and only if \(a= (-1)^d\theta a\). More generally, we say that a subset \({\mathscr {F}} \subset V\) is Hermitian if
(equivalently \({\mathscr {F}}^* = {\mathscr {F}}\) ). A unitary vertex subalgebra (or simply a unitary subalgebra) U of V is a Hermitian \({\mathbb Z}\)-graded vertex subalgebra of V. By [13, Proposition 5.23] a vertex subalgebra \(U \subset V\) is unitary if and only if \(L_1U \subset U\) and \(\theta U \subset U\). If \({\mathscr {F}} \subset V\) is a family of Hermitian quasi-primary vectors, then \(U_{{\mathscr {F}}}\) is a unitary subalgebra of V.
If \(U \subset V\) is a unitary subalgebra, then the coset subalgebra
is also a unitary subalgebra, see [13, Example 5.27]. Moreover, there exists a unique \({\mathbb Z}\)-grading preserving vector space endomorphism \(e_U: V \rightarrow V\) such that \(e_U^2 =e_U\), \(e_UV=U\) and \((e_Ub|a)=(b|e_Ua)\) for all \(a,b \in V\) (the orthogonal projection of V onto U). Then, by [13, Proposition 5.29], \(\nu ^U:= e_U \nu \) is a Hermitian quasi-primary Virasoro vector in U with nonnegative central charge \(c_U \le c\). In particular, U is a simple unitary vertex operator algebra with \({\mathbb Z}\)-grading inherited from V and we say that V is a unitary vertex operator algebra extension of U. Moreover, \(\nu = \nu ^U + \nu ^{U^c}\) and, if we set \(L^U_n:= \nu ^U_n\) and \(L^{U^c}_n:= \nu ^{U^c}_n\), \(n \in {\mathbb Z}\), then \(L_0, L^{U}_0\) and \(L^{U^c}_0\) are simultaneously diagonalizable in V with nonnegative eigenvalues, \(L_0 = L^{U}_0 +L^{U^c}_0\) and \(c=c_U + c_{U^c}\). It follows that \((b|(L^U_0 +1_V)^s b) \le (b|( L_0 +1_V)^s b)\) for all \(b\in V\) and all real numbers \(s\ge 0\). Furthermore, \(\nu ^U= \nu \) if and only if \(c=c_U\). In this case, we say that V is a unitary vertex operator algebra extension of U with the same conformal vector, cf. [8, 31].
3 Energy bounds
In this section we discuss the notion of energy bounds for unitary vertex operator algebras, cf. [13, Chapter 6].
Let V be a simple unitary vertex operator algebra. Then V is a normed space with norm defined by \(\Vert a\Vert := \sqrt{(a|a)}\). Let \(X \subset V\) be a subspace of V, let \({\mathcal {X}}\) be a normed space and let \(R: X \rightarrow {\mathcal {X}}\) be a linear map. We define the extended real-valued norm \(\Vert R\Vert \in [0,+\infty ]\) of R by
Clearly, \(\Vert R\Vert <+\infty \) whenever X is finite-dimensional. Note also that \(\Vert R a \Vert \le \Vert R\Vert \Vert a\Vert \) for all \(a\in V\) and that if \(X^1, X^2\) are subspaces of V and \(R_2: X^2 \rightarrow X^1\) and \(R_1: X^1 \rightarrow {\mathcal {X}}\) then \(\Vert R_1 R_2\Vert \le \Vert R_1\Vert \Vert R_2\Vert \).
There is a natural filtration on V given by the increasing sequence of subspaces \(V_{\le n} \subset V\), \(n \in {\mathbb Z}\), defined by
Then \(V_{\le n} = \{ 0\}\) whenever \(n <0\) (because V is of CFT-type) and
Moreover, \(a_m V_{\le n} \subset V_{\le n-m}\) for all \(a \in V\) and all \(m,n \in {\mathbb Z}\).
For \(R \in \textrm{End}(V)\) and \(n \in {\mathbb Z}\), we set
so that \(\Vert R \Vert _n =0\) for \(n<0\), \(n\mapsto \Vert R\Vert _n\) is an increasing sequence and
If there is a \(R^\dagger \in \textrm{End}(V)\) such that \((a|Rb) = (R^\dagger a | b)\) for all \(a,b \in V\), then we have the inequality \(\Vert R \Vert _n^2 \le \Vert R^\dagger R\Vert _n\) for all \(n \in {\mathbb Z}\). Moreover, if for a given \(n\in {\mathbb Z}\) it holds \(R^\dagger R V_{\le n} \subset V_{\le n}\), then we also have the \(C^*\)-identity \(\Vert R \Vert _n^2 = \Vert R^\dagger R\Vert _n\). In particular, since \((a_m)^\dagger = a^*_{-m}\) we have
for all \(a\in V\) and all \(m, n \in {\mathbb Z}\). As a consequence,
for all \(a\in V\) and all \(m,n \in {\mathbb Z}\).
Definition 3.1
([13, Chapter 6] and [30, Section 4.4]) Let V be a simple unitary vertex operator algebra and let s be a nonnegative real number. We say that a vector \(a \in V\) satisfies s-th-order (polynomial) energy bounds if there exist real numbers \(t\ge 0\), and \(C \ge 0\) such that \(\Vert a_m\Vert _n \le C (1+ |m|)^t (1 + |n|)^s\) for all \(m,n \in {\mathbb Z}\) (equivalently \(\Vert a_m (L_0+1_V)^{-s}\Vert \le C (1+ |m|)^t \) for all \(m \in {\mathbb Z}\)). If a satisfies first-order energy bounds, we also say that a satisfies linear energy bounds. We say that \(a \in V\) satisfies energy bounds if it satisfies s-th-order energy bounds for some real number \(s\ge 0\).
Remark 3.2
Let \({\mathcal {H}}_V\) be the Hilbert space completion of V and let \(a \in V\) satisfy s-th-order energy bounds. For a smooth complex-valued function \(f \in C^\infty (S^1)\) with Fourier coefficients \({\hat{f}}_n:= \frac{1}{2\pi } \int _{-\pi }^{\pi } f(e^{i \vartheta }) e^{-in\vartheta } d\vartheta \), the series \(\sum _{n \in {\mathbb Z}} {\hat{f}}_n a_n b\) converges in \({\mathcal {H}}_V\) for all \(b \in V\). Accordingly, one can define a linear map \(Y_0(a,f): V \rightarrow {\mathcal {H}}_V\) (the smeared vertex operator). Moreover, given a real number \(s \ge 0\), then the real numbers \(t \ge 0\), and \(C \ge 0\) are such that \(\Vert a_m\Vert _n \le C (1+ |m|)^t(1 + |n|)^s\) for all \(a\in V\) and all \(m, n \in {\mathbb Z}\) if and only if \(\Vert Y_0(a,f) (L_0 + 1_V)^{-s} \Vert \le C\Vert f\Vert _t \), where \(\Vert f \Vert _t = \sum _{m \in {\mathbb Z}}(1 + |m|)^t |{\hat{f}}_m|\). The smeared vertex operators play a fundamental role in the connection between unitary vertex operator algebras and conformal nets, see [13].
Remark 3.3
Let V be a simple unitary vertex operator algebra. Then it follows from [3, Theorem 1] that \(a \in V\) satisfies zeroth-order energy bounds if and only if \(a \in {\mathbb C}\Omega \).
Well known examples of elements of V satisfying energy bounds are the Hermitian quasi-primary Virasoro vectors and vectors in \(V_1\), c.f. [13, Proposition 6.3]. Here we give some more details. Let us start with the Virasoro vectors. Let \({\tilde{\nu }}\in V\) be a quasi-primary Hermitian Virasoro vector. Moreover, let
be the corresponding Virasoro field with central charge \({\tilde{c}}\). Let \(U_{\{{\tilde{\nu }}\}}\) be the vertex subalgebra generated by \({\tilde{\nu }}\). It is a unitary subalgebra of V with \(U_{\{{\tilde{\nu }}\}} \cap V_2 ={\mathbb C}{\tilde{\nu }}\). It follows that \({\tilde{\nu }} = \nu ^U\), so that \({\tilde{L}}_0\) is diagonalizable on V with nonnegative eigenvalues, \(\Vert ({\tilde{L}}_0 +1_V)b\Vert \le \Vert ({L}_0 +1_V)b\Vert \) for all \(b \in V\) and \(0 \le {\tilde{c}} \le c\). Then by [16, Lemma 4.1] there is a positive real number \(r({\tilde{c}}) \ge 1\), depending on the central charge c of V only, such that
for all \(b \in V\). Actually, it follows from [27, Equation 2.8] that one can take \(r({\tilde{c}}) = 1 + \sqrt{\frac{{\tilde{c}}}{3}}\) (note that the choice in [13, Proposition 3.2] is not correct although the mistake has no consequences for the results in [13]). We record this in the following proposition.
Proposition 3.4
Let V be simple unitary vertex operator algebra with central charge c and let \(a \in V\) be a quasi-primary Hermitian Virasoro vector with central charge \({\tilde{c}}\). Then a satisfies linear energy bounds. More precisely
for all \(m, n \in {\mathbb Z}\).
Before discussing energy bounds for vectors in \(V_1\), we state and prove a lemma which will play a central role in Sect. 4.
Lemma 3.5
Let V be a simple unitary vertex operator algebra. If \(a \in V_d\) then \(\Vert a_mb\Vert ^2 \le (b|(a_{-d}a^*)_0 b)\) for all \(b \in V\) and all \(m\in {\mathbb Z}_{\ge 0}\). Hence, \(\Vert a_m\Vert _n^2 \le \Vert (a_{-d}a^*)_0 \Vert _n\) for all \(m \in {\mathbb Z}_{\ge 0}\) and all \(n \in {\mathbb Z}\). In particular, \(\Vert a_0\Vert _n^2 \le \Vert (a_{-d}a^*)_0 \Vert _n\) for all \(n \in {\mathbb Z}\) .
Proof
By Eq. (16) we have
and hence
for all \(b \in V\). If \(d >0\) we find \(\Vert a_mb\Vert ^2 \le (b|(a_{-d}a^*)_0 b)\) for all \(b \in V\) and all \(m\in {\mathbb Z}_{\ge 0}\) and thus \(\Vert a_m\Vert _n^2 \le \Vert (a_{-d}a^*)_0 \Vert _n\) for all \(m \in {\mathbb Z}_{\ge 0}\) and all \(n \in {\mathbb Z}\). If \(d=0\) then \(a = (\Omega | a) \Omega \), \(a^* = (a|\Omega ) \Omega \) and \((a_0a^*)_0 = | (\Omega |a)|^2 1_V\) and hence \(\Vert a_m\Vert _n = 0\) for all \(m \in {\mathbb Z}{\setminus } \{0\}\) and all \(n \in {\mathbb Z}\). If \(n<0\) we have \(\Vert a_0\Vert _n = 0\) again. Finally, if \(n\ge 0\) then \(\Vert a_0 \Vert _n^2 =|(\Omega | a)|^2 = \Vert (a_0a^*)_0\Vert _n\). \(\square \)
We now discuss energy bounds for vectors in \(V_1\). It is well known that \(V_1\) is a Lie algebra with brackets \([a,b]:= a_0b\). This follows directly from skewsymmetry (Eq. (7)) and the Borcherds commutator formula (Eq. (15)). Moreover, we have the Kac-Moody algebra relations
for all \(a,b \in V_1\) and all \(m,n \in {\mathbb Z}\). In particular, we have the Heisenberg algebra relations
for all \(a \in V_1\) and all \(m,n \in {\mathbb Z}\).
Proposition 3.6
Let V be a simple unitary vertex operator algebra and let \(a \in V_1\). Then a satisfies \(\frac{1}{2}\)-th-order energy bounds. More precisely
for all \(m,n \in {\mathbb Z}\). As a consequence, a satisfies linear energy bounds.
Proof
Let \(a \in V_1\). If \(a=0\) the claim is trivial. For \(a\ne 0\) we first assume that a is Hermitian. Note that \(a_0a = [a,a]=0\). It is well-known that
is a Virasoro vector with central charge 1, see [35, Section 5.7] and [36, Section 2.3]. Moreover, \({\tilde{\nu }}\) is Hermitian because a is. Finally, since a must be primary, \(L_1a_{-1}a= a_0a=0\) so that \({\tilde{\nu }}\) is a Hermitian quasi-primary Virasoro vector. By Lemma 3.5 we see that
for all \(m \in {\mathbb Z}_{\ge 0}\) and all \(n \in {\mathbb Z}\). If \(-m\in {\mathbb Z}_{\ge 0}\) then, by Eq. (26), and recalling that \(a=a^*\), we find
Accordingly, if \(a \in V_1\) is Hermitian, then
for all \(m, n \in {\mathbb Z}\). If a is not Hermitian, we can write
and thus
for all \(m, n \in {\mathbb Z}\). \(\square \)
We now discuss some results on energy bounds for primary vectors with conformal dimension \(d \ne 1\), cf. [14].
Lemma 3.7
Let V be a simple unitary vertex operator algebra and let \(a \in V\) be a primary vector with conformal dimension \(d_a \ne 1\). Then there is a real number \(A \ge 0\) such that
for all \(m, n \in {\mathbb Z}\). Moreover, if \(\Vert a_0 (L_0 + 1_V)^{-s}\Vert < +\infty \) for some \(s \ge 0\) then a satisfies \((s+1)\)-th-order energy bounds and \(\Vert a_m (L_0 + 1_V)^{-s-1}\Vert \le 2A (1+|m|)^{s + \frac{1}{2}} \Vert a_0 (L_0 +1_V)^{-s}\Vert \) for all \(m\in {\mathbb Z}\).
Proof
If \(d_a =0\) then \(a = (\Omega | a)\Omega \), so that \(a_m = \delta _{m,0} (\Omega |a) 1_V\) and the statement trivially holds with \(A \ge \frac{1}{2}\). Let us now consider the case \(d_a>1\). We follow the argument in the first part of the proof of [14, Proposition 3.1]. If \(m=0\) the inequality is trivially satisfied for any \(A \ge \frac{1}{2}\). Let us now assume that \(m\ne 0\). Since a is primary we have \([L_m,a_0] = (d_a-1)m a_m \) and since \(d_a \ne 1\) we have
for all \(m,n \in {\mathbb Z}\), \(m\ne 0\). By Proposition 3.4 we have
for all \(m, n \in {\mathbb Z}\). Hence,
which proves the first claim by taking \(A = \frac{2(1 + \sqrt{c/3})}{d_a-1} + \frac{1}{2}\). Now, we have
for all \(m \in {\mathbb Z}\) and the second claim follows. \(\square \)
Although this will not be needed in the rest of the paper, we state and prove a more sophisticated variant of Lemma 3.7 which is based on the functional analytic methods developed in [14] and it is of independent interest.
Proposition 3.8
(cf. [14, Proposition 3.1]) Let V be a simple unitary vertex operator algebra and let \(a \in V\) be a primary vector of conformal dimension \(d \ne 1\). Assume that \(\Vert a_0(L_0 + 1_V)^{-s}\Vert < +\infty \) for some \(s>0\). Then there exist real numbers \(C \ge 0\) and \(t \ge 0\) such that \(\Vert a_m(L_0 + 1_V)^{-s}\Vert \le C(1 + |m|)^t \) for all \(m \in {\mathbb Z}\). Hence, a satisfies s-th-order energy bounds.
Proof
If \(d=0\) then \(a_m=0\) for all \(m \ne 0\) and the statement is trivial. Let us consider the case \(d>1\). We will make use of the smeared vertex operators in Remark 3.2. First note that \(\Vert a^*_0(L_0 + 1_V)^{-s}\Vert = \Vert a_0(L_0 + 1_V)^{-s}\Vert < +\infty \). By [14, Proposition 3.1] the operator \(Y_0(a,f)(L_0 +1_V)^{-s}: V \rightarrow {\mathcal {H}}_V\) extends to a continuous linear map \(\Phi _a(f): {\mathcal {H}}_V \rightarrow {\mathcal {H}}_V\) for all \(f \in C^\infty (S^1)\). Let \(B({\mathcal {H}}_V)\) denote the Banach algebra of continuous linear maps from \({\mathcal {H}}_V\) into \({\mathcal {H}}_V\) with the usual operator norm \(\Vert \cdot \Vert _{B({\mathcal {H}}_V)}\) (in fact a \(C^*\)-algebra). It easy to see that the map \(\Phi _a: C^\infty (S^1) \rightarrow B({\mathcal {H}})_V\) defined by \(C^\infty (S^1) \ni f \mapsto \Phi _a(f) \in B({\mathcal {H}}_V)\) is linear. Moreover, by Lemma 3.7, there are real numbers \(B \ge 0\) and \(q \ge 0\) such that \(\Vert \Phi _a(f)(L_0 + 1_{{\mathcal {H}}_V})^{-1}\Vert _{B({\mathcal {H}}_V)} \le B \Vert f \Vert _q\), where \(\Vert \cdot \Vert _q\) is the norm on \(C^\infty (S^1)\) defined in Remark 3.2. Now, \(C^\infty (S^1)\) with the usual topology of uniform convergence of functions and their derivatives is a Fréchet space. In fact, its topology can be induced by the increasing sequence of norms \(\Vert \cdot \Vert _k\), \(k \in {\mathbb Z}_{\ge 0}\). Let \(f_n \) be a sequence of smooth function converging to f in \(C^\infty (S^1)\) and assume that \(\Phi _a(f_n)\) converges to \(T\in B({\mathcal {H}}_V)\) in the norm topology of \(B({\mathcal {H}}_V)\). Then, for any \(b,c \in V\),
so that \(T = \Phi _a(f)\). Thus, \(\Phi _a\) is a closed linear map and by the closed graph theorem (see, e.g., [43, Theorem 2.15]) \(\Phi _a\) is continuous. Hence, there exist a real number \(C \ge 0\) and an integer \(t \ge 0\) such that \(\Vert Y_0(a,f)(L_0 + 1_V)^{-s}\Vert \le C \Vert f\Vert _t\) for all \(f \in C^\infty (S^1)\) and the conclusion follows from Remark 3.2. \(\square \)
Remark 3.9
It is proved in [14] that if a primary vector \(a \in V_d\) with \(d>1\) satisfies s-th-order energy bounds with \(s < d-1\) then \(a = 0\). Hence, a \((d-1)\)-th-order energy bound is optimal.
An interesting class of primary vectors with conformal dimension \(d>1\) and satisfying energy bounds comes from the Zamolodchikov \({\mathcal {W}}_3\)-algebra. Let V be a simple unitary vertex operator algebra. We say that a Hermitian primary vector \({\tilde{\mu }} \in V_3\) is a Hermitian \({\mathcal {W}}_3\) vector with central charge \({\tilde{c}}\ge 0\) if there is a quasi-primary Hermitian Virasoro vector \({\tilde{\nu }}\) such that the coefficients of the formal series
satisfy the \({\mathcal {W}}_3\) algebra commutation relation
for all \(m,n \in {\mathbb Z}\), where \(b^2 = \frac{16}{22+5c}\) and \({\tilde{\Lambda }}_n:= ({\tilde{\nu }}_{-2}{\tilde{\nu }} - \frac{3}{10}{\tilde{\nu }}_{-1}{\tilde{\nu }}_{-1}{\tilde{\nu }} )_n\), \(n\in {\mathbb Z}\).
It is not hard to see that if \({\tilde{\mu }} \in V\) is a Hermitian \({\mathcal {W}}_3\) vector and \(U_{{\tilde{\mu }}}\) is the unitary subalgebra of V generated by \({\tilde{\mu }}\), then \({\tilde{\nu }} = \nu ^{U_{{\tilde{\mu }}}}\). In particular \({\tilde{\nu }}\) is determined by \({\tilde{\mu }}\). The unitary \({\mathcal {W}}_3\) vertex operator algebras studied in [15] give many examples of Hermitian \({\mathcal {W}}_3\) vectors.
The following proposition follows from the results in [14, Section 4].
Proposition 3.10
Let V be a simple unitary vertex operator algebra and let \(a \in V_3\) be a Hermitian \({\mathcal {W}}_3\) vector with central charge \({\tilde{c}}\). Then a satisfies third-order energy bounds. Moreover, if \({\tilde{c}} \ge 1\) then a satisfies the optimal second-order energy bounds.
Definition 3.11
Let V be a simple unitary vertex operator algebra. Then V is energy-bounded if every \(a \in V\) satisfies energy bounds.
Definition 3.12
Let V be a simple unitary vertex operator algebra and let \(U \subset V\) be a unitary subalgebra. Then U is energy-bounded if every \(a \in U\) satisfies energy bounds.
Remark 3.13
A unitary subalgebra U of the simple unitary vertex operator algebra V is energy-bounded if and only if V is an energy-bounded unitary U-module, cf. [18, 28] and Sect. 4 below. In particular, if U is an energy-bounded unitary subalgebra of V then it is also an energy-bounded simple unitary vertex operator algebra.
The same proof of [13, Proposition 6.1] gives the following.
Proposition 3.14
Let V be a simple unitary vertex operator algebra and let U be a unitary subalgebra of V. If U is generated by a family of homogeneous vectors satisfying energy bounds, then U is an energy-bounded unitary subalgebra. In particular, if \({\mathscr {F}} \subset V\) is a family of Hermitian quasi-primary vectors satisfying energy bounds then \(U_{{\mathscr {F}}}\) is an energy-bounded subalgebra of V.
Proposition 3.14 together with Propositions 3.4, 3.6 and Proposition 3.10 immediately gives the following theorem.
Theorem 3.15
Let V be a simple unitary vertex operator algebra and let U be a unitary subalgebra of V. Assume that U is generated by \(U_1\), a family of Hermitian quasi-primary Virasoro vector and a family of Hermitian \({\mathcal {W}}_3\) vectors. Then U is an energy-bounded unitary subalgebra of V.
We end this section by introducing the notion of exponentially energy-bounded unitary vertex operator algebra, which will be needed in Sect. 4.
Definition 3.16
Let V be a simple unitary vertex operator algebra. We say that V is exponentially energy-bounded if, for every \(a\in V\) there is a \(q>0\) such that \(\Vert a_0q^{L_0}\Vert < +\infty \).
If \(a \in V\) satisfies energy bounds, then there are real numbers \(C \ge 0\), and \(s \ge 0\) such that \(\Vert a_0 \Vert _n \le C(1 + |n|)^s\) for all \(n \in {\mathbb Z}\) so that \(\Vert a_0 q^{L_0} \Vert _n \le C(1 +|n|)^s q^|n|\) for all \(q > 0\) and all \(n \in {\mathbb Z}\). Hence, if \(q \in (0,1)\),
As a consequence, if V is energy-bounded then it is also exponentially energy-bounded. The following proposition will be important for our main results in Sect. 4.
Proposition 3.17
Let V be a simple unitary vertex operator algebra. If V is \(C_2\)-cofinite then \(\Vert a_0q^{L_0}\Vert < +\infty \) for all \(a\in V\) and all \(q \in (0,1)\). In particular V is exponentially energy-bounded.
Proof
Let \(q \in (0,1)\). It is enough to prove that \(\Vert a_0q^{L_0}\Vert < +\infty \) for all homogeneous vectors \(a \in V\). Let a be homogeneous with conformal dimension d. Since V is assumed to be \(C_2\)-cofinite we can use [50, Theorem 4.4.1] to conclude that \({\text {Tr}}((a_{-d}a^*)_0 q^{2L_0}) < +\infty \). Hence, by Lemma 3.5 we find
\(\square \)
4 Main results
In this section we state and prove our main results on energy bounds for vertex operator algebras extensions. A vertex operator algebra automorphism g of a simple unitary vertex operator algebra V is said to be a unitary automorphism if \((ga|gb)=(a|b)\) for all \(a,b \in V\). A vertex operator algebra automorphism is unitary if and only if it commutes with the PCT operator \(\theta \), see [13, Remark 5.18]. Since the vertex operator algebra automorphisms preserve the conformal vector \(\nu \), it follows that if g is unitary then \(g a^* = (ga)^*\) for all \(a \in V\). If G is a compact group of unitary automorphisms of V, then the fixed point subalgebra \(V^G:= \{a \in V: g \in G \Rightarrow ga =a \}\) is a unitary subalgebra of V, cf. [13, Example 2.25].
Theorem 4.1
Let G be a compact group of unitary automorphisms of the simple unitary vertex operator algebra V and let \(U:=V^G\). Assume that U is an energy-bounded unitary subalgebra of V. Then V is energy-bounded.
Proof
Since V is generated by the conformal vector \(\nu \) and by primary vectors (see, e.g., [14, Remark 3.9]), then, by Lemma 3.7, it is enough to prove that for every primary vector \(a \in V\) there is an \(s \ge 0\) such that \(\Vert a_0 (L_0+1_V)^{-s} \Vert < +\infty \), cf. [14]. Now, if \(a \in V_{d}\) is primary, there is an orthonormal basis \(\{a^1,a^2, \dots , a^{k_d} \}\) of \(V_d\) with \(a= \Vert a\Vert a^1\). Then, \(x:= \sum _{i=1}^{k_d}a^i_{-d}{a^i}^* \in U\) because \(g\restriction _{V_d}\) is represented by a unitary matrix in any orthonormal basis. Since U is an energy-bounded unitary subalgebra of V, then x satisfies energy bounds and hence there is a real number \(s \ge 0\) such that \(\Vert x_0 (L_0+1_V)^{-2s} \Vert < +\infty \). By Lemma 3.5 and the fact that \(x_0\) commutes with \(L_0\) we find
for all \(b \in V\). Hence, \(\Vert a_0(L_0+1_V)^{-s}\Vert ^2 \le \Vert a\Vert ^2 \Vert x_0 (L_0+1_V)^{-2\,s} \Vert < +\infty \) and the conclusion follows. \(\square \)
As an immediate application, we give a new proof of energy-boundedness of lattice models, see [30, Section 5.3].
Proposition 4.2
Let L be an even positive-definite lattice. Then the lattice vertex operator algebra \(V_L\) is energy-bounded.
Proof
If n is the rank of L then the rank n Heisenberg algebra is a unitary subalgebra of \(V_L\) which is energy-bounded by Proposition 3.6. The automorphism group of \(V_L\) contains a compact subgroup G of unitary automorphisms isomorphic to the n-dimensional torus \({\mathbb {T}}^n\) such that \(H=V_L^G\) and the conclusion follows from Theorem 4.1. \(\square \)
We now to discuss our second main result on energy bounds for vertex operator algebras extensions. We start with two lemmas.
Lemma 4.3
Let V be a simple unitary vertex operator algebra. Let \(b \in V\) satisfy energy bounds and let \(a \in V\) be a primary vector with conformal dimension \(d_a \ne 1\). Then there are real numbers \(B \ge 0\) and \(t \ge 0\) such that
for all \(m, n \in {\mathbb Z}\).
Proof
By assumption b satisfies energy bounds and thus there are real numbers \(K \ge 0\) and \(q \ge 0\) such that \(\Vert b_m \Vert _n \le K(1 + |m|)^q(1+|n|)^q\) for all \(m, n \in {\mathbb Z}\). It then follows from Lemma 3.7 that there is a real number \(A\ge 0\) such that
for all \(m,n \in {\mathbb Z}\), and the conclusion follows. \(\square \)
Lemma 4.4
Let V be a simple unitary vertex operator algebra. Let \(b \in V_d\) satisfy energy bounds, let \(p \in {\mathbb Z}_{\ge 0}\) and let \(a \in V\) be a primary vector with conformal dimension \(d_a \ne 1\). Then there are real numbers \(C\ge 0\) and \(r \ge 0\) such that
for all \(n \in {\mathbb Z}\).
Proof
It follows from Equation (16)) that
By assumption b satisfies energy bounds and thus there are real numbers \(K \ge 0\) and \(q \ge 0\) such that \(\Vert b_m \Vert _n \le K(1 + |m|)^q(1+|n|)^q\) for all \(m, n \in {\mathbb Z}\).
If \(c \in V_{\le n}\) then \(a_{p +j}c =0\) for \(j + p > n \), so that \(\Vert b_{-p - j}a_{p +j} \Vert _n =0 \) for \(j + p > n \). Similarly, \(b_{j+1-d}c =0\) for \(j +1 -d > n\). It follows that \(\Vert a_{d -1 -j}b_{j+1-d}\Vert _n =0\) for \(j +1-d > n\).
By Lemma 4.3 there exist positive real numbers B and t such that
for all \(n \in {\mathbb Z}\) and all \(j\in {\mathbb Z}_{\ge 0}\). Recalling that \(\Vert a^i_{d -1 -j}b_{j+1-d}\Vert _n =0\) for \(j+1-d >n\), we see that
for all \(n \in {\mathbb Z}\) and all \(j\in {\mathbb Z}_{\ge 0}\). On the other hand,
for all \(p,j \in {\mathbb Z}_{\ge 0}\) and all \(n\in {\mathbb Z}\). By Lemma 3.7 there exists a positive real number A such that
for all \(j \in {\mathbb Z}_{\ge 0}\) and all \(n\in {\mathbb Z}\). Hence, recalling that \(\Vert b_{-p - j}a_{p +j} \Vert _n =0\) for \(p+j >n\), we find that
for all \(j \in {\mathbb Z}_{\ge 0}\) and all \(n\in {\mathbb Z}\). It follows that
for all \(n\in {\mathbb Z}\) and the conclusion follows. \(\square \)
Theorem 4.5
Let V be simple unitary exponentially energy-bounded vertex operator algebra and let \(U \subset V\) be an energy-bounded unitary subalgebra of V such that V is a finite direct sum of simple U-modules. Then V is energy-bounded.
Proof
Let \({\tilde{U}}\) be the unitary subalgebra of V generated by U and \(V_1\). By Proposition 3.6 every vector in \(V_1\) satisfies energy bounds and U is an energy-bounded unitary subalgebra of V by assumption. Therefore, Proposition 3.14 implies that \({\tilde{U}}\) is an energy-bounded unitary subalgebra too. Since \(U \subset {\tilde{U}}\) then V is a finite direct sum of irreducible \({\tilde{U}}\)-modules. Hence, we can assume that \(V_1 \subset U\) by replacing if necessary U with \({\tilde{U}}\). We write \(V= \bigoplus _{k=1}^{N}M^k \) where the \(M^k\), \(k=1,\dots ,N\), are pairwise orthogonal simple unitary U-modules and \(M^1=U\). We denote by \(M^k_{(0)}\) the top space of \(M^k\), i.e., the lowest energy subspace of \(M^k\) and by \(d_k\) the corresponding lowest energy. Since we are assuming that \(V_1 \subset U\), we have that \(d_k \ne 1\) for all \(k \in \{1,\dots ,N\}\).
For each \(k=1,\dots ,N\), pick a vector \(a^k \in M^k_{(0)}\) with \(\Vert a^k\Vert = 1\). Accordingly, each \(a^k\) is primary of dimension \(d_k\) and V is generated by \(U \cup \{a^1, \dots , a^N\}\). It is thus enough to prove that for every \(a^k\) there is a real number \(s>0\) such that \(\Vert a^k_0 (L_0 + 1_V)^{-s}\Vert < +\infty \). For every integer \(n \in {\mathbb Z}_{\ge 0}\) we set
By [38, Prop. 4.5.6], for any \(k \in \{1,\dots ,N\}\), there are homogeneous vectors \(b^{(k,i,m)} \in U_{d(k,i,m)}\), \(i=1,\dots ,N\), \(m=1,\dots , m(i,k)\) such that
so that
There is a finite number of vectors \(b^{(k,i,m)}\) and these vectors are in U and hence they are energy-bounded. Moreover, if \(d_i -2d_k >0\) then \(b^{(k,i,m)}_{d_i - 2d_k}a^i =0\), because it is a homogeneous vector in \(M^i\) with conformal energy less than \(d_i\). Thus, it follows from Lemma 4.4 that there is an integer \(d\ge 0\) and real numbers \(D > 0\), \(s \ge 0\) such that, for all k and all \(n \in {\mathbb Z}_{\ge 0}\),
Thus, it follows by Lemma 3.5 that
for all \(n \in {\mathbb Z}_{\ge 0}\). We now set
and we find \(\alpha _n^2 \le \alpha _{n+d}\). If \(\alpha _{{\overline{n}}} > 1\) for some \({\overline{n}}\) then \(\alpha _{{\overline{n}}+ md} \ge (\alpha _{{\overline{n}}})^{2^m}\) for all \(m \in {\mathbb Z}_{\ge 0}\) and this is in contradiction with the assumption that V is exponentially energy-bounded. Hence, \(\alpha _n \le 1\) for all n and hence \(K(n) \le C(1+r)^q (1+n)^q\) so that \(\Vert a^k_0 (L_0+ 1_V)^{-q}\Vert < +\infty \) for all k and V is energy-bounded. \(\square \)
Theorem 4.6
Let V be a simple unitary vertex operator algebra and let U be an energy-bounded unitary subalgebra of V with the same conformal vector. Assume that U is also a regular vertex operator algebra. Then V is energy-bounded.
Proof
Since U is regular and contains the conformal vector \(\nu \) of V, then V is a finite direct sum of simple U-module. Moreover, V is \(C_2\)-cofinite by [2, Proposition 5.2] and hence it is exponentially energy-bounded by Proposition 3.17. Then the conclusion follows from Theorem 4.5\(\square \)
Thanks to Theorem 3.15 we get the following theorem.
Theorem 4.7
Let V be a simple unitary vertex operator algebra and let U be a unitary subalgebra of V with the same conformal vector. Assume that U is a regular vertex operator algebra and that U is generated by \(U_1\), a family of Hermitian quasi-primary Virasoro vector and a family of Hermitian \({\mathcal {W}}_3\) vectors. Then V is energy-bounded.
As a representative application we have the following theorem.
Theorem 4.8
Let V be a simple unitary vertex operator algebra extension with the same conformal vector of a unitary affine vertex operator algebra associated with a semisimple Lie algebra \({\mathfrak {g}}\). Then V is unitary and energy-bounded.
Proof
The unitarity of V follows from [8, Corollary 4.11]. Now, let \(U \subset V\) be the unitary affine subalgebra of V. Since the corresponding Lie algebra is semisimple, then U is rational and \(C_2\)-cofinite, see [50, Section 5], and hence it is regular by [2, Theorem 4.5]. Moreover, U is generated by \(U_1\) and thus the conclusion follows from Theorem 4.7. \(\square \)
Remark 4.9
If \({\mathfrak {g}}\) is of ADE type, then Theorem 4.8 also follows from [29, Theorem 2.7.4].
Remark 4.10
The energy bounds for the vertex operator algebra extension of unitary affine vertex operator algebras associated with semisimple Lie algebras play an important role in the proof of strong locality for the holomorphic vertex operator algebras with central charge \(c=24\) and nonzero weight-one subspace, see [8, Section 5].
Another rather straightforward consequence of Theorem 4.7 is the following.
Theorem 4.11
Let V be a simple unitary framed vertex operator algebra. Then V is unitary and energy-bounded.
Proof
As in the proof of Theorem 4.8 the conclusion follows from [8, Corollary 4.11], [50, Section 5], [2, Theorem 4.5] and Theorem 4.7. \(\square \)
We conclude this paper by briefly discussing some further applications of Theorem 4.5 which come from the notion of strongly energy-bounded unitary vertex operator algebra together with recent results by Gui [29].
We first recall, for the convenience of the reader, some basic facts about unitary vertex operator algebra modules which have been already partially used in the preceding part of this paper.
Let V be a simple unitary vertex operator algebra with central charge c. A vertex algebra module M for V (or simply a V-module) is a vector space together with a map
from V into the family of fields on M such that \(Y^M(\Omega ,z) = 1_M\) and the following Borcherds identity for modules holds
A V-submodule N of M is a subspace N of M such that \(a^M_{(n)}N \subset N\) for all \(a \in V\) and all \(n \in {\mathbb Z}\). We say that a V-module M is irreducible or simple if its only V-submodules are \(\{0\}\) and M.
Similarly to the case of vertex operator algebras, we write
and it turns out that the endomorphisms \(L^M_n\), \(n\in {\mathbb Z}\), satisfy the Virasoro algebra commutation relations on M with central charge c,
The endomorphisms \(a^M_n \in \textrm{End}(M)\), \(a\in V\), \(n\in {\mathbb Z}\), are defined by
We say that the V-module M is unitary if it is equipped with a scalar product \((\cdot |\cdot )_M\) such that
for all \(a \in V\), all \(b,c \in M\) and all \(n \in {\mathbb Z}\). In this case all eigenvalues of \(L^M_0\) must be nonnegative real numbers.
Similarly to the case of unitary vertex operator algebras, we define the norm \(\Vert \cdot \Vert _M\) on M by \(\Vert c \Vert _M:= \sqrt{(c | c)_M}\), \(c \in M\). If \(s \in {\mathbb Z}_{\ge 0}\) and \(a\in V\), we say that the field \(Y^M(a,z)\) satisfies s-th-order energy bounds if there exist real numbers \(C\ge 0\) and \(t \ge 0\) such that
for all \(c \in M\) and all \(n \in {\mathbb Z}\). We say that \(Y^M(a,z)\) satisfies energy bounds if it satisfies s-th-order energy bounds for some \(s\in {\mathbb Z}_{\ge 0}\) and we say that M is an energy-bounded module for V if \(Y^M(a,z)\) satisfies energy bounds for all \(a \in V\).
If U is a unitary subalgebra of a simple unitary vertex operator algebra V, then V is in particular a unitary U-module. Moreover, U is an energy-bounded subalgebra of V if and only if V is an energy-bounded U-module, cf. Remark 3.13.
Definition 4.12
(c.f. [29, Section 2.1]) We say that a simple unitary vertex operator algebra V is strongly energy-bounded if every irreducible unitary V-module is energy-bounded.
Various interesting examples of strongly energy-bounded simple unitary vertex operator algebras come from regular cosets of affine unitary vertex operator algebras, see [29, Section 2.6]. These examples include the discrete series \({\mathcal {W}}\)-algebras of ADE type [29, Section 2.7].
Proposition 4.13
Let V be a simple unitary vertex operator algebra and let U be a unitary subalgebra of V. Assume that U is regular and strongly energy-bounded. Then U is an energy-bounded subalgebra of V.
Proof
The simple unitary vertex operator algebra V is an orthogonal, possibly infinite, direct sum of irreducible U-submodules. On the other hand, U being regular, there are only finitely many inequivalent irreducible submodules appearing in the direct sum. It follows that for every \(a \in U\) there are real numbers \(s \ge 0\) and \(C>0\) such that
for all \(b \in V\) and the conclusion follows, e.g., from Lemma 3.5. \(\square \)
As a consequence, we have the following generalization of Theorem 4.7.
Theorem 4.14
Let V be a simple unitary vertex operator algebra and let U be a unitary subalgebra of V with the same conformal vector which is also a regular vertex operator algebra. Assume that U is generated by \(U_1\), a family of Hermitian quasi-primary Virasoro vector a family of Hermitian \({\mathcal {W}}_3\) vectors and a family of strongly energy-bounded regular unitary subalgebras. Then V is energy-bounded.
Data Availability
Data sharing is not applicable to this article as no new data were created or analyzed in this study
References
Adamo, M.S., Giorgetti, L., Tanimoto, Y.: Wightman fields for two-dimensional conformal field theories with pointed representation category. https://doi.org/10.48550/arXiv.2301.12310
Abe, T., Buhl, G., Dong, C.: Rationality, regularity, and \(C_2\)-cofiniteness. Trans. Am. Math. Soc. 356, 3391–3402 (2004)
Baumann, K.: Unboundedness of Bose fields in a one-dimensional model world. Lett. Math. Phys. 41, 135–147 (1996)
Borcherds, R.E.: Vertex algebras, Kac-Moody algebras, and the Monster. Proc. Natl. Acad. Sci. USA 83, 3068–3071 (1986)
Buchholz, D.: On quantum fields that generate local algebras. J. Math. Phys. 31(8), 1839–1846 (1990)
Buchholz, D., Schulz-Mirbach, H.: Haag duality in conformal quantum field theory. Rev. Math. Phys. 2, 105–125 (1990)
Carpi, S., Vecchio, S. Del., Iovieno, S., Tanimoto, Y.: Positive energy representations of Sobolev diffeomorphism groups of the circle. Anal. Math. Phys. 11, 12 (2021)
Carpi, S., Gaudio, T., Giorgetti, L., Hillier, R.: Haploid algebras in C*-tensor categories and the Schellekens list. Commun. Math. Phys. (2023). https://doi.org/10.1007/s00220-023-04722-9
Carpi, S., Gaudio, T., Hillier, R.: Classification of unitary vertex subalgebras and conformal subnets for rank-one lattice chiral CFT models. J. Math. Phys. 60, 093505 (2019)
Carpi, S., Hillier, R., Kawahigashi, Y., Longo, R.: Spectral triples and the super-Virasoro algebra. Comm. Math. Phys. 295, 71–97 (2010)
Carpi, S., Hillier, R., Kawahigashi, Y., Longo, R., Xu, F.: \(N=2\) superconformal nets. Commun. Math. Phys. 336, 1285–1328 (2015)
Carpi, S., Hillier, R., Longo, R.: Superconformal nets and noncommutative geometry. J. Noncomm. Geom. 9, 391–445 (2015)
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)
Carpi, S., Tanimoto, Y., Weiner, M.: Local energy bounds and strong locality in chiral CFT. Commun. Math. Phys. 390, 169–192 (2022)
Carpi, S., Tanimoto, Y., Weiner, M.: Unitary representations of the \({\cal{W} }_3\)-algebra with \(c \ge 2\). Transform. Groups (2022). https://doi.org/10.1007/s00031-022-09699-8
Carpi, S., Weiner, M.: On the uniqueness of diffeomorphism symmetry in conformal field theory. Commun. Math. Phys. 258, 203–22 (2005)
Carpi, S., Weiner, M.: Local energy bounds and representations of conformal nets. (In preparation)
Carpi, S., Weiner, M., Xu, F.: From vertex operator algebra modules to representations of conformal nets. (In preparation)
Dong, C., Lin, X.: Unitary vertex operator algebras. J. Algebra 397, 252–277 (2014)
Driessler, W., Fröhlich, J.: The reconstruction of local observable algebras from the euclidean green’s functions of relativistic quantum field theory. Annales de L’Institut Henri Poincare Section Physique Theorique 27, 221–236 (1977)
Driessler, W., Summers, S.J., Wichmann, E.H.: On the connection between quantum fields and von Neumann algebras of local operators. Commun. Math. Phys. 105, 49–84 (1986)
Fewster, C.J., Hollands, S.: Quantum energy inequalities in two-dimensional conformal field theory. Rev. Math. Phys. 17, 577–612 (2005)
Frenkel, I.B., Huang, Y.-Z., Lepowsky, J.: On axiomatic approaches to vertex operator algebras and modules. Mem. Amer. Math. Soc. 104(494), viii + 64 (1993)
Gannon, T.: Exotic quantum subgroups and extensions of affine Lie algebras VOAs. https://doi.org/10.48550/arXiv.2301.07287
Glimm, J., Jaffe, A.: Quantum Physics, 2nd edn. Springer, New York (1987)
Goodman, R., Wallach, N.R.: Structure and unitary cocycle representations of loop groups and the group of diffeomorphisms of the circle. J. Reine Angew. Math. 347, 69–133 (1984)
Goodman, R., Wallach, N.R.: Projective unitary positive-energy representations of \({\rm Diff} (S^1)\). J. Funct. Anal. 63, 299–321 (1985)
Gui, B.: Unitarity of the modular tensor categories associated to unitary vertex operator algebras, I. Commun. Math. Phys. 366, 333–396 (2019)
Gui, B.: Unbounded field operators in categorical extensions of conformal nets. https://doi.org/10.48550/arXiv.2001.03095
Gui, B.: Categorical extensions of conformal nets. Commun. Math. Phys. 383(2), 763–839 (2021)
Gui, B.: Q-systems and extensions of completely unitary vertex operator algebras. Int. Math. Res. Not. 1, 7550–7614 (2021)
Hollands, S.: Relative entropy for coherent states in chiral CFT. Lett. Math. Phys. 110, 713–733 (2020)
Hollands, S.: On the modular operator of multi-component regions in chiral CFT. Commun. Math. Phys. 384, 785–828 (2021)
Jäkel, C.D., Tanimoto, Y.: Towards integrable perturbation of 2d CFT on de Sitter space. https://doi.org/10.48550/arXiv.2301.12468
Kac, V.: Vertex Algebras for Beginners, 2nd edn. American Mathematical Society, Providence, RI (1998)
Kac, V.G., Raina, A.K.: Bombay Lectures on Highest Weight Representations of Infinite Dimensional Lie Algebras. World Scientific, Singapore (1987)
König, R., Scholz, V.B.: Matrix product approximations to conformal field theories. Nucl. Phys. B 920, 32–121 (2017)
Lepowsky, J., Li, H.: Introduction to Vertex Operator Algebras and Their Representations. Birkäuser, Boston (2004)
Panebianco, L.: A formula for the relative entropy in chiral CFT. Lett. Math. Phys. 110, 2363–2381 (2020)
Panebianco, L.: Loop groups and QNEC Commun. Math. Phys. 387, 397–426 (2021)
Nelson, E.: Time-ordered operator product of sharp-time quadratic forms. J. Funct. Anal. 11, 211–219 (1972)
Raymond, C., Tanimoto, Y., Tener, J.E.: Unitary vertex algebras and Wightman conformal field theories. Commun. Math. Phys. 395, 299–330 (2022)
Rudin, W.: Functional Analysis, 2nd edn. McGraw-Hill, Singapore (1991)
Tener, J.E.: Representation theory in chiral conformal field theory: from fields to observables. Selecta Math. 25, 76 (2019)
Tener, J.E.: Geometric realization of algebraic conformal field theories. Adv. Math. 349, 488–563 (2019)
Tener, J.E.: Fusion and positivity in chiral conformal field theory. https://doi.org/10.48550/arXiv.1910.08257
Toledano Laredo, V.: Fusion of positive energy representations of \(\operatorname{L}\operatorname{Spin}_{2n}\). PhD Thesis, University of Cambridge (1997). https://doi.org/10.48550/arXiv.math/0409044
Toledano Laredo, V.: Integrating unitary representations of infinite-dimensional Lie groups. J. Funct. Anal. 161, 478–508 (1999)
Wassermann, A.: Operator algebras and conformal field theory III. Fusion of positive energy representations of \(\operatorname{LSU}(N)\) using bounded operators. Invent. Math. 133, 467–538 (1998)
Zhu, Y.: Modular invariance of characters of vertex operator algebras. J. Amer. Math. Soc. 9, 237–302 (1996)
Zini, M.S., Wang, Z.: Conformal field theories as scaling limit of anyonic chains. Commun. Math. Phys. 363, 877–953 (2018)
Acknowledgements
We would like to thank Tiziano Gaudio, Bin Gui, Luca Giorgetti, Robin Hillier, Yoh Tanimoto and Mihály Weiner for useful and stimulating discussions. This work was supported in part by the ERC Advanced Grant 669240 QUEST “Quantum Algebraic Structures and Models”. S.C. is partially supported by the MIUR Excellence Department Project MatMod@TOV awarded to the Department of Mathematics, University of Rome “Tor Vergata”, CUP E83C23000330006, by the University of Rome “Tor Vergata” funding OAQM, CUP E83C22001800005 and by GNAMPA-INDAM.
Funding
Open access funding provided by Università degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Carpi, S., Tomassini, L. Energy bounds for vertex operator algebra extensions. Lett Math Phys 113, 59 (2023). https://doi.org/10.1007/s11005-023-01682-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01682-y