Abstract
The Nappi–Witten model is a Wess–Zumino–Witten model in which the target space is the nonreductive Heisenberg group \(H_4\). We consider the representation theory underlying this conformal field theory. Specifically, we study the category of weight modules, with finite-dimensional weight spaces, over the associated affine vertex operator algebra \(\mathsf {H}_4\). In particular, we classify the irreducible \(\mathsf {H}_4\)-modules in this category and compute their characters. We moreover observe that this category is nonsemisimple, suggesting that the Nappi–Witten model is a logarithmic conformal field theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Wess–Zumino–Witten models are examples of nonlinear sigma models that describe (noncritical) strings propagating on Lie groups or supergroups [1]. The enhanced symmetry afforded by Lie-theoretic target spaces makes them attractive studies, and consequently, the models based on reductive Lie groups are now very well understood. In particular, Wess–Zumino–Witten models with reductive Lie groups have chiral symmetry algebras that may be identified as affine vertex operator algebras at nonnegative integer levels. This identification not only algebraically formalises the conformal symmetry of these models, it also means that the representation theory of the corresponding affine Kac–Moody algebras [2] is available to organise the spectrum.
In contrast, the Wess–Zumino–Witten models with nonreductive Lie groups are relatively poorly understood. It has been known for quite some time [3, 4] that the theory is conformal if the corresponding Lie algebra admits a nondegenerate invariant symmetric bilinear form. However, the representation theory of the corresponding affine vertex operator algebras has remained largely unexplored, probably because the representation theory of nonreductive Lie algebras is already considerably more challenging than the reductive case. In this paper, we revisit one of the simplest nonreductive examples: the Nappi–Witten model [5] corresponding to the Heisenberg group \(H_4\).
The Nappi–Witten model was originally introduced to describe strings propagating in a monochromatic plane-wave background, a seemingly simple generalisation of the flat backgrounds familiar from abelian group target spaces, and has since been intensively studied. For example, this model lends itself to the study of the propagation and scattering of strings in the presence of gravitational waves [6, 7]. Moreover, its rich collection of abelian and diagonal cosets have been related to many other interesting backgrounds [8, 9]. Boundary aspects (D-branes) have likewise been explored in detail, see [10,11,12], for example.
In a sense, the representation theory of the Nappi–Witten vertex operator algebra \(\mathsf {H}_4\) has been discussed many times in the literature. In particular, a spectrum has been proposed from which 3- and 4-point correlation functions have been calculated, see [7], for example. However, this proposal largely follows the paradigm of noncompact conformal field theory introduced in [13] for the \(\mathsf {SL}_{2}(\mathbb {R})\) Wess–Zumino–Witten model: start with the unitary representations of the Nappi–Witten Lie algebra \(\overline{\mathfrak {h}}_4\) and induce to get representations of its affinisation \(\mathfrak {h}_4\). It therefore identifies the generic features of the spectrum, but may miss the finer structure needed for a complete understanding.
Our primary motivation here is that an alternative paradigm has recently arisen through the study of Wess–Zumino–Witten models on Lie supergroups [14,15,16], fractional-level Wess–Zumino–Witten models [17,18,19,20] and related theories such as the bosonic ghost system [18, 21,22,23]. As conformal field theories, these share similar features to the known noncompact models such as continuous spectra and conformal dimensions that are unbounded from below. More interestingly, the fine structure of the spectra of these theories shows that they are logarithmic, meaning that the spectrum receives contributions from reducible but indecomposable representations with a nondiagonalisable action of the Hamiltonian [24]. Moreover, these logarithmic representations are necessary for the standard consistency checks of closure under fusion [17, 25] and modular invariance [21, 26].
It would therefore be very interesting to study the fine structure of the spectrum of the Nappi–Witten model. In this respect, we note that [7], see also [8], find strong evidence for logarithmic singularities in the 4-point correlators, usually regarded as a sure sign of logarithmic representations. However, they argue that the Nappi–Witten model is not logarithmic and that these singularities arise somehow because of the continuous nature of the spectrum. On the other hand, there are related coset models that are known to be logarithmic [27, 28].
A first step towards understanding the fine structure of the Nappi–Witten model was taken in [29], where the highest-weight modules of the affinisation \(\mathfrak {h}_4\) of \(\overline{\mathfrak {h}}_4\) were studied. The results included a precise determination of when a Verma \(\mathfrak {h}_4\)-module is irreducible and a partial characterisation of the submodule structure when it is not. They also conjectured similar results for certain generalised Verma modules, here referred to as relaxed Verma modules following [30, 31]. Our main aim in this paper is to complete these results. We reprove (in a simpler fashion) their classification result and moreover completely determine the substructures of all Verma modules. We also prove their conjectures for relaxed Verma modules. Consequently, we deduce character formulae for all irreducible weight representations, with finite-dimensional weight spaces, over the Nappi–Witten vertex operator algebra \(\mathsf {H}_4\). We also prove that \(\mathsf {H}_4\) admits many indecomposable but reducible representations, though those that we construct are not themselves logarithmic.
Two obvious questions, which we leave for future work, are to ascertain the modular transformations of the irreducible characters and to determine the fusion rules. Both are necessary checks on the consistency on any proposed spectrum. To check modularity, we expect to apply the standard module formalism of [19, 32], though there are some obvious technical considerations to overcome. Computing fusion rules is expected to be much more difficult, but here there are already some helpful partial results on tensor products of \(\overline{\mathfrak {h}}_4\)-modules [33, 34]. One main aim here would be to determine, given a proposed spectrum, if logarithmic representations are generated as fusion products of the already known nonlogarithmic representations.
This paper is organised as follows. We introduce our notation and conventions for the Heisenberg Lie algebra \(\overline{\mathfrak {h}}_4\) in Section 2. We also discuss its automorphisms and classify its irreducible weight representations. The latter result is very well known, see [34], for example, but we outline the easy proof for completeness and because it is convenient for constructing certain, less well-known, families of reducible but indecomposable \(\overline{\mathfrak {h}}_4\)-representations. This is followed, in Section 3, with a summary of our notation and conventions for the affinisation \(\mathfrak {h}_4\) and the associated universal affine vertex operator algebra \(\mathsf {H}_4\). Here, we also discuss automorphisms including those of “spectral flow” type.
Section 4 is devoted to a thorough study of the highest-weight modules of \(\mathsf {H}_4\). In particular, we give an elementary proof of the fact that \(\mathsf {H}_4\) is a simple vertex operator algebra and we rigorously identify the maximal submodule of an arbitrary Verma \(\mathfrak {h}_4\)-module (Theorem 5). We give a combinatorial proof of the latter result in Appendix A. The generalisation to relaxed highest-weight modules is the subject of Section 5. Here, we adapt the methodology developed in [35] to study relaxed highest-weight modules over the admissible-level affine vertex operator (super)algebras associated with \(\mathfrak {sl}_{2}\) and \(\mathfrak {osp}({1}|{2})\). Our main result, Theorem 6, classifies all the irreducible relaxed highest-weight modules of \(\mathsf {H}_4\). We also describe the structure of certain reducible but indecomposable \(\mathsf {H}_4\)-modules in Theorem 9.
Our last task is to compute the characters of the irreducible relaxed highest-weight \(\mathsf {H}_4\)-modules. In Section 6, we give the characters of the Verma and relaxed Verma modules, which are straightforward to derive, and those of the irreducible highest-weight modules, which follow from Theorem 5. Section 7 is devoted to the much more subtle computation of the characters of the irreducible relaxed highest-weight modules. This again uses the methodology developed in [35] and moreover proves the main conjecture of [29]. We conclude with a short discussion concerning directions for future work.
We remark that the methodology of [35] is but one of many recent approaches being developed to explore the theory of relaxed highest-weight modules for affine vertex operator algebras (and their associated W-algebras), see [36,37,38,39,40,41,42,43,44], for example. As mentioned above, the main novelty of analysing these modules over \(\mathsf {H}_4\) is, in our opinion, that this example derives from a nonreductive Lie algebra.Footnote 1 It would be extremely interesting to see how these other approaches can also accommodate such nonreductive cases.
2 The Lie algebra \(\overline{\mathfrak {h}}_4\) and its representations
The Lie algebra \(\overline{\mathfrak {h}}_4\) is the four-dimensional complex Lie algebra with basis \(\{E,F,I,J\}\) whose nonzero Lie brackets are, modulo antisymmetry, as follows:
As I spans the centre, but the centre has no complementary ideal, \(\overline{\mathfrak {h}}_4\) is not reductive. On the other hand, the Killing form is easily checked to be nonzero, so \(\overline{\mathfrak {h}}_4\) is not solvable. Nevertheless, it admits a two-parameter family of nondegenerate invariant symmetric bilinear forms, given by
with all other entries 0. For reasons that will shortly become clear, we may take \(a=1\) and \(b=0\) in what follows.
This Lie algebra also possesses a natural triangular decomposition:
A highest-weight vector is then a simultaneous eigenvector of I and J which is annihilated by E, and a lowest-weight vector is the same except that the annihilation is by F. The span of a given highest-weight vector is then naturally a \((\overline{\mathfrak {h}}_4^+ \oplus \overline{\mathfrak {h}}_4^0)\)-module and inducing to a \(\overline{\mathfrak {h}}_4\)-module defines the corresponding Verma module. If the I- and J-eigenvalues of the highest-weight vector are i and j, respectively, then we shall denote the induced (highest-weight) Verma module by \(\overline{\mathcal {V}}_{i,j}^+\).
Let \(\left| i,j\right\rangle \) denote the highest-weight vector of \(\overline{\mathcal {V}}_{i,j}^+\). Then, a basis for \(\overline{\mathcal {V}}_{i,j}^+\) is given by the \(F^n \left| i,j\right\rangle \), where \(n \in \mathbb {Z}_{\geqslant 0}\). If \(\overline{\mathcal {V}}_{i,j}^+\) has a nonzero proper submodule, then one of the \(F^n \left| i,j\right\rangle \) (with \(n>0\)) must be a singular vector. But, \([E , F] = I\) is central, hence
and we conclude that such singular vectors only exist if \(i=0\). Moreover, if \(i=0\), then all of the \(F^n \left| i,j\right\rangle \) with \(n>0\) are singular. It follows that the Verma module \(\overline{\mathcal {V}}_{i,j}^+\) of \(\overline{\mathfrak {h}}_4\) is irreducible if and only if \(i \ne 0\) and that the maximal submodule of \(\overline{\mathcal {V}}_{0,j}^+\) is isomorphic to \(\overline{\mathcal {V}}_{0,j-1}^+\). The Verma module \(\overline{\mathcal {V}}_{i,j}^+\) is then irreducible if \(i \ne 0\) and, for \(i=0\), we instead have the short exact sequence
Note that the \(\overline{\mathcal {L}}_{0,j}\) are all one-dimensional and are therefore irreducible. We therefore have a complete classification of irreducible highest-weight modules for \(\overline{\mathfrak {h}}_4\). We record the following consequence of this classification that will be used later.
Lemma 1
If V is a finite-dimensional weight \(\overline{\mathfrak {h}}_4\)-module, then I acts trivially on V.
Proof
The composition factors of V are obviously finite-dimensional, and hence, each is isomorphic to one of the \(\overline{\mathcal {L}}_{0,j}\). It follows that I acts as zero on each factor. However, V is weight, so I acts as zero on V as well. \(\square \)
Alternatively, I acts as a constant multiple of the identity on each composition factor, by Schur’s lemma. But, taking the trace of \(I=[E , F]\) over this finite-dimensional space shows that this multiple must be 0.
One can similarly analyse lowest-weight Verma modules \(\overline{\mathcal {V}}_{i,j}^-\). However, their structure follows immediately from the existence of an automorphism \(\overline{\mathrm {c}}\) of \(\overline{\mathfrak {h}}_4\) defined by
We call the \(\overline{\mathrm {c}}\) the conjugation automorphism and note that it squares to the identity. This lifts to an invertible endofunctor on the category of weight modules for \(\overline{\mathfrak {h}}_4\) as follows. Given such a module \(\overline{\mathcal {W}}\), let \(\overline{\mathrm {c}}^*(\overline{\mathcal {W}})\) denote the image of \(\overline{\mathcal {W}}\) under an arbitrary vector space isomorphism \(\overline{\mathrm {c}}^*\). We equip \(\overline{\mathrm {c}}^*(\overline{\mathcal {W}})\) with an \(\overline{\mathfrak {h}}_4\)-module structure by defining
In other words, \(\overline{\mathrm {c}}(A) \overline{\mathrm {c}}^*(m) = \overline{\mathrm {c}}^*(Am)\). In what follows, we shall, for brevity, drop the star that distinguishes the automorphism from the associated category autoequivalence.
As \(\overline{\mathrm {c}}\) defines an invertible functor, conjugation preserves module structure. In particular, it maps irreducibles to irreducibles. For example, the conjugate of the irreducible highest-weight module \(\overline{\mathcal {V}}_{i,j}^+\), \(i \ne 0\), is the irreducible lowest-weight module \(\overline{\mathcal {V}}_{-i,-j}^-\) of lowest-weight \((-i,-j)\) and the conjugate of the one-dimensional module \(\overline{\mathcal {L}}_{0,j}\) is \(\overline{\mathcal {L}}_{0,-j}\) (which is simultaneously highest- and lowest-weight). Moreover, invertibility means that these modules exhaust the irreducible lowest-weight \(\overline{\mathfrak {h}}_4\)-modules, up to isomorphism.
There are other nontrivial automorphisms of \(\overline{\mathfrak {h}}_4\). In particular, we have two one-parameter families that we shall refer to as the rescale automorphisms \(\overline{\mathrm {r}}_{\alpha }\), \(\alpha \in \mathbb {C}\setminus \{0\}\), and the shift automorphisms \(\overline{\mathrm {s}}_{\beta }\), \(\beta \in \mathbb {C}\), defined by
Along with conjugation, these automorphisms satisfy
Note that the rescale and shift automorphisms do not preserve the choice of nondegenerate invariant bilinear form (unlike conjugation). Instead, \(\overline{\mathrm {r}}_{\alpha }\) has the effect of replacing the parameter a in (2.2) by \(\alpha ^{-2} a\) and \(\overline{\mathrm {s}}_{\beta }\) similarly replaces b by \(b - 2 \beta a\). As \(a \ne 0\), these automorphisms effectively allow us to tune a and b to any values we desire. This shows that there was no loss of generality in choosing \(a=1\) and \(b=0\), as we did above.
As with conjugation, the rescale and shift automorphisms lift to invertible, and thus structure-preserving, endofunctors on the category of weight modules. Since these automorphisms preserve the triangular decomposition (2.3) (again unlike conjugation), the corresponding endofunctors preserve being highest-weight or lowest-weight. An easy calculation with highest-weight vectors now shows that
In particular, this explains why the structure of the Verma modules of \(\overline{\mathfrak {h}}_4\) is independent of the eigenvalue of J and only depends on whether the eigenvalue of I is zero or not.
To complete the classification of irreducible weight modules for \(\overline{\mathfrak {h}}_4\), we consider modules without highest- or lowest-weight vectors.Footnote 2 For this, it is convenient to introduce a central element of quadratic degree in the universal enveloping algebra \(\mathsf {U}\left( \overline{\mathfrak {h}}_4\right) \):
It follows that the eigenvalues of Q on \(\overline{\mathcal {L}}_{0,j}\) and \(\overline{\mathcal {V}}_{i,j}^+\) are 0 and ij, respectively. This quadratic Casimir can, of course, be modified by adding an arbitrary polynomial in I without affecting its central nature.
The reason for introducing Q is that any weight space of an irreducible weight module for \(\overline{\mathfrak {h}}_4\) defines an irreducible module for the centraliser of \(\overline{\mathfrak {h}}_4^0\) in \(\mathsf {U}\left( \overline{\mathfrak {h}}_4\right) \) and this centraliser is easily seen to be just the polynomial algebra \(\mathbb {C}[I, J, Q]\). Because the centraliser \(\mathbb {C}[I, J, Q]\) is abelian, the weight spaces of any irreducible weight module of \(\overline{\mathfrak {h}}_4\) are one-dimensional. Moreover, given an irreducible \(\mathbb {C}[I, J, Q]\)-module \(\mathbb {C}\left| i,j;h\right\rangle \), where \(\left| i,j;h\right\rangle \) is labelled by its I-, J- and Q-eigenvalues (in that order), we can induce to a \(\mathsf {U}\left( \overline{\mathfrak {h}}_4\right) \)-module \(\overline{\mathcal {R}}_{i,j; h}\) and a basis for the latter is given by \(\left| i,j;h\right\rangle \) and the \(E^n \left| i,j;h\right\rangle \) and \(F^n \left| i,j;h\right\rangle \) with \(n \in \mathbb {Z}_{>0}\). The \(\overline{\mathcal {R}}_{i,j; h}\) are said to be dense because their weight supports are maximal among those of all indecomposable \(\overline{\mathfrak {h}}_4\)-modules.
If \(\overline{\mathcal {R}}_{i,j; h}\) is reducible, then either one of the \(E^n \left| i,j;h\right\rangle \) is a lowest-weight vector or one of the \(F^n \left| i,j;h\right\rangle \) is a highest-weight vector. But, if n is a positive integer for which \(E^n \left| i,j;h\right\rangle \) is a lowest-weight vector, then
Thus, \(h=i(j+m)\) for some \(m \in \mathbb {Z}_{\geqslant 0}\). Similarly, if n is a positive integer for which \(F^n \left| i,j;h\right\rangle \) is a highest-weight vector, then \(h=i(j+m)\) for some \(m \in \mathbb {Z}_{<0}\). A necessary and sufficient condition for reducibility is thus that \(h=i(j+m)\) for some \(m \in \mathbb {Z}\).
Note that if the \(\overline{\mathfrak {h}}_4\)-module \(\overline{\mathcal {R}}_{i,j; h}\) is irreducible, then we have \(\overline{\mathcal {R}}_{i,j; h} \cong \overline{\mathcal {R}}_{i,j+n; h}\), for any \(n \in \mathbb {Z}\). We shall therefore denote the irreducible dense modules by \(\overline{\mathcal {R}}_{i,[j]; h}\), where \([j] \in \mathbb {C}/ \mathbb {Z}\). It will be convenient for what follows to pick a basis \(\{\left| i,j';h\right\rangle :j' \in [j]\}\) of weight vectors of \(\overline{\mathcal {R}}_{i,[j]; h}\). Here, i, \(j'\) and h are the eigenvalues of I, J and Q, respectively.
We have thus arrived at the following classification of irreducible weight modules.
Proposition 2
The irreducible weight modules of \(\overline{\mathfrak {h}}_4\) are classified, up to isomorphism, by the following list of mutually inequivalent modules:
-
The \(\overline{\mathcal {L}}_{0,j}\) with \(j \in \mathbb {C}\). These are one-dimensional and have both a highest- and lowest-weight vector.
-
The \(\overline{\mathcal {V}}_{i,j}^+\) with \(i \in \mathbb {C}{\setminus }\{0\}\) and \(j \in \mathbb {C}\). These are infinite-dimensional and have a highest-weight vector but no lowest-weight vector.
-
The \(\overline{\mathcal {V}}_{i,j}^-\) with \(i \in \mathbb {C}{\setminus }\{0\}\) and \(j \in \mathbb {C}\). These are infinite-dimensional and have a lowest-weight vector but no highest-weight vector.
-
The \(\overline{\mathcal {R}}_{i,[j]; h}\) with \(i,h \in \mathbb {C}\), \([j] \in \mathbb {C}/ \mathbb {Z}\) and \(h \notin i[j]\). These are infinite-dimensional and have neither a lowest-weight vector nor a highest-weight vector.
It is also easy to analyse the reducible dense modules \(\overline{\mathcal {R}}_{i,j; h}\) that arise when \(h \in i[j]\). As above, for \(m,n \in \mathbb {Z}_{>0}\), we know that \(E^m \left| i,j;h\right\rangle \) is a lowest-weight vector if \(h=i(j+m-1)\) and \(F^n \left| i,j;h\right\rangle \) is a highest-weight vector if \(h=i(j-n)\). It follows that \(\overline{\mathcal {R}}_{i,j; h}\) has both a highest-weight and a lowest-weight vector if and only if \(h=i=0\), in which case it has infinitely many (every positive m and n works). \(\overline{\mathcal {R}}_{0,j; 0}\) thus has infinitely many composition factors \(\overline{\mathcal {L}}_{0,j+\ell }\), one for each \(\ell \in \mathbb {Z}\). The indecomposable structure of \(\overline{\mathcal {R}}_{0,j; 0}\) may be characterised through either of the following nonsplit short exact sequences:
On the other hand, \(\overline{\mathcal {R}}_{0,j; h} = \overline{\mathcal {R}}_{0,[j]; h}\) is always irreducible for \(h\ne 0\), in accordance with Proposition 2.
When \(i\ne 0\) and \(h \in i[j]\), \(\overline{\mathcal {R}}_{i,j; h}\) has either a unique highest-weight vector or a unique lowest-weight vector, corresponding to taking \(m=\frac{h}{i}-j+1\) or \(n=-\frac{h}{i}+j\), respectively. We shall denote these reducible but indecomposable dense \(\overline{\mathfrak {h}}_4\)-modules by \(\overline{\mathcal {R}}_{i; h}^+\) and \(\overline{\mathcal {R}}_{i; h}^-\), respectively, because their \(J_0\)-eigenvalues \([j] = [h/i]\) are uniquely determined by h and i. They are characterised by the following nonsplit short exact sequences, valid for \(i\ne 0\):
There are of course many other reducible but indecomposable dense \(\overline{\mathfrak {h}}_4\)-modules, particularly when \(i=0\).
It is easy to identify the result of conjugating, rescaling and shifting the dense irreducibles \(\overline{\mathcal {R}}_{i,[j]; h}\), \(h \notin i[j]\):
The corresponding results for the reducible versions \(\overline{\mathcal {R}}_{i; h}^{\pm }\), \(i\ne 0\), and \(\overline{\mathcal {R}}_{0,j; 0}\), \(j\in \mathbb {C}\), are
3 The affine algebra \(\mathfrak {h}_4\) and the vertex algebra \(\mathsf {H}_4\)
Because \(\overline{\mathfrak {h}}_4\) has a nondegenerate invariant symmetric bilinear form (2.2), it has a well-defined affinisation
Writing \(A_n\) for \(A \otimes t^n\), where \(A \in \overline{\mathfrak {h}}_4\) and \(n \in \mathbb {Z}\), the Lie brackets are given by
It follows that \(I_0\) is also central in \(\mathfrak {h}_4\). We also have a generalised triangular decomposition given by
From this, we obtain a parabolic Verma module for \(\mathfrak {h}_4\) by taking the one-dimensional representation \(\overline{\mathcal {L}}_{0,0}\) of \(\overline{\mathfrak {h}}_4\), extending it to an \(\mathfrak {h}_4^+ \oplus \mathfrak {h}_4^0\)-module by letting the \(A_n\) with \(n>0\) act as 0 and K act as multiplication by \(k \in \mathbb {C}\), and then inducing to a \(\mathfrak {h}_4\)-module. The constant k is called the level.
This parabolic Verma module carries the structure of a vertex algebra given by the standard affine state-field correspondence [48]. The generating fields then have decomposition and operator product expansions given by
where \(\mathbf {1}\) denotes the identity field. If \(k \ne 0\), then this can be extended to a vertex operator algebra \(\mathsf {H}_4\) through a variant of the Sugawara construction [3]:
This is the unique conformal structure that makes the A(z), \(A \in \overline{\mathfrak {h}}_4\), into Virasoro primaries of conformal weight 1. With \(T(z) = \sum _{n \in \mathbb {Z}} L_n z^{-n-2}\), we obtain Virasoro modes in (a completion of) the universal enveloping algebra \(\mathsf {U}\left( \mathfrak {h}_4\right) / \left\langle {K-k\,\mathbf {1}}\right\rangle \). The central charge is \(c=4\), and the conformal weight of a highest-weight or lowest-weight vector with \(I_0\)- and \(J_0\)-eigenvalues i and j is
respectively. More generally, the conformal weight of a relaxed highest-weight vector (this being a weight vector annihilated by \(\mathfrak {h}_4^+\)) with \(I_0\)- and \(J_0\)-eigenvalues i and j is
where h is the eigenvalue of \(Q_0 = F_0 E_0 + I_0 J_0\) on the relaxed highest-weight vector.
The conjugation automorphism \(\overline{\mathrm {c}}\) of \(\overline{\mathfrak {h}}_4\) lifts to an automorphism of \(\mathfrak {h}_4\) (and thence to \(\mathsf {H}_4\)) as follows:
The rescale automorphisms \(\overline{\mathrm {r}}_{\alpha }\), \(\alpha \in \mathbb {C}\setminus \{0\}\), and the shift automorphisms \(\overline{\mathrm {s}}_{\beta }\), \(\beta \in \mathbb {C}\), similarly lift:
As in Section 2, \(\mathrm {s}_{\beta }\) allows us to tune the parameter b in the bilinear form (2.2) to 0. Assuming that \(k \ne 0\) (so that \(\mathsf {H}_4\) is a vertex operator algebra), \(\mathrm {r}_{\alpha }\) lets us tune a to \(k^{-1}\). Because the bilinear form and the level only appear multiplied together in the defining operator product expansions (3.2), \(b=0\) implies that ak is the only other independent parameter. We will therefore (without loss of generality) assume that \(a=k=1\) in what follows.
Aside from these lifts of \(\overline{\mathfrak {h}}_4\)-automorphisms, there are genuinely new \(\mathfrak {h}_4\)-automorphisms. For example, the central element gives us an opportunity to define new shift automorphisms \(\mathrm {s}'_{\beta }\), \(\beta \in \mathbb {C}\):
Finally, we have the spectral flow automorphisms \(\sigma ^{\ell }\), \(\ell \in \mathbb {Z}\), given by
Unlike conjugation, these new automorphisms do not define automorphisms of the vertex operator algebra \(\mathsf {H}_4\) because they do not preserve the Virasoro zero mode:
However, they do define automorphisms of the underlying vertex algebra and so induce invertible endofunctors on the category of weight modules for \(\mathsf {H}_4\) as in (2.7).Footnote 3
4 Highest-weight \(\mathsf {H}_4\)-modules
We may construct a weight \(\mathfrak {h}_4\)-module by inducing a weight \(\overline{\mathfrak {h}}_4\)-module, equipped with a trivial action of \(\mathfrak {h}_4^+\) and letting K act as the identity. Because \(\mathsf {H}_4\) is universal, all these induced \(\mathfrak {h}_4\)-modules are also \(\mathsf {H}_4\)-modules.
In particular, inducing the Verma \(\overline{\mathfrak {h}}_4\)-module \(\overline{\mathcal {V}}_{i,j}^+\) results in the (level-1) Verma \(\mathfrak {h}_4\)-module \(\mathcal {V}_{i,j}^+\), with respect to the standard Borel subalgebra \(\mathfrak {h}_4^+ \oplus {{\,\mathrm{span}\,}}\{E_0, I_0, J_0, K\}\). Similarly, inducing \(\overline{\mathcal {V}}_{i,j}^-\) gives the Verma module \(\mathcal {V}_{i,j}^-\) corresponding to the conjugate Borel subalgebra \(\mathfrak {h}_4^+ \oplus {{\,\mathrm{span}\,}}\{F_0, I_0, J_0, K\}\). We shall denote the irreducible quotient of \(\mathcal {V}_{i,j}^{\pm }\) by \(\mathcal {L}_{i,j}^{\pm }\). The (generating) highest-weight vector of \(\mathcal {V}_{i,j}^+\) and \(\mathcal {L}_{i,j}^+\) will be denoted, allowing for a certain abuse of notation, by \(\left| i,j\right\rangle \).
The following simple result puts strong constraints on the structure of these highest-weight \(\mathfrak {h}_4\)-modules. It follows immediately from the formula (3.6) for the conformal weight of a highest-weight vector.
Lemma 3
Let \(\mathcal {H}\) be a highest-weight \(\mathfrak {h}_4\)-module generated by a highest-weight vector of \(I_0\)-eigenvalue i and \(J_0\)-eigenvalue j. Then, any given singular vector of \(\mathcal {H}\) has \(J_0\)-eigenvalue \(j+m\) and \(L_0\)-eigenvalue \(\Delta ^+_{i,j} + im\), for some \(m \in \mathbb {Z}\). Clearly, i and m must have the same sign (when nonzero).
One simple consequence is that the conformal weight of any singular vector of \(\mathcal {V}_{0,j}^+\) is \(\Delta ^+_{0,j} = 0\). As the same is true for the highest-weight module \(\mathcal {V}_{0,j}^+ \bigm / \mathcal {V}_{0,j-1}^+\), it follows that this quotient is irreducible, identifying it as \(\mathcal {L}_{0,j}^+\). This irreducible is therefore isomorphic to the module \(\mathcal {L}_{0,j}\) induced from \(\overline{\mathcal {L}}_{0,j}\). The same argument applied to \(\mathcal {V}_{0,j}^-\) now establishes that \(\mathcal {L}_{0,j}^+ \cong \mathcal {L}_{0,j} \cong \mathcal {L}_{0,j}^-\). As \(\mathcal {L}_{0,0}\) is the vacuum module of the vertex operator algebra \(\mathsf {H}_4\), this proves the following assertion.
Proposition 4
The universal vertex operator algebra \(\mathsf {H}_4\) is simple.
Another simple consequence of Lemma 3 is that the Verma module \(\mathcal {V}_{i,j}^+\) is irreducible if i is irrational. Moreover, if \(0<i<1\), then the constraint on the \(J_0\)-and \(L_0\)-eigenvalues means that the only possible singular vectors are multiples of the generating highest-weight vector. \(\mathcal {V}_{i,j}^+\) is thus irreducible for \(0<i<1\). However, \(\mathcal {V}_{1,j}^+\) is reducible as taking \(m=1\) in Lemma 3 corresponds to the singular vector obtained by acting with \(E_{-1}\) on the highest-weight vector. In fact, acting with \(E_{-1}^m\) results in a singular vector for all \(m \in \mathbb {Z}_{\geqslant 0}\).
While this is easy to check directly, another useful way to understand this is to note that \(\mathcal {V}_{0,j}^+\) and \(\mathcal {V}_{1,j}^+\) are related by the action of the conjugation, shift and spectral flow functors introduced at the end of Section 3. In particular, straightforward computation gives
where \(\beta \in \mathbb {C}\) and we recall that \(\mathcal {L}_{0,j}^{\pm }\) is isomorphic to \(\mathcal {L}_{0,j}\). Note that applying the spectral flow functor \(\sigma ^{\ell }\) for other (nonzero) values of \(\ell \) results in modules with conformal weights that are unbounded below. We emphasise that these modules are nevertheless still weight \(\mathsf {H}_4\)-modules.
It also follows from (4.1) that the structure of \(\mathcal {V}_{i,j}^+\) is independent of j and is essentially the same as that of
To understand Verma module structures, it therefore suffices to restrict to \(i\geqslant \frac{1}{2}\). As we have noted, Verma modules with \(\frac{1}{2} \leqslant i \leqslant 1\) are easily analysed. The case \(i>1\) requires more work.
Theorem 5
-
(i)
For \(i \notin \mathbb {Z}\), \(\mathcal {V}_{i,j}^+\) is irreducible.
-
(ii)
For \(i \in \mathbb {Z}\), \(\mathcal {V}_{i,j}^+\) has a singular vector \(\chi \), unique up to scalar multiples, with \(J_0\)-eigenvalue \(j+1\) or \(j-1\), according as to whether \(i>0\) or \(i\leqslant 0\), respectively, and \(L_0\)-eigenvalue \(\Delta ^+_{i,j} + \left| i\right| \).
-
(iii)
The maximal submodule of \(\mathcal {V}_{i,j}^+\) is generated by \(\chi \).
The (somewhat lengthy) proof of this theorem is deferred to Appendix A.
The first assertion of Theorem 5 was proven in [29, Thm. 3.3] using a combinatorial argument split into many cases. Our proof is likewise combinatorial but shorter, avoiding the need for cases. [29, Thm. 3.3] also gives necessary conditions for the existence of the singular vector that we call \(\chi \) above. Our proof demonstrates that a proper subset of these conditions are sufficient and moreover establish uniqueness. The third assertion of Theorem 5 seems to be new.
5 Relaxed highest-weight \(\mathsf {H}_4\)-modules
We now turn our attention to the relaxed highest-weight modules of \(\mathfrak {h}_4\) and \(\mathsf {H}_4\). We first define a relaxed highest-weight vector to be a weight vector for \(\mathfrak {h}_4\) that is annihilated by \(\mathfrak {h}_4^+\). A relaxed highest-weight \(\mathfrak {h}_4\)-module is then one that is generated by a single relaxed highest-weight vector. Every highest-weight \(\mathfrak {h}_4\)-module is, of course, a relaxed highest-weight module, but there are many more. For example, the \(\mathfrak {h}_4\)-module \(\mathcal {R}_{i,[j]; h}\), with \(i\ne 0\) and \(h \notin i[j]\), induced from the irreducible \(\overline{\mathfrak {h}}_4\)-module \(\overline{\mathcal {R}}_{i,[j]; h}\), is not highest-weight with respect to any Borel subalgebra. However, it is a relaxed highest-weight \(\mathfrak {h}_4\)-module. Note that the minimal conformal weight of \(\mathcal {R}_{i,[j]; h}\) is \(\Delta _{i;h}\), by (3.7). Vectors of this minimal conformal weight will be referred to as ground states and will be denoted by \(\left| i,j';\Delta _{i;h}\right\rangle \), where i and \(j'\) are the \(I_0\)- and \(J_0\)-eigenvalues, respectively.
Denote by \(\mathcal {N}_{i,[j]; h}\) the sum of all the submodules of \(\mathcal {R}_{i,[j]; h}\) that have zero intersection with the space of ground states. The quotient
is then irreducible because \(\mathcal {N}_{i,[j]; h}\) coincides with the maximal submodule \(\mathcal {M}_{i,[j]; h}\) of \(\mathcal {R}_{i,[j]; h}\). This follows from the fact that \(\mathcal {R}_{i,[j]; h}\) is induced from an irreducible \(\overline{\mathfrak {h}}_4\)-module. Note that as relaxed highest-weight modules are generated by a single weight vector, they have unique maximal submodules.
In case \(i=0\) and \(h\ne 0\), inducing the irreducible \(\overline{\mathcal {R}}_{0,[j]; h}\) results in a relaxed highest-weight \(\mathfrak {h}_4\)-module that we denote by \(\mathcal {R}_{0,[j]; h}\). These induced modules all turn out to be irreducible, a fact that we prove in Appendix B. This completes the list of irreducible relaxed highest-weight modules.
Theorem 6
Every irreducible relaxed highest-weight \(\mathsf {H}_4\)-module is isomorphic to one, and only one, of the following modules:
-
\(\mathcal {L}_{0,j}\), with \(j\in \mathbb {C}\).
-
\(\mathcal {L}_{i,j}^{\pm }\), with \(i\in \mathbb {C}\setminus \{0\}\) and \(j\in \mathbb {C}\).
-
\(\mathcal {E}_{i,[j]; h}\), with \(i\in \mathbb {C}\setminus \{0\}\), \([j]\in \mathbb {C}/\mathbb {Z}\), \(h\in \mathbb {C}\) and \(h/i \notin [j]\).
-
\(\mathcal {R}_{0,[j]; h}\), with \([j]\in \mathbb {C}/\mathbb {Z}\) and \(h\in \mathbb {C}\setminus \{0\}\).
It is straightforward to compute the effect of applying the conjugation and shift functors to each of the \(\mathcal {E}_{i,[j]; h}\) and \(\mathcal {R}_{0,[j]; h}\). The results are
On the other hand, applying the spectral flow functor \(\sigma ^{\ell }\), with \(\ell \ne 0\), to \(\mathcal {E}_{i,[j]; h}\) or \(\mathcal {R}_{0,[j]; h}\) results in an irreducible weight \(\mathsf {H}_4\)-module with conformal weights that are unbounded below.
We may also induce reducible \(\overline{\mathfrak {h}}_4\)-modules, noting that the result will again be reducible. For example, the induction \(\mathcal {R}_{0,j; 0}\) of \(\overline{\mathcal {R}}_{0,j; 0}\) is reducible. In this case, the fact that the conformal weight of a relaxed highest-weight vector of \(\mathcal {R}_{0,j; 0}\) is 0 shows that every nonzero submodule of \(\mathcal {R}_{0,j; 0}\) intersects the space of ground states nontrivially. In other words, \(\mathcal {N}_{0,j; 0} = 0\) for all \(j\in \mathbb {C}\). However, the maximal submodule \(\mathcal {M}_{0,j; 0}\) is nonzero—actually it is isomorphic to \(\mathcal {V}_{0,j-1}^+ \oplus \mathcal {V}_{0,j+1}^-\), by (2.13) and the exactness of induction.
Consider next the relaxed highest-weight modules \(\mathcal {R}_{i; h}^\pm \) that are induced from the reducible dense \(\overline{\mathfrak {h}}_4\)-modules \(\overline{\mathcal {R}}_{i; h}^\pm \). Here, we assume that \(i\ne 0\) and recall that the \(J_0\)-eigenvalues lie in [h/i]. Denote by \(\mathcal {N}_{i; h}^\pm \) the sum of all submodules of \(\mathcal {R}_{i; h}^\pm \) that have zero intersection with the space of ground states and define
These quotients are reducible because the maximal submodule \(\mathcal {M}_{i; h}^{\pm }\) obviously has nonzero intersection with the space of ground states. However, they are indecomposable and we shall show that they have precisely two composition factors, one highest-weight and one lowest-weight.
First, we again identify the conjugates and shifts of these reducible \(\mathsf {H}_4\)-modules:
As with the irreducible relaxed highest-weight modules, nontrivial spectral flow results in \(\mathsf {H}_4\)-modules whose conformal weights are unbounded below.
Next, note that induction being exact means that (2.14) gives nonsplit exact sequences
for \(i\ne 0\). To deduce analogous sequences for the \(\mathcal {E}_{i; h}^{\pm }\), we need some preparatory lemmas.
Lemma 7
If \(i\ne 0\) and \(h \in \mathbb {C}\), then:
-
(i)
The unique irreducible quotient of \(\mathcal {E}_{i; h}^+\) is isomorphic to \(\mathcal {L}_{i,h/i+1}^-\).
-
(ii)
\(\mathcal {E}_{i; h}^+\) has an irreducible submodule isomorphic to \(\mathcal {L}_{i,h/i}^+\).
Proof
As \(\mathcal {V}_{i,h/i+1}^-\) is a quotient of \(\mathcal {R}_{i; h}^+\), by (5.5), so is \(\mathcal {L}_{i,h/i+1}^-\). Since relaxed highest-weight modules have unique maximal submodules, it follows that \(\mathcal {L}_{i,h/i+1}^-\) is the unique simple quotient of \(\mathcal {R}_{i; h}^+\). To establish this for \(\mathcal {E}_{i; h}^+\), note that \(\mathcal {M}_{i; h}^+/\mathcal {N}_{i; h}^+\) is a submodule of \(\mathcal {E}_{i; h}^+\) and that
We also know that \(\mathcal {V}_{i,h/i}^+\) is a submodule of \(\mathcal {R}_{i; h}^+\), by (5.5). Since the maximal submodule \(\mathcal {M}\) of \(\mathcal {V}_{i,h/i}^+\) has zero intersection with its space of ground states, this space being isomorphic to the irreducible \(\overline{\mathfrak {h}}_4\)-module \(\overline{\mathcal {V}}_{i,h/i}^+\), we have \(\mathcal {M} = \mathcal {V}_{i,h/i}^+ \cap \mathcal {N}_{i; h}^+\). Thus,
\(\square \)
Given a weight \(\mathfrak {h}_4\)-module \(\mathcal {W}\), we shall denote by \(\mathcal {W}(i,j;\Delta )\) its weight space of \(I_0\)-eigenvalue i, \(J_0\)-eigenvalue j and \(L_0\)-eigenvalue \(\Delta \).
Lemma 8
Given \(i\ne 0\) and \(h \in \mathbb {C}\), we have
for all \(m > n \geqslant 0\).
Proof
We have \(\mathcal {N}_{i; h}^+ \subseteq \mathcal {M}_{i; h}^+\), by definition, so assume that \(v \in \mathcal {M}_{i; h}^+(i,\frac{h}{i}+m;\Delta _{i;h} + n)\) for some \(m>n\geqslant 0\). Because each ground state \(\left| i,j;\Delta _{i;h}\right\rangle \) with \(j > h/i\) generates \(\mathcal {R}_{i; h}^+\), the submodule \(\mathcal {W}_{v}\) generated by v must not contain any ground states with \(j > h/i\). Assume that \(\mathcal {W}_{v}\) contains a ground state with \(j \leqslant h/i\). By applying Poincaré–Birkhoff–Witt basis elements (with mode indices increasing to the right), this implies that \(\left| i,\frac{h}{i}+m-n;\Delta _{i;h}\right\rangle \) is also an element of \(\mathcal {W}_{v}\). Since \(m-n >0\), this is a contradiction and so \(\mathcal {W}_{v}\) must have zero intersection with the space of ground states. Hence, \(v \in \mathcal {N}_{i; h}^+\). \(\square \)
Combing these lemmas, we obtain the following analogues of (5.5) for the \(\mathcal {E}_{i; h}^{\pm }\).
Theorem 9
If \(i\ne 0\) and \(h \in \mathbb {C}\), then we have the following nonsplit short exact sequences:
Proof
From the proof of Lemma 7, we have \(\mathcal {L}_{i,h/i}^+ \hookrightarrow \mathcal {E}_{i; h}^+\) and \(\mathcal {L}_{i,h/i}^+ \cong \mathcal {V}_{i,h/i}^+ \big / (\mathcal {V}_{i,h/i}^+ \cap \mathcal {N}_{i; h}^+)\). It follows that
From Lemma 7, we know that \(\mathcal {L}_{i,h/i+1}^-\) is the unique irreducible quotient of \(\mathcal {R}_{i; h}^+\), and thus, the first short exact sequence will be proved if we can show that \(\mathcal {V}_{i,h/i}^+ + \mathcal {N}_{i; h}^+ = \mathcal {M}_{i; h}^+\).
It is clear that \(\mathcal {V}_{i,h/i}^+ + \mathcal {N}_{i; h}^+ \subseteq \mathcal {M}_{i; h}^+\), so assume that \(v \in \mathcal {M}_{i; h}^+\). Without loss of generality, we may assume that v is a weight vector so suppose that \(v \in \mathcal {M}_{i; h}^+(i,j;\Delta ^+_{i,j} + n)\) for some \(j \in [h/i]\) and some \(n\geqslant 0\). By Lemma 8, there exists \(r\in \mathbb {Z}_{\geqslant 0}\) such that \(E_0^r\) maps v into \(\mathcal {N}_{i; h}^+\). Furthermore, by the Poincaré–Birkhoff–Witt theorem, there exists \(s \in \mathbb {Z}_{\geqslant 0}\) such that \(F_0^s\) maps v into \(\mathcal {V}_{i,h/i}^+\). Since each weight space is finite-dimensional, it follows that the image of v in \(\mathcal {M}_{i; h}^+\bigm /(\mathcal {V}_{i,h/i}^+ + \mathcal {N}_{i; h}^+)\) generates a finite-dimensional \(\overline{\mathfrak {h}}_4\)-module. However, by Lemma 1, \(I_0\) must act as zero on this finite-dimensional \(\overline{\mathfrak {h}}_4\)-module. Since \(i\ne 0\), this is only possible if the image of v is 0. Hence, \(\mathcal {V}_{i,h/i}^+ + \mathcal {N}_{i; h}^+ = \mathcal {M}_{i; h}^+\) as required.
To get the second short exact sequence, we apply conjugation to the first. Note that both are necessarily nonsplit because the corresponding short exact sequences (2.14) of \(\overline{\mathfrak {h}}_4\)-modules are. \(\square \)
Comparing the short exact sequences (5.5) and (5.9) when \(i \notin \mathbb {Z}\), Theorem 5 yields the following assertion.
Corollary 10
For all \(i \notin \mathbb {Z}\), we have \(\mathcal {E}_{i; h}^{\pm } \cong \mathcal {R}_{i; h}^{\pm }\).
6 Characters I
We define the character of an \(\mathsf {H}_4\)-module \(\mathcal {W}\) by
Even though the eigenvalue of \(I_0\) is fixed on a given indecomposable weight module, the freedom afforded by introducing \(\mathsf {y}\) is expected to be essential to determine modular transformations (which we leave for future work). As we shall see, the characters (6.1) are most usefully interpreted as formal power series in \(\mathsf {z}\) with coefficients that are holomorphic functions of \(\mathsf {q}\) in the punctured disc \(0< \left| \mathsf {q}\right| < 1\) multiplied by \(\mathsf {y}^i\).
First, note that the effect of the conjugation, shift and spectral flow functors on the character (6.1) is easily determined from (3.8), (3.10) and (3.11).
Lemma 11
We have the following character identities:
The characters of the Verma modules, along with their parabolic and relaxed versions, are also easily computed.
Proposition 12
We have the following character formulae:
Here, \(\dfrac{1}{1-x}\) stands for \(\displaystyle \sum \nolimits _{m=0}^{\infty } x^m\) and \(\delta (x)\) stands for \(\displaystyle \sum \nolimits _{m=-\infty }^{\infty } x^m\).
These formulae hold irrespective of whether the module is irreducible or not. In particular, this gives the characters of the \(\mathcal {L}_{i,j}^{\pm }\) with \(i \notin \mathbb {Z}\) (and \(i=0\)), by Theorem 5(i), and the \(\mathcal {E}_{i; h}^{\pm }\) with \(i \notin \mathbb {Z}\), by Corollary 10.
The characters of the remaining \(\mathcal {L}_{i,j}^{\pm }\) now follow as consequences of Theorem 5(ii) and (iii), while those of the remaining \(\mathcal {E}_{i; h}^{\pm }\) follow from Theorem 9 and Corollary 10.
Corollary 13
We also have the following character formulae, valid for \(i \in \mathbb {Z}\setminus \{0\}\):
We recall that for \(i\ne 0\), \(\mathcal {R}_{i; h}^{\pm }\) shares the same character as \(\mathcal {R}_{i,h/i; h}^{\pm }\), given in Proposition 12. These formulae therefore exhaust the characters of all the relaxed highest-weight \(\mathsf {H}_4\)-modules introduced in Section 5 except for the irreducibles \(\mathcal {E}_{i,[j]; h}\) with \(i\ne 0\) and \(h/i \notin [j]\). Our last task is thus to compute these remaining characters.
7 Characters II
Given a pair \((i,j) \in \mathbb {C}^2\), we define the string function of an \(\mathfrak {h}_4\)-module \(\mathcal {W}\) to be the coefficient of \(\mathsf {y}^i \mathsf {z}^j\) in the character (6.1):
This is evidently a power series in \(\mathsf {q}\) that converges in the punctured disc \(0< \left| \mathsf {q}\right| < 1\). Following [35], we shall call an \(\mathfrak {h}_4\)-module stringy if its nonzero string functions all coincide. Examples of stringy modules include the relaxed Verma modules \(\mathcal {R}_{i,j; h}\) and the relaxed highest-weight modules \(\mathcal {E}_{i; h}^{\pm }\), \(i \in \mathbb {Z}\setminus \{0\}\), whose nonzero string functions are determined by Proposition 12 and Corollary 13 to be
for \(j' \in [j]\) and \(j' \in [h/i]\), respectively.
The aim of this section is to prove that the irreducible relaxed highest-weight \(\mathfrak {h}_4\)-modules \(\mathcal {E}_{i,[j]; h}\), with \(i\ne 0\) and \(h/i \notin [j]\), are stringy and to determine their string functions. In this way, we shall prove a character formula for these modules. To establish stringiness, we use the method of [35], the key tools being coherent families of relaxed highest-weight \(\mathfrak {h}_4\)-modules and a generalisation of the Shapovalov form on these families. The main results of this section are summarised in the following theorem.
Theorem 14
Take \(i\ne 0\) and \(h/i \notin [j]\). Then:
-
(i)
\(\mathcal {E}_{i,[j]; h}\) is stringy.
-
(ii)
The nonzero string function of \(\mathcal {E}_{i,[j]; h}\) is given by the limiting string function
$$\begin{aligned} \lim _{n \rightarrow \infty } {{\,\mathrm{s}\,}}_{i,h/i+n}[{\mathcal {L}_{i,h/i+1}^-}] \left( \mathsf {q}\right) , \end{aligned}$$(7.3)where the limit is understood in the sense of power series in \(\mathsf {q}\) (so taken coefficient-wise).
-
(iii)
For \(i \notin \mathbb {Z}\), \(\mathcal {E}_{i,[j]; h}\) coincides with \(\mathcal {R}_{i,[j]; h}\), so its character was given in Proposition 12. For \(i \in \mathbb {Z}\setminus \{0\}\), we instead have
$$\begin{aligned} {{\,\mathrm{ch}\,}}[{\mathcal {E}_{i,[j]; h}}] \left( \mathsf {y},\mathsf {z};\mathsf {q}\right) = \frac{\mathsf {y}^i \mathsf {z}^j \mathsf {q}^{\Delta _{i;h}} (1 - \mathsf {q}^{\left| i\right| })}{\eta (\mathsf {q})^4} \delta (\mathsf {z}). \end{aligned}$$(7.4) -
(iv)
For \(i \in \mathbb {Z}\setminus \{0\}\), we have the following nonsplit short exact sequence:
$$\begin{aligned} 0 \longrightarrow \mathcal {R}_{i,[j]; h+\left| i\right| } \overset{}{\longrightarrow } \mathcal {R}_{i,[j]; h} \overset{}{\longrightarrow } \mathcal {E}_{i,[j]; h} \longrightarrow 0. \end{aligned}$$(7.5)
We will prove this theorem in a series of steps. We begin with the first assertion, understanding that \(i\ne 0\) will be assumed for the rest of this section.
Lemma 15
The irreducible \(\mathfrak {h}_4\)-module \(\mathcal {E}_{i,[j]; h}\) is stringy.
Proof
This follows as in [35, Thm. 4.7], so we only sketch the argument. From the fact that \(E_0\) and \(F_0\) act injectively on \(\overline{\mathcal {R}}_{i,[j]; h}\), we see that they also act injectively on \(\mathcal {R}_{i,[j]; h}\) and so also on its maximal submodule \(\mathcal {M}_{i,[j]; h}\). This implies that the coefficients of the string functions \({{\,\mathrm{s}\,}}_{i,j'} \{\mathcal {M}_{i,[j]; h}\}\) must increase (weakly) under both \(j' \mapsto j'+1\) and \(j' \mapsto j'-1\). These string functions are therefore independent of \(j' \in [j]\), and hence, \(\mathcal {M}_{i,[j]; h}\) is stringy. As \(\mathcal {R}_{i,[j]; h}\) is also stringy, the lemma follows. \(\square \)
To calculate the unique nonzero string function of \(\mathcal {E}_{i,[j]; h}\), we shall show that it coincides with the unique nonzero string function of the reducible \(\mathfrak {h}_4\)-module \(\mathcal {E}_{i; h}^+\). Recalling that the former has \(h/i \notin [j]\), while the latter has \(J_0\)-eigenvalues in [h/i], the idea is: this can be shown by bringing these modules together in a family so that the \(\mathcal {E}_{i,[j]; h}\) may be directly compared with \(\mathcal {E}_{i; h}^+\). To facilitate this comparison, we define
With this convenient notation, we introduce two classes of coherent families of relaxed highest-weight \(\mathfrak {h}_4\)-modules labelled by \(i \in \mathbb {C}\setminus \{0\}\) and \(h \in \mathbb {C}\):
Coherent families were originally introduced for semisimple Lie algebras in [49], where they were used to complete the classification of weight modules with finite-dimensional weight spaces. However, the idea is quite general.
We shall define an analogue of the Shapovalov form on \(\mathcal {D}_{i; h}\), noting that this descends in an obvious fashion to \(\mathcal {C}_{i; h}\) by (5.1) and (5.3). We do this by defining such a form on each \(\mathcal {R}_{i,[j]; h}\), and this requires choosing a cyclic generator. We shall do this by assuming that j is chosen so that \(\left| i,j;\Delta _{i;h}\right\rangle \) is cyclic—this requires taking \(j>h/i\), if \(h/i \in [j]\), and otherwise places no constraint on j. A Shapovalov form \(\left\langle \cdot ,\cdot \right\rangle _j\) is therefore defined on \(\mathcal {R}_{i,[j]; h}\) by
Here, the adjoint of \(\mathsf {U}\left( \mathfrak {h}_4\right) \) is given by the negative of the conjugation automorphism:
We note that the kernel of the Shapovalov form \(\left\langle \cdot ,\cdot \right\rangle _j\) is independent of the choice of j and is exactly the maximal submodule \(\mathcal {M}_{i,[j]; h}\).
Extend this to a Shapovalov form \(\left\langle \cdot ,\cdot \right\rangle _{i;h}\) on the coherent family \(\mathcal {D}_{i; h}\) by taking the direct sum
This is equivalent to demanding that distinct eigenspaces of \(J_0\) be orthogonal (which is of course consistent with \(J_0\) being self-adjoint).
Choose a Poincaré–Birkhoff–Witt ordering of \(U(\mathfrak {h}_4^- \oplus \mathbb {C}F_0)\), recalling the triangular decomposition (3.3), so that mode indices increase to the right. For each \(n \in \mathbb {Z}_{\geqslant 0}\), define \(P_n\) to be the set of ordered Poincaré–Birkhoff–Witt monomials of \(U(\mathfrak {h}_4^- \oplus \mathbb {C}F_0)\) for which the \({{\,\mathrm{ad}\,}}(J_0)\)- and \({{\,\mathrm{ad}\,}}(L_0)\)-eigenvalues are both \(-n\). Since \(F_0\) acts injectively on \(\mathcal {R}_{i,[j]; h}\), a basis of the weight space \(\mathcal {R}_{i,[j]; h}(i,j';\Delta _{i;h}+n)\) is given by the \(U\left| i,j'+n;\Delta _{i;h}\right\rangle \), with \(U \in P_n\). Note that \(\left| P_n\right| \) is clearly finite.
For each \(j \in \mathbb {C}\), we now define the Shapovalov matrix for the weight spaces of \(\mathcal {D}_{i; h}\). For \(\mathcal {D}_{i; h}(i,j;\Delta _{i;h}+n)\), it is the \(\left| P_n\right| \times \left| P_n\right| \) matrix
The kernel of this matrix is then the weight space \(\mathcal {M}_{i,[j]; h}(i,j,\Delta _{i;h}+n)\).
Lemma 16
For each \(n\in \mathbb {Z}_{\geqslant 0}\), the rank of the Shapovalov matrix \(A_{j;n}\) is independent of \(j \in \mathbb {C}\) when the real part of j is sufficiently large.
Proof
Let \(n\in \mathbb {Z}_{\geqslant 0}\), \(i \in \mathbb {C}\backslash \{0\}\) and \(h \in \mathbb {C}\). Then, for all \(j \in \mathbb {C}\), \(A_{j;n}\) is a complex matrix and we let \(B_{j,n}\) denote its reduced row echelon form over \(\mathbb {C}\). Now, treat j as a formal indeterminate and write \(A_n(j)\) for the Shapovalov matrix in this case. The entries of \(A_n(j)\) are thus complex polynomials in j, so we may row-reduce over the field \(\mathbb {C}(j)\) of rational functions in j to obtain the reduced row echelon form \(B_n(j)\).
Now, evaluating \(B_n(j)\) at a given \(j \in \mathbb {C}\) will result in \(B_{j,n}\) for all but finitely many values of j, because row reduction gives only finitely many opportunities to divide by zero. Similarly, each nonzero entry of \(B_n(j)\) will evaluate to a nonzero number for all but finitely many values of \(j \in \mathbb {C}\). As these matrices have finite size, it follows that the number of nonzero rows of \(B_{j,n}\) must be the same as the number of nonzero rows of \(B_n(j)\) for all but finitely many values of \(j \in \mathbb {C}\). The rank of \(B_{j,n}\) is therefore equal to the rank of \(B_n(j)\) for all but finitely many \(j \in \mathbb {C}\) and so the former is independent of j when the real part of j is sufficiently large. \(\square \)
Proposition 17
For all \(i \in \mathbb {C}\backslash \{0\}\), \([j] \in \mathbb {C}/\mathbb {Z}\) and \(h \in \mathbb {C}\), the limiting string function \(\lim _{n \rightarrow \infty } {{\,\mathrm{s}\,}}_{i,j+n}[{\mathcal {E}_{i,[j]; h}}] \left( \mathsf {q}\right) \) exists and is independent of [j].
Proof
For fixed \(n \in \mathbb {Z}_{\geqslant 0}\), we know from Lemma 16 that \(\dim \mathcal {M}_{i,[j]; h}(i,j,\Delta _{i;h}+n)\) is independent of \([j] \in \mathbb {C}/\mathbb {Z}\) when the real part of j is sufficiently large. On the other hand, \(h/i \notin [j]\) gives \(\mathcal {M}_{i,[j]; h} = \mathcal {N}_{i,[j]; h}\), while \(h/i \in [j]\) gives \(\mathcal {M}_{i,[j]; h}(i,j,\Delta _{i;h}+n) = \mathcal {N}_{i,[j]; h}(i,j,\Delta _{i;h}+n)\) when the real part of j is sufficiently large (Lemma 8). It follows that \(\dim \mathcal {N}_{i,[j]; h}(i,j,\Delta _{i;h} + n)\) is also independent of \([j] \in \mathbb {C}/\mathbb {Z}\) when the real part of j is sufficiently large. Since this is true for all n, the limit \(\lim _{n \rightarrow \infty } {{\,\mathrm{s}\,}}_{i,j+n}[{\mathcal {E}_{i,[j]; h}}] \left( \mathsf {q}\right) \) exists and is independent of \([j] \in \mathbb {C}/\mathbb {Z}\). \(\square \)
We are now ready to prove the rest of Theorem 14.
Proof of Theorem 14
As part (i) was proven in Lemma 15, we start with part (ii). This follows by noting that for \([j]=[h/i]\), Theorem 9 gives
because the limiting string function of the highest-weight module \(\mathcal {L}_{i,h/i}^+\) is clearly zero. Proposition 17 then gives
as desired.
Part (iii) follows from part (i) and the coincidence of the string functions of \(\mathcal {E}_{i,[j]; h}\) and \(\mathcal {E}_{i; h}^+\), the latter being given explicitly in Corollary 13. It follows immediately that
The weight vectors of \(\mathcal {M}_{i,[j]; h}\) of conformal weight \(\Delta _{i;h} + \left| i\right| \) are therefore relaxed highest-weight vectors. Since \(E_0\) and \(F_0\) act injectively on \(\mathcal {M}_{i,[j]; h}\), while the universal enveloping algebra \(\mathsf {U}\left( \mathfrak {h}_4\right) \) has no zero-divisors, it follows that \(\mathcal {M}_{i,[j]; h} \cong \mathcal {R}_{i,[j]; h+\left| i\right| }\), proving part (iv). \(\square \)
We remark that the relaxed highest-weight vectors discussed in the proof of part (iv) of Theorem 14 were found in [29, Thm. 3.4]. Here, we have proven that these vectors generate the maximal submodule \(\mathcal {M}_{i,[j]; h}\) of \(\mathcal {R}_{i,[j]; h}\), for \(i \in \mathbb {Z}\setminus \{0\}\).
8 Discussion
We have completed the first step towards a complete analysis of the Nappi–Witten conformal field theory, namely the classification of the irreducible relaxed highest-weight modules over the vertex operator algebra \(\mathsf {H}_4\). We have also computed the characters of all these modules and determined the structure of many reducible but indecomposable \(\mathsf {H}_4\)-modules. A next step would be to compute the modular transformation properties of these characters, following the guidelines set out by the standard module formalism [19, 32]. In this framework, we expect the standard \(\mathsf {H}_4\)-modules to be the spectral flows of the relaxed Verma modules \(\mathcal {R}_{i,j; h}\), with \(i,j,h \in \mathbb {R}\).
One technical issue is immediately apparent: the characters of the standard modules, given in Proposition 12, involve a continuous range of conformal dimensions parametrised linearly by \(h \in \mathbb {R}\). This is somewhat unusual as one is accustomed to establishing modular S-transforms using quadratic parametrisations. A similar issue, however, arises in studies of universal Virasoro and \(N=1\) superconformal vertex operator (super)algebra representations, where it was solved by using an alternative parametrisation suggested by the standard free field realisation [50, 51]. Unfortunately, the usual “Wakimoto-like” free field realisation of \(\mathsf {H}_4\) [6] develops a singularity when realising modules with \(i=0\), for example, the vacuum module. In particular, the irreducibles \(\mathcal {R}_{0,j; h}\), \(h\ne 0\), do not seem to be realisable at all. Nevertheless, one can calculate S-transformation formulae for the standard module characters. Unfortunately, the \(i=0\) singularities result in inconsistent Verlinde computations for the (Grothendieck) fusion coefficients. We hope to return to this tantalising puzzle in the future.
Another direction to pursue is the construction of logarithmic \(\mathsf {H}_4\)-modules, these being reducible but indecomposable representations on which \(L_0\) acts nondiagonalisably. We expect that the simplest examples may be constructed by gluing together the reducible but indecomposable \(\mathsf {H}_4\)-modules that we have already analysed. In particular, we expect that this may be accomplished with appropriate spectral flows of the relaxed highest-weight modules \(\mathcal {E}_{i; h}^{\pm }\) of Theorem 9, in analogy with the known relaxed gluings for affine vertex operator algebras [25, 52, 53]. This might also be possible by instead gluing appropriate quotients of the reducible Verma modules \(\mathcal {V}_{i,j}^{\pm }\). Either way, it would be extremely interesting to investigate whether such logarithmic modules arise naturally as fusion products of the irreducibles classified here. We also hope to discuss this in the future.
Notes
Our definition of weight module will always require that the dimension of the weight spaces is finite.
We define a weight module for \(\mathfrak {h}_4\) and \(\mathsf {H}_4\) to be a module that decomposes as a direct sum of its weight spaces, where a weight space is defined to be the intersection, assumed to be finite-dimensional, of a simultaneous eigenspace of \(I_0\), \(J_0\) and K with a generalised eigenspace of \(L_0\).
References
Witten, E.: Non-abelian bosonization in two dimensions. Comm. Math. Phys. 92, 455–472 (1984)
Kac, V.: Infinite-Dimensional Lie Algebras. Cambridge University Press, Cambridge (1990)
Figueroa-O’Farrill, J., Stanciu, S.: Nonsemisimple Sugawara constructions. Phys. Lett. B327, 40–46 (1994). arXiv:hep-th/9402035
Figueroa-O’Farrill, J., Stanciu, S.: Nonreductive WZW models and their CFTs. Nucl. Phys. B 458, 137–164 (1996). arXiv:hep-th/9506151
Nappi, C., Witten, E.: Wess-Zumino-Witten model based on a nonsemisimple group. Phys. Rev. Lett. 71, 3751–3573 (1993). arXiv:hep-th/9310112
Kiritsis, E., Kounnas, C.: String propagation in gravitational wave backgrounds. Phys. Lett. B 320, 264–272 (1994). arXiv:hep-th/9310112
D’Appollonio, G., Kiritsis, E.: String interactions in gravitational wave backgrounds. Nucl. Phys. B 674, 80–170 (2003). arXiv:hep-th/0305081
D’Appollonio, G., Quella, T.: The abelian cosets of the Heisenberg group. J. High Energy Phys. 0711, 045 (2007). arXiv:0709.2342 [hep-th]
D’Appollonio, G., Quella, T.: The diagonal cosets of the Heisenberg group. J. High Energy Phys. 0805, 060 (2008). arXiv:0801.4634 [hep-th]
Stanciu, S., Tseytlin, A.: D-branes in curved spacetime: Nappi-Witten background. J. High Energy Phys. 9806, 010 (1998). arXiv:hep-th/9805006
Figueroa-O’Farrill, J., Stanciu, S.: More D-branes in the Nappi-Witten background. J. High Energy Phys. 0001, 024 (2000). arXiv:hep-th/9909164
D’Appollonio, G., Kiritsis, E.: D-branes and BCFT in Hpp-wave backgrounds. Nucl. Phys. B 712, 433–512 (2005). arXiv:hep-th/0410269
Maldacena, J., Ooguri, H.: Strings in \(AdS_3\) and the \({\rm SL}\left( 2 , R \right)\) WZW model. Part 1: The spectrum. J. Math. Phys. 42, 2929–2960 (2001). arXiv:hep-th/0001053
Saleur, H., Schomerus, V.: The \(GL \left(1 | 1 \right)\) WZW model: From supergeometry to logarithmic CFT. Nucl. Phys. B 734, 221–245 (2006). arXiv:hep-th/0510032
Creutzig, T., Ridout, D.: Relating the archetypes of logarithmic conformal field theory. Nucl. Phys. B 872, 348–391 (2013). arXiv:1107.2135 [hep-th]
Quella, T., Schomerus, V.: Superspace conformal field theory. J. Phys. A46, 494010 (2013). arXiv:1307.7724 [hep-th]
Gaberdiel, M.: Fusion rules and logarithmic representations of a WZW model at fractional level. Nucl. Phys. B 618, 407–436 (2001). arXiv:hep-th/0105046
Lesage, F., Mathieu, P., Rasmussen, J., Saleur, H.: Logarithmic lift of the \(\widehat{su} \left(2 \right)_{-1/2}\) model. Nucl. Phys. B 686, 313–346 (2004). arXiv:hep-th/0311039
Creutzig, T., Ridout, D.: Logarithmic conformal field theory: beyond an introduction. J. Phys. A 46, 494006 (2013). arXiv:1303.0847 [hep-th]
Ridout, D., Snadden, J., Wood, S.: An admissible level \(\widehat{\mathfrak{osp}} \left(1 | 2 \right)\)-model: modular transformations and the Verlinde formula. Lett. Math. Phys. 108, 2363–2423 (2018). arXiv:1705.04006 [hep-th]
Ridout, D., Wood, S.: Bosonic ghosts at \(c=2\) as a logarithmic CFT. Lett. Math. Phys. 105, 279–307 (2015). arXiv:1408.4185 [hep-th]
Adamović, D., Pedić, V.: On fusion rules and intertwining operators for the Weyl vertex algebra. J. Math. Phys. 60, 081701 (2019). arXiv:1903.10248 [math.QA]
Allen, R., Wood, S.: Bosonic ghostbusting — the bosonic ghost vertex algebra admits a logarithmic module category with rigid fusion. arXiv:2001.05986 [math.QA]
Gurarie, V.: Logarithmic operators in conformal field theory. Nucl. Phys. B 410, 535–549 (1993). arXiv:hep-th/9303160
Ridout, D.: Fusion in fractional level \(\widehat{\mathfrak{sl}} \left(2 \right)\)-theories with \(k=-\tfrac{1}{2}\). Nucl. Phys. B 848, 216–250 (2011). arXiv:1012.2905 [hep-th]
Creutzig, T., Ridout, D.: Modular data and Verlinde formulae for fractional level WZW models II. Nucl. Phys. B 875, 423–458 (2013). arXiv:1306.4388 [hep-th]
Bakas, I., Sfetsos, K.: PP-waves and logarithmic conformal field theories. Nucl. Phys. B 639, 223–240 (2002). arXiv:hep-th/0205006
Sfetsos, K.: String backgrounds and LCFT. Phys. Lett. B543, 73–80 (2002). arXiv:hep-th/0206091
Bao, Y., Jiang, C., Pei, Y.: Representations of affine Nappi–Witten algebras. J. Algebra 342, 111–133 (2011). arXiv:1104.3921 [math.QA]
Feigin, B., Semikhatov, A., Yu, I., Tipunin.: Equivalence between chain categories of representations of affine \(sl \left(2 \right)\) and \(N = 2\) superconformal algebras. J. Math. Phys. 39, 3865–3905 (1998). arXiv:hep-th/9701043
Ridout, D., Wood, S.: Relaxed singular vectors, Jack symmetric functions and fractional level \(\widehat{\mathfrak{sl}} \left(2 \right)\) models. Nucl. Phys. B 894, 621–664 (2015). arXiv:1501.07318 [hep-th]
Ridout, D., Wood, S.: The Verlinde formula in logarithmic CFT. J. Phys. Conf. Ser. 597, 012065 (2015). arXiv:1409.0670 [hep-th]
Vilenkin, N Ja: Special functions and the theory of group representations, volume 22 of Translations of Mathematical Monographs. American Mathematical Society, Providence (1968)
Miller, W., Jr.: Lie theory and special functions. Mathematics in Science and Engineering, vol. 43. Ann. Phys, New York - London (1968)
Kawasetsu, K., Ridout, D.: Relaxed highest-weight modules I: rank \(1\) cases. Comm. Math. Phys. 368, 627–663 (2019). arXiv:1803.01989 [math.RT]
Arakawa, T., Futorny, V., Ramirez, L.: Weight representations of admissible affine vertex algebras. Comm. Math. Phys. 353, 1151–1178 (2017). arXiv:1605.07580 [math.RT]
Adamović, D.: Realizations of simple affine vertex algebras and their modules: the cases \(\widehat{sl(2)}\) and \(\widehat{osp(1,2)}\). Comm. Math. Phys. 366, 1025–1067 (2019). arXiv:1711.11342 [math.QA]
Kawasetsu, K, Ridout, D.: Relaxed highest-weight modules II: classifications for affine vertex algebras. Comm. Contemp. Math. (to appear). arXiv:1906.02935 [math.RT]
Futorny, V., Křižka, L.: Positive energy representations of affine vertex algebras. Comm. Math. Phys. 383, 841–891 (2021). arXiv:2002.05586 [math.RT]
Futorny, V., Morales, O., Ramirez, L.: Simple modules for affine vertex algebras in the minimal nilpotent orbit. arXiv:2002.05568 [math.RT]
Kawasetsu, K.: Relaxed highest-weight modules III: character formulae. Adv. Math. (to appear). arXiv:2003.10148 [math.RT]
Adamović, D., Kawasetsu, K., Ridout, D.: A realisation of the Bershadsky–Polyakov algebras and their relaxed modules. Lett. Math. Phys. 111, 38 (2021). arXiv:2007.00396 [math.QA]
Fehily, Z., Kawasetsu, K., Ridout, D.: Classifying relaxed highest-weight modules for admissible-level Bershadsky–Polakov algebras. Comm. Math. Phys. 385, 859–904 (2021). arXiv:2007.03917 [math.RT]
Futorny, V., Morales, O., Křižka, L.: Admissible representations of simple affine vertex algebras. arXiv:2107.11128 [math.RT]
Rozansky, L., Saleur, H.: Quantum field theory for the multivariable Alexander-Conway polynomial. Nucl. Phys. B 376, 461–509 (1992)
Creutzig, T., Ridout, D.: W-algebras extending \(\widehat{\mathfrak{gl}} \left(1 | 1 \right)\). Springer Proceedings in Mathematics and Statistics 36, 349–368 (2013). arXiv:1111.5049 [hep-th]
Creutzig, T., McRae, R., Yang, J.: Tensor structure on the Kazhdan–Lusztig category for affine \({\mathfrak{gl}}(1|1)\). Int. Math. Res. Not. (to appear). arXiv:2009.00818 [math.QA]
Lepowsky, J., Li, H.: Introduction to Vertex Operator Algebras and their Representations. Progr. Math., vol. 227. Birkhäuser, Boston (2004)
Mathieu, O.: Classification of irreducible weight modules. Ann. Inst. Fourier (Grenoble) 50, 537–592 (2000)
Morin-Duchesne, A., Rasmussen, J., Ridout, D.: Boundary algebras and Kac modules for logarithmic minimal models. Nucl. Phys. B 899, 677–769 (2015). arXiv:1503.07584 [hep-th]
Canagasabey, M., Rasmussen, J., Ridout, D.: Fusion rules for the \(N=1\) superconformal logarithmic minimal models I: The Neveu-Schwarz sector. J. Phys. A 48, 415402 (2015). arXiv:1504.03155 [hep-th]
Adamović, D., Milas, A.: Lattice construction of logarithmic modules for certain vertex algebras. Selecta Math. New Ser. 15, 535–561 (2009). arXiv:0902.3417 [math.QA]
Creutzig, T., Ridout, D.: Modular data and Verlinde formulae for fractional level WZW models I. Nucl. Phys. B 865, 83–114 (2012). arXiv:1205.6513 [hep-th]
Acknowledgements
We are thankful to Cuipo Jiang and Thomas Quella for interesting discussion related to this research. KK’s research is partially supported by MEXT Japan “Leading Initiative for Excellent Young Researchers (LEADER)”, JSPS Kakenhi Grant numbers 19KK0065 and 19J01093 and Australian Research Council Discovery Project DP160101520. DR’s research is supported by the Australian Research Council Discovery Project DP160101520 and the Australian Research Council Future Fellowship FT200100431. WS’s research is supported by an Australian Government Research Training Program (RTP) Scholarship.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts 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.
Appendices
APPENDIX A. A proof of Theorem 5
In this appendix, we prove Theorem 5 and illustrate it with a simple example. For convenience, we break the rather lengthy proof into a series of steps. Let \(\left| i,j\right\rangle \) denote the (generating) highest-weight vector of \(\mathcal {V}_{i,j}^+\), and let \(\chi \) be a singular vector of \(\mathcal {V}_{i,j}^+\), so \(\chi = U \left| i,j\right\rangle \) for some \(U \in \mathsf {U}\left( \mathfrak {h}_4\right) \). From Lemma 3, there exists \(m \in \mathbb {Z}\) such that \(J_0 \chi = (j+m) \chi \) and \(L_0 \chi = (\Delta ^+_{i,j} + im) \chi \). We may (and will) assume that \(i \geqslant \frac{1}{2}\), by (4.2), and hence that \(m \in \mathbb {Z}_{>0}\) (\(m=0\) just returns \(\chi = \left| i,j\right\rangle \)).
1.1 Step 1.
\(\mathcal {V}_{i,j}^+\) is irreducible if \(i \notin \mathbb {Z}\).
U is thus a linear combination of Poincaré–Birkhoff–Witt-ordered monomials in the \(E_{-n}\), \(I_{-n}\), \(J_{-n}\) and \(F_{-n+1}\) with \(n\geqslant 1\). Consider first the condition \(0 = I_n \chi = [I_n , U] \left| i,j\right\rangle \), which holds for all \(n\geqslant 1\). As \(I_n\) commutes with every mode except \(J_{-n}\), the effect of acting with \(I_n\) on \(\chi \) is to replace \(J_{-n}^k\) by \(nk J_{-n}^{k-1}\) in each monomial of U. For \(k=0\), the monomial is replaced by 0. However, making these replacements on monomials with \(k>0\) results in a linear combination of linearly independent monomials. Setting \(I_n \chi = 0\) therefore requires that the coefficient of every \(k>0\) monomial is zero. In other words, we may assume that no J-modes appear in U.
Next, assume that some monomial of U contains a mode \(F_{-n}\) and take \(n\geqslant 0\) maximal such that \(F_{-n}\) does appear. (The corresponding monomial comes with nonzero coefficient.) Consider \(E_n \chi = 0\), \(n\geqslant 0\). Then, \(E_n\) commutes with every mode of U except the \(F_{-n+m}\), \(0 \leqslant m \leqslant n\), because there are no J-modes. However, \([E_n , F_{-n+m}] = I_m + n \delta _{m,0}\) commutes with every mode of U, again because there are no J-modes, and will annihilate \(\left| i,j\right\rangle \) if \(m>0\). \(E_n\) will thus annihilate any monomial of \(U \left| i,j\right\rangle \) that does not have an \(F_{-n}\). Acting with \(E_n\) therefore amounts to replacing \(F_{-n}^k\) by \((n+i)k F_{-n}^{k-1}\). As before, this only gives 0 if \(k=0\) (because \(n+i \geqslant \frac{1}{2}\)) and for \(k>0\), linear independence of the resulting monomials implies that the coefficient of every monomial with an \(F_{-n}\) is 0. This contradicts the maximality of n, and hence, no F-modes may appear in U.
We now try to repeat the previous argument for \(F_n \chi = 0\), \(n\geqslant 1\). So assume that some monomial of U contains an \(E_{-n}\) and let \(n\geqslant 1\) be maximal such that \(E_{-n}\) does appear. The result of the above argument this time is that \(F_n\) replaces \(E_{-n}^k\) by \((n-i)k E_{-n}^{k-1}\) throughout. This is nonzero for all \(k>0\), and hence, no E-modes appear in U, unless \(n=i\). If \(i \in \mathbb {Z}_{>0}\), then this fixes the maximal index n such that \(E_{-n}\) appears. However, if \(i \notin \mathbb {Z}_{>0}\), then \(n=i\) is impossible and so only I-modes may appear. But, considering \(J_n \chi = 0\), \(n\geqslant 1\), rules these out as well. (Alternatively, a singular vector with only I-modes cannot have the eigenvalues required by Lemma 3.) It follows that there is no such singular vector \(\chi \), and hence, \(\mathcal {V}_{i,j}^+\) is irreducible, when \(i \notin \mathbb {Z}_{>0}\). As (4.2) extends this conclusion to all \(i \notin \mathbb {Z}\), this proves the first assertion of Theorem 5.
1.2 Step 2.
If \(\mathcal {V}_{i,j}^+\) has a singular vector corresponding to a given \(m \in \mathbb {Z}_{>0}\), then it is unique up to scalar multiples.
For this, we may assume that \(i \in \mathbb {Z}_{>0}\). The arguments above prove that no monomial of U contains a \(J_{-n}\) with \(n\geqslant 1\), an \(F_{-n}\) with \(n\geqslant 0\), or an \(E_{-n}\) with \(n>i\). We are therefore left with I-modes and the \(E_{-n}\) for \(1 \leqslant n \leqslant i\). As the \(J_0\)-eigenvalue of \(\chi \) is \(j+m\), there must be precisely m E-modes in each monomial of U. Moreover, \([L_0 , U] = im\) fixes the sum of the indices of the modes in each monomial.
Let \(\mathcal {P}_{n}\) denote the set of partitions of n. We write \(\lambda = [\lambda _1, \lambda _2, \ldots ]\) with \(\lambda _1 \geqslant \lambda _2 \geqslant \cdots \) and shall refer to the \(\lambda _k\) as the parts of \(\lambda \). We shall also employ the alternative notation \(\lambda = [\lambda _1^{k_1}, \lambda _2^{k_2}, \ldots ]\) to indicate that the part \(\lambda _1\) has multiplicity \(k_1\), and so on. A subpartition of \(\lambda \in \mathcal {P}_{n}\) is then a partition \(\mu \) obtained from \(\lambda \) by removing some of its parts. We denote by \(\lambda \setminus \mu \) the partition obtained by removing the parts \(\mu _k\) of \(\mu \) from those of \(\lambda \) (respecting multiplicities). We shall moreover employ the simplified notation \(\lambda \setminus \lambda _k \equiv \lambda \setminus [\lambda _k]\) when removing a single part.
Let \(\mathcal {P}(i,m;\lambda )\) be the set of subpartitions \(\mu \) of \(\lambda \) having precisely m parts, none of which exceeds i. Then, we may write \(\chi \) in the form
where the \(c(\lambda ,\mu )\) are unknown coefficients and \(A_{-\lambda }\) is shorthand for \(A_{-\lambda _1} \cdots A_{-\lambda _{\ell }}\), with \(A=E,I,J,F\) and \(\lambda \) a partition of precisely \(\ell \) parts. It will be convenient for what follows to set \(c(\lambda ,\mu ) = 0\) if \(\mu \notin \mathcal {P}(i,m;\lambda )\).
Consider now \(J_n \chi = 0\), for \(n\geqslant 1\). The result of applying \(J_n\) to (A.1) is a sum over \(\lambda \) and \(\mu \) in terms of the form
corresponding to commuting \(J_n\) with an \(I_{-n}\) and an \(E_{-\mu _i}\), respectively. Here, \({{\,\mathrm{mult}\,}}_{n}(\nu )\) denotes the number of parts of \(\nu \) equal to n and \(\mu \mathrel {-_k} n\) denotes the partition obtained from \(\mu \) by subtracting n from \(\mu _k\) and reordering parts if necessary. Linear independence of monomials then gives a constraint for each \(\lambda \in \mathcal {P}_{im}\) and \(\mu \in \mathcal {P}(i,m;\lambda )\):
Here, we denote by \(\lambda \cup n\) the partition obtained from \(\lambda \) by including n as an additional part and \(\mu \mathrel {+_k} n\) is the partition obtained from \(\lambda \) to adding n to \(\lambda _k\) and reordering. We also understand that a constant of the of the form \(c(\lambda ' \setminus n,\mu ')\) is understood to be 0 if n is not a part of \(\lambda '\).
If \(\lambda \ne \mu \), then there exists \(n\geqslant 1\) such that \({{\,\mathrm{mult}\,}}_{n}(\lambda \setminus \mu ) \ne 0\). We may therefore solve (A.3) for \(c(\lambda ,\mu )\) in terms of constants \(c(\lambda ',\mu ')\), where the number of parts of \(\lambda '\) is one less than that of \(\lambda \). It follows that the \(c(\lambda ,\mu )\) are completely determined by the \(c(\lambda ',\mu ')\) in which \(\lambda '\) has the minimal possible number of parts. This obviously occurs when \(\lambda ' = \mu '\). However, as \(\mu '\) must have m parts and none of its parts may exceed i, but their total must be im, this forces every part to be i. In other words, every \(c(\lambda ,\mu )\) is determined by the value of \(c([i^m],[i^m])\). This proves that for each \(m \in \mathbb {Z}_{>0}\), there is at most one singular vector \(\chi \), up to scalar multiples.
1.3 Step 3.
\(\mathcal {V}_{i,j}^+\) has a singular vector for each \(m \in \mathbb {Z}_{>0}\).
To show that these singular vectors actually exist, it suffices to show existence for \(m=1\). Indeed, if existence holds for \(m=1\), then the corresponding singular vector would generate a submodule of \(\mathcal {V}_{i,j}^+\) isomorphic to \(\mathcal {V}_{i,j+1}^+\), since \(\mathsf {U}\left( \mathfrak {h}_4\right) \) has no zero-divisors. As the structure of Verma modules is independent of j, \(\mathcal {V}_{i,j+1}^+\) also has an \(m=1\) singular vector that generates a submodule isomorphic to \(\mathcal {V}_{i,j+2}^+\). In \(\mathcal {V}_{i,j}^+\), this singular vector corresponds to \(m=2\). This obviously generalises to all \(m \in \mathbb {Z}_{>0}\).
For \(m=1\), the constraint equations (A.3) simplify a little. Writing \(C(\lambda \setminus \lambda _k, \lambda _k) = c(\lambda ,\lambda _k)\), \(\mu =[\lambda _k]\) and \(n=\lambda _{\ell }\), they become
As we have seen, these relations show, by recursively removing parts, that \(C(\lambda \setminus \lambda _k, \lambda _k)\) is proportional to \(C(\varnothing ,i)\), where \(\varnothing \) denotes the unique partition of 0, with nonzero proportionality constant.
We first demonstrate that the proportionality constants do not depend on the order in which one removes parts. If they did, then this would force \(C(\varnothing ,i) = 0\) and the singular vector \(\chi \) would not exist. Removing \(\lambda _{\ell }\) and then \(\lambda _{\ell '}\) from \(\lambda \), we have
which is symmetric under \(\ell \leftrightarrow \ell '\) if
If \(\lambda _{\ell } = \lambda _{\ell '}\), then (A.6) obviously holds. But, \(\lambda _{\ell } \ne \lambda _{\ell '}\) implies that \({{\,\mathrm{mult}\,}}_{\lambda _{\ell }}(\lambda \setminus \lambda _k) = {{\,\mathrm{mult}\,}}_{\lambda _{\ell }}(\lambda \setminus \lambda _k \setminus \lambda _{\ell '})\) and \({{\,\mathrm{mult}\,}}_{\lambda _{\ell '}}(\lambda \setminus \lambda _k \setminus \lambda _{\ell }) = {{\,\mathrm{mult}\,}}_{\lambda _{\ell '}}(\lambda \setminus \lambda _k)\), and hence, (A.6) also holds in this case. We conclude that \(C(\varnothing ,i)\) is a free parameter in the solutions of (A.4).
To finish the proof of existence of an \(m=1\) singular vector, we show that a (nonzero) solution of (A.4) corresponds to a \(\chi \) that is annihilated by \(\mathfrak {h}_4^+\). As (A.4) was deduced from \(J_n \chi = 0\), \(n\geqslant 1\), and \(\mathfrak {h}_4^+\) is generated by \(E_0\), \(F_1\) and these \(J_n\), we only have to check that the solution of (A.4) we have obtained gives a \(\chi = U \left| i,j\right\rangle \) satisfying \(E_0 \chi = F_1 \chi = 0\). Since U contains only I- and E-modes, the former is trivially satisfied.
We therefore consider \(-F_1 \chi = 0\) (adding the minus sign for convenience). Writing the \(m=1\) version of (A.1) in the form
we see that acting with \(-F_1\) amounts to replacing each \(E_{-\lambda _k}\) by \(I_{-(\lambda _k-1)}\), if \(\lambda _k>1\), and by \((i-1)\), if \(\lambda _k=1\). The constraint equations derived from linear independence are therefore
Now, substitute \(\lambda _k=1\) into (A.4) to obtain
Summing over \(\lambda _{\ell }\) from 1 to \(i-1\) then gives (A.8), demonstrating that the constraints derived from \(-F_1 \chi = 0\) already follow from those derived from \(J_n \chi = 0\). This proves that there is indeed a unique singular vector \(\chi \) corresponding to \(m=1\). Again, (4.2) extends this conclusion from \(i \in \mathbb {Z}_{>0}\) to all \(i \in \mathbb {Z}\) and so we have established the second assertion of Theorem 5.
Before tackling the third and last assertion, we detail the existence of singular vectors in the case \(i=4\) to illustrate the arguments used above. In this case, the singular vector generating the maximal submodule of \(\mathcal {V}_{4,j}^+\) has the form \(\chi = U \left| i,j\right\rangle \) with
It is clear that \(E_0 \chi = 0\). From \(J_3 \chi = 0\), we obtain
while \(J_2 \chi = 0\) gives
and \(J_1 \chi = 0\) yields instead
On the other hand, \(F_1 \chi = 0\) instead results in
Note that there is only one part to remove from [3], hence the first equation of (A.12) matches (A.11a). Similarly, there is only one way to remove a part from [1, 1, 1], and hence, the third equation of (A.12) matches the fourth equation of (A.11c). Finally, there are two ways to remove a part from [2, 1], and hence, the second equation of (A.12) is the sum of the second equation of (A.11b) and the third equation of (A.11c). For completeness, the singular vector \(\chi = U \left| i,j\right\rangle \) is explicitly determined (when \(C(\varnothing ,4) = 1\)) by taking
Every singular vector of \(\mathcal {V}_{4,j}^+\) therefore has the form \(U^m \left| i,j\right\rangle \), for \(m \in \mathbb {Z}_{\geqslant 0}\).
As an aside, it is actually quite easy to solve the constraints (A.4) in general. Writing \(\lambda \setminus \lambda _k = [\mu _1^{k_1}, \mu _2^{k_2}, \ldots ]\), we find that
Substituting into (A.7) then gives a closed-form formula for \(\chi \) when \(i \in \mathbb {Z}_{>0}\). (4.2) may then be used to obtain a similar formula for \(i \in \mathbb {Z}_{\leqslant 0}\). It is easy to verify that (A.14) reproduces (A.13) when \(i=4\) (and \(C(\varnothing ,4) = 1\)).
It remains to prove the final assertion of Theorem 5, namely that the maximal submodule of \(\mathcal {V}_{i,j}^+\) is generated by the singular vector \(\chi \) corresponding to \(m=1\). Let M denote the submodule of \(\mathcal {V}_{i,j}^+\) generated by \(\chi \).
1.4 Step 4.
The highest-weight module \(\mathcal {V}_{i,j}^+ / M\) has no singular vectors, except multiples of the image \(\overline{\left| i,j\right\rangle }\) of the highest-weight vector \(\left| i,j\right\rangle \) of \(\mathcal {V}_{i,j}^+\), and hence, it is irreducible.
So, suppose that \(\overline{\psi }\) is a singular vector of \(\mathcal {V}_{i,j}^+ / M\). Without loss of generality, we may choose a representative \(\psi \in \mathcal {V}_{i,j}^+\) of \(\overline{\psi }\) that is a weight vector. \(\psi \) is then a subsingular vector of \(\mathcal {V}_{i,j}^+\) satisfying \(\psi \notin M\) and we have \(\psi = U \left| i,j\right\rangle \), for some \(U \in \mathsf {U}\left( \mathfrak {h}_4\right) \). Since \(\overline{\psi }\) has \(J_0\)-eigenvalue \(j+m\) and \(L_0\)-eigenvalue \(\Delta ^+_{i,j} + im\) for some \(m \in \mathbb {Z}_{\geqslant 0}\), by Lemma 3, the same is true for \(\psi \).
The argument now generalises that used above to analyse the existence of \(\chi \). We start by assuming that U has a J-mode and let \(n\geqslant 1\) be maximal such that \(J_{-n}\) appears. Choosing an appropriate Poincaré–Birkhoff–Witt-ordering, there exists \(k>0\) such that we may write \(U = J_{-n}^k V + W\), where V is a linear combination of monomials with no \(J_{-n}\)-modes and W is a linear combination of monomials with fewer than k \(J_{-n}\)-modes. Applying \(I_n^k\), we have \(I_n^k \overline{\psi } = 0\) and \(I_n^k \psi = I_n^k U \left| i,j\right\rangle = n^k k! V \left| i,j\right\rangle \), from which we conclude that \(V \left| i,j\right\rangle \in M\) and so \(J_{-n}^k V \left| i,j\right\rangle \in M\). In other words, \(W \left| i,j\right\rangle \) is another representative of \(\overline{\psi }\) in which all monomials have fewer than k \(J_{-n}\)-modes. Iterating this argument shows that one can choose the representative \(\psi \) so that it contains no J-modes.
Repeating this argument with \(J_{-n}\) replaced by \(F_{-n}\), \(n\geqslant 0\), and \(I_n\) replaced by \(E_n\), we see as before (because \(n+i\ne 0\)) that \(\psi \) may be chosen so that it also contains no F-modes. With \(J_{-n}\) replaced by \(E_{-n}\), \(n>i\), and \(I_n\) replaced by \(F_i\), we similarly learn (from \(n-i\ne 0\)) that \(\psi \) may be refined to eliminate any \(E_{-n}\) modes with \(n>i\). If we can likewise eliminate any \(E_{-i}\)-modes, then continuing this argument will rule out all E-modes. But, the \(J_0\)-eigenvalue of \(\psi \) is then only consistent with \(m=0\). Thus, U is constant and \(\psi \) is proportional to \(\left| i,j\right\rangle \), as desired.
To eliminate \(E_{-i}\)-modes, suppose that there is one and let \(k\geqslant 1\) be the maximal power with which \(E_{-i}\) appears. Then, we may write \(U = V E_{-i}^k + W\), where V is a linear combination of monomials with no \(E_{-i}\) and W is a linear combination of monomials with fewer than k \(E_{-i}\)-modes. We next recall that the singular vector corresponding to \(m=k\) has the form \(\chi ^k = U^k \left| i,j\right\rangle \) with \(U^k = E_{-i}^k + W'\), where \(W'\) is a linear combination of monomials in the \(E_{-n}\)-modes, with \(1 \leqslant n \leqslant i\) and with fewer than k \(E_{-i}\)-modes, and the I-modes. Since \(\chi ^k \in M\), \(V \chi ^k \in M\) and so
that is we can replace the representative \(\psi = U \left| i,j\right\rangle \) by \(U' \left| i,j\right\rangle \), noting that \(U' = W-VW'\) is a linear combination of monomials each of which has fewer than k \(E_{-i}\)-modes. Iterating this construction therefore allows us to find a representative with no \(E_{-i}\)-modes at all. As noted above, this proves that \(\mathcal {V}_{i,j}^+ / M\) is irreducible for \(i\in \mathbb {Z}_{>0}\). Because (4.2) easily extends this conclusion to all \(i\in \mathbb {Z}\), the proof of Theorem 5 is complete.
APPENDIX B. An irreducibility proof
This appendix is devoted to proving that the relaxed highest-weight \(\mathsf {H}_4\)-modules \(\mathcal {R}_{0,[j]; h}\) are irreducible, for all \([j] \in \mathbb {C}/ \mathbb {Z}\) and \(h \ne 0\). The proof is similar in spirit to that of the irreducibility of the \(\mathcal {L}_{0,j}\), itself a corollary of Lemma 3, but is slightly more involved. We note that \(\Delta _{0;h} = h\) is the conformal weight of the generating relaxed highest-weight vectors \(\left| 0,j';h\right\rangle \in \mathcal {R}_{0,[j]; h}\), \(j' \in [j]\).
Suppose that \(\mathcal {R}_{0,[j]; h}\) is reducible. Then, there is a relaxed highest-weight vector \(v \in \mathcal {R}_{0,[j]; h}\) of conformal weight strictly greater than h. Since \(L_0\) acts on relaxed highest-weight vectors as \(Q_0 = F_0 E_0 + I_0 J_0\) and \(I_0\) acts as 0, it follows that v is an eigenvector of \(F_0 E_0\) with eigenvalue greater than h. However, we shall show that the only eigenvalue of \(F_0 E_0\) on \(\mathcal {R}_{0,[j]; h}\) is h, a contradiction.
Write v as a linear combination of Poincaré–Birkhoff–Witt-ordered monomials of the form
where \(j' \in [j]\) and \(\lambda \), \(\mu \), \(\nu \) and \(\rho \) are partitions. (We use the same notational conventions here as in Appendix A, see (A.1) and the surrounding text.) Acting with \(F_0 E_0\) on such a monomial returns h times the monomial plus a number of commutator terms. These fall into two classes for which we observe the following simple facts:
-
Commuting either \(F_0\) with an E-mode or \(E_0\) with an F-mode increases the number of I-modes by 1. These I-modes commute with every negative mode, so the number of I-modes strictly increases when the result is written as a linear combination of monomials (B.1).
-
Commuting either \(F_0\) or \(E_0\) with a J-mode decreases the number of J-modes by 1. The result may require further commutation to represent it as a linear combination of monomials (B.1). However, this will never increase the number of J-modes because J is not in \([\overline{\mathfrak {h}}_4 , \overline{\mathfrak {h}}_4]\). The number of J-modes thus strictly decreases in the each summand of the result, when written as a linear combination of monomials (B.1).
Noting that any leftover \(F_0\) or \(E_0\) modes may be commuted to the right and thus change \(j'\), this completely accounts for the action of \(F_0 E_0\) on the monomials (B.1).
Order these monomials so that the number of J-modes weakly increases and, when the number of J-modes is the same, so that the number of I-modes weakly decreases. Then, the matrix representing \(F_0 E_0\) in the weight space of \(\mathcal {R}_{0,[j]; h}\) containing v is upper-triangular, with h as every diagonal entry. This is the desired contradiction, and hence, the proof is complete.
Rights and permissions
About this article
Cite this article
Babichenko, A., Kawasetsu, K., Ridout, D. et al. Representations of the Nappi–Witten vertex operator algebra. Lett Math Phys 111, 131 (2021). https://doi.org/10.1007/s11005-021-01471-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-021-01471-5