Abstract
We begin a systematic study of unitary representations of minimal W-algebras. In particular, we classify unitary minimal W-algebras and make substantial progress in classification of their unitary irreducible highest weight modules. We also compute the characters of these modules.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present paper we study unitarity of minimal W-algebras and of their representations. Minimal W-algebras are the simplest conformal vertex algebras among the simple vertex algebras \(W_k({\mathfrak {g}},x,f),\) constructed in [18, 20], associated to a datum \(({\mathfrak {g}},x,f)\) and \(k\in {\mathbb {R}}\). Here \({\mathfrak {g}}={\mathfrak {g}}_{{{\bar{0}}}}\oplus {\mathfrak {g}}_{\bar{1}}\) is a basic Lie superalgebra, i.e. \({\mathfrak {g}}\) is simple, its even part \({\mathfrak {g}}_{{{\bar{0}}}}\) is a reductive Lie algebra and \({\mathfrak {g}}\) carries an even invariant non-degenerate supersymmetric bilinear form (.|.), x is an ad-diagonalizable element of \({\mathfrak {g}}_{{{\bar{0}}}}\) with eigenvalues in \(\tfrac{1}{2}{\mathbb {Z}}\), \(f\in {\mathfrak {g}}_{{{\bar{0}}}}\) is such that \([x,f]=-f\) and the eigenvalues of \(ad\,x\) on the centralizer \({\mathfrak {g}}^f\) of f in \({\mathfrak {g}}\) are non-positive, and \(k\ne -h^\vee \), where \(h^\vee \) is the dual Coxeter number of \({\mathfrak {g}}\). The most important examples are provided by x and f to be part of an \(sl_2\) triple \(\{e,x,f\}\), where \([x,e]=e, [x,f]=-f, [e,f]=x\). In this case \(({\mathfrak {g}},x,f)\) is called a Dynkin datum. Recall that \(W_k({\mathfrak {g}},x,f)\) is the unique simple quotient of the universal W-algebra, denoted by \(W^k({\mathfrak {g}},x,f),\) which is freely strongly generated by elements labeled by a basis of the centralizer of f in \({\mathfrak {g}}\) [20].
We proved in [16, Lemma 7.3] that if \(\phi \) is a conjugate linear involution of \({\mathfrak {g}}\) such that
then \(\phi \) induces a conjugate linear involution of the vertex algebra \(W^k({\mathfrak {g}},x,f)\), which descends to \(W_k({\mathfrak {g}},x,f)\).
We also proved in [16, Proposition 7.4] that if \(\phi \) is a conjugate linear involution of \(W_k({\mathfrak {g}},x,f)\), this vertex algebra carries a non-zero \(\phi \)-invariant Hermitian form \(H(\cdot ,\cdot )\) for all \(k\ne - h^\vee \) if and only if \(({\mathfrak {g}},x,f)\) is a Dynkin datum; moreover, such H is unique, up to a real constant factor, and we normalize it by the condition \(H(\textbf{1},\textbf{1})=1\). A module M for a vertex algebra V is called unitary if there is a conjugate linear involution \(\phi \) of V such that there is a positive definite \(\phi \)-invariant Hermitian form on M. The vertex algebra V is called unitary if the adjoint module is.
For some levels k the vertex algebra \(W_k({\mathfrak {g}},x,f)\) is trivial, i.e. isomorphic to \({\mathbb {C}}\); then it is trivially unitary. Another easy case is when \(W_k({\mathfrak {g}},x,f)\) “collapses” to the affine part. In both cases we will say that k is collapsing level.
In the case of a Dynkin datum let \({\mathfrak {g}}^\natural \) be the centralizer of the \(sl_2\) subalgebra \({\mathfrak {s}}=span\, \{e,x,f\}\) in \({\mathfrak {g}}_{\bar{0}}\); it is a reductive subalgebra. If \(\phi \) satisfies the first two conditions in (1.1), it fixes e, x, f, hence \(\phi ({\mathfrak {g}}^\natural )={\mathfrak {g}}^\natural \). It is easy to see that unitarity of \(W_k({\mathfrak {g}},x,f)\) implies, when k is not collapsing, that \(\phi _{|[{\mathfrak {g}}^\natural ,{\mathfrak {g}}^\natural ]}\) is a compact involution.
In the present paper we consider only minimal data \(({\mathfrak {g}},x,f)\), defined by the property that for the \(ad\,x\)-gradation \({\mathfrak {g}}=\bigoplus \limits _{j\in \tfrac{1}{2}{\mathbb {Z}}}{\mathfrak {g}}_j\) one has
In this case \(({\mathfrak {g}},x,f)\) is automatically a Dynkin datum. The corresponding W-algebra is called minimal. The element \(f\in {\mathfrak {g}}\) is a root vector attached to a root \(-\theta \) of \({\mathfrak {g}}\), and we shall normalize the invariant bilinear form on \({\mathfrak {g}}\) by the usual condition \((\theta |\theta )=2\), which is equivalent to \((x|x)=\tfrac{1}{2}\). Recall that the dual Coxeter number \(h^\vee \) of \({\mathfrak {g}}\) is half of the eigenvalue of its Casimir element of \({\mathfrak {g}}\), attached to the bilinear form (.|.). We shall denote by \(W_k^{\min }({\mathfrak {g}})\) the minimal W-algebra, corresponding to \({\mathfrak {g}}\) and \(k\ne -h^\vee \), and by \(W^k_{\min }({\mathfrak {g}})\) the corresponding universal W-algebra.
We proved in [16, Proposition 7.9] that, if \(W^{\min }_k({\mathfrak {g}})\) is unitary and k is not a collapsing level, then the parity of \({\mathfrak {g}}\) is compatible with the \(ad\,x\)-gradation, i.e. the parity of the whole subspace \({\mathfrak {g}}_j\) is \(2j\mod 2\).
It follows from [18, 20] that for each basic simple Lie superalgebra \({\mathfrak {g}}\) there is at most one minimal Dynkin datum, compatible with parity, and the complete list of the \({\mathfrak {g}}\) which admit such a datum is as follows:
The even part \({\mathfrak {g}}_{{{\bar{0}}}}\) of \({\mathfrak {g}}\) in this case is isomorphic to the direct sum of the reductive Lie algebra \({\mathfrak {g}}^\natural \) and \({\mathfrak {s}}\cong sl_2\).
One of our conjectures (see Conjecture 4 in Sect. 8)Footnote 1 states that any unitary \(W^k_{\min }({\mathfrak {g}})\)-module descends to \(W_k^{\min }({\mathfrak {g}})\). In fact, it is tempting to conjecture that for any conformal vertex algebra V any unitary V-module descends to the simple quotient of V.
It turns out (cf. Proposition 7.2) that a conjugate linear involution of the universal minimal W-algebra \(W^k_{\min }({\mathfrak {g}})\) at non-collapsing level k is necessarily induced by a conjugate linear involution \(\phi \) of \({\mathfrak {g}}\). Moreover, by Proposition 8.9, if \(W^k_{\min }({\mathfrak {g}})\) admits a unitary highest weight module and k is not collapsing, then \({\mathfrak {g}}^\natural \) has to be semisimple. As explained above, the involution \(\phi \) of \({\mathfrak {g}}\) must be almost compact, according to the following definition.
Definition 1.1
A conjugate linear involution \(\phi \) on \({\mathfrak {g}}\) is called almost compact if
-
(i)
\(\phi \) fixes e, x, f;
-
(ii)
\(\phi \) is a compact conjugate linear involution of \({\mathfrak {g}}^\natural \).
Indeed (i) is equivalent to the first two requirements in (1.1), and the third requirement in (1.1) follows from Lemma 3.1 in Sect. 3.
So, in order to study unitarity of highest weight modules, it is not restrictive to assume that the conjugate linear involution of \(W^k_{\min }({\mathfrak {g}})\) is induced by an almost compact conjugate linear involution of \({\mathfrak {g}}\).
We prove in Sects. 3 and 4 that an almost compact conjugate linear involution \(\phi \) exists for all \({\mathfrak {g}}\) from the list (1.3), except that a must lie in \({\mathbb {R}}\) in case of D(2, 1; a), and is essentially unique.
It was shown in [20] that the central charge of \(W_k^{\min }({\mathfrak {g}})\) equals
Here is another useful way to write this formula:
Recall that the most important superconformal algebras in conformal field theory are the simple minimal W-algebras or are obtained from them by a simple modification:
-
(a)
\(W^{\min }_k(spo(2|N))\) is the Virasoro vertex algebra for \(N=0\), the Neveu-Schwarz vertex algebra for \(N=1\), the \(N=2\) vertex algebra for \(N=2\), and becomes the \(N=3\) vertex algebra after tensoring with one fermion; it is the Bershadsky-Knizhnik algebra for \(N>3\);
-
(b)
\(W^{\min }_k(psl(2|2))\) is the \(N=4\) vertex algebra;
-
(c)
\(W^{\min }_k(D(2,1;a))\) tensored with four fermions and one boson is the big \(N=4\) vertex algebra.
The unitary Virasoro (\(N=0\)), Neveu-Schwarz (\(N=1\)) and \(N=2\) simple vertex algebras, along with their irreducible unitary modules, were classified in the mid 80s. Up to isomorphism, these vertex algebras depend only on the central charge c(k), given by (1.4). Putting \(k=\frac{1}{p}-1\) in (1.5) in all three cases, we obtain
The following theorem is a result of several papers, published in the 80s in physics and mathematics literature, see e.g. [5] for references.
Theorem 1.2
The complete list of unitary \(N=0,1,\) and 2 vertex algebras is as follows: either c(k) is given by (1.6), (1.7), or (1.8), respectively, for \(p\in {\mathbb {Z}}_{\ge 2},\) or \(c(k)\ge 1, \frac{3}{2}\) or 3, respectively.
The above three cases cover all minimal W-algebras, associated with \({\mathfrak {g}}\), such that the eigenspace \({\mathfrak {g}}_0\) of \(ad\,x\) is abelian. Thus, we may assume that \({\mathfrak {g}}_0\) is not abelian.
In order to study unitarity of the simple minimal W-algebra \(W_k^{\min }({\mathfrak {g}})\), one needs to consider the more general framework of representation theory of universal minimal W-algebras \(W^k_{\min }({\mathfrak {g}})\). Of course, unitarity of \(W^k_{\min }({\mathfrak {g}})\) is equivalent to that of \(W_k^{\min }({\mathfrak {g}})\). It is therefore natural to study unitarity of irreducible \(W^k_{\min }({\mathfrak {g}})\)-modules. For that purpose, we take, in Sect. 6, a long detour to develop a general theory of invariant Hermitian forms on modules over the vertex algebra of free bosons, which will be eventually applied to our main object of interest. As a byproduct we obtain a field theoretic version of the Fairlie construction, which yields explicit models of unitary representations of the Virasoro algebra for certain values of the highest weight (cf. [17, 3.4], Example 6.9).
We consider in Sect. 9 the free field realization \(\Psi : W^k_{\min }({\mathfrak {g}})\rightarrow {\mathcal {V}}^k=V^{k+h^\vee }({\mathbb {C}}x)\otimes V^{\alpha _k}({\mathfrak {g}}^\natural )\otimes F({\mathfrak {g}}_{1/2})\) introduced in [20] (here \(V^\gamma ({\mathfrak {a}})\) denotes the universal affine vertex algebra associated to the Lie algebra \({\mathfrak {a}}\) and to a 2-cocycle \(\gamma \), \(\alpha _k\) is the 2-cocycle defined in (7.24), and \(F({\mathfrak {g}}_{1/2})\) is the fermionic vertex algebra “attached” to \({\mathfrak {g}}_{1/2}\)). Let \(M(\mu )\) be the Verma module of highest weight \(\mu \in {\mathbb {C}}\) for the bosonic vertex algebra \(V^{k+h^\vee }({\mathbb {C}}x)\) and consider the \({\mathcal {V}}^k\)-module \(N(\mu )=M(\mu )\otimes V^{\alpha _k}({\mathfrak {g}}^\natural )\otimes F({\mathfrak {g}}_{1/2})\). Applying to \(N(\mu )\) results from Sect. 6, we obtain in Proposition 9.2 a generalization of the Fairlie construction to universal minimal W-algebras.
The conformal vertex algebras \((W^k_{\min }({\mathfrak {g}}), L)\) and \(({\mathcal {V}}^k, {{\widehat{L}}}(0))\) (see (6.29)) both admit Hermitian invariant forms \(H(\cdot , \cdot )_W\) and \(H(\cdot , \cdot )_{free}\), respectively. Unfortunately, the embedding \(\Psi \) is not conformal, i.e., \(\Psi (L)\ne {{\widehat{L}}}(0)\), in particular \(\Psi \) is not an isometry (which was erroneously claimed in [14]). So, though the vertex algebra \({\mathcal {V}}^k\) is unitary, this does not imply the unitarity of \(W^k_{\min }({\mathfrak {g}})\). A few explicit computations suggest the following conjecture, which we were unable to prove.
Conjecture 1
For each \(w\in W^k_{\min }({\mathfrak {g}})\), \(H(w,w)_W\ge H(\Psi (w),\Psi (w))_{free}.\) In particular if \({\mathcal {V}}^k\) is unitary, then \( W^k_{\min }({\mathfrak {g}})\) is unitary.
We start the study of unitary modules over minimal W-algebras in Sect. 8 by introducing the irreducible highest weight \(W^k_{\min }({\mathfrak {g}})\)-modules \(L^W(\nu ,\ell _0)\) with highest weight \((\nu ,\ell _0)\), where \(\nu \) is a real weight of \({\mathfrak {g}}^\natural \) and \(\ell _0\in {\mathbb {R}}\) is the minimal eigenvalue of \(L_0\). We prove that \(L^W(\nu ,\ell _0)\) admits a \(\phi \)-invariant nondegenerate Hermitian form (unique up to normalization), see Lemma 8.1. In Sect. 8 we also determine necessary conditions for the unitarity of \(L^W(\nu ,\ell _0)\). Part of the necessary conditions is displayed in Proposition 8.5. They say that unitarity of \(L^W(\nu , \ell _0)\) implies that the levels \(M_i(k)\) of the affine Lie algebras \({{\widehat{{\mathfrak {g}}}}}_i^\natural \) in \(W^k_{\min }({\mathfrak {g}})\) (given in Table 2, Sect. 7), where \({\mathfrak {g}}_i^\natural \) are the simple components of \({\mathfrak {g}}^\natural \), are non-negative integers, \(\nu \) is dominant integral of levels \(M_i(k)\), and the inequality (1.9) below holds. Proposition 8.8 provides a further necessary condition, which says that (1.9) must be an equality when \(\nu \) is an “extremal” weight. See Theorem 1.3 (1) below for a precise statement.
In Sect. 10, using the generalization of the Fairlie construction, developed in Sect. 9, we prove a partial converse result: if \(M_i(k)+\chi _i\in {\mathbb {Z}}_+\), where \(\chi _i\) are negative integers, displayed in Table 2, and \(\nu \) is dominant integral weight for \({\mathfrak {g}}^\natural \) which is not extremal, then the \(W^k_{\min }({\mathfrak {g}})\)-module \(L^W(\nu ,\ell _0)\) is unitary for \(l_0\) sufficiently large, see Proposition 10.2.
In Sect. 11 we prove our central Theorem 11.1, which claims that actually Proposition 10.2 holds for \(l_0\) satisfying the inequality (1.9), provided that \(\nu \) is not extremal. This is established by the following construction. Let \(\widehat{{\mathfrak {g}}}\) be the affinization of \({\mathfrak {g}}\). We introduce in (11.4) a highest weight module \({{\overline{M}}}({{\widehat{\nu }}}_h)\) over \(\widehat{{\mathfrak {g}}}\), whose highest weight \({{\widehat{\nu }}}_h\) depends on \(h\in {\mathbb {C}}\), with the following two properties
-
(1)
\({{\overline{M}}}({{\widehat{\nu }}}_h)\) is irreducible, except possibly for an explicit set J of values of h.
-
(2)
For the quantum Hamiltonian reduction functor \(H_0\), the \(W^k_{\min }({\mathfrak {g}})\)-module \(H_0({{\overline{M}}}({{\widehat{\nu }}}))\) admits a Hermitian form, depending polynomially on h.
Using the irreducibility theorem by Arakawa [2], we deduce that \(H_0({{\overline{M}}}({{\widehat{\nu }}}_h))=L^W(\nu , \ell (h))\) for \(h\notin J\), where \(\ell (h)\) is defined by (11.45). It turns out that, miraculously, if \(h\in J\), then \(\ell (h)\) does not satisfy (1.9). Moreover \(L^W(\nu ,\ell _0)\) is unitary for \(l_0\gg 0\). By continuity, the determinant of the Hermitian form on \(L^W(\nu ,\ell _0)\) is positive if the inequality (1.9) holds. See Theorem 1.3 (2) below for a precise statement.
Let us state our main results. First of all, if \({\mathfrak {g}}=sl(2|m)\) with \(m\ge 3\) or osp(4|m) with \(m\ge 2\) even, then none of the \(W^k_{\min }({\mathfrak {g}})\)-modules \(L^W(\nu , \ell _0)\) are unitary for a non-collapsing level k. For the remaining \({\mathfrak {g}}\) from the list (1.3) the Lie algebra \({\mathfrak {g}}^\natural \) is semisimple (actually simple, except for \({\mathfrak {g}}=D(2,1;a)\), when \({\mathfrak {g}}^\natural =sl_2\oplus sl_2\)). Let \( \theta _i^\vee \) be the coroots of the highest roots \(\theta _i\) of the simple components \({\mathfrak {g}}^\natural _i\) of \({\mathfrak {g}}^\natural \). Let \(2\rho ^\natural \) be the sum of positive roots of \({\mathfrak {g}}^\natural \), and let \(\xi \) be a highest weight of the \({\mathfrak {g}}^\natural \)-module \({\mathfrak {g}}_{-1/2}\) (this module is irreducible, except for \({\mathfrak {g}}=psl(2|2)\) when it is \({\mathbb {C}}^2\oplus {\mathbb {C}}^2\)). Let \(\nu \) be a dominant integral weight for \({\mathfrak {g}}^\natural \) and \(l_0\in \mathbb R\). We prove the following theorem.
Theorem 1.3
Let \(L^W(\nu ,\ell _0)\) be an irreducible highest weight \(W^k_{\min }({\mathfrak {g}})\)-module for \({\mathfrak {g}}= psl(2|2),\) spo(2|m) with \(m\ge 3, \, D(2,1;a),\, F(4)\) or G(3).
-
(1)
This module can be unitary only if the following conditions hold:
-
(a)
\(M_i(k)\) are non-negative integers,
-
(b)
\(\nu (\theta _i^\vee ) \le M_i(k)\) for all i,
-
(c)
$$\begin{aligned} l_0\ge \frac{(\nu |\nu +2\rho ^\natural )}{2(k+h^\vee )}+\frac{(\xi |\nu )}{k+h^\vee }((\xi |\nu )-k-1), \end{aligned}$$(1.9)
and equality holds in (1.9) if \(\nu (\theta ^\vee _i)>M_i(k)+\chi _i\) for \(i=1\) or 2.
-
(a)
-
(2)
This module is unitary if the following conditions hold:
-
(a)
\(M_i(k)+\chi _i\in {\mathbb {Z}}_+\) for all i,
-
(b)
\(\nu (\theta ^\vee _i) \le M_i(k)+\chi _i\) for all i (i.e. \(\nu \) is not extremal),
-
(c)
inequality (1.9) holds.
-
(a)
Conjecture 2
The modules \(L^W(\nu ,\ell _0)\) are unitary if \(\nu \) is extremal and \(l_0= R.H.S.\text { of }\)(1.9). In other words, the necessary conditions of unitarity in Theorem 1.3 (1) are sufficient.
We were able to prove this conjecture only for \({\mathfrak {g}}=psl(2|2)\) and spo(2|3), obtaining thereby a complete classification of unitary simple highest weight \(W^k_{\min }({\mathfrak {g}})\)-modules in these two cases. Note that papers [3, 4, 21] respectively claim (without proof) these results.
Since \(\nu =0\) is extremal iff k is collapsing, we obtain the following complete classification of minimal simple unitary W-algebras:
Theorem 1.4
The simple minimal W-algebra \(W_{-k}^{\min }({\mathfrak {g}})\) with \(k\ne h^\vee \) and \({\mathfrak {g}}_0\) non-abelian is non-trivial unitary if and only if
-
(1)
\({\mathfrak {g}}=sl(2|m),\ m\ge 3\), \(k=1\) (in this case the W-algebra is a free boson);
-
(2)
\({\mathfrak {g}}=psl(2|2)\), \(k\in {\mathbb {N}} +1\);
-
(3)
\({\mathfrak {g}}=spo(2|3)\), \(k\in \frac{1}{4}({\mathbb {N}}+2)\);
-
(4)
\({\mathfrak {g}}=spo(2|m)\), \(m>4\), \(k\in \frac{1}{2}({\mathbb {N}}+1)\);
-
(5)
\({\mathfrak {g}}=D(2,1;\frac{m}{n})\), \(k\in \frac{mn}{m+n}{\mathbb {N}}\), where \(m,n\in {\mathbb {N}}\) are coprime, \(k\ne \frac{1}{2}\);
-
(6)
\({\mathfrak {g}}=F(4)\), \(k\in \frac{2}{3}({\mathbb {N}}+1)\);
-
(7)
\({\mathfrak {g}}=G(3)\), \(k\in \frac{3}{4}({\mathbb {N}}+1)\).
This result, along with all known results on unitarity of vertex algebras, leads to the following general conjecture.
Conjecture 3
A CFT type vertex operator algebra admitting a invariant Hermitian form and having a unitary module is unitary.
In the final Sect. 14 we provide character formulas for all unitary \(W^k_{\min }\!({\mathfrak {g}})\)-modules \(L^W\!(\nu ,\ell _0)\), which are obtained by applying the quantum Hamiltonian reduction to the corresponding irreducible highest weight modules over the affinization \(\widehat{{\mathfrak {g}}}\) of \({\mathfrak {g}}\). There are two cases to consider. In the first case, called massive (or typical), when inequality (1.9) is strict, this character formula is easy to prove (see the proof of Proposition 11.5), which leads to the character formula (14.5). In the second case, called massless (or atypical), when the inequality (1.9) is equality, there is a general KW-formula for maximally atypical tame integrable \(\widehat{{\mathfrak {g}}}\)-modules, conjectured in [19] and proved in [7] for all \(\mathfrak {g}\) in question, except for \(\mathfrak {g}=D(2,1;\tfrac{m}{n}),\,\nu \ne 0\), which leads to the character formula (14.6). Character formulas were also given in [4] (resp. [21]) for the \(N=4\) superconformal algebra (resp. for \(W^k_{\min }(spo(2|3))\), hence for the \(N=3\) superconformal algebra). The proofs given in these papers are incomplete since they assume that their list of singular vectors is complete and that in the usual argument of inclusion-exclusion of Verma modules subsingular vectors cancel out. Their formulas for both massive and massless representations coincide with (14.5) and (14.6), respectively.
In our next paper of this series we will study unitarity of twisted representations of minimal W-algebras.
Throughout the paper the base field is \({\mathbb {C}}\), and \(\mathbb Z_+\) and \({\mathbb {N}}\) stand for the set of non negative and positive integers, respectively.
2 Setup
2.1 Basic Lie superalgebras
Let \({\mathfrak {g}}={\mathfrak {g}}_{{{\bar{0}}}}\oplus {\mathfrak {g}}_{{{\bar{1}}}}\) be a basic finite-dimensional Lie superalgebra over \({\mathbb {C}}\) as in (1.3). Choose a Cartan subalgebra \({\mathfrak {h}}\) of \({\mathfrak {g}}_{{{\bar{0}}}}\). It is a maximal ad-diagonalizable subalgebra of \({\mathfrak {g}}\), for which the root space decomposition is of the form
where \(\Delta \subset {\mathfrak {h}}^*\setminus \{0\}\) is the set of roots. In all cases, except for \({\mathfrak {g}}\cong psl(2|2)\), the root spaces have dimension 1. In the case \({\mathfrak {g}}=psl(2|2)\) one can achieve this property by embedding in pgl(2|2) and replacing (2.1) by the root space decomposition with respect to a Cartan subalgebra of pgl(2|2), which we will do.
Let \(\Delta ^+\) be a subset of positive roots and \(\Pi =\{\alpha _1,\ldots ,\alpha _r\}\) be the corresponding set of simple roots. We will denote by \(\Pi _{{{\bar{0}}}},\,\Pi _{{{\bar{1}}}},\) the sets of even and odd simple roots, respectively. For each \(\alpha \in \Delta ^+\) choose \(X_\alpha \in {\mathfrak {g}}_\alpha \) and \(X_{-\alpha }\in {\mathfrak {g}}_{-\alpha }\) such that \((X_\alpha |X_{-\alpha })=1\), and let \(h_\alpha =[X_\alpha ,X_{-\alpha }]\). Let \(e_i=X_{\alpha _i}, f_i=X_{-\alpha _i},\,i=1,\ldots ,r\). The set \(\{e_i, f_i, h_{\alpha _i}\mid i=1,\ldots ,r\}\) generates \({\mathfrak {g}}\), and satisfies the following relations
The Lie superalgebra \({{\tilde{{\mathfrak {g}}}}}\) on generators \(\{e_i, f_i, h_{\alpha _i}\mid i=1,\ldots ,r\}\) subject to relations (2.2) is a (infinite-dimensional) \({\mathbb {Z}}\)-graded Lie algebra, where the grading is defined by \(\deg h_{\alpha _i}=0, \deg e_i=-\deg f_i=1\), with a unique \({\mathbb {Z}}\)-graded maximal ideal, and \({\mathfrak {g}}\) is the quotient of \({{\tilde{{\mathfrak {g}}}}}\) by this ideal. We assume that \((\alpha _i|\alpha _j)\in {\mathbb {R}}\) for all \(\alpha _i,\alpha _j\in \Pi \).
2.2 Conjugate linear involutions and real forms
In the above setting, given a collection of complex numbers \(\Lambda =\{\lambda _1,\ldots ,\lambda _r\}\) such that \(\lambda _i\in \sqrt{-1}{\mathbb {R}}\) if \(\alpha _i\) is an odd root and \(\lambda _i\in {\mathbb {R}}\) if \(\alpha _i\) is an even root, we can define an antilinear involution \(\omega _\Lambda :{\mathfrak {g}}\rightarrow {\mathfrak {g}}\) setting
Since \(\omega _\Lambda \) preserves relations (2.2), it induces an antilinear involution of \({{\tilde{{\mathfrak {g}}}}}\), and, since \(\omega _\Lambda \) preserves the \({\mathbb {Z}}\)-grading of \({{\tilde{{\mathfrak {g}}}}}\), it preserves its unique maximal ideal, hence it induces an antilinear involution of \({\mathfrak {g}}\).
Set \(\sigma _\alpha =-1\) if \(\alpha \) is an odd negative root and \(\sigma _\alpha =1\) otherwise, so that \((X_\alpha |X_{-\alpha })=\sigma _\alpha \). Let
Then in [8, (4.13), (4.15)] it is proven (using results from [9]), that one can choose root vectors \(X_\alpha \) in such a way that
where
We shall call this a good choice of root vectors.
2.3 Invariant Hermitian forms on vertex algebras
Let V be a conformal vertex algebra with conformal vector \(L=\sum _{n\in {\mathbb {Z}}} L_nz^{-n-2}\) (see [16] for the definition and undefined notation). Let \(\phi \) be a conjugate linear involution of V. A Hermitian form \(H(\, . \,\, , \, .\, )\) on V is called \(\phi \)-invariant if, for all \(a\in V\), one has [16]
Here the linear map \(A(z):V\rightarrow V((z))\) is defined by
where
\(\Delta _a\) stands for the \(L_0\)-eigenvalue of a, and
3 The Almost Compact Conjugate Linear Involution of \({\mathfrak {g}}\)
From now on we let \({\mathfrak {g}}\) be a basic simple finite-dimensional Lie superalgebra such that
where \({\mathfrak {s}}\cong sl_2\) and \({\mathfrak {g}}^\natural \) is the centralizer of \({\mathfrak {s}} \) in \({\mathfrak {g}}\).
This corresponds to consider \({\mathfrak {g}}\) as in Table 2 of [20]. We will also assume that \({\mathfrak {g}}^\natural \) is not abelian; this condition rules out \({\mathfrak {g}}=spo(2|m),\ m=0,1,2\). The explicit list is given in the leftmost column of Table 1. Note that sl(2|1) and osp(4|2) are missing there since \(sl(2|1)\cong spo(2|2)\) and \(osp(4|2)\cong D(2,1;a)\) with \(a=1, -2\) or \(-\tfrac{1}{2}\).
First, we prove the simple lemma mentioned in the Introduction, which states that the first two conditions of (1.1) imply the third one.
Lemma 3.1
Let \({\mathfrak {g}}\) be a simple Lie superalgebra with an invariant supersymmetric bilinear form (.|.), let \(x\in {\mathfrak {g}}\), and let \(\phi \) be a conjugate linear involution of \({\mathfrak {g}}\), such that
Then
Proof
Note that \(\overline{(\phi (a)|\phi (b))}\) is an invariant supersymmetric bilinear form as well, hence it is proportional to (a|b) since \({\mathfrak {g}}\) is simple. Due to (3.2) these two bilinear forms coincide.
\(\square \)
We now discuss the existence of an almost compact involution of \({\mathfrak {g}}\) (see Definition 1.1).
Proposition 3.2
For any \(sl_2\)-triple \({\mathfrak {s}}=\{e,x,f\}\), such that \([e,f]=x, [x,e]=e, [x,f]=-f,\) and (3.1) holds, an almost compact involution exists.
Proof
Choose a Cartan subalgebra \({\mathfrak {t}}\) of \({\mathfrak {g}}_{{{\bar{0}}}}\). We observe that if we prove the existence of an almost compact involution \(\phi \) for a special choice of \(\{e,x,f\}\), then an almost compact involution exists for any choice of the \(sl_2\)-triple. Indeed, if \(\{e',x',f'\}\) is another \(sl_2\)-triple, then there is an inner automorphism \(\psi \) of \({\mathfrak {s}}\) mapping \(\{e,x,f\}\) to \(\{e',x',f'\}\), which extends to an inner automorphism of \({\mathfrak {g}}\). Therefore \(\phi ^{\prime }=\psi \phi \psi ^{-1}\) is an almost compact involution for \(\{e',x',f'\}\). The construction of \(\{e,x,f\}\) and \(\phi \) and the verification of properties (i)–(iii) in Definition 1.1 will be done in four steps:
-
(1)
make a suitable choice of positive roots for \({\mathfrak {g}}\) with respect to \({\mathfrak {t}}\);
-
(2)
define \(\phi \) by specializing (2.3);
-
(3)
construct \(\{e,f,x\}\) and verify that \(\phi (f)=f, \phi (x)=x\), \(\phi (e)=e\);
-
(4)
check that \(\phi \) is a compact involution for \({\mathfrak {g}}^\natural \);
Step 1. We need some preparation. Let \(\Delta ^\natural \) be the set of roots of \({\mathfrak {g}}^\natural \) with respect to the Cartan subalgebra \({\mathfrak {t}}\cap {\mathfrak {g}}^\natural \). Let \(\{\pm \theta \}\) be the \(\mathfrak t\cap {\mathfrak {s}}\)-roots of \({\mathfrak {s}}\). Then \(R_{\bar{0}}=\{\pm \theta \}\cup \Delta ^\natural \) is the set of roots of \({\mathfrak {g}}_{\bar{0}}\) with respect to \({\mathfrak {t}}\).
Let R be the set of roots of \({\mathfrak {g}}\) with respect to \({\mathfrak {t}}\), let \(R^+\) be the subset of positive roots whose corresponding set of simple roots \(S=\{\alpha _1,\ldots ,\alpha _r\}\) is displayed in Table 1.
Note that \(\theta \) is the highest root of R.
Step 2. Define
Set \(\phi =\omega _{\Lambda _0}\) (see (2.3)).
Step 3. Consider a good choice of root vectors \(X_\alpha \) for \(\Lambda _0\). Set
If \(\theta =\sum _{i=1}^{r}m_i\alpha _i\), then, by our special choice of \(\Delta ^+\), we have either \(m_i=2\) for exactly one odd simple root \(\alpha _i\), or \(m_i=m_j=1\) for exactly two odd distinct simple roots \(\alpha _i,\alpha _j\) (this corresponds to the fact that \(R^+\) is distinguished, in the terminology of [8]). By (2.4) we have
Since \(h_\theta =\sum _{i=1}^r m_ih_{\alpha _i}\) and \(\phi (h_{\alpha _i})=-h_{\alpha _i}\), it is clear from (3.5) that \(\phi \) fixes e, f, x. One checks directly that \(\{e,f,x\}\) is an \(sl_2\)-triple.
Step 4. Endow \({\mathfrak {g}}\) with the \({\mathbb {Z}}\)-grading
which assigns degree 0 to \(h\in {\mathfrak {t}}\) and to \(e_i\) and \(f_i\) if \(\alpha _i\) is even, and degree 1 to \(e_i\) and degree \(-1\) to \(f_i\), if \(\alpha _i\) is odd.
A direct check on Table 1 shows that \({\mathfrak {q}}_0={\mathfrak {g}}^\natural \). Recall from [8, Proposition 4.5] that the fixed points of \(\phi \) in \({\mathfrak {q}}_0\) are a compact form of \({\mathfrak {q}}_0\) if and only if \(\lambda _i(\alpha _i|\alpha _i)<0\) for all \(\alpha _i\in S\setminus S_1\). Step 4 now follows from (3.4). \(\square \)
4 Explicit Expressions for Almost Compact Real Forms
In this section we exhibit explicitly an almost compact involution \(\phi \) in each case and discuss its uniqueness. If \(\phi \) is an almost compact involution of \({\mathfrak {g}}\), we denote by \({\mathfrak {g}}^{ac}\) the corresponding real form (the fixed point set of \(\phi \)). We can define \({\mathfrak {g}}^{ac}\) by specifying a real form \({\mathfrak {g}}^{ac}_{{{\bar{0}}}}\) of \({\mathfrak {g}}_{{{\bar{0}}}}\) and a real form \({\mathfrak {g}}^{ac}_{{{\bar{1}}}}\) of \({\mathfrak {g}}_{{{\bar{1}}}}\).
-
(1)
\({\mathfrak {g}}=spo(2|m)\). Then \({\mathfrak {g}}_{{{\bar{0}}}}=sl_2\oplus so_m\) and \({\mathfrak {g}}_{\bar{1}}={\mathbb {C}}^2\otimes {\mathbb {C}}^m\) as \({\mathfrak {g}}_{{{\bar{0}}}}\)-module. We set
$$\begin{aligned} {\mathfrak {g}}^{ac}_{{{\bar{0}}}}=sl_2({\mathbb {R}})\oplus so_m({\mathbb {R}}),\quad {\mathfrak {g}}^{ac}_{{{\bar{1}}}}={\mathbb {R}}^2\otimes {\mathbb {R}}^m. \end{aligned}$$Explicitly, let B be a non-degenerate \({\mathbb {R}}\)-valued bilinear form of the superspace \({\mathbb {R}}^{2|m}\) with matrix \(\left( \begin{array}{cc|c}0 &{}1 &{}0\\ -1 &{} 0&{} 0\\ \hline 0&{} 0&{} I_m\end{array}\right) \). Then for \({\mathfrak {g}}=spo(2|m)\) we have:
$$\begin{aligned} {\mathfrak {g}}^{ac}=\{A \in sl(m|n;{\mathbb {R}})\mid B(Au,v)+(-1)^{p(A)p(u)}B(u,Av)=0\}. \end{aligned}$$ -
(2)
\({\mathfrak {g}}=psl(2|2)\). Let H be a \({\mathbb {C}}\)-valued non-degenerate sesquilinear form on the superspace \({\mathbb {C}}^{2|2}\) whose matrix is \(diag(\sqrt{-1},-\sqrt{-1},1,1)\). Set
$$\begin{aligned} {{\tilde{{\mathfrak {g}}}}}^{ac}=\{A \in sl(2|2;{\mathbb {C}})\mid H(Au,v)+(-1)^{p(A)p(u)}H(u,Av)=0\}. \end{aligned}$$Then
$$\begin{aligned} {\mathfrak {g}}^{ac}={{\tilde{{\mathfrak {g}}}}}^{ac}/{\mathbb {R}}\sqrt{-1} I. \end{aligned}$$Explicitly, we have \({\mathfrak {g}}_{{{\bar{0}}}}=sl_2\oplus sl_2\) and \({\mathfrak {g}}_{\bar{1}}=\left\{ \left( \begin{array}{c|c} 0 &{} B \\ \hline C &{} 0\end{array}\right) \mid B,C\in M_{2,2}({\mathbb {C}})\right\} \) as a \({\mathfrak {g}}_{\bar{0}}\)-module. Then
$$\begin{aligned}{{\tilde{{\mathfrak {g}}}}}^{ac}_{{{\bar{0}}}}&=\left\{ \left( \begin{array}{c|c} A &{} 0 \\ \hline 0&{} D\end{array}\right) \mid A\in su(1,1), D\in su_2\right\} ,\\ {{\tilde{{\mathfrak {g}}}}}^{ac}_{{{\bar{1}}}}&=\left\{ \left( \begin{array}{c c |c}0 &{} 0 &{} u \\ 0 &{} 0 &{} v\\ \hline \sqrt{-1}{{\bar{u}}}^t &{}-\sqrt{-1}{{\bar{v}}}^t &{} 0\end{array}\right) \mid u, v\in {\mathbb {C}}^2\right\} . \end{aligned}$$ -
(3)
\({\mathfrak {g}}=D(2,1;a)\). Then \({\mathfrak {g}}_{{{\bar{0}}}}=sl_2\oplus sl_2\oplus sl_2= so(4,{\mathbb {C}})\oplus sl_2\) and \({\mathfrak {g}}_{{{\bar{1}}}}={\mathbb {C}}^2\otimes {\mathbb {C}}^2\otimes {\mathbb {C}}^2= {\mathbb {C}}^4\otimes {\mathbb {C}}^2\) as \({\mathfrak {g}}_{{{\bar{0}}}}\)-module. We set
$$\begin{aligned} {\mathfrak {g}}^{ac}_{{{\bar{0}}}}=so(4,{\mathbb {R}})\oplus span_{\mathbb {R}}\{e,f,x\},\quad {\mathfrak {g}}^{ac}_{{{\bar{1}}}}={\mathbb {R}}^4\otimes {\mathbb {R}}^2. \end{aligned}$$To get an explicit realization, consider the contact Lie superalgebra (see [11] for more details)
$$\begin{aligned} K(1, 4)={\mathbb {C}}[t,\xi _1,\xi _2,\xi _3,\xi _4] \end{aligned}$$where t is an even variable and \(\xi _i, 1\le i\le 4\), are odd variables. Introduce on the associative superalgebra K(1, 4) a \({\mathbb {Z}}\)-grading by letting
$$\begin{aligned} \deg ' t=2,\quad \deg '\xi _i=1, \end{aligned}$$and the bracket
$$\begin{aligned} \{F,G\}=(2-\sum _{i=1}^4\xi _i\partial _i)F\partial _t G-\partial _t F(2-\sum _{i=1}^4\xi _i\partial _i)G+\sum _{i=1}^4 (-1)^{p(F)}\partial _iF\partial _iG, \end{aligned}$$where \(\partial _i=\partial _{\xi _i}\). This is a \({\mathbb {Z}}\)-graded Lie superalgebra with compatible grading \(\deg F=\deg 'F-2\). We have
$$\begin{aligned} K(1,4)=\bigoplus _{j\ge -2} K(1,4)_j, \end{aligned}$$where
$$\begin{aligned}&K(1,4)_{-2}={\mathbb {C}}1,{} & {} K(1,4)_{-1}=span_{\mathbb {C}}(\xi _i\mid 1\le i \le 4), \\&K(1,4)_0=span_{\mathbb {C}}(\xi _i\xi _j, t\mid 1\le i,j \le 4),{} & {} K(1,4)_1={\mathfrak {g}}_1'\oplus {\mathfrak {g}}_1'',\text {where}\\&{\mathfrak {g}}_1'=span_{\mathbb {C}}(t\xi _i\mid 1\le i\le 4),{} & {} {\mathfrak {g}}_1''=span_{\mathbb {C}}(\xi _i\xi _j\xi _k\mid 1\le i,j,k \le 4). \end{aligned}$$
Note that \(span_{\mathbb {C}}(\xi _i\xi _j\mid 1\le i,j \le 4)=\Lambda ^2{\mathbb {C}}^4\cong so(4,{\mathbb {C}})\), that \({\mathfrak {g}}'_1\) is isomorphic to the standard representation \({\mathbb {C}}^4\) of \(so(4,{\mathbb {C}})\) and that \({\mathfrak {g}}''_1\) is isomorphic to \(\Lambda ^3{\mathbb {C}}^4\), so that \(K(1,4)_1={\mathbb {C}}^4\oplus {\mathbb {C}}^4\) as \(so(4,{\mathbb {C}})\)-module. Also notice that \(\{{\mathfrak {g}}_1',{\mathfrak {g}}_1'\}={\mathbb {C}}t^2, \{{\mathfrak {g}}_1'',{\mathfrak {g}}_1''\}=0\). Fix now a copy \({{\tilde{{\mathfrak {g}}}}}_b\) of an \(so(4,{\mathbb {C}})\)-module \({\mathbb {C}}^4\) in \({\mathbb {C}}^4\oplus {\mathbb {C}}^4\), depending on a constant \(b\in {\mathbb {R}}\), as follows. Set, for \(1\le i\le 4\),
and define
Let \(b\in {\mathbb {R}}\). Note that, setting \(\xi =\xi _1\xi _2\xi _3\xi _4\), we have
Hence, if we set
then \(\{e,x,f\}\) is an \(sl_2\)-triple. Set
Then \({\mathfrak {g}}^{ac}\) is an almost compact form of \(D(2,1;\frac{1+b}{1-b})\). To prove this, it suffices to calculate the Cartan matrix for a choice of Chevalley generators of the complexification of \({\mathfrak {g}}^{ac}\). Fix a Cartan subalgebra in \({\mathfrak {g}}^\natural = so(4,{\mathbb {C}})\) as the span of \(v_2=-\sqrt{-1}\xi _1\xi _2, v_3=-\sqrt{-1}\xi _3\xi _4\). Set \(v_1=t\); then \(\{v_1,v_2,v_3\}\) is a basis of a Cartan subalgebra of \({\mathfrak {g}}\). Let \(\{\epsilon _1,\epsilon _2,\epsilon _3\}\) be the dual basis to \(\{v_1,v_2,v_3\}\). One can choose \(\{\alpha _1=\epsilon _2-\epsilon _1,\alpha _2=\epsilon _1-\epsilon _3,\alpha _3=\epsilon _1+\epsilon _3\}\) as a set of simple roots. The associated Chevalley generators are
and the corresponding Cartan matrix, normalized as in [11], is \(\begin{pmatrix} 0 &{}1 &{}\frac{1+b}{1-b}\\ -1&{}2&{}0\\ -1 &{} 0 &{}2\end{pmatrix}\). Hence \(a=\frac{1+b}{1-b}\) and therefore all \(a\ne -1\) occur in this construction. Since this subalgebra is 17-dimensional, it is isomorphic to D(2, 1; a).
Remark 4.1
Note that \(a=0\) for \(b=-1\). In this case, D(2, 1; 0) contains a 11-dimensional solvable ideal generated by \(f_1\), which is spanned by \(h_1\) and the root vectors relative to roots having \(\alpha _1\) in their support. If we replace \(a_i\) by \(a_i/b\) and \(h_1\) by \(h_1/b\), and let b tend to \(+\infty \), we recover also the Lie superalgebra of derivations of psl(2|2), and its almost compact real form.
-
(4)
\({\mathfrak {g}}=G(3)\). Then \({\mathfrak {g}}_{{{\bar{0}}}}=sl_2\oplus G_2\) and \({\mathfrak {g}}_{\bar{1}}={\mathbb {C}}^2\otimes L_{\min }\), where \(L_{\min }\) is the complex 7-dimensional irreducible representation of \(G_2\), and we let
$$\begin{aligned} {\mathfrak {g}}^{ac}_{{{\bar{0}}}}=sl_2({\mathbb {R}})\oplus G_{2,0},\quad {\mathfrak {g}}^{ac}_{{{\bar{1}}}}={\mathbb {R}}^2\otimes L_{\min ,0}. \end{aligned}$$where \(G_{2,0}\) is the real compact form of \(G_2\) and \(L_{\min ,0}\) is the real 7-dimensional irreducible representation of \(G_{2,0}\) whose complexification is \(L_{\min }\).
-
(5)
\({\mathfrak {g}}=F(4)\). Then \({\mathfrak {g}}_{{{\bar{0}}}}=sl_2\oplus so_7\) and \({\mathfrak {g}}_{\bar{1}}={\mathbb {C}}^2\otimes spin_7\), where \(spin_7\) is the complex spinor representation of \(so_7,\) and we let
$$\begin{aligned} {\mathfrak {g}}^{ac}_{{{\bar{0}}}}=sl_2({\mathbb {R}})\oplus so_7({\mathbb {R}}),\quad {\mathfrak {g}}^{ac}_{{{\bar{1}}}}={\mathbb {R}}^2\otimes spin ({\mathbb {R}}^7), \end{aligned}$$where \(spin({\mathbb {R}}^7)\) is the spinor representation of the compact group \(so_7({\mathbb {R}})\).
It is proved in [11, Proposition 5.3.2] that in both cases (4) and (5) \({\mathfrak {g}}^{ac}={\mathfrak {g}}^{ac}_{{{\bar{0}}}}\oplus {\mathfrak {g}}^{ac}_{{{\bar{1}}}}\) is an almost compact form of \({\mathfrak {g}}\).
4.1 Uniqueness of the almost compact involution
Proposition 4.2
An almost compact involution is uniquely determined up to a sign by its action on \({\mathfrak {g}}_0\), provided that the \({\mathfrak {g}}_0\)-module \({\mathfrak {g}}_{1/2}\) is irreducible.
Proof
If there are two different extensions of the compact involution, then their ratio \(\psi \), say, is identical on \({\mathfrak {g}}_0\), hence, by Schur’s lemma, \(\psi \) acts as a scalar on \({\mathfrak {g}}_{-1/2}\). Since \(\phi (f)=f\), we conclude that this scalar is \(\pm 1\). \(\square \)
It remains to discuss the cases \({\mathfrak {g}}=sl(2|m),\,m\ge 3\), and psl(2|2), since in all other cases of Table 1 the \({\mathfrak {g}}_0\)-module \({\mathfrak {g}}_{1/2}\) is irreducible. In this cases \({\mathfrak {g}}\) is of type I, that is \({\mathfrak {g}}_{{{\bar{1}}}}={\mathfrak {g}}_{{{\bar{1}}}}^+\oplus {\mathfrak {g}}_{{{\bar{1}}}}^-\) where \({\mathfrak {g}}_{\bar{1}}^{\pm }\) are contragredient irreducible \({\mathfrak {g}}_{{{\bar{0}}}}\)-modules and \([{\mathfrak {g}}_{{{\bar{1}}}}^{\pm },{\mathfrak {g}}_{{{\bar{1}}}}^{\pm }]=0\). Let \(\delta _\lambda \) be the linear map on \({\mathfrak {g}}\) defined by setting
Then \(\delta _\lambda \) is an automorphism of \({\mathfrak {g}}\) for any \(\lambda \in {\mathbb {C}}\). Suppose that \(\phi ^{\prime }\) is another conjugate almost compact linear involution such that \(\phi ^{\prime }_{|{\mathfrak {g}}_{{{\bar{0}}}}}=\phi \). Then \(\phi ^{\prime }= \phi \circ \gamma \) with \(\gamma \) an automorphism of \(\phi \) such that \(\gamma _{|{\mathfrak {g}}_{\bar{0}}}=Id.\) If \({\mathfrak {g}}=sl(2|m)\), by [22, Lemmas 1 and 2], we have \(\gamma =\delta _\lambda \). Since \(\phi ({\mathfrak {g}}_{{{\bar{1}}}}^+)={\mathfrak {g}}_{{{\bar{1}}}}^-\) and \((\phi ^{\prime })^2=Id\) we have that \(\lambda \in {\mathbb {R}}\). If \({\mathfrak {g}}=psl(2|2)\), then \(\gamma \) belongs to a three-parameter family of automorphisms explicitly described in [8, §4.6], and contained in \(SL(2,{\mathbb {C}})\). This \(SL(2,{\mathbb {C}})\) is the group of automorphisms of \({\mathfrak {g}}\) corresponding to the Lie algebra \(sl_2\) of outer derivations of \({\mathfrak {g}}\).
Remark 4.3
Note that if \(\phi \) is an almost compact involution, then
is again an almost compact involution.
5 The Bilinear Form \(\langle \cdot ,\cdot \rangle \) on \({\mathfrak {g}}_{-1/2}\)
Let \({\mathfrak {s}}=\{e,x,f\}\) be an \(sl_2\)-triple as in Proposition 3.2. Consider the following symmetric bilinear forms on \({\mathfrak {g}}_{-1/2}\) and \({\mathfrak {g}}_{1/2}\) respectively:
Note that, since \([f,{\mathfrak {g}}_{-1/2}]=0\), we have
We want to prove the following
Proposition 5.1
We can choose an almost compact involution such that the bilinear form \(\langle . ,.\rangle \) is positive definite on \({\mathfrak {g}}^{ac}\cap {\mathfrak {g}}_{-1/2}\). In particular, the Hermitian form \(\langle \phi (u),v\rangle \) (resp. \(\langle \phi (u),v\rangle _{ne}\)) is positive definite (resp, negative definite) on \({\mathfrak {g}}^{ac}\cap {\mathfrak {g}}_{-1/2}\) (resp. \({\mathfrak {g}}^{ac}\cap {\mathfrak {g}}_{1/2}\)).
The proof requires a detailed analysis of the action of an almost compact involution on \({\mathfrak {g}}_{-1/2}\). Define structure constants \(N_{\alpha ,\beta }\) for a good choice of root vectors (see Sect. 2.2) by the relation
Observe that \(\{X_{-\theta }, X_{\theta }, \tfrac{1}{2}h_\theta \}\) is a \(sl_2\)-triple in \({\mathfrak {s}}\). Let
be the decomposition into \(ad\,\tfrac{1}{2}h_\theta \) eigenspaces. By the \(sl_2\) representation theory, \(ad\,X_{\pm \theta }: {{\tilde{{\mathfrak {g}}}}}_{\mp 1/2}\rightarrow {{\tilde{{\mathfrak {g}}}}}_{\pm 1/2}\) is an isomorphism of \({\mathfrak {g}}^\natural \)-modules. Moreover, by our choice of \(R^+\) in Sect. 3, the roots of \({{\tilde{{\mathfrak {g}}}}}_{-1/2}\) (resp. \({{\tilde{{\mathfrak {g}}}}}_{1/2}\)) are precisely the negative (resp. positive) odd roots. In particular, the map \(\alpha \mapsto -\theta +\alpha \) defines a bijection between the positive and negative odd roots. We shall need the following properties.
Lemma 5.2
For a positive odd root \(\alpha \) we have
In particular \(N_{\theta ,\alpha }\) is real.
Proof
Relation (5.4) is proven in [8, Lemma 4.3]. Equation (5.5) follows from [8, (4.8)], noting that the \(-\theta \)-string through \(\alpha \) has length 1. \(\square \)
Arguing as in Proposition 3.2, we can assume in the proof of Proposition 5.1 that \(\{e,x,f\}\) is the \(sl_2\)-triple defined in (3.5); \(ad\, x\) defines on \({\mathfrak {g}}\) a minimal grading
Set, for an odd root \(\alpha \in R^+\)
Note that
hence \(\{u_\alpha \mid \alpha \in R^+, \alpha \text { odd}\}\) is a basis of \({\mathfrak {g}}_{-1/2}\).
Lemma 5.3
If \(\alpha \) is a positive odd root then
Proof
By (2.4), \(\phi (X_\alpha )=-\sqrt{-1}X_{-\alpha }\) if \(\alpha \) is an odd positive root, hence, by (5.5), since \(N_{-\theta ,\alpha }\) is real,
Note that, since \(\phi (x)=x\), \(\phi (u_\alpha )\) has to belong to \({\mathfrak {g}}_{-1/2}\). This forces
and (5.9) becomes (5.8).\(\square \)
Proof of Proposition 5.1
Set \(v_\alpha =\tfrac{1}{2}(u_\alpha +\phi (u_\alpha ))+ \tfrac{\sqrt{-1}}{2}(u_\alpha -\phi (u_\alpha ))\), where \(\alpha \) runs over the positive odd roots. It is clear that \(v_\alpha \in {\mathfrak {r}}\). We want to prove that the vectors \(v_\alpha \) form an orthogonal basis of \({\mathfrak {r}}\). We need two auxiliary computations:
Set
Then, using (5.12)
In particular, the restriction of \(\langle \cdot ,\cdot \rangle \) to \({\mathfrak {g}}^{ac}\cap {\mathfrak {g}}_{-1/2}\) is positive definite. The final claim follows immediately from (5.3), using that \([e,{\mathfrak {g}}_{-1/2}]={\mathfrak {g}}_{1/2}\). \(\square \)
6 A General Theory of Invariant Hermitian Forms on Modules Over the Vertex Algebra of Free Boson and the Fairlie Construction
Consider the infinite dimensional Heisenberg Lie algebra \({\mathcal {H}}=({\mathbb {C}}[\tau ,\tau ^{-1}]\otimes {\mathbb {C}}a)\oplus {\mathbb {C}}K\) with K central and bracket
Let \({\mathcal {H}}_0={\mathbb {C}}a+{\mathbb {C}}K\), and, given \(\mu \in {\mathbb {C}}\), define \(\mu ^*\in {\mathcal {H}}_0^*\) by \(\mu ^*(a)=\mu , \mu ^*(K)=1\). Let \(M(\mu )\) be the Verma module for the Lie algebra \({\mathcal {H}}\) with highest weight \(\mu ^*\). Let \(v_\mu \) be a highest weight vector, i.e. \((\tau ^n\otimes a)v_\mu =0\) for \(n>0\), \(h v_\mu =\mu ^*(h)v_\mu \) for \(h\in {\mathcal {H}}_0\). It is well known that M(0) carries a simple vertex algebra structure, called the vertex algebra of free boson, which we denote by \(V^1({\mathbb {C}}a)\), and that \(M(\mu )\) is a simple module over the vertex algebra \(V^{1}({\mathbb {C}}a)\). Moreover, \(V^{1}({\mathbb {C}}a)\) is the universal enveloping vertex algebra of the nonlinear Lie conformal algebra \(R={\mathbb {C}}[T]\otimes {\mathbb {C}}a\) with \(\lambda \)-bracket
We introduce conformal weight \(\Delta \) on \(V^1({\mathbb {C}}a)\) by letting \(\Delta _a=1\), and for \(v\in V^1({\mathbb {C}}a)\) we write the corresponding quantum field as \(Y(v,z)=\sum _{j\in {\mathbb {Z}}} v_jz^{-j-\Delta _v}\).
Fix \(t\in {\mathbb {C}}\) and set
It is an energy-momentum element for all t. Set \(H(t)=L(t)_0=\frac{1}{2}:aa:_0-ta_0\). Since \(a_0=0\) as operator on \( V^1({\mathbb {C}}a)\), \(H(t)=\frac{1}{2}:aa:_0\). (Note that the conformal weights on \(V^1({\mathbb {C}}a)\) are the eigenvalues of \(H(t)=H(0)\)).
If \(b\in V^{1}({\mathbb {C}}a)\), write \(b^\mu _n\) for \(b^{M(\mu )}_n\). By the \(-1\)-st product identity
In particular
On the other hand, by the commutator formula,
Recall that a basis of \(M(\mu )\) is
Let \(M(\mu )_n\) be the eigenspace for the energy operator H(t) corresponding to the eigenvalue \(n+\tfrac{1}{2}\mu ^2-t\mu \). Since
and \([a^\mu _0,a_{-j}^\mu ]=0\) for all j, it follows from (6.2) and (6.3) that
Thus
This shows that \(M(\mu )\) is a positive energy \(V^{1}({\mathbb {C}}a)\)-module, i.e. real parts of the eigenvalues of H(t) are bounded below. Moreover its minimal energy subspace is
Lemma 6.1
Proof
Identify \(V^1({\mathbb {C}}a)\) with the polynomial algebra in infinitely many variables using (6.4) with \(\mu =0\):
Since \(L(t)_1\textbf{1}=0\) and \(a_n\textbf{1}=0\) if \(n>0\), both \(L(t)_1\) and \(a_n\) for \(n>0\) act as derivations of the algebra \({\mathcal {P}}\) under our identification. It follows that both sides of (6.5) are automorphisms of \({\mathcal {P}}\). It is therefore enough to check the equality only on the generators \(a_{-n}\).
We need the following formulae:
Applying these formulae we find
It follows that
To conclude we only need to check that, if \(n\ge 1\), then
We prove this by induction on n. If \(n=1\) the formula reads
Using (6.7) with \(t=0\) we see that the latter formula is equivalent to
which is just (6.7).
If \(n>1\) and \(m=1\), then
If \(n>1\) and \(m>1\), then
\(\square \)
Let \(\phi \) be the conjugate linear involution of the vector space \({\mathbb {C}}a\) defined by \(\phi (a)=-a\). Assume from now on that \(t\in \sqrt{-1}{\mathbb {R}}\). This assumption is necessary since, in order to apply the results of [16], we need to assume \(\phi (L(t))=L(t)\). Set (cf. (2.7))
where g is defined in (2.8). Let \(\pi _Z:V^{1}({\mathbb {C}}a)\rightarrow Zhu_{H(0)}(V^{1}({\mathbb {C}}a))\) be the canonical projection to the Zhu algebra (see e.g. [16, Section 2]). Let \(\omega \) be the conjugate linear anti-homomorphism of \(Zhu_{H(0)}(V^{k+h^\vee }({\mathbb {C}}x))\) defined by
It is proven in [16, Proposition 6.1] that \(\omega \) is indeed well-defined.
Lemma 6.2
Proof
By Lemma 6.1, since \(g(a)=a\) and \(L(0)_1a=0\),
\(\square \)
Recall from [16, Definition 6.4] that if V is a conformal vertex algebra and \(\phi \) is a conjugate linear involution of V, a Hermitian form \(H(\, . \,\, , \, .\, )\) on a V-module M is called \(\phi \)-invariant if, for all \(v\in V\), \(m_1,m_2\in M\)
By abuse of terminology, we shall call \(H(\cdot , \cdot )\) an L-invariant Hermitian form, where L is the conformal vector of V. If \(\mu \in {\mathbb {C}}\) we denote by \(\Re (\mu )\) and \(\Im (\mu )\) the real and imaginary part of \(\mu \), respectively.
Proposition 6.3
There is a non-zero L(t)-invariant Hermitian form on \(M(\mu )\) if and only if \(t=\sqrt{-1}\Im (\mu )\).
Proof
Let \((\cdot ,\cdot )\) be the unique Hermitian form on \({\mathbb {C}}v_\mu \) such that \((v_\mu ,v_\mu )=1\). By Proposition 6.7 of [16], there is a non-zero L(t)-invariant Hermitian form on \(M(\mu )\) if and only if \((\cdot ,\cdot )\) is an \(\omega \)-invariant Hermitian form on \({\mathbb {C}}v_\mu \). By Lemma 6.2, that is equivalent to
Thus
hence the statement. \(\square \)
We denote by \(H_\mu \) the unique \(L(\sqrt{-1}\Im (\mu ))\)-invariant Hermitian form on \(M(\mu )\) such that \(H_\mu (v_\mu ,v_\mu )=1.\)
Lemma 6.4
If \(m,m'\in M(\mu ),\) then
Proof
By invariance of the Hermitian form,
The last two steps follow by (6.10) and the fact that \(L(0)_1a=0\). As
we get the result. \(\square \)
It is now easy to compute the invariant form in the basis (6.4):
It follows that the basis is orthogonal and
In particular the form is positive definite and its values on the chosen basis do not depend on \(\mu \).
Let \(\mu \in {\mathbb {C}}\) and \(t\in \sqrt{-1}{\mathbb {R}}\). Let \(M(\mu ,t)^\vee \) be the conjugate dual of \(M(\mu )\) with action given by, for \(b\in V^1({\mathbb {C}}a)\), \(m\in M(\mu )\), \(f\in M(\mu ,t)^\vee \),
where A(z, t) is defined by (2.7), (2.8).
Using the \(L(\sqrt{-1}\Im (\mu ))\)-invariant form on \(M(\mu )\) (see (6.13)), we can identify \(M(\mu )\) and \(M(\mu ,t)^\vee \) (as vector spaces) by indentifying m with \(f_m:m'\mapsto H_\mu (m',m)\).
We now want to describe explicitly the action of \(V^{1}({\mathbb {C}}a)\) under this identification. We need the following result:
Lemma 6.5
If \(t\in \sqrt{-1}{\mathbb {R}}\), then
Proof
If \(b\in V^1({\mathbb {C}}a)\) then,
For the second formula note that
so, since t is purely imaginary,
\(\square \)
Proposition 6.6
If \(m\in M(\mu )\) and \(f_m\in M(\mu ,t)^\vee \) is defined by \(f_m(m')=H_\mu (m',m)\), then
In particular the fields
define a \(V^1({\mathbb {C}}a)\)-module structure on \(M(\mu )\).
Proof
By definition,
Using (6.5) we can write
so, by Lemma 6.5,
Since the form \(H_\mu \) is \(L(\sqrt{-1}\Im (\mu ))\)-invariant, we find that
\(\square \)
To simplify notation write \({\textbf{a}}=(a_{-1},a_{-2},\ldots )\). If I is an infinite sequence \((i_1,i_2,\ldots )\), with \(i_j\in {\mathbb {Z}}_+\) almost all zero, then set \({\textbf{a}}^I=\prod _{r=1}^\infty a_{-r}^{j_r}\). We can regard \(b\in V^1({\mathbb {C}}a)\) as a polynomial \(b({\textbf{a}})\). More precisely, we write
We also set
Lemma 6.7
Write \(Y^{\mu ,t}(b,z)=\sum _{r\in {\mathbb {Z}}}b^{\mu ,t}_rz^{-r-\Delta _b}\). Then
Proof
Since \(b^{\mu ,t}_r=Res_z z^{r+\Delta _b-1}(Y^{\mu ,t}(b, z))\), we need to check that
It is enough to check this for \(b={\textbf{a}}^I\textbf{1}\). Using (6.9), we can write
It follows that
hence we need to check that
Indeed, setting \(t_0=2(-t+\sqrt{-1}\Im (\mu ))\) and letting q be the number of j such that \(i_j\ne 0\),
so
as wished. \(\square \)
In particular,
so
Hence we have an isomorphism of \(V^1({\mathbb {C}}a)\)-modules
Let \(M[\mu ,t]\) denote the vector space \(M(\mu )\) equipped with the \(V^{1}({\mathbb {C}}a)\)-module structure given by \(b\mapsto Y^{\mu ,t}(b,z)\) so that
Let \(\Upsilon _{\mu ,t}:M[\mu ,t]\rightarrow M({\overline{\mu }}+2t)\) denote such an isomorphism. By (6.17), \(\Upsilon _{\mu ,t}(v_\mu )\in {\mathbb {C}}v_{{\overline{\mu }}+2t}\). We can therefore normalize \(\Upsilon _{\mu ,t}\) so that \(v_\mu \mapsto v_{{\overline{\mu }}+2t}\). It follows from (6.17) that, if \(j_1\ge j_2\ge \cdots \ge j_r\),
Note that, by (6.13),
Moreover
and, if \(m\in M(\mu )\) and \(m'\in M({{\overline{\mu }}}+2s)\),
It follows that
In particular, if \(\mu \) is real,
Lemma 6.8
If \(m,m'\in M(\mu )\) and \(b\in V^1({\mathbb {C}}a)\), then
In particular, if b is quasiprimary for \(L(-\sqrt{-1}\Im (\mu )+t+s)\), then
Proof
We first prove that
Indeed,
so (6.25) follows.
To prove (6.23) write
By (6.25), setting \(s_0=-\sqrt{-1}\Im (\mu )+2s\),
Since, if \(p\in \sqrt{-1}{\mathbb {R}}\),
we find that
\(\square \)
Example 6.9
(The Fairlie construction). Since \(L(s)=\tfrac{1}{2}a_{-1}^2\textbf{1}+sa_{-2}\textbf{1}\), by (6.17) we have
In other words
In particular, if \(\mu \in {\mathbb {R}}\), we have
and, setting \(s=2t\), (6.27) becomes
By the \(-1\)-st product identity,
Moreover, \((Ta)^{\mu }_n=-(n+1)a^\mu _n\), hence, substituting in (6.28), we obtain
while
Since \(b\mapsto Y^{\mu ,s/2}(b,z)\) gives a \(V^1({\mathbb {C}}a)\)-module structure to \(M(\mu )\) and
by the Borcherds commutator formula,
Finally, since L(s) is quasiprimary for L(s) and \(g(L(s))=L(s)\), by (6.24) we have
We now extend the previous analysis of invariant Hermitian forms on bosons to the case of the vertex algebra \(V^1({\mathbb {C}}a)\otimes V\) where V is a conformal vertex algebra.
Let \({{\widehat{L}}}\) be the conformal vector of V. Set
If M is a V-module, then \(M(\mu )\otimes M\) is a \(V^1({\mathbb {C}}a)\otimes V\)-module and, if M is equipped with a \(\widehat{L}\)-invariant form \((\,.\,,.\,)\), then \(H_\mu (\,.\,,.\,)\otimes (\,.\,,.\,)\) is a \({{\widehat{L}}}(\sqrt{-1}\Im (\mu ))\)-invariant form on \(M(\mu )\otimes M\) that we keep denoting by \(H_\mu (\,.\,,.\,)\).
The arguments developed in this section for \(V^1({\mathbb {C}}a)\) can be carried out in the same way in the more general setting of the vertex algebra
where V is any conformal vertex algebra. In particular, we have
Proposition 6.10
If \(b\in V^1({\mathbb {C}}a)\otimes V\) and M is a V-module, then the fields
define a \(V^1({\mathbb {C}}a)\otimes V\)-module structure on \(M(\mu )\otimes M\).
As before, we can regard \(b\in V^1({\mathbb {C}}a)\otimes V\) as a polynomial \(b({\textbf{a}})\) with values in V. More precisely, we write
The following is the generalization of Lemma 6.7. The proof is the same.
Lemma 6.11
Write \(Y^{\mu ,t}(b,z)=\sum _{r\in -\Delta _b+{\mathbb {Z}}}b^{\mu ,t}_rz^{-r-\Delta _b}\). Then
7 Minimal W-Algebras
7.1 \(\lambda \)-brackets and conjugate linear involutions
Let, as before, \({\mathfrak {g}}\) be a basic classical Lie superalgebra, and \(x\in {\mathfrak {g}}\) be an element, for which \(ad\, x\) is diagonalizable with eigenvalues in \(\tfrac{1}{2}{\mathbb {Z}}\), the \(ad\,x\)-gradation of \({\mathfrak {g}}\) satisfies (1.2) with some \(f\in {\mathfrak {g}}_{-1}\) and is compatible with the parity of \({\mathfrak {g}}\). Then for some \(e\in {\mathfrak {g}}_1\), \(\{e,x,f\}\) is an \(sl_2\)-triple as in Proposition 3.2, i.e. (3.1) holds with \({\mathfrak {g}}^\natural \) the centralizer of f in \({\mathfrak {g}}\). Recall that the invariant bilinear form (.|.) on \({\mathfrak {g}}\) is normalized by the condition \((x|x)=\tfrac{1}{2}\), and we have the orthogonal direct sum of ideals
Choose a Cartan subalgebra \({\mathfrak {h}}^\natural \) of \({\mathfrak {g}}^\natural \), so that, by (7.1), \({\mathfrak {h}}={\mathbb {C}}x\oplus {\mathfrak {h}}^\natural \) is a Cartan subalgebra of \({\mathfrak {g}}_0\) (and of \({\mathfrak {g}}\)).
Let
be the decomposition of \({\mathfrak {g}}^\natural \) into the direct sum of ideals, where \({\mathfrak {g}}_0^\natural \) is the center and the \({\mathfrak {g}}^\natural _i\) are simple for \(i>0\). Let \(h^\vee \) be the dual Coxeter number of \({\mathfrak {g}}\), and denote by \({{\bar{h}}}^\vee _i\) half of the eigenvalue of the Casimir element of \({\mathfrak {g}}^\natural _i\) with respect to \((. |.)_{|{\mathfrak {g}}^\natural _i\times {\mathfrak {g}}^\natural _i}\), when acting on \({\mathfrak {g}}^\natural _i\). Note that \({{\bar{h}}}_0^\vee =0\).
In [18] the authors introduced (as a special case of a more general construction) the universal minimal W-algebra \(W^k_{\min }({\mathfrak {g}})\), whose simple quotient is \(W_k^{\min }({\mathfrak {g}})\), attached to the grading (5.6). This is a vertex algebra strongly and freely generated by elements L, \(J^{\{v\}}\) where v runs over a basis of \({\mathfrak {g}}^\natural \), \(G^{\{u\}}\) where u runs over a basis of \({\mathfrak {g}}_{-1/2}\), with the following \(\lambda \)-brackets ( [20, Theorem 5.1]): L is a Virasoro element (conformal vector) with central charge c(k) given by (1.4), \(J^{\{u\}}\) are primary of conformal weight 1, \(G^{\{v\}}\) are primary of conformal weight \(\frac{3}{2}\), and
where
Furthermore, the most explicit formula for the \(\lambda \)-bracket between the \(G^{\{u\}}\) is given in [1, (1.1)] and in [20, Theorem 5.1 (e)]. We will need both formulas:
where \(\{u_\alpha \}\) and \(\{u^\alpha \}\) (resp. \(\{w_\gamma \}, \{w^\gamma \}\)) are dual bases of \({\mathfrak {g}}^\natural \) (resp. \({\mathfrak {g}}_{1/2}\)) with respect to (.|.) (resp. with respect to \(\langle \cdot ,\cdot \rangle _\textrm{ne}\)), \(a\mapsto a^\natural _i\) (resp. \(a\mapsto a^\natural \)) for \(a \in {\mathfrak {g}}_0\) is the orthogonal projection to \({\mathfrak {g}}^\natural _i\) (resp \({\mathfrak {g}}^\natural \)), p(k) is the monic quadratic polynomial proportional to (7.28), introduced in [1, Table 4], and thoroughly investigated in [15], and \(k_i= k + \tfrac{1}{2}(h^\vee -{{\bar{h}}}^\vee _i)\), \(i=1,\ldots ,s\) (see Table 2 below for the values of \({{\bar{h}}}^\vee _i\)).
The following proposition is a special case of [16, Lemma 7.3], in view of Lemma 3.1.
Proposition 7.1
Let \(\phi \) be a conjugate linear involution of \({\mathfrak {g}}\) such that \( \phi (f)=f,\ \phi (x)=x,\ \phi (e)=e. \) Then the map
extends to a conjugate linear involution of the vertex algebra \(W^k_{\min }({\mathfrak {g}})\).
The following result is a sort of converse to Proposition 7.1.
Proposition 7.2
Assume that \(k\in {\mathbb {R}}\) is non-collapsing. Let \(\psi \) be a conjugate linear involution of \(W^k_{\min }({\mathfrak {g}})\). Then there exists a conjugate linear involution \(\phi \) of \({\mathfrak {g}}\) satisfying (1.1) such that \(\psi \) is the conjugate linear involution induced by \(\phi \).
Proof
If \(a,b\in {\mathfrak {g}}^\natural \), define \(\phi (a)\) by
Then
Since \(\psi \) is a vertex algebra conjugate linear automorphism, (7.9) equals (7.10), so that \(\phi \) is a conjugate linear involution of \({\mathfrak {g}}^\natural \), and we have
Since k is not collapsing, relations (7.22), (7.28) and (7.11) imply that
We now prove that there is a unique extension of \(\phi \) to a conjugate linear automorphism of \({\mathfrak {g}}\) fixing e, x, and f. Note that \(\phi ({\mathfrak {g}}_{-1/2})\subset {\mathfrak {g}}_{-1/2}\) and that \({\mathfrak {g}}_{1/2}=[e,{\mathfrak {g}}_{-1/2}]\). In particular, setting \(\phi (x)=x,\, \phi (f)=f,\, \phi (e)=e,\) \(\phi (u)=[e,\phi (v)]\) for \(u\in {\mathfrak {g}}_{1/2},\, u=[e,v],\, v\in {\mathfrak {g}}_{-1/2}\), we extend \(\phi \) to a conjugate linear bijection \({\mathfrak {g}}\rightarrow {\mathfrak {g}}\). In particular, \(\phi \) is unique. It remains to prove that it is a conjugate linear automorphism. Note first that, by (7.1), equation (7.12) holds for \(a,b\in {\mathfrak {g}}_0\). Consider elements
where \(\alpha ,\alpha ',\beta ,\beta ',\gamma ,\gamma '\in {\mathbb {C}},\, u,u'\in {\mathfrak {g}}_{1/2},\,v,v'\in {\mathfrak {g}}_{-1/2},\, a,a'\in {\mathfrak {g}}^\natural \). Then
Hence (7.13) equals (7.14), provided the following equalities hold
Relation (7.3) implies at once (7.19). To prove (7.18) note that \([v,v']=\langle v,v'\rangle f\), so it is enough to prove that \(\langle \phi (v),\phi (v')\rangle =\overline{ \langle v,v'\rangle }\). By (7.7),
Since \(p(k)\ne 0\) (k is not collapsing) and k is real, we have the claim.
Now we prove (7.20). Here and in the following we write \(u=[e,v],\, v\in {\mathfrak {g}}_{-1/2}\). Then
Next we prove (7.17). We have to prove that
By (7.6)
On the other hand
Since \(\phi \) is an automorphism of \({\mathfrak {g}}^\natural \) there is a permutation \(i\mapsto i'\) such that \(\phi ({\mathfrak {g}}^\natural _i)={\mathfrak {g}}^\natural _{i'}\). It follows that \(\phi ([[e,v],v']_i^\natural )=\phi ([[e,v],v'])_{i'}^\natural \) hence \([[e,\phi (v)],\phi (v')]_{i'}^\natural =\phi ([[e,v],v']_i^\natural )\) for all i, and also
To conclude we have to check the x-component:
Since (1.1) holds on \({\mathfrak {g}}_0\), we have
Next, we prove (7.16). We have
Next, we prove (7.15). Consider \(u=[e,v],\, u'=[e,v'],\,v,v'\in {\mathfrak {g}}_{-1/2}\).
By (7.17), we obtain
It remains to check that
for \(a,b\in {\mathfrak {g}}\). We already observed that this relation holds for \(a,b\in {\mathfrak {g}}_0\) and it is obvious that \((\phi (e)|\phi (f))=\overline{(e|f)}\). We now compute for \(u\in {\mathfrak {g}}_{1/2}\), \(v'\in {\mathfrak {g}}_{-1/2}\),
\(\square \)
By Proposition 3.2 there is a conjugate linear involution \( \phi \) on \({\mathfrak {g}}\) such that \(\phi (x)=x,\,\phi (f)=f\) and \(({\mathfrak {g}}^\natural )^{\phi }\) is a compact real form of \({\mathfrak {g}}^\natural \), hence, by Proposition 7.1, \(\phi \) induces a conjugate linear involution of the vertex algebra \(W^k_{\min }({\mathfrak {g}})\), and descends to a conjugate linear involution of its unique simple quotient \(W_k^{\min }({\mathfrak {g}})\), which we again denote by \(\phi \).
By [16, Proposition 7.4 (b)], \(W^k_{\min }({\mathfrak {g}})\) admits a unique \(\phi \)-invariant Hermitian form \(H(\cdot ,\cdot )\) such that \(H(\textbf{1},\textbf{1})=1\). Recall that if \(k+h^\vee \ne 0\) then the kernel of \(H(\cdot ,\cdot )\) is the unique maximal ideal of \(W^k_{\min }({\mathfrak {g}})\), hence \(H(\cdot ,\cdot )\) descends to a non-degenerate \(\phi \)-invariant Hermitian form on \(W_k^{\min }({\mathfrak {g}})\), which we again denote by \(H(\cdot ,\cdot )\).
We need to fix notation for affine vertex algebras. Let \({\mathfrak {a}}\) be a Lie superalgebra equipped with a nondegenerate invariant supersymmetric bilinear form B. The universal affine vertex algebra \(V^B({\mathfrak {a}})\) is the universal enveloping vertex algebra of the Lie conformal superalgebra \(R=({\mathbb {C}}[T]\otimes {\mathfrak {a}})\oplus {\mathbb {C}}\) with \(\lambda \)-bracket given by
In the following, we shall say that a vertex algebra V is an affine vertex algebra if it is a quotient of some \(V^B({\mathfrak {a}})\). If \({\mathfrak {a}}\) is simple Lie algebra, we denote by \((.|.)^{\mathfrak {a}}\) the normalized invariant bilinear form on \({\mathfrak {a}}\), defined by the condition \((\alpha |\alpha )^{\mathfrak {a}}=2\) for a long root \(\alpha \). Then \(B=k(.|.)^{\mathfrak {a}}\), and we simply write \(V^k({\mathfrak {a}})\). If \(k\ne -h^\vee \), then \(V^k({\mathfrak {a}})\) has a unique simple quotient, which will be denoted by \(V_k({\mathfrak {a}})\).
Let \(\psi \) be a conjugate linear involution of \({\mathfrak {a}}\) such that \( (\psi (x) |\psi (y))=\overline{(x|y)}\). By [16, §5.3] there exists a unique \(\psi \)-invariant Hermitian form \(H_{\mathfrak {a}}\) on \(V^k({\mathfrak {a}})\). The kernel of \(H_{\mathfrak {a}}\) is the maximal ideal of \(V^k({\mathfrak {a}})\), hence \(H_{\mathfrak {a}}\) descends to \(V_k({\mathfrak {a}})\).
7.2 Some numerical information
Recall the decomposition (7.2) of the Lie algebra \({\mathfrak {g}}^\natural \), and that we assume that \({\mathfrak {g}}^\natural \) is not abelian, i.e. \(s\ge 1\) in (7.2). Let \(\theta _i\) be the highest root of the simple component \({\mathfrak {g}}^\natural _i\) for \(i>0\). Set
where
Let \((.|.)_i^\natural \) denote the invariant bilinear form on \({\mathfrak {g}}^\natural _i\), normalized by the condition \((\theta _i|\theta _i)_i^\natural =2\) for \(i>0\), and let \((.|.)_0^\natural =(.|.)_{|{\mathfrak {g}}_0^\natural \times {\mathfrak {g}}_0^\natural }\). Note that, for \(i>0\), \((a|b)_i^\natural = \delta _{i,j}\frac{(\theta _i|\theta _i)}{2}(a|b)\), hence, formula (7.5) can be written as
In other words, the vertex subalgebra of \(W^k_{\min }\) generated by \(J^{\{a\}},\, a\in {\mathfrak {g}}^\natural \), is \(\bigotimes \limits _{i\ge 0} V^{M_i(k)}({\mathfrak {g}}_i^\natural )\).
Closely related to the vertex algebra \( W^k_{\min }({\mathfrak {g}})\) is the universal affine vertex algebra \(V^{\alpha _k}({\mathfrak {g}}_0)\) (see [20, (5.16)]), where
and where \(\kappa _{{\mathfrak {g}}_0}\) denotes the Killing form of \({\mathfrak {g}}_0\). Note that
We have another formula for the cocycle \(\alpha _k,\) closely related to (7.23):
where
The relevant data for computing the \(M_i(k)\) and \(\chi _i\) are collected in Table 2, where their explicit values are also displayed. Note that \(M_0(k)=k+\tfrac{1}{2}h^\vee \).
As in the Introduction, denote by \(\xi \in ({\mathfrak {h}}^\natural )^*\) a highest weight of the \({\mathfrak {g}}^\natural \)-module \({\mathfrak {g}}_{-1/2}\).
Lemma 7.3
For \(i\ge 1\) we have
with the exception of \(\chi _1\) for \({\mathfrak {g}}=osp(4|m)\).
Proof
The weights \(\xi \) are restrictions to \({\mathfrak {h}}^\natural \) of the maximal odd roots of \({\mathfrak {g}}\); they are listed in Table 3, together with the maximal roots \(\theta _i\). Relation (7.27) is then checked directly using the data in Tables 1, 2, 3. \(\square \)
Recall from [1] that a level k is collapsing for \(W_k^{\min }({\mathfrak {g}})\) if \(W_k^{\min }({\mathfrak {g}})\) is a subalgebra of the simple affine vertex algebra \(V_{\beta _k}({\mathfrak {g}}^\natural )\).
We summarize in the following result the content of Theorem 3.3 and Proposition 3.4 of [1] relevant to our setting. We say that an ideal in \({\mathfrak {g}}^\natural \) is a component of \({\mathfrak {g}}^\natural \) if it is simple or 1-dimensional.
Theorem 7.4
Let \({\mathfrak {g}}\) be a basic Lie superalgebra from Table 2. Assume \(k\ne -h^\vee \). Let p(k) be the monic quadratic polynomial in k, proportional to
Then
-
(1)
k is collapsing if and only if \(p(k)=0\).
-
(2)
If \({\mathfrak {g}}^\natural \) is simple then
-
(a)
\(W_k^{\min }({\mathfrak {g}})={\mathbb {C}}\) if and only if \(M_1(k)=0\);
-
(b)
if \(k=-\tfrac{{{\bar{h}}}_{1}^\vee }{2}-1,\) then \(W^{\min }_k({\mathfrak {g}})\cong V_{M_1(k)}({\mathfrak {g}}^\natural )\).
-
(a)
-
(3)
If \({\mathfrak {g}}=D(2,1;a) \) and k is collapsing, then \(W_k^{\min }({\mathfrak {g}})=V_{M_j(k)}({\mathfrak {g}}^\natural _j)\), with \(j\ne i\) if \(M_i(k)=0\).
Remark 7.5
If \(M_i(k)\in {\mathbb {Z}}_+\) for all \(i\ge 1,\,{\mathfrak {g}}\ne osp(4|m)\) and \(M_i(k)<-\chi _i\) for some \(i\ge 1\), then k is a collapsing level (or critical). This is clear by looking at Table 2.
8 Necessary Conditions for Unitarity of Modules Over \(W^k_{\min }({\mathfrak {g}})\)
We assume that \({\mathfrak {g}}\) is from the list (1.3); in particular, \({\mathfrak {g}}^\natural \) is a reductive Lie algebra. We parametrize the highest weight modules for \(W^k_{\min }({\mathfrak {g}})\) following Sect. 7 of [20]. Let \({\mathfrak {h}}^\natural \) be a Cartan subalgebra of \({\mathfrak {g}}^\natural \), and choose a triangular decomposition \({\mathfrak {g}}^\natural ={\mathfrak {n}}^\natural _-\oplus {\mathfrak {h}}^\natural \oplus {\mathfrak {n}}^\natural _+\). For \(\nu \in ({\mathfrak {h}}^\natural )^*\) and \(l_0\in {\mathbb {C}}\), let \(L^W(\nu ,\ell _0)\) (resp. \(M^W(\nu ,\ell _0)\) ) denote the irreducible highest weight (resp. Verma) \(W^k_{\min }({\mathfrak {g}})\)-module with highest weight \((\nu ,\ell _0)\) and highest weight vector \(v_{\nu ,\ell _0}\). This means that one has
Let \(\phi \) is an almost compact conjugate linear involution of \({\mathfrak {g}}\) (see Definition 1.1); in particular, the fixed points set \({\mathfrak {g}}^\natural _{\mathbb {R}}\) of \(\phi _{|{\mathfrak {g}}^\natural }\) is a compact Lie algebra (the adjoint group is compact). Set \({\mathfrak {h}}^\natural _{\mathbb {R}}={\mathfrak {g}}^\natural _{\mathbb {R}}\cap {\mathfrak {h}}^\natural \). Recall that \(\nu \in ({\mathfrak {h}}^\natural _{\mathbb {R}})^*\) is said to be purely imaginary if \(\nu ({\mathfrak {h}}^\natural _{\mathbb {R}})\subset \sqrt{-1}{\mathbb {R}}\). It is well-known that if \(\alpha \) is a root of \({\mathfrak {g}}^\natural \) and \(\nu \) is purely imaginary then \(\nu (\alpha )\in {\mathbb {R}}\).
Lemma 8.1
Assume that \(l_0\in {\mathbb {R}}\) and that \(\nu \) is purely imaginary. Then \(L^W(\nu ,\ell _0)\) admits a unique \(\phi \)-invariant nondegenerate Hermitian form \(H(\,.\,,.\,)\) such that \(H(v_{\nu ,\ell _0},v_{\nu ,\ell _0})=1\).
Proof
It is enough to show that the Verma module \(M^W(\nu ,\ell _0)\) admits a \(\phi \)-invariant Hermitian form H such that \(H(v_{\nu ,\ell _0},v_{\nu ,\ell _0})=1\). Fix a basis \(\{v_i\mid i\in I\}\) of \({\mathfrak {g}}_{-1/2}\) and a basis \(\{u_i\mid i\in J\}\) of \(\mathfrak n^\natural _{-}\). Set \(A^{\{i\}}=J^{\{u_i\}}\) if \(i\in J\), \(A^{\{i\}}=G^{\{v_i\}}\) if \(i\in I\), and \(A^{\{0\}}=L\). Then
where \(b_i \in {\mathbb {Z}}_+ \, , \, b_i \le 1\) if \(i\in I\), \(m_i >0\) or \(m_i=0\) when \(i\in J\), is a basis of \(M^W(\nu ,\ell _0)\).
Define the conjugate-linear map \(F:M\rightarrow {\mathbb {C}}\) by setting \(F(v_{\nu ,\ell _0})=1\) and \(F(v)=0\) if \(v\in {\mathcal {B}}\), \(v\ne v_{\nu ,\ell _0}\).
If \(v\in M^W(\nu ,\ell _0)\), \(m>0\), and \(u\in {\mathfrak {g}}^\natural \), then
Similarly we see that, if \(u\in {\mathfrak {g}}_{-1/2}\), then
On the other hand, if \(u\in {\mathfrak {n}}_{0+}\), then, since \(\phi (u)\in {\mathfrak {n}}_{0-}\),
If \(h\in {\mathfrak {h}}_{\mathbb {R}}^\natural \), then, since \(\nu (h)\) is purely imaginary,
and, if \(v\in {\mathcal {B}}\), \(v\ne v_{\nu ,\ell _0}\), then
It follows that \(J^{\{h\}}_0F=\nu (h)F\) for all \(h\in {\mathfrak {h}}^\natural \). Finally, since \(l_0\in {\mathbb {R}}\),
and, if \(v\in {\mathcal {B}}\), \(v\ne v_{\nu ,\ell _0}\), then
so \(L_0F=l_0F\). It follows that there is a \(W^k_{\min }({\mathfrak {g}})\)-module map \(\beta :M^W(\nu ,\ell _0)\rightarrow M^W(\nu ,\ell _0)^\vee \) mapping \(v_{\nu ,\ell _0}\) to F. Define a Hermitian form on \(M^W(\nu ,\ell _0)\) by setting
Let us check that this form is \(\phi \)-invariant: write \(Y^{\nu ,\ell _0}\) for the field \(Y^{M^W(\nu ,\ell _0)}\) and \(\check{Y}^{\nu ,\ell _0}\) for the field \(Y^{M^W(\nu ,\ell _0)^\vee }\). Then
so
\(\square \)
Definition 8.2
The \(W_k^{\min }({\mathfrak {g}})\)-module \(L^W(\nu ,\ell _0)\) is called unitary if the Hermitian form \(H(\cdot ,\cdot )\) is positive definite. The vertex algebra \(W_k^{\min }({\mathfrak {g}})\) is called unitary if its adjoint module is unitary.
As usual, we denote \(\Vert u\Vert =H(u,u),\,u\in L^W(\nu ,\ell _0)\). In order to obtain necessary conditions for unitarity of \(L^W(\nu ,\ell _0)\) we compute \(||G^{\{v\}}_{-1/2}v_{\nu ,\ell _0}||\).
Lemma 8.3
Let, as before, \(\xi \) be a highest weight of the \({\mathfrak {g}}^\natural \)-module \({\mathfrak {g}}_{-1/2}\), and fix a highest weight vector \(v\in {\mathfrak {g}}_{-1/2}\) . Then
Proof
To prove (8.1) we observe that, since \(g(G^{\{v\}})=G^{\{\phi (v)\}}\) and \(G^{\{v\}}\) is primary,
Using Borcherds’ commutator formula
and formula (7.7) with \(u=\phi (v)\) we obtain
By the \(-1\)-st product identity,
hence
We choose the basis \(\{u_\alpha \}\) so that \(\{u_\alpha \}=\{u_\gamma \mid u_\gamma \in {\mathfrak {g}}^\natural _\gamma \}\cup \{u_i\mid 1\le i\le \textrm{rank}\,{\mathfrak {g}}^\natural \}\) with \(\{u_i\}\) a basis of \({\mathfrak {h}}^\natural \). Then \(u^\gamma \in {\mathfrak {g}}^\natural _{-\gamma }\). It follows that
Since
we see that
We assume that \(v\in {\mathfrak {g}}_\xi \). Then (8.5) yields
From (8.4) we see that \((J^{\{ [u^{\gamma '},u_\gamma ]\}}_0v_{\nu ,\ell _0},v_{\nu ,\ell _0})=0\) unless \(\gamma '=\gamma \). Clearly \(J^{\{ [u^i,u_j]\}}_0=0\) for all i, j. Combining (8.2), (8.4), (8.6) we find
Recall that \(\phi \) is a compact involution of \({\mathfrak {g}}^\natural \), thus
(As usual \(h_\alpha \) stands for the element of \({\mathfrak {h}}^\natural \) corresponding to \(\alpha \) in the identification of \({\mathfrak {h}}^\natural \) with \(({\mathfrak {h}}^\natural )^*\) via (.|.)). It follows that \([h_\alpha ,\phi (v)]=-\xi (h_\alpha )\phi (v)\), so the weight of \(\phi (v)\) is \(-\xi \). In particular, since v is a highest weight vector for the \({\mathfrak {g}}^\natural \)-module \({\mathfrak {g}}_{-1/2}\), we have
Substituting (8.9) into (8.7) we obtain
as claimed. \(\square \)
Remark 8.4
Let \(v\in {\mathfrak {g}}_{-1/2}\) be as in Lemma 8.3 and u a root vector for the root \(\theta _i\). Then
Indeed,
Let \(P^+\subset ({\mathfrak {h}}^\natural )^*\) be the set of dominant integral weights for \({\mathfrak {g}}^\natural \) and let
Recall that \(\xi \in ({\mathfrak {h}}^\natural )^*\) is a highest weight of the \({\mathfrak {g}}^\natural \)-module \({\mathfrak {g}}_{-1/2}\). Introduce the following number
Proposition 8.5
Assume that \(k+h^\vee \ne 0\). If the \(W^k_{\min }({\mathfrak {g}})\)-module \(L^W(\nu ,\ell _0)\) is unitary, then \(M_i(k)\in {\mathbb {Z}}_+\) for all \(i\ge 1\), \(\nu \in P^{+}_k\), and
Proof
In order to prove that \(M_i(k)\in {\mathbb {Z}}_+\) for all \(i\ge 1\) and \(\nu \in P^+_k\), it is enough to observe that, if \(L^W(\nu ,\ell _0)\) is a unitary module over \(W^k_{\min }({\mathfrak {g}})\), then, in particular, \(V^{\beta _k}({\mathfrak {g}}^\natural )v_{\nu ,\ell _0}\) is a unitary module over \(V^{\beta _k}({\mathfrak {g}}^\natural )\), hence \(\nu \in P^{+}_k\) [12], which is non-empty if and only if \(M_i(k)\in {\mathbb {Z}}_+\) for all \(i\ge 1\).
To prove the second claim recall that, by Proposition 5.1, the Hermitian form \(\langle \phi (.),.\,\rangle \) is positive definite on \({\mathfrak {g}}_{-1/2}\). Since \(k+h^\vee <0\), we obtain from (8.1) that
as claimed. \(\square \)
Consider the short exact sequence
If a \(W^k_{\min }({\mathfrak {g}})\)-module \(L^W(\nu ,\ell _0)\) is unitary, then, restricted to the subalgebra \(V^{\beta _k}({\mathfrak {g}}^\natural )\) it is unitary, hence a direct sum of irreducible integrable highest weight \({{\widehat{{\mathfrak {g}}}}}^\natural \)-modules of levels \(M_i(k),\ i\ge 1\). But it is well known that all these modules descend to \(V_{\beta _k}({\mathfrak {g}}^\natural )\). Also, all these modules are annihilated by the elements
Let \({{\widetilde{I}}}^k\subset I^k\) be the ideal of \(W^k_{\min }({\mathfrak {g}})\) generated by the elements (8.13), and let \({{\widetilde{W}}}_k^{\min }=W^k_{\min }/{{\widetilde{I}}}^k\). We thus obtain
Proposition 8.6
If the \(W^k_{\min }({\mathfrak {g}})\)-module \(L^W(\nu , \ell _0)\) is unitary, then it descends to \({{\widetilde{W}}}_k^{\min }({\mathfrak {g}})\).
Note that a unitary \(W^k_{\min }({\mathfrak {g}})\)-module descends to \(W_k^{\min }({\mathfrak {g}})\) if and only if
Conjecture 4
Footnote 2 Equality (8.14) holds for all unitary vertex algebras \(W^k_{\min }({\mathfrak {g}})\). Consequently, any unitary \(W^k_{\min }({\mathfrak {g}})\)-module descends to \(W_k^{\min }({\mathfrak {g}})\).
Definition 8.7
An element \(\nu \in P^+_k\) is called an extremal weight if \(\nu +\xi \) doesn’t lie in \(P^+_k\).
Proposition 8.8
If \(L^W(\nu ,\ell _0)\) is unitary and \(\nu \) is an extremal weight, then
Proof
Let u be a root vector for \(\xi \). Then \(G^{\{u\}}_{-1/2}v_{\nu ,\ell _0}\) is a singular vector for \(V^{\beta _k}({\mathfrak {g}}^\natural )\). Since \(L^W(\nu ,\ell _0)\) is unitary, all vectors that are singular for \(V^{\beta _k}({\mathfrak {g}}^\natural )\) should have weight in \(P^+_k\). By the assumption, we have \(G^{\{u\}}_{-1/2}v_{\nu ,\ell _0}=0\), hence the norm of this vector is 0, and we can apply (8.1). \(\square \)
In the setting of the above proposition, note that \(\nu \) is extremal iff \(\nu (\theta _i^\vee )>M_i(k)+\chi _i\) for some i. Moreover, k is collapsing iff \(M_i(k)+\chi _i <0\) (cf. Remark 7.5).
Proposition 8.9
-
(a)
For \(k\ne -1\), \(W_{\min }^k(sl(2|m)),\, m\ge 3, \) has no unitary highest weight modules. In particular, \(W^{\min }_k(sl(2|m)),\, m\ge 3, \) is unitary if and only if \(k=-1\) and this W-algebra collapses to the free boson.
-
(b)
The W-algebra \(W_{\min }^k(osp(4|m)),\, m>2,\) has no unitary highest weight modules for all k.
Proof
(a) Let \({\mathfrak {g}}=sl(2|m)\). Then \({\mathfrak {g}}_0^\natural = {\mathbb {C}}\varpi \), where \(\varpi =\left( \begin{array}{cc|c} m/2 &{} 0 &{} 0\\ 0 &{} m/2 &{} 0\\ \hline 0&{} 0 &{} I_m \end{array}\right) \), and \((a|b)=str(ab)\). By Theorem 7.4, the collapsing levels are \(k=-1\) and \(k=m/2-1\).
If \(k=-1\) then \(M_0(-1)=-m/2, M_1(-1)=0\) and \(W_k^{\min }({\mathfrak {g}})\) is the Heisenberg vertex algebra \(M({\mathbb {C}}\varpi )=V^{-m/2}({\mathbb {C}}\varpi )=V_{-m/2}({\mathbb {C}}\varpi )\) and this vertex algebra is unitary.
If \(k=m/2-1\) then \(M_0(m/2-1)=0,\ M_1(m/2-1)=-m/2\) and \(W_k^{\min }(sl(2|m))=V_{-m/2}(sl(m))\) which has no unitary highest weight modules.
Assume that k is not collapsing. Let \(\psi \) be a conjugate linear involution of \(W^k_{\min }(sl(2|m))\) such that \(L^W(\nu ,\ell _0)\) has a positive definite \(\psi \)-invariant Hermitian form H, normalized by the condition \(H(v_{\nu ,\ell _0},v_{\nu ,\ell _0})=1\). By Proposition 7.2, the involution \(\psi \) is induced by an involution \(\psi \) on \({\mathfrak {g}}\) satisfying (1.1). This implies that \(\psi (\varpi )=\zeta \varpi \) with \(|\zeta |=1\).
The vertex algebra \(V^{k-m/2-1}({\mathbb {C}}\varpi )\otimes V^{-k-1}(sl(m))\) embeds in \(W^k_{\min }(sl(2|m))\). In particular, \((V^{k-m/2-1}({\mathbb {C}}\varpi )\otimes V^{-k-1}(sl(m))). v_{\nu ,\ell _0}\) is a unitary module. This implies that \(\psi _{|sl(m)}\) corresponds to a compact real form of sl(m) and \(-k-1\in {\mathbb {Z}}_+\). Using the formulas given in [16, §5.3] we have
Therefore \(\zeta =1\), so that
Note that
Write \({\mathfrak {g}}_{-1/2}={\mathfrak {g}}_{-1/2}^+\oplus {\mathfrak {g}}_{-1/2}^-\) for the corresponding eigenspace decomposition. Since \(\psi (\varpi )=\varpi \), we have \(\psi ({\mathfrak {g}}^\pm _{-1/2})={\mathfrak {g}}^\pm _{-1/2}\). Since the form \(\langle .,\,.\rangle \) is \({\mathfrak {g}}^\natural \)-invariant, we have
It follows that, if \(u\in {\mathfrak {g}}_{-1/2}\),
Observe now that by [1], since k is not collapsing, the image of \(G^{\{u\}}\) in \(W_k^{\min }({\mathfrak {g}})\) is non-zero if \(u\ne 0\). We observe that, since \(g(G^{\{u\}})=G^{\{\psi (u)\}}\) and \(G^{\{u\}}\) is primary, for \(n\in \tfrac{1}{2}+{\mathbb {Z}}_+\)
for any \(v\in L^W(\nu ,\ell _0)\). Using Borcherds’ commutator formula
and combining formulas (7.7) and (8.17), we obtain
Now we compute (8.18) for \(v\in L^W(\nu ,\ell _0)_{\ell _0}\). As in the proof of Lemma 8.3, using (8.4), (8.6) with \(\psi \) instead of \(\phi \), we find that (8.19) becomes, with the notation of the proof of Lemma 8.3,
Recall that \(\psi \) ia a compact involution of \([{\mathfrak {g}}^\natural ,{\mathfrak {g}}^\natural ]\), hence, by (8.8), \(\psi (u_\gamma )\in {\mathfrak {g}}^\natural _{-\gamma }\), so that, for some constant b we have
so, by (8.17), the summand (8.21) is zero.
The summand (8.20) vanishes since \(\langle [u_i,\psi (u)],[u,u^j]\rangle \) is a multiple of \(\langle \psi (u),u\rangle =0\). This shows that \(Y^{L^W(\nu ,\ell _0)}(G^{\{u\}},z)v=0\). By relation (7.3), \(G^{\{u\}}_n A_m v=0\) with \(A\in V^{\beta _k}({\mathfrak {g}}^\natural )\) for all n, m, hence, since \(G^{\{u\}}\) is primary,
Hence \(G^{\{u\}}\) lies in a proper ideal of \(W^{k}_{\min }({\mathfrak {g}})\), contradicting the fact that, since the level is not collapsing, \(G^{\{u\}}\) is non zero in \(W_{k}^{\min }({\mathfrak {g}})\).
(b) For \({\mathfrak {g}}=osp(4|m)\), the conditions of Proposition 8.5 imply \(k-m/2\in {\mathbb {Z}}_+,\ -\frac{1}{2} k-1\in {\mathbb {Z}}_+. \) These relations are never satisfied at the same time. \(\square \)
Proposition 8.10
Non-trivial unitary irreducible highest weight \(W^k_{\min }({\mathfrak {g}})\)-modules with \(k\ne -h^\vee \) may exist only in the following cases
-
(1)
\({\mathfrak {g}}=sl(2|m),\ m\ge 3\), \(k=-1\) (then \(W^{\min }_k=W_{\min }^k\) is a free boson);
-
(2)
\({\mathfrak {g}}=psl(2|2)\), \(-k\in {\mathbb {N}}+1\);
-
(3)
\({\mathfrak {g}}=spo(2|3)\), \(-k\in \frac{1}{4}({\mathbb {N}}+2)\);
-
(4)
\({\mathfrak {g}}=spo(2|m),\ m>4\), \(-k\in \frac{1}{2}({\mathbb {N}}+1)\);
-
(5)
\({\mathfrak {g}}=D(2,1;\frac{m}{n})\), \(-k\in \frac{mn}{m+n}{\mathbb {N}},\ m,n\in {\mathbb {N}}\) are coprime, \(k\ne -\frac{1}{2}\);
-
(6)
\({\mathfrak {g}}=F(4)\), \(-k\in \frac{2}{3}({\mathbb {N}}+1)\);
-
(7)
\({\mathfrak {g}}=G(3)\), \(-k\in \frac{3}{4}({\mathbb {N}}+1)\).
Proof
By Proposition 8.9, we may assume that \({\mathfrak {g}}\) is not one of the Lie superalgebras sl(2|m) woth \(m\ge 3\) or osp(4|m) with \(m>2\). The remaining cases are treated, using only the easy necessary conditions \(M_i=M_i(k)\in {\mathbb {Z}}_+\) for all i. In all cases, except for \({\mathfrak {g}}=D(2,1;a)\), the condition \(M_i\in {\mathbb {Z}}_+\) is obviously equivalent to the condition on k, given in the statement of the proposition.
Consider the remaining case \({\mathfrak {g}}=D(2,1;a)\). By this we mean the contragredient Lie superalgebra with Cartan matrix \(\begin{pmatrix} 0 &{} 1 &{} a\\ -1 &{} 2 &{} 0\\ -1 &{} 0 &{} 2 \end{pmatrix}\). By Proposition 8.5, we need to find the values of a such that \(M_i=M_i(k),\ i=1,2,\) from Table 2 are non-negative integers. These conditions imply that
Equating these two expressions for k, we obtain \(a=\tfrac{M_1+1}{M_2+1}\) is a positive rational number. Inserting this in either of the expressions (8.22) for k, we obtain
proving the claim. (\(k=-1/2\) corresponds to the trivial D(2, 1; 1)-module.) \(\square \)
Definition 8.11
Given \({\mathfrak {g}}\) in the above list, we call the corresponding set of values of \(k\ne -h^\vee \) the unitarity range of \(W^k_{\min }({\mathfrak {g}})\).
Remark 8.12
For \({\mathfrak {g}}=D(2,1;a)\), there are actually three possible choices of the minimal root. We now describe how the unitarity range depends on this choice. We choose \(\{2\epsilon _1,2\epsilon _2,2\epsilon _3\}\) as the set of positive roots in \({\mathfrak {g}}_{\bar{0}}\): hence, if \(-\theta \) is a minimal root, then \(\theta =2\epsilon _i\) for some \(1\le i\le 3\). The bilinear form (.| .), displayed in Table 1, corresponds to the choice \(\theta =2\epsilon _1\), so that \((2\epsilon _1|2\epsilon _1)=2\). If we choose \(\theta =2\epsilon _2\), then the bilinear form (.|.) is given by
We have \(M_1(k)=-\tfrac{1}{1+a}k-1, M_2(k)=\tfrac{1}{a}k-1\). Then \(a=-\tfrac{m}{m+n}, \ m,n\in {\mathbb {N}},\) m and n are coprime (i. e. \(a\in {\mathbb {Q}}\), \(-1<a<0\)) and in turn \(k\in - \tfrac{mn}{m+n}{\mathbb {N}}\). If we choose \(\theta =2\epsilon _3\), then the bilinear form (.|.) is given by
We have \(M_1(k)=-\tfrac{a}{1+a}k-1,\ M_2(k)=ak-1\). Then \(a=-\tfrac{m+n}{m}, \ m,n\in {\mathbb {N}},\) m and n are coprime (i. e. \(a\in {\mathbb {Q}}\), \(a<-1\)) and in turn \(k\in - \tfrac{mn}{m+n}{\mathbb {N}}\).
Recall that one obtains isomorphic superalgebras of the family \(D(2,1;a), a\ne 0,-1,\) under the action of the group \(S_3\), generated by the transformations \(a\mapsto 1/a, a\mapsto -1-a\). These transformations permute transitively the domains \(\mathbb Q_{>0}, {\mathbb {Q}}_{>-1}\cap {\mathbb {Q}}_{<0}\) and \({\mathbb {Q}}_{<-1}\), which correspond to the above three cases.
Corollary 8.13
If k is from the unitarity range for \(W^k_{\min }({\mathfrak {g}})\), then \(k+h^\vee \) is a negative rational number.
9 Free Field Realization of Minimal W-Algebras
Let \(\Psi : W^k_{\min }({\mathfrak {g}})\rightarrow {\mathcal {V}}^k=V^{k+h^\vee }({\mathbb {C}}x)\otimes V^{\alpha _k}({\mathfrak {g}}^\natural )\otimes F({\mathfrak {g}}_{1/2})\) be the free field realization introduced in [20, Theorem 5.2]; it is explicitly given on the generators of \(W^k_{\min }({\mathfrak {g}})\) by
Recall that \(F({\mathfrak {g}}_{1/2})\) is the universal enveloping vertex algebra of the (non-linear) Lie conformal superalgebra \({\mathbb {C}}[T]\otimes {\mathfrak {g}}_{1/2}\) with \([a_\lambda b]=\langle a,b\rangle _{ne}\textbf{1},\,a,b\in {\mathfrak {g}}_{1/2}\), and \(\{\Phi _\alpha \}_{\alpha \in S_{1/2}},\) \(\{\Phi ^\alpha \}_{\alpha \in S_{1/2}}\) are dual bases of \({\mathfrak {g}}_{1/2}\) with respect to \(\langle ., .\rangle _{ne}\).
We now apply the results of Sect. 6 to \(V^{k+h^\vee }({\mathbb {C}}x)\). By Corollary 8.13 unitarity of \(W^k_{\min }({\mathfrak {g}})\) implies \(k+ h^\vee <0\). Hence, using the normalization
we have \(V^{k+h^\vee }({\mathbb {C}}x)=V^{1}({\mathbb {C}}a)\), since, by (7.24), \(\alpha _k(x,x)=\tfrac{1}{2}(k+h^\vee )\), hence \(\alpha _k(a,a)=1\)
Recall that in Proposition 5.1 we proved that one can choose an almost compact involution \(\phi \) of \({\mathfrak {g}}\) that fixes pointwise the \(sl_2\)-triple \(\{e,x,f\}\) in such a way that the Hermitian form \(\langle \phi (u),v\rangle _{ne}\) on \({\mathfrak {g}}_{1/2}\) is negative definite. This conjugate linear involution induces a conjugate linear involution of \(W^k_{\min }({\mathfrak {g}})\) and of \(V^{\alpha _k}({\mathfrak {g}}_0)\otimes F({\mathfrak {g}}_{1/2})\) as well, both denoted again by \(\phi \). It is readily checked, using (9.1), (9.2), and (9.3), that
Since \(\phi (x)=x\), we see that \(\phi (a)=-a\). The conformal vector of the vertex algebra \({\mathcal {V}}^k\) is
where
Here \(\{u_\alpha \}_{\alpha \in S^\natural }\) and \(\{u^\alpha \}_{\alpha \in S^\natural }\) are dual bases of \({\mathfrak {g}}^\natural \) with respect to the bilinear form (.|.) restricted to \({\mathfrak {g}}^\natural \). Recall that \(L_{{\mathfrak {g}}^\natural }\) is the conformal vector of \(V^{\alpha _k}({\mathfrak {g}}^\natural )\) and \(L_F\) is the conformal vector of \(F({\mathfrak {g}}_{1/2})\). Let
It follows from (9.3) and (9.6) that
where \({{\widehat{L}}}=L_{{\mathfrak {g}}^\natural }+L_F\), and \(L(s)=\tfrac{1}{2}:aa:+sTa,\ {{\widehat{L}}}(s)=L(s)+{{\widehat{L}}}\), cf. (6.1) and (6.29), respectively.
Note that \({\mathcal {V}}^k=V^1({\mathbb {C}}a)\otimes V,\) where \(V=V^{\alpha _k}({\mathfrak {g}}^\natural )\otimes F({\mathfrak {g}}_{1/2})\), and \(\Psi (L)={{\widehat{L}}}(s)\) (cf. (6.28), (6.29)).
Given \(\mu \in {\mathbb {C}}\), let \(M(\mu )\) be the irreducible \(V^1({\mathbb {C}}a)\)-module with highest weight \(\mu \), and consider the \({\mathcal {V}}^k\)-module
Recall that V carries a \(\phi \)-invariant Hermitian form \(H_{{\mathfrak {g}}^\natural }\otimes H_F, \) which is positive definite. Recall also that, by Proposition 6.3, the \(V^1({\mathbb {C}}a)\)-module \(M(\mu )\) carries a unique L(t)-invariant Hermitian form, provided that \(t=\sqrt{-1}\Im (\mu )\), which is positive definite. This Hermitian form, normalized by the condition that the norm of the highest weight vector equals 1, was denoted by \(H_\mu \). Hence we have a \(\phi \)-invariant positive definite Hermitian form \(H_\mu (\,.\,,.\,)\otimes H_{{\mathfrak {g}}^\natural }(.\,,.)\otimes H_F(.\,,.)\) on \(N(\mu )\), which we denote by \((\cdot ,\cdot )_\mu \).
It follows from Proposition 6.10 that, restricting the fields \(Y^{\mu ,t}(-,z)\) from \({\mathcal {V}}^k\) to \(\Psi \!(W^k_{\min }({\mathfrak {g}})\!)\), one equips \(N(\mu )\) with a structure of a \(W^k_{\min }({\mathfrak {g}})\)-module. We now explicitly describe this action of the generators of \(W^k_{\min }({\mathfrak {g}})\) on \(N(\mu )\).
Proposition 9.1
For \(b\in W^k_{\min }({\mathfrak {g}})\), write
and let \(\mu \in {\mathbb {R}}\). Then
Furthermore, if \(m,m'\in N(\mu )\), then
Proof
We already noted that \(\Psi (L)={{\widehat{L}}}(s)\). By (6.27),
If \(u\in {\mathfrak {g}}^\natural \), then \(\Psi (J^{\{u\}})\in V^{\alpha _k}({\mathfrak {g}}^\natural )\otimes F({\mathfrak {g}}_{1/2})\), hence, by Lemma 6.11, \((J^{\{u\}})^{\mu ,t}_n=\Psi (J^{\{u\}})^{\mu }_n\). Finally, if \(v \in {\mathfrak {g}}_{-1/2}\),
where \(u^\natural \) is the orthogonal projection of u onto \({\mathfrak {g}}^\natural \) with respect to \((\,.\,|\,.\,)\). Since
we can write
Set
so that
Thus,
For proving (9.12), (9.13), and (9.14), it is enough to observe that L, \(G^{\{ v \}}\), and \(J^{\{u\}}\) are quasiprimary for \({{\widehat{L}}}(s)\) and apply (6.24). We use the fact that \(\Psi (g(b))=g(\Psi (b))\) for all \(b\in W^k_{\min }({\mathfrak {g}})\) , where g is defined by (2.8). This follows from (9.5) and the fact that \(\Psi \) preserves both parity and conformal weight. \(\square \)
As an application of Proposition 9.1, we obtain a generalization of the Fairlie construction to minimal W-algebras.
Proposition 9.2
Set \(s=s_k\) (cf. (9.7)) and
The fields
endow \(N(\mu )\) with a \(W^k_{\min }({\mathfrak {g}})\)-module structure. Moreover, the Hermitian form \((\,.\,,.\,)_\mu \) on \(N(\mu )\) is invariant.
Proof
Plug \(t=s/2\) in Proposition 9.1. By (9.12), (9.13), and (9.14), we have
thus the representations \(N(\mu )\) acquire a \(W^k_{\min }({\mathfrak {g}})\)-module structure and the Hermitian form \((\cdot , \cdot )_\mu \) is \(\phi \)-invariant. \(\square \)
10 Sufficient Conditions for Unitarity of Modules Over \(W^k_{\min }({\mathfrak {g}})\)
Due to the Proposition 8.9 (a), we may assume in this section that \({\mathfrak {g}}\ne sl(2|m)\) and \(osp(4|m),\, m>2\). Then, in particular, \({\mathfrak {g}}^\natural =\oplus _{i\ge 1} {\mathfrak {g}}^\natural _i\) is the decomposition of \({\mathfrak {g}}^\natural \) into simple ideals, and the \(\chi _i\) are given by (7.27).
Proposition 10.1
Assume that \(k+h^\vee \ne 0\). Then there exists a unitary module \(L^W(\nu ,\ell _0)\) over \(W^k_{\min }({\mathfrak {g}})\) if and only if \(M_i(k)\in {\mathbb {Z}}_+\) for all i and \(\nu \in P^+_k\).
Proof
One implication has been already proven in Proposition 8.5. To show that the converse implication also holds, assume \(M_i(k)\in {\mathbb {Z}}_+\) for all i. Recall (see (7.25)) that the cocycle \(\alpha _k\) is given by
Assume first that \(M_i(k)+\chi _i\in {\mathbb {Z}}_+\) for all i. Then the simple quotient \(V_{\alpha _k}({\mathfrak {g}}^\natural )\) of \(V^{\alpha _k}({\mathfrak {g}}^\natural )\) is unitary, since it is an integrable \({{\widehat{{\mathfrak {g}}}}}^\natural \)-module [11]. Next, the vertex algebra \(F({\mathfrak {g}}_{1/2})\) is unitary due to Proposition 5.1 and [16, §5.1]. Finally, the \(V^1({\mathbb {C}}a)\)-module M(s) , where s is given by (9.7), is unitary by the observation following Lemma 6.4.
Consider the unitary \(W^k_{\min }({\mathfrak {g}})\)-module \( M(s)\otimes V_{\alpha _k}({\mathfrak {g}}^\natural )\otimes F({\mathfrak {g}}_{1/2}), \) and its submodule
Since the Hermitian form \(H_s(\,.\,,\,.)\) is \(\widehat{L}(s)\)-invariant and \(\Psi (L)={{\widehat{L}}}(s)\), we see that U admits a \(\phi \)-invariant Hermitian positive definite form, thus U is a unitary highest weight module for \(W^k_{\min }({\mathfrak {g}})\).
Now we look at the missing cases, where there is i such that \(0\le M_i(k)< -\chi _i\), described in Remark 7.5. Assume first that \({\mathfrak {g}}^\natural \) is simple. If \(\chi _1=-1\) then the only possible value is \(M_1(k)=0\), so, \(W_k^{\min }({\mathfrak {g}})={\mathbb {C}}\), by Theorem 7.4 (1) (a). In the case of \({\mathfrak {g}}=spo(2|3)\) one should consider the cases \(M_1(k)=1\) and \(M_1(k)=0\): in the former case \(k=-\frac{h_1^\vee }{2}-1\), hence Theorem 7.4 (1) (b) applies and \(W_k^{\min }(spo(2|3))=V_1(sl(2))\), whereas in the latter case \(k+h^\vee =0\). If \({\mathfrak {g}}^\natural \) is semisimple but not simple, then \({\mathfrak {g}}=D(2,1;a)\). In this case we have to consider only the case in which either \(M_1(k)\) or \(M_2(k)\) is zero. If \(M_1(k)=0\) (resp. \(M_2(k)=0\)) then, by Theorem 7.4 (2), \(W_k^{\min }(D(2,1;a))=V_{M_2(k)}(sl(2))\) (resp. \(=V_{M_1(k)}(sl(2))\)). \(\square \)
We now generalize the construction given in the proof of Proposition 10.1 to provide families of unitary representations. For \(\nu \in P^+_k\) introduce the following number
Proposition 10.2
Assume that \(k+h^\vee \ne 0\) and \(M_i(k)+\chi _i\in {\mathbb {Z}}_+\) for all \(i>0\). If \(\nu \in P^+\) is such that \(\nu (\theta _i^\vee )\le M_i(k)+\chi _i \) for all \(i>0\) (then \(\nu \in P^+_k\)) and
then \(L^W(\nu ,\ell _0)\) is a unitary \(W^k_{\min }({\mathfrak {g}})\)-module.
Proof
Let \(L^\natural (\nu )\) be the irreducible highest weight \(V^{\alpha _k}({\mathfrak {g}}^\natural )\)-module of highest weight \(\nu \) and let \(v_\nu \) be a highest weight vector. Fix \(\mu \in {\mathbb {R}}\) and set
where \(s=s_k\) is given by formula (9.7). Note that the Hermitian form \((\cdot ,\cdot )_{\mu +s}\) is \(\widehat{L}(s)\)-invariant. Since \(M_i(k)+\chi _i\in {\mathbb {Z}}_+\) and \(\nu (\theta _i^\vee )\le M_i(k)+\chi _i \) for all i, then \(L^\natural (\nu )\) is integrable for \(V^{\alpha _k}({\mathfrak {g}}^\natural )\), hence unitary [12]. Thus \(N(\mu ,\nu )\) is a unitary representation of \(W^k_{\min }({\mathfrak {g}})\).
We now compute the highest weight of \(N(\mu ,\nu )\). Recall that
By the \(-1\)-st product identity,
so
It follows that \(N(\mu ,\nu )=L^W(\nu ,\ell _0)\) for some \(\ell _0\). We now compute \(\ell _0\):
so that, using (9.7),
Hence \( \ell _0\ge B(k,\nu )\). Letting \(\mu =2\sqrt{\ell _0-B(k,\nu )},\) we see that the module \(L^W(\nu ,\ell _0)=N(\mu ,\nu )\) is unitary. \(\square \)
11 Unitarity of Minimal W-Algebras and Modules Over Them
The main result of this paper is the following.
Theorem 11.1
Let \(k\ne -h^\vee \), and recall the number \(A(k,\nu )\) given by (8.11). If k lies in the unitary range (hence \(M_i(k)\in {\mathbb {Z}}_+\) for \(i\ge 1\)), then the \(W^k_{\min }({\mathfrak {g}})\)-module \(L^W(\nu ,\ell _0)\) is unitary for all non extremal \(\nu \in {{\widehat{P}}}_k^+\) and \(\ell _0\ge A(k,\nu )\).
Corollary 11.2
If k lies in the unitary range, then the \(W^k_{\min }({\mathfrak {g}})\)-module \(L^W(0,\ell _0)\) is unitary for all \(\ell _0\ge 0\). Consequently, \(W_k^{\min }({\mathfrak {g}})\) is a unitary vertex algebra if and only if k lies in the unitary range.
In the rest of this section we give a proof of these results. First, by Proposition 8.9 (a), we may exclude \({\mathfrak {g}}=sl(2|m),\ m>2\), from consideration, so that \({\mathfrak {g}}^\natural \) is semisimple and by Proposition 8.5, conditions \(M_i(k)\in {\mathbb {Z}}_+\) are necessary for unitarity, hence we shall assume that these conditions hold.
Let \(\widehat{{\mathfrak {g}}}= ({\mathbb {C}}[t,t^{-1}]\otimes {\mathfrak {g}})\oplus {\mathbb {C}}K \oplus {\mathbb {C}}d\) be the affinization of \({\mathfrak {g}}\) (with bracket \([t^m\otimes a,t^n\otimes b]=t^{n+m}\otimes [a,b]+\delta _{m,-n}m K(a|b),\,a,b\in {\mathfrak {g}}\)). Let \(\widehat{{\mathfrak {h}}}={\mathfrak {h}}\oplus {\mathbb {C}}K \oplus {\mathbb {C}}d\) be its Cartan subalgebra. Define \(\Lambda _0\) and \(\delta \in \widehat{{\mathfrak {h}}}^*\) setting \(\Lambda _0({\mathfrak {h}})=\Lambda _0(d)=\delta ({\mathfrak {h}})=\delta (K)=0\) and \(\Lambda _0(K)=\delta (d)=1\). Let \({{\widehat{\Delta }}}\subset \widehat{{\mathfrak {h}}}^*\) be the set of roots of \(\widehat{{\mathfrak {g}}}\). As a subset of simple roots for \(\widehat{{\mathfrak {g}}}\) we choose \({{\widehat{\Pi }}}=\{\alpha _0=\delta -\theta \}\cup \Pi \), where \(\Pi \) is the set of simple roots for \({\mathfrak {g}}\) given in Table 1. We denote by \({{\widehat{\Delta }}}^+\) the corresponding set of positive roots and by \({{\widehat{\rho }}}\in \widehat{{\mathfrak {h}}}^*\) the corresponding \(\rho \)-vector.
For \(\nu \in P^+_k\) and \(h\in {\mathbb {C}}\), set
Let \(\widehat{{\mathfrak {p}}}\) be the parabolic subalgebra of \(\widehat{{\mathfrak {g}}}\) with Levi factor \(\widehat{{\mathfrak {h}}}+{\mathfrak {g}}^\natural \) and the nilradical \(\widehat{\mathfrak u}_+=\sum _{\alpha \in {{\widehat{\Delta }}}^+\setminus \Delta ^\natural }\widehat{{\mathfrak {g}}}_\alpha \). Set \(\widehat{\mathfrak u}_-=\sum _{\alpha \in {{\widehat{\Delta }}}^+\setminus \Delta ^\natural }\widehat{{\mathfrak {g}}}_{-\alpha }\). Let \(V^\natural (\nu )\) denote the irreducible \({\mathfrak {g}}^\natural \)-module with highest weight \(\nu \) and extend the \({\mathfrak {g}}^\natural \) action to \({{\widehat{{\mathfrak {p}}}}}\) by letting \(\widehat{{\mathfrak {u}}}_+\) act trivially; x, K, and d act by h, k, and 0 respectively. Let \(M^\natural ({{\widehat{\nu }}}_h)\) be the corresponding generalized Verma module for \(\widehat{{\mathfrak {g}}}\), i.e.
We denote by \(v_{{{\widehat{\nu }}}_h}\) a highest weight vector for \(M^\natural ({{\widehat{\nu }}}_h)\) . If \({{\widehat{\mu }}}\in \widehat{{\mathfrak {h}}}^*\) and M is a \(\widehat{{\mathfrak {g}}}\)-module, we denote by \(M_{{{\widehat{\mu }}}}\) the corresponding weight space. Let \(\eta _i=\delta -\theta _i, 1\le i\le s\) (recall that \(s=1\) or 2).
If \(\alpha \in {{\widehat{\Delta }}}\) is a non-isotropic root, denote by \(s_\alpha \in End(\widehat{{\mathfrak {h}}}^*)\) the corresponding reflection and the group generated by them by \({\widehat{W}}\). If \(\beta \in {{\widehat{\Delta }}}\setminus {\mathbb {Z}}\delta \) is an odd isotropic root, we let \(r_{\beta }\) denote the corresponding odd reflection. We denote by \(x_\alpha \) a root vector attached to \(\alpha \in {{\widehat{\Delta }}}\). Denote by w. the shifted action of \({\widehat{W}}\): \(w.\lambda = w(\lambda +{{\widehat{\rho }}})-{{\widehat{\rho }}}\).
Lemma 11.3
Let \({{\widehat{\Pi }}}'\) be a set of simple roots for \({{\widehat{\Delta }}}\). Let M be a \(\widehat{{\mathfrak {g}}}\)-module and assume that \(m\in M\) is a singular vector with respect to \({{\widehat{\Pi }}}'\). If \(\alpha _j\in {{\widehat{\Pi }}}'\) is an isotropic root and \(x_{-\alpha _j}m\ne 0\), then \(x_{-\alpha _j}m\) is a singular vector with respect to \(r_{\alpha _j}({{\widehat{\Pi }}}')\).
Proof
Since \(\alpha _j\) is odd isotropic, it follows that \(x_{-\alpha _j}^2m=0\). If \(r\ne j\) and \((\alpha _r|\alpha _j)=0\) then \(x_{\alpha _r}x_{-\alpha _j}m=x_{-\alpha _j}x_{\alpha _r}m=0\). If \(r\ne j\) and \((\alpha _r|\alpha _j)\ne 0\) then \(x_{\alpha _r+\alpha _j}x_{-\alpha _j}m=x_{-\alpha _j}x_{\alpha _r+\alpha _j}m+x_{\alpha _r}m=0\). \(\square \)
For \(\nu \in P^+_k\) set
Note that \(N_i(k,\nu )\) does not depend on h. We will simply write \(N_i\) when the dependence on k and \(\nu \) is clear from the context.
Lemma 11.4
For \(\nu \in P^+_k\) not extremal, we have
Moreover, for
the subspace \(\sum _iU(\widehat{{\mathfrak {g}}})v_{i}(h)\) is a proper submodule of the \(\widehat{{\mathfrak {g}}}\)-module \(M^\natural ({{\widehat{\nu }}}_h)\).
Proof
Note that
Since \(\nu \) is not extremal, \((\widehat{\nu }_h+{{\widehat{\rho }}}|\eta _i^\vee )\in {\mathbb {N}}\).
Recall from Table 1 the set \(\Pi \) of simple roots for \({\mathfrak {g}}\). Let \(\alpha _1\) be an odd root in \(\Pi \). A direct (easy) verification shows that \(\alpha _0+\alpha _1\) is an odd root and that the set of simple roots \(r_{\alpha _0+\alpha _1}(r_{\alpha _1}({{\widehat{\Pi }}}))\) contains both \(\alpha _0\) and \(\{\eta _i\mid 1\le i\le s\}\). Clearly \(x_{-\alpha _0-\alpha _1}x_{-\alpha _1}v_{{{\widehat{\nu }}}_h}\ne 0\) in \(M^\natural (\nu _h)\) so, by Lemma 11.3, \(x_{-\alpha _0-\alpha _1}x_{-\alpha _1}v_{{{\widehat{\nu }}}_h}\) is a singular vector for the set of simple roots \(r_{\alpha _0+\alpha _1}(r_{\alpha _1}({{\widehat{\Pi }}}))\). The weight of this singular vector is, clearly, \(\widehat{\nu }_h'={{\widehat{\nu }}}_h-\alpha _0-2\alpha _1\). Since the \(\rho \)-vector \({{\widehat{\rho }}}'\) of \(r_{\alpha _0+\alpha _1}(r_{\alpha _1}({{\widehat{\Pi }}}))\) is \({{\widehat{\rho }}}+\alpha _0+2\alpha _1\), we see that \(({{\widehat{\nu }}}_h'+\widehat{\rho }'|\eta _i^\vee )=({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\eta _i^\vee )=N_i\). Since \(\eta _i\) is a simple root in \(r_{\alpha _0+\alpha _1}(r_{\alpha _1}(\widehat{\Pi }))\), we obtain that \(x_{-\eta _i}^{N_i}x_{-\alpha _0-\alpha _1}x_{-\alpha _1}v_{{{\widehat{\nu }}}_h}\) is a singular vector for the set of simple roots \(r_{\alpha _0+\alpha _1}(r_{\alpha _1}({{\widehat{\Pi }}}))\). It follows that \(\sum _iU(\widehat{{\mathfrak {g}}})v_{i}(h)\) is a proper submodule of \(U(\widehat{{\mathfrak {g}}})x_{-\alpha _0-\alpha _1}x_{-\alpha _1}v_{{{\widehat{\nu }}}_h}\subset M^\natural ({{\widehat{\nu }}}_h)\). \(\square \)
Set
Recall (cf. [13] in the non-super case) that for \({{\widehat{\mu }}}, {{\widehat{\lambda }}}\in \widehat{{\mathfrak {h}}}^*\), \({{\widehat{\mu }}}\) is said to be linked to \({{\widehat{\lambda }}}\) if there exists a sequence of roots \(\{\gamma _1,\ldots ,\gamma _t\}\subset {{\widehat{\Delta }}}^+\) and weights \({{\widehat{\lambda }}}=\mu _0,\mu _1\ldots , \mu _t={{\widehat{\mu }}}\) such that, for \(1\le r\le t\) one has
-
\( (\mu _{r-1}+{{\widehat{\rho }}}|\gamma _r)=\frac{m_r}{2}(\gamma _r|\gamma _r),\ m_r\in {\mathbb {N}}\), where \(m_r=1\) if \(\gamma _r\) is an odd isotropic root and \(m_r\) is odd if \(\gamma _r\) is an odd non-isotropic root,
-
\(\mu _r=\mu _{r-1}-m_r\gamma _r\).
The proof of the following proposition is inspired by [7, Section 11]. It also provides a simple proof of Lemma 2 from [10].
Proposition 11.5
Assume that \(\nu \in P^+_k\) is not extremal and that
Then
-
(i)
the module \({{\overline{M}}}({{\widehat{\nu }}}_h)\) is irreducible;
-
(ii)
its character is
$$\begin{aligned} ch {{\overline{M}}}({{\widehat{\nu }}}_h)=\sum _{w\in {\widehat{W}}^\natural } \det (w) ch M(w.{{\widehat{\nu }}}_h). \end{aligned}$$(11.6)
Proof
We have
-
(1)
\(({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\alpha )\ne 0\) for all odd isotropic roots;
-
(2)
\(({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\alpha ^\vee )\in {\mathbb {N}}\) for all \(\alpha \in {{\widehat{\Delta }}}^+({\mathfrak {g}}^\natural )\);
-
(3)
\(({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\alpha )\ne \tfrac{n}{2}(\alpha |\alpha )\) for all \(n\in {\mathbb {N}}\) and for all positive roots \(\alpha \) of the affinization of \(sl_2=\langle e,f,x\rangle \) and for all non-isotropic odd positive roots.
Indeed, (1), (3) follow from (11.5). To prove (2), first remark that if \(\alpha \) is a simple root for \(\Delta ^\natural _+\), then \(\alpha \in {{\widehat{\Pi }}}\). It follows that \(({{\widehat{\rho }}}|\alpha ^\vee )=(\rho ^\natural |\alpha ^\vee )=1\). This implies that \(({{\widehat{\nu }}}_h+\widehat{\rho }|\alpha ^\vee )=(\nu +\rho ^\natural |\alpha ^\vee )\in {\mathbb {N}}\) for \(\alpha \in \Delta _+^\natural \). Since \(\nu \) is not extremal, (11.3) gives \(({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\eta _i^\vee )\in {\mathbb {N}}\).
We have
Indeed, if \(ch\,M({{\widehat{\mu }}})\) appears in \(ch \,\overline{M}({{\widehat{\nu }}}_h)\) then, using the determinant formula proved in [6], and the corresponding Jantzen filtration [10], one shows, as in [13], that there is a sequence of roots \(\{\gamma _1,\ldots ,\gamma _t\}\subset {{\widehat{\Delta }}}^+\) linking \({{\widehat{\mu }}}\) to \({{\widehat{\nu }}}_h\). Properties (1), (3) imply that \(\gamma _i\in {{\widehat{\Delta }}}^+({\mathfrak {g}}^\natural )\) and this yields (11.7). It is clear that \({\mathfrak {g}}^\natural \) acts locally finitely on \(M^\natural ({{\widehat{\nu }}}_h)\), hence also on \(\overline{M}({{\widehat{\nu }}}_h)\). By (1), \(x_{-\alpha _0-\alpha _1}x_{-\alpha _1}v_{{{\widehat{\nu }}}_h}\) generates \(\overline{M}({{\widehat{\nu }}}_h)\). Since \(x_{-\eta _i}^{N_i}(x_{-\alpha _0-\alpha _1}x_{-\alpha _1}v_{{{\widehat{\nu }}}_h})=v_i(h)=0\) in \({{\overline{M}}}({{\widehat{\nu }}}_h)\), \({{\overline{M}}}({{\widehat{\nu }}}_h)\) is integrable for \(\widehat{{\mathfrak {g}}}^\natural \), in particular \(ch \,\overline{M}({{\widehat{\nu }}}_h)\) is \({\widehat{W}}^\natural \)-invariant. Hence, we obtain \(c(w)=\det (w)\); therefore (ii) holds. Since the proof of (ii) didn’t use irreducibility, the irreducible quotient of \(\overline{M}({{\widehat{\nu }}}_h)\) has the same character, proving (i). \(\square \)
The following functions \(h_{n, \epsilon m},\, h_{m,\gamma }\) relate singular weights of Verma modules over \(\widehat{{\mathfrak {g}}}\) to those over \(W^k_{\min }({\mathfrak {g}})\) [20, Remark 7.2]:
Here \(\gamma \in \Delta '\), the set of \({\mathfrak {g}}^\natural \)-weights in \({\mathfrak {g}}_{-1/2}\), \(\epsilon =2\) (resp. 1) if \(0\in \Delta '\) (resp. \(0\notin \Delta '\)), \(m,n\in \epsilon ^{-1}{\mathbb {N}}\) and \(m-n\in {\mathbb {Z}}\) in (11.8) and \(m\in \tfrac{1}{2}+{\mathbb {Z}}_+\) in (11.9).
Lemma 11.6
Let k be in the unitarity range and let \(A(k,\nu )\) be as in (8.11). Assume that \(\nu \) is not extremal. Then
Proof
First we prove (11.10). Plugging (11.8) into (11.10) we get
which is equivalent to
Since \(k+h^\vee <0\), it is enough to check (11.12) with \(\epsilon m=1,\ n=1/\epsilon \). In the case \((k+1) \le 2(\xi |\nu ),\) (11.12) reads
Looking at the values of \(h^\vee \) in Table 2, we see that the L.H.S. of (11.13) is non-negative. Now we prove that \((\xi |\nu )\le 0\). Indeed, from Table 1 we deduce that the restriction of (. |.) to the real span of \(\Delta ^\natural \) is negative definite. From Tables 1 and 3 one checks that \(\xi \) is a linear combination with non-negative coefficients of simple roots of \({\mathfrak {g}}^\natural \); since \(\nu \) is dominant, if \(\alpha \in \Delta ^\natural \) is a simple root then \(\nu (\alpha ^\vee )\ge 0\), hence \((\nu |\alpha )\le 0\) since \((\alpha |\alpha )<0\). In the case \((k+1) \ge 2(\xi |\nu )\) we have to prove that
The non-extremality condition means that \((\nu +\xi )(\theta _i^\vee )\le \frac{2}{(\theta _i|\theta _i)}\left( k+\frac{h^\vee -\bar{h}^\vee _i}{2}\right) \) or
hence it is enough to prove that
Note that \(\theta _i=\xi +\beta _i\), where, as above, \(\beta _i\) is a linear combination with non-negative coefficients of simple roots of \({\mathfrak {g}}^\natural \). Therefore (11.16) can be written as
which is clearly verified, since the left hand side is negative and the right hand side is positive (use the data in Table 2).
Now we prove (11.11). Substituting (11.8) in it we obtain
which is equivalent to
Recall that, even though \({\mathfrak {g}}_{-1/2}\) can be reducible as a \({\mathfrak {g}}^\natural \)-module, all irreducible components have the same highest weight \(\xi \). It follows that
A direct check on Table 4 shows that
Note that, by (11.18) and (11.19)
Therefore, if \((k+1) \le 2(\xi |\nu )\) then
and (11.17) reads
which is clearly true.
Now consider the case
The inequality (11.17) becomes
which is implied by
If \(\gamma =-\xi \), then the left hand side of (11.22) is
hence (11.21) implies that both members of (11.22) are zero.
If \(\gamma \ne -\xi \), then (11.22) is equivalent to
hence, by (11.15), we are done if we prove that
Remark that, since \(\gamma \ne -\xi \), then \(\xi -\gamma =\alpha \in \Delta _+^\natural \cup \{0\}\). If \({\mathfrak {g}}^\natural \) is simple, then \((\nu |\theta _i)\le (\nu |\xi -\gamma )\), hence
and therefore (11.22) is implied by
or
The minimum of the left hand side of (11.25) is obtained when \((\rho ^{\natural }|\gamma )\) is maximum, hence, by (11.19), we are left with proving that
This relation is checked using the data in Tables 1, 2, 3. When \({\mathfrak {g}}^\natural \) is not simple, i.e. \({\mathfrak {g}}=D(2,1;a)\), relation (11.22) is proven directly. We have \(\nu =r\epsilon _2+s\epsilon _3,\,r,s\in {\mathbb {Z}}_+\,\ \gamma =\pm \epsilon _2\pm \epsilon _3,\ \xi =\epsilon _2+\epsilon _3\); if we exclude \(\gamma =-\xi \), (11.22) translates into
according to whether \(\gamma =\epsilon _2+\epsilon _3,\,\epsilon _2,\,\epsilon _3\). The non extremality conditions are
so that (11.28) implies (11.27).
We are left with proving (11.17) when both arguments in the absolute values are non-negative, i.e.
We claim that the conditions \(2(\nu + \rho ^{\natural }|\gamma )+2m(k+h^\vee )\ge 0\) combined with (11.15) force \(m=1/2\) and \(\gamma =-\xi \). Taking this fact for granted, (11.29) reads
which holds by (11.18) and (11.19).
To prove our claim, assume that there is \(m>1/2\) such that
or
Taking (11.15) into account, we are done if we prove that
We have
The next to last inequality in (11.31) follows from Table 2; more precisely, the strict inequality holds in all cases except for spo(2|3). The last inequality in (11.31) uses that \((\nu +\xi |\theta _i)\le 0\). For \({\mathfrak {g}}=spo(2|3)\) the last inequality in (11.31) is strict, hence (11.30) is proven in all cases.
Hence we have necessarily \(m=1/2\) in (11.29). We now prove that if
hold, then (11.15) implies \(\gamma =-\xi \). We proceed case by case.
-
\({\mathfrak {g}}=psl(2|2)\) or spo(2|3). Since \(\gamma \in \{0,\pm \xi \}\), relation (11.32) forces \(\gamma =-\xi \).
-
\({\mathfrak {g}}=spo(2|m),\,m>4.\) In this case \(\nu =\sum _i n_i\epsilon _i, n_1\ge n_2\ge \ldots \ge 0,\ \gamma =\pm \epsilon _i,\ \rho ^\natural =\sum _i (\tfrac{m}{2}-i)\epsilon _i,\) \( \xi =\epsilon _1.\) Then (11.32) reads
$$\begin{aligned} 2\left( \sum _i (n_i+\tfrac{m}{2}-i)|\pm \epsilon _j\right) +k+2-\tfrac{m}{2}\ge 0, \end{aligned}$$or
$$\begin{aligned} \mp (n_j+\tfrac{m}{2}-j)+k+2-\tfrac{m}{2}\ge 0. \end{aligned}$$Since \(k+2-\tfrac{m}{2}\le 0\), we have
$$\begin{aligned} n_j-j+k+2\ge 0. \end{aligned}$$By (11.15)
$$\begin{aligned} k\le -\tfrac{1}{2}n_1-\tfrac{1}{2}n_2-1, \end{aligned}$$therefore
$$\begin{aligned} 0\le n_j-j+k+2\le -\tfrac{1}{2}n_1-\tfrac{1}{2}n_2+n_j-j+1. \end{aligned}$$This relation can be written as
$$\begin{aligned} 0\le \tfrac{n_j-n_1}{2}+\tfrac{n_j-n_2}{2}-j+1, \end{aligned}$$which holds only if \(j=1\), since the \(n_j\) are non-increasing half integers. If \(j=1\) then \(\gamma =-\epsilon _1=-\xi \).
-
\({\mathfrak {g}}=D(2,1;a).\) In this case \(\nu =r\epsilon _2+s\epsilon _3,\,r,s\in {\mathbb {Z}}_+,\, \gamma =\pm \epsilon _2\pm \epsilon _3,\ \rho ^\natural =\epsilon _2+\epsilon _3,\ \xi =\epsilon _2+\epsilon _3,\) and in this case (11.32) becomes
$$\begin{aligned} 2((r+1)\epsilon _2+(s+1)\epsilon _3|\pm \epsilon _2\pm \epsilon _3)+k\ge 0, \end{aligned}$$which gives
$$\begin{aligned} \mp (r+1)\mp (s+1)a+(1+a)k\ge 0.\end{aligned}$$(11.34)Condition (11.15) is
$$\begin{aligned} k\le ((r+1)\epsilon _2+(s+1)\epsilon _3|2\epsilon _2)-\tfrac{1}{1+a},\quad k\le ((r+1)\epsilon _2+(s+1)\epsilon _3|2\epsilon _3)-\tfrac{a}{1+a}, \end{aligned}$$or
$$\begin{aligned} (1+a)k\le -(r+2),\quad (1+a)k\le -(s+2)a. \end{aligned}$$(11.35)The only possibility to fulfill (11.34) and (11.35) at the same time is to take \(\gamma =-\epsilon _2-\epsilon _3=-\xi \).
-
\({\mathfrak {g}}=F(4).\) In this case \(\nu =n_1\epsilon _1+n_2\epsilon _2+n_3\epsilon _3,\,n_1\ge n_2\ge n_3\ge 0,\ \rho ^\natural =\tfrac{5}{2}\epsilon _1+\tfrac{3}{2}\epsilon _2+\tfrac{1}{2}\epsilon _3,\) \( \gamma =\tfrac{1}{2}(\pm \epsilon _1\pm \epsilon _2\pm \epsilon _3), \ \xi =\tfrac{1}{2}(\epsilon _1+\epsilon _2+\epsilon _3)\). Then (11.32) reads
$$\begin{aligned} -\tfrac{2}{3}(\pm (n_1+\tfrac{5}{2})\pm (n_2+\tfrac{3}{2})\pm (n_3+\tfrac{1}{2}))+k-2\ge 0. \end{aligned}$$(11.36)By (11.15) we have
$$\begin{aligned} k\le -\tfrac{2}{3}(n_1+n_2)-\tfrac{4}{3}. \end{aligned}$$(11.37)Write now (11.36) using (11.37)
$$\begin{aligned} 0&\le -\tfrac{2}{3}(\pm (n_1+\tfrac{5}{2})\pm (n_2+\tfrac{3}{2})\pm (n_3+\tfrac{1}{2}))+k-2\\ {}&\le -\tfrac{2}{3}(\pm (n_1+\tfrac{5}{2})\pm (n_2+\tfrac{3}{2})\pm (n_3+\tfrac{1}{2})) -\tfrac{2}{3}(n_1+n_2)-\tfrac{10}{3}\\&\le -\tfrac{2}{3}(\pm n_1-\tfrac{5}{2}\pm n_2-\tfrac{3}{2} \pm n_3-\tfrac{1}{2})-\tfrac{2}{3}(n_1+n_2)-\tfrac{10}{3}\\&=-\tfrac{2}{3}(\pm n_1\pm n_2)-\tfrac{2}{3}(n_1+n_2\pm n_3)-\tfrac{1}{3}. \end{aligned}$$This inequality holds if and only if the minus sign is taken in all occurrences of ±, i.e. \(\gamma =-\xi \).
-
\({\mathfrak {g}}=G(3).\) In this case \(\nu =m(\epsilon _1+\epsilon _2)+n(\epsilon _1+2\epsilon _2),\,m,n\in {\mathbb {Z}}_+,\gamma \in \{0, \pm \epsilon _1,\pm \epsilon _2,\pm (\epsilon _1+\epsilon _2)\},\) \(\rho ^\natural =2\epsilon _1+3\epsilon _2,\ \xi =\epsilon _1+\epsilon _2.\) Then (11.32) reads
$$\begin{aligned}&2((m+n+2)\epsilon _1+(m+2n+3)\epsilon _2|\gamma )+k-\tfrac{3}{2}\ge 0.\end{aligned}$$(11.38)and we can confine ourselves to consider \(\gamma \in \{-\epsilon _1,-\epsilon _2,-\epsilon _1-\epsilon _2\}\). The inequalities corresponding to \(\gamma =-\epsilon _1, \gamma =-\epsilon _2\) are
$$\begin{aligned}&k+\tfrac{m}{2}-1\ge 0, \end{aligned}$$(11.39)$$\begin{aligned}&k+\tfrac{m+3n+1}{2}\ge 0,\end{aligned}$$(11.40)respectively. Relation (11.41) gives
$$\begin{aligned} k\le ((m+n+1)\epsilon _1+(m+2n+1)\epsilon _2|\epsilon _1+2\epsilon _2)-\tfrac{3}{4}. \end{aligned}$$or
$$\begin{aligned} k\le -\tfrac{3}{4}(m + 2 n)-\tfrac{3}{2} \end{aligned}$$(11.41)Substituting (11.39), (11.40), into (11.41) we obtain
$$\begin{aligned}&0\le k+\tfrac{m}{2}-1\le -\tfrac{1}{4}m-\tfrac{3}{2}n-\tfrac{5}{2}, \end{aligned}$$(11.42)$$\begin{aligned}&0\le k+\tfrac{m+3n+1}{2}\le -\tfrac{m}{4}-1, \end{aligned}$$(11.43)respectively. Inequalities (11.42), (11.43) are never verified. Once again we conclude that \(\gamma =-\xi \).
\(\square \)
Let \(H_0\) denote the quantum Hamiltonian reduction functor, from the category \({\mathcal {O}}\) of \(\widehat{{\mathfrak {g}}}\)-modules of level k to the category of \(W^k_{\min }({\mathfrak {g}})\)-modules. Recall that, for a \(\widehat{{\mathfrak {g}}}\)-module M, \(H_0(M)\) is the zeroth homology of the complex \((M\otimes F({\mathfrak {g}},x,f),d_0)\) defined in [18]. Recall that the functor \(H_0\) maps Verma modules to Verma modules [20, Theorem 6.3] and it is exact [2, Corollary 6.7.3]. By [20, Lemma 7.3 (b)], if M is a highest weight module over \(\widehat{{\mathfrak {g}}}\) of highest weight \(\Lambda \in \widehat{{\mathfrak {h}}}^*\), \(H_0(M)\) is either zero or a highest weight module over \(W^k_{\min }({\mathfrak {g}})\) of highest weight \((\nu ,\ell )\) with
Remark 11.7
Let \(L(\Lambda )\) denote the irreducible \(\widehat{{\mathfrak {g}}}\)-module of highest weight \(\Lambda \in \widehat{{\mathfrak {h}}}^*\). By Arakawa’s theorem [2, Main Theorem] \(H_0(L(\Lambda ))\) is either irreducible or zero, and it is zero if and only if \((\Lambda |\alpha _0)=\tfrac{n}{2}(\alpha _0|\alpha _0),\,n\in {\mathbb {Z}}_+\). In particular, if (11.5) holds, then \(H_0({{\overline{M}}}(\widehat{\nu }_h))\) is a non-zero highest weight module of highest weight \((\nu , \ell (h))\), where
For \(\Lambda \in \widehat{{\mathfrak {h}}}^*\), by a slight abuse of notation, we set \(M^W(\Lambda )=H_0(M(\Lambda ))\), where \(M(\Lambda )\) is the Verma module over \(\widehat{{\mathfrak {g}}}\) of highest weight \(\Lambda \). Note that \(M^W(\Lambda )=M^W(\nu ,\ell )\), where \(\nu ,\,\ell \) are given by (11.44).
From now on we assume
-
k is in the unitarity range;
-
\(\nu \in P^+_k\);
-
\(\ell (h)\in {\mathbb {R}}\).
Lemma 11.8
Let \(h,h'\) be the solutions of the equation \(\ell (h)=\ell _0\). If \(({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\delta -\theta )=n\), \(n\in {\mathbb {N}}\), then \(({{\widehat{\nu }}}_{h'}+{{\widehat{\rho }}}|\delta -\theta )\notin {\mathbb {N}}\).
Proof
Recalling that
we see that \(h'=k+1-h\). If \( ({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\delta -\theta )=n\in {\mathbb {N}}\), then
hence \(h=(k+1-n)/2 \) and \(h'=(k+n+1)/2\) so that
\(\square \)
Theorem 11.9
If \(\ell (h)>A(k,\nu )\), then \(H_0({{\overline{M}}}({{\widehat{\nu }}}_h))\) is an irreducible \(W^k_{\min }({\mathfrak {g}})\)-module and its character is
Proof
If \(\ell (h)>A(k,\nu )\), then, by Lemma 11.6
By [20, Lemma 7.3 (c)], (11.47) implies that \(({{\widehat{\nu }}}_h+{{\widehat{\rho }}}|\alpha )\ne \tfrac{n}{2}(\alpha |\alpha )\) for all \(\alpha \in {{\widehat{\Delta }}}^+\setminus ({{\widehat{\Delta }}}^+({\mathfrak {g}}^\natural )\cup \{\delta -\theta \})\). By exchanging h and \(h'\) if \(h\in {\mathbb {N}}\) and applying Lemma 11.8, we find that one can choose h so that (11.5) is satisfied. Hence, by Propositions 8.8 and 11.5, \({{\overline{M}}}({{\widehat{\nu }}}_h)\) is irreducible. By Remark 11.7, \(H_0({{\overline{M}}}({{\widehat{\nu }}}_h))\) is irreducible and non-zero. On the other hand, by Theorem 6.2 of [20], we find that \(H^j(({{\overline{M}}}({{\widehat{\nu }}}_h)\otimes F({\mathfrak {g}},x,f)))=0\) if \(j\ne 0\). Thus, using Euler-Poincaré character, the fact that \(H_0\) maps Verma modules over \(\widehat{{\mathfrak {g}}}\) to Verma modules over \(W^k_{\min }({\mathfrak {g}})\), and (ii) in Proposition 11.5, we find that (11.46) holds. \(\square \)
Recall from Sect. 6 the Heisenberg algebra \({\mathcal {H}}\). Let y be an indeterminate. Define an action of \({\mathcal {H}}_0={\mathbb {C}}a+{\mathbb {C}}K\) on \({\mathbb {C}}[y]\) by letting K act as the identity and a act by multiplication by y. Let M(y) be the corresponding Verma module. This module can be regarded as a \(V^1({\mathbb {C}}a)\)-module by means of the field Y(a, z) defined by setting, for \(m\in M(y)\),
Note also that M(y) is free over \({\mathbb {C}}[y]\) with basis
Recall from Sect. 9 the free field realization \(\Psi :W^k_{\min }({\mathfrak {g}})\rightarrow {\mathcal {V}}^k=V^1({\mathbb {C}}a)\otimes V^{\alpha _k}({\mathfrak {g}}^\natural )\otimes F({\mathfrak {g}}_{1/2})\). If \(\nu \in P^+_k\) is not extremal, recall that we denoted by \(L^\natural (\nu )\) the integrable \(V^{\alpha _k}({\mathfrak {g}}^\natural )\)-module of highest weight \(\nu \). We also let \(v_\nu \) be a highest weight vector of \(L^\natural (\nu )\). Then
is a \({\mathcal {V}}^k\)-module, hence, by means of \(\Psi \), a \(W^k_{\min }({\mathfrak {g}})\)-module. Set
Since \(M(y)\otimes L^\natural (\nu )\otimes F({\mathfrak {g}}_{1/2})\) is free as a \({\mathbb {C}}[y]\)-module, \(N(y,\nu )\) is also free. If \(\mu \in {\mathbb {C}}\), set also
By construction \(N(\mu ,\nu )\) is clearly a highest weight module for \(W^k_{\min }({\mathfrak {g}})\). As shown in Sect. 10, its highest weight is \((\nu ,\ell _0)\) with
Since we are looking for unitary representations, we will always assume that \(\ell _0\in {\mathbb {R}}\).
Lemma 11.10
If \(\ell _0>A(k,\nu )\) then \(N(\mu ,\nu )\) is an irreducible \(W^k_{\min }({\mathfrak {g}})\)-module.
Proof
Choose \(h\in {\mathbb {C}}\) such that \(\ell _0=\ell (h)\). By Theorem 11.9, \(H_0({{\overline{M}}}({{\widehat{\nu }}}_h))\) is an irreducible \(W^k_{\min }({\mathfrak {g}})\)-module, hence there is an onto map \(N(\mu ,\nu )\rightarrow H_0({{\overline{M}}}(\widehat{\nu }_h))=L^W(\ell _0,\nu )\). If \(\ell _0\gg 0\), by the proof of Proposition 10.2, \(N(\mu ,\nu )=L^W(\ell _0,\nu )\). Observe that, since \(\ell _0>A(k,\nu )\), by Lemma 11.6, relations (11.5) hold for our chosen h. It follows from (11.46) that
By (11.44), the highest weight of \(M^W(w.{{\widehat{\nu }}}_h)\) is \((\nu (w,h),\ell _0(w,h))\) where
Since \(w\in {{\widehat{W}}}^\natural \), \((w.{{\widehat{\nu }}}_h)(x)=h\) and \((w.{{\widehat{\nu }}}_h)(d)\) as well as \(\nu (w,h)\) do not depend on h. We can therefore write
It follows that
and
In particular, if \(\ell _0\gg 0\), then
Since \(N(y,\nu )\) is a free \({\mathbb {C}}[y]\)-module, the dimensions of the weight spaces of \(N(\mu ,\nu )\) do not depend on \(\mu \). By (11.50), the coefficents of both sides of (11.49) do not depend on \(\mu \). It follows that (11.49) holds for all \(\mu \). In particular, if \(\ell _0>A(k,\nu )\), by Theorem 11.9,
hence \(N(\mu ,\nu )\simeq H_0({{\overline{M}}}({{\widehat{\nu }}}_h))\) is irreducible. \(\square \)
The lowest energy space of \(N(\mu ,\nu )\) is \(1\otimes 1\otimes V^\natural (\nu )\otimes \textbf{1}\) with \(L_0\) acting by multiplication by \(\ell _0\). This space admits a \(\omega \)-invariant Hermitian form hence there exists a \(\phi \)-invariant Hermitian form \(H(\cdot ,\cdot )\) on \(N(\mu ,\nu )\).
If \({{\widehat{\zeta }}}(y)\in Hom_{{\mathbb {C}}[y]}({\mathbb {C}}[y]\otimes \widehat{{\mathfrak {h}}},{\mathbb {C}}[y])\) is a weight of \(N(y,\nu )\), fix a basis \({\mathcal {B}}_{{{\widehat{\zeta }}}(y)}\) of \(N(y,\nu )_{{{\widehat{\zeta }}}(y)}\). Set \({{\widehat{\zeta }}}={{\widehat{\zeta }}}(\mu )\). Then \(1\otimes {\mathcal {B}}_{{{\widehat{\zeta }}}(y)}\) gives a basis \({\mathcal {B}}_{{{\widehat{\zeta }}}}\) of \(N(\mu ,\nu )_{{{\widehat{\zeta }}}}=\left( {\mathbb {C}}[y]/(y-\mu )\right) \otimes _{{\mathbb {C}}[y]}N(y,\nu )_{{{\widehat{\zeta }}}(y)}\). Let \(det_{{{\widehat{\zeta }}}}(\ell _0)\) be the determinant of the matrix in this basis of the Hermitian form \(H(\cdot ,\cdot )\) restricted to \(N(\mu ,\nu )_{{{\widehat{\zeta }}}}\). Note that \(det_{{{\widehat{\zeta }}}}(\ell _0)\) is a polynomial in \(\ell _0\).
End of proof of Theorem 11.1 and Corollary 11.2
We may assume that the level is not collapsing, so that \(M_i(k)+\chi _i\in {\mathbb {Z}}_+\) by Remark 7.5. Then, by Proposition 10.2, the Hermitian form on \(L^W(\nu ,\ell _0)\) is positive definite for \(\ell _0\gg 0\). By Lemma 11.10, \(N(\mu ,\nu )=L^W(\nu ,\ell _0)\) if \(\ell _0=\tfrac{1}{2}\mu ^2-s_k\mu +\frac{(\nu |\nu +2\rho ^\natural )}{2(k+h^\vee )}>A(k,\nu )\), hence \(det_{{{\widehat{\zeta }}}}(\ell _0)\ne 0\) for all weights \({{\widehat{\zeta }}}\) of \(N(\mu ,\nu )\). It follows that the Hermitian form is positive definite for \(\ell _0>A(k,\nu )\), hence positive semidefinite for \(\ell _0=A(k,\nu )\).
Corollary 11.2 follows from Proposition 8.10 and Theorem 11.1 in the case \(\nu =0\), since \(A(k,0)=0\), and Remark 7.5. \(\square \)
12 Explicit Necessary Conditions and Sufficient Conditions of Unitarity
Looking for the pairs \((\nu ,\ell _0),\ \nu \in {\widehat{P}}^+_k,\ \ell _0\in {\mathbb {R}},\) such that \(L^W(\nu ,\ell _0)\) is a unitary \(W^k_{\min }({\mathfrak {g}})\)-module for k in the unitarity range, we rewrite for each case (excluding the trivial case (1)) the conditions in terms of the parameters \(M_i=M_i(k)\) from Table 2. Namely, we provide the necessary and sufficient conditions of unitarity of \(L^W(\nu ,\ell _0)\) for a non-extremal weight \(\nu \), given by Theorem 11.1, and the necessary condition of unitarity for an extremal weight \(\nu \), given by Proposition 8.8. We also provide explicit expressions for the cocycle \(\alpha _k\) and the central charge c of L. Recall the invariant bilinear form \((.| .)^\natural _i\) on \({\mathfrak {g}}^\natural _i\), introduced in Sect. 7.
12.1 psl(2|2)
In this case \({\mathfrak {g}}^\natural =sl(2)\), \(M_1\in {\mathbb {N}}\) and \(\alpha _k=(M_1-1)(\,.\,|\,.\,)^\natural _1\). If \(\nu =r\theta _1/2\), with \(r\in {\mathbb {Z}}_{\ge 0}\) (i.e. \(\nu \) is dominant integral), and \(r\le M_1-1\), then the necessary and sufficient condition for unitarity is
If \(r=M_1\), then then necessary condition is \(\ell _0=M_1/2\).
The central charge is \(c=-6(k+1)=6M_1\).
12.2 spo(2|3)
In this case \({\mathfrak {g}}^\natural =sl(2)\), \(M_1\in {\mathbb {N}}\) and \(\alpha _k=(M_1-2)(\,.\,|\,.\,)^\natural _1\). If \(\nu =r\theta _1/2=r\alpha /2\), with \(r\in {\mathbb {Z}}_{\ge 0}, r\le M_1-2\), then the necessary and sufficient condition for unitarity is
If \(M_1-1\le r \le M_1\), then then necessary condition is \(\ell _0=r/4\).
The central charge is \(c=-6 k-\frac{7}{2}=\tfrac{3}{2}M_1-\tfrac{1}{2}\).
12.3 spo(2|m), \(m>4\)
In this case \({\mathfrak {g}}^\natural =so(m)\), \(M_1\in {\mathbb {N}}\) and \(\alpha _k=(M_1-1)(\,.\,|\,.\,)^\natural _1\). If \(\nu \) is dominant integral, \(\nu (\theta _1^\vee )\le M_1-1\), then the necessary and sufficient condition for unitarity is
where \(r=(\omega _1|\nu )^\natural \), and \(\omega _1\) is the highest weight of the standard representation of so(m).
If \(\nu (\theta _1^\vee )=M_1\), the necessary condition is that equality must hold in (12.1).
The central charge is \(c=\frac{M_1 \left( m^2+6 M_1-10\right) }{2 (m+M_1-3)}=-\frac{(2 k+1) \left( 12 k-m^2+16\right) }{4 k-2 m+8}\).
12.4 \(D(2,1;\frac{m}{n})\), \(m,n\in {\mathbb {N}}\), m, n coprime
In this case \({\mathfrak {g}}^\natural ={\mathfrak {g}}^\natural _1\oplus {\mathfrak {g}}^\natural _2\) with \({\mathfrak {g}}^\natural _i\simeq sl(2)\), and
If \(\nu =\tfrac{r_1}{2}\theta _1+\tfrac{r_2}{2} \theta _2\) is dominant integral with \(r_i\le M_i(k)-1\), then the necessary and sufficient condition for unitarity is
If \(r_i=M_i\) for some i, then the necessary condition is that equality must hold in (12.2). The central charge is \(c=6\frac{(M_1+1)(M_2+1)}{M_1+M_2+2}-3=-3(1+2k)\).
12.5 F(4)
In this case \({\mathfrak {g}}^\natural =so(7)\), \(M_1\in {\mathbb {N}}\) and \(\alpha _k=(M_1-1)(\,.\,|\,.\,)^\natural .\) If \(\nu (\theta _1^\vee )\le M_1-1\), then the necessary and sufficient condition for unitarity is
where we write \(\nu =r_1\epsilon _1+r_2\epsilon _2+r_3\epsilon _3\) with \(\epsilon _i\) as in Table 1. If \(\nu (\theta _1^\vee )=M_1\), then the necessary condition is that equality must hold in (12.3).
The central charge is \(c=\frac{2 M_1 (2 M_1+11)}{M_1+4}=-\frac{2 (k-3) (3 k+2)}{k-2}\).
12.6 G(3)
In this case \({\mathfrak {g}}^\natural =G_2\), \(M_1\in {\mathbb {N}}\) and \(\alpha _k=(M_1-1)(\,.\,|\,.\,)^\natural .\) If \(\nu (\theta _1^\vee )\le M_1-1\), then the necessary and sufficient condition for unitarity is
where we write \(\nu =r_1\epsilon _1+r_2\epsilon _2\) with \(\epsilon _i\) as in Table 1. If \(\nu (\theta _1^\vee )=M_1\), then the necessary condition is that equality must hold in (12.4).
The central charge is \(c=\frac{M_1 (9 M_1+31)}{2 (M_1+3)}=\frac{-24 k^2+26 k+33}{4 k-6}\).
13 Unitarity for Extremal Modules Over the N = 3, N = 4 and big N = 4 Superconformal Algebras
A module \(L^W(\nu ,\ell _0)\) for \(W^k_{\min }({\mathfrak {g}})\) is called extremal if the weight \(\nu \) is extremal (see Definition 8.7). In this section we give a partial solution of Conjecture 2 for some \({\mathfrak {g}}\). Namely, \({\mathfrak {g}}\) will be either spo(2|3), or psl(2|2), or D(2, 1; a), so that \(W^k_{\min }({\mathfrak {g}})\) is related to the \(N=3,\,N=4\) and big \(N=4\) superconformal algebra, respectively. Recall from [20, Section 8] that in these cases, up to adding a suitable number of bosons and fermions, it is always possible to make the \(\lambda \)-brackets between the generating fields linear, hence the span of their Fourier coefficients gets endowed with a Lie superalgebra structure, called the \(N=3,\, N=4\) and big \(N=4\) superconformal algebra respectively.
Recall that, by Proposition 8.8, for each extremal weight \(\nu \) there is at most one \(\ell _0\) for which the extremal module \(L^W(\nu ,\ell _0)\) is unitary, hence for each extremal \(\nu \) it suffices to construct one such unitary module.
13.1 \({\mathfrak {g}}=spo(2|3)\)
Consider \(W^k_{\min }(spo(2|3))\) and the Lie conformal superalgebra \(R=({\mathbb {C}}[\partial ]\otimes {\mathfrak {a}})\oplus {\mathbb {C}}K\), where \({\mathfrak {a}}\) is an 8-dimensional superspace with basis \({{\tilde{L}}}, {{\tilde{G}}}^\pm ,{{\tilde{G}}}^0, J^\pm , J^0,\Phi , \) where \({{\tilde{L}}}, J^\pm , J^0\) are even and \({{\tilde{G}}}^\pm ,{{\tilde{G}}}^0,\Phi \) are odd, and the following \(\lambda \)-brackets
Furthermore \({{\tilde{G}}}^\pm ,{{\tilde{G}}}^0, J^\pm , J^0,\Phi \) are primary for \({{\tilde{L}}}\) of conformal weight \(\tfrac{3}{2},\tfrac{3}{2},1,1,\tfrac{1}{2}\), respectively.
The \(N=3\) superconformal algebra \({\mathcal {W}}_{N=3}^k\) is \(V(R)/(K-(k+\tfrac{1}{2})\textbf{1})\), where V(R) is the universal enveloping vertex algebra of R. Let \(F_\Phi \) be the fermionic vertex algebra generated by an odd element \(\Phi \), with \(\lambda \)-braket \([{\Phi }_{\lambda }\Phi ]=-(k+\tfrac{1}{2})\textbf{1}\). Then there is a conformal vertex algebra embedding
given by (cf [20, §8.5])
Extend the conjugate linear involution \(\phi \) to \(W^k_{\min }(spo(2|3))\otimes F_\Phi \) setting \(\phi (\Phi )=-\Phi \). Recall from [16] that the unique \(\phi \)-invariant Hermitian form on \(F_\Phi \) is positive definite. Also recall that the tensor product of invariant Hermitian forms is still invariant; in particular if we prove that \(L^W(\nu ,\ell _0)\otimes F_\Phi \) is unitary for \({\mathcal {W}}_{N=3}^k\), then \(L^W(\nu ,\ell _0)\) is a unitary \(W^k_{\min }(spo(2|3))\)-module. Recall that, for \(a,b\in V(R)\), the modes of a, b have a Lie superalgebra structure given by
Observe that the span \({\mathcal {L}}\) of \({{\tilde{L}}}_n, \tilde{G}^\pm _m,{{\tilde{G}}}^0_m, J_n^\pm , J^0_n,\Phi _m, K,\,n\in {\mathbb {Z}}, m\in \tfrac{1}{2}+{\mathbb {Z}},\) is a Lie superalgebra. If M (resp. \(M'\)) are modules for \({\mathcal {W}}_{N=3}^k\) (resp. \({\mathcal {W}}_{N=3}^{k'}\)), then \(M\otimes M'\) inherits an action of \({\mathcal {L}}\) which makes \(M\otimes M'\) a \({\mathcal {W}}_{N=3}^{k+k'+\tfrac{1}{2}}\)-module. Clearly, if both \(M,M'\) are unitary, then \(M\otimes M'\) is unitary. The argument used in the next proposition generalizes the one used for the oscillator representation of the Virasoro algebra in [17, §3.4].
Proposition 13.1
Let \(M_1=-4k-2\in {\mathbb {N}}\). Then the extremal \(W^k_{\min }(spo(2|3))\)-modules \(L^W(\tfrac{M_1-1}{2}\alpha ,\tfrac{M_1-1}{4})\), \(L^W(\tfrac{M_1}{2}\alpha ,\tfrac{M_1}{4})\) are both unitary, where \(\alpha \) is the simple root of \({\mathfrak {g}}^\natural =sl_2\).
Proof
To make the argument more transparent we make explicit the dependence on k, so we write \(L(k,\nu ,\ell _0)\) for the \(W^k_{\min }(spo(2|3))\)-module \(L^W(\nu ,\ell _0)\). Recall that \(\nu =r\alpha /2\).
We proceed by induction on \(M_1\). The base case \(M_1=1\) corresponds to the collapsing level \(k=-3/4\), when \(W_{-3/4}^{\min }(spo(2|3))=V_1(sl_2)\). Recall that \(V_1(sl_2)\) has only two irreducible modules \(N_1\) and \(N_2\), which are both unitary and have highest weights \(\nu =0\) and \(\nu =\alpha /2\) respectively. Recall from § 12.2 that if \(M_1-1\le r \le M_1\), then the necessary condition for unitarity is \(\ell _0=M_1/4\). Hence \(N_1\) and \(N_2\) are \(L(-3/4,0,0)\) and \(L(-3/4,\alpha /2,1/4)\). Set \(k_1=-\tfrac{M_1+1}{4}\). Assume by induction that \(L(k_1,\tfrac{M_1-2}{2}\alpha ,\tfrac{M_1-2}{4})\) and \(L(k_1,\tfrac{M_1-1}{2}\alpha ,\tfrac{M_1-1}{4})\) are unitary. Then \(M=L(k_1,\tfrac{M_1-2}{2}\alpha ,\tfrac{M_1-2}{4})\otimes F_\Phi \) is unitary for \({\mathcal {W}}_{N=3}^{k_1}\) and \(M'=L(-3/4,\alpha /2,1/4)\otimes F_\Phi \) is unitary for \({\mathcal {W}}_{N=3}^{-3/4}\). Therefore \(M\otimes M'\) is unitary for \({\mathcal {W}}_{N=3}^{k_2},\,k_2=k_1-\tfrac{3}{4}+\tfrac{1}{2}=-\tfrac{M_1+1}{4}-\tfrac{3}{4}+\tfrac{1}{2}=-\tfrac{M_1}{4}-\tfrac{1}{2}=k\). In particular, the \(W^{k}_{\min }(spo(2|3))\)-module generated by \(v_{\tfrac{M_1-2}{2}\alpha ,\tfrac{M_1-2}{4}}\otimes \textbf{1}\otimes v_{\tfrac{\alpha }{2},\tfrac{1}{4}}\otimes \textbf{1}\) is unitary, and its weight is \((\tfrac{M_1-1}{2}\alpha ,\tfrac{M_1-1}{4})\), as required.
Repeating this argument with \(L(k_1,\tfrac{M_1-1}{2}\alpha ,\tfrac{M_1-1}{4})\otimes F_\Phi \) proves the unitarity of \(L(k,\tfrac{M_1}{2}\alpha ,\tfrac{M_1}{4})\). \(\square \)
13.2 \({\mathfrak {g}}=psl(2|2)\)
We choose strong generators \(J^0,J^\pm ,G^\pm ,{{\bar{G}}}^\pm ,L\) for \(W^{k}_{\min }(psl(2|2))\) as in [20, §8.4]. We can choose the generators so that, if \(\phi \) is the almost compact involution corresponding to the real form described in Sect. 4, then
The \(\lambda \)-brackets among these generators are linear, hence their Fourier coefficients span the \(N=4\) superconformal algebra. It is therefore enough to prove unitarity of the extremal module \(L^W(\theta _1/2,1/2)\) at level \(k=-2\), since all the other extremal modules at level \(k<-2\) are obtained by iterated tensor product of \(L^W(\theta _1/2,1/2)\).
The unitarity of \(L^W(\theta _1/2,1/2)\) is proved by constructing this module as a submodule of a manifestly unitary module. This is achieved by using the free field realization of \(W^{-2}_{\min }(psl(2|2))\) given in [3], in terms of four bosonic fields and four fermionic fields, which we now describe. Let \({\mathcal {F}}\) be the vertex algebra generated by four even fields \(a^i, 1\le i \le 4\) and four odd fields \(b^i, 1\le i \le 4\) with \(\lambda \)-bracket
There is an homomorphism \(FFR:W^{-2}_{\min }(psl(2|2))\rightarrow {\mathcal {F}}\) given by
We define a conjugate linear involution \(\psi \) on \({\mathcal {F}}\) by
so that, according to [16, §5.1,5.2], there is a \(\psi \)-invariant positive definite Hermitian form \(H_{{\mathcal {F}}}\) on \({\mathcal {F}}\). It is clear from (13.1) that \(\psi \circ FFR=FFR\circ \phi \). Using FFR we can define an action of \(W^{-2}_{\min }(psl(2|2))\) on \({\mathcal {F}}\). Since \(H_{{\mathcal {F}}}\) is invariant with respect to the conformal vector FFR(L), it follows that \({\mathcal {F}}\) is a unitary \(W^{-2}_{\min }(psl(2|2))\)-module. An easy calculation shows that \(v=b^1+\sqrt{-1}b^2\) is a singular vector for \(W^{-2}_{\min }(psl(2|2))\), thus v generates a unitary highest weight representation \(L^W(\nu ,\ell _0)\) of \(W^{-2}_{\min }(psl(2|2))\). Clearly \(FFR(L)_0v=\tfrac{1}{2}v\), while \(J^0v=v\), hence \(\nu =\tfrac{1}{2}\theta _1\) and \(\ell _0=\tfrac{1}{2}\). This proves that the highest weight module corresponding the extremal weight \(\nu =\tfrac{1}{2}\theta _1\) is indeed unitary.
13.3 \({\mathfrak {g}}=D(2,1; \tfrac{m}{n})\)
In this case we are able to prove unitarity only in the very special case when either \(m=1\) of \(n=1\).
If \(n=1\), then the unitarity range is \(\{-\tfrac{m}{m+1}N\mid N\in {\mathbb {N}}\}\). Take \(N=1\) and observe that \(W^{-\tfrac{m}{m+1}}_{\min }(D(2,1; m))\) collapses to \(V_{m-1}(sl(2))\). In this case there is only one extremal weight \(\nu =\tfrac{m-1}{2}\alpha _2\), which gives rise to a unitary representation since it is integrable. The case \(m=1\) is dealt with in a similar way, switching the roles of \(\alpha _2,\alpha _3\).
14 Characters of the Irreducible Unitary \(W^k_{\min }({\mathfrak {g}})\)-Modules
Recall that, for \(\Lambda \in \widehat{{\mathfrak {h}}}^*\), we denoted by \(M^W(\Lambda )\) the Verma module \(M^W(\nu ,\ell )\), where \((\nu ,\ell )\) is given by (11.44). It follows from [20, (6.11)], that
where \(q=e^{(0,1)}\) and
In particular,
where \(\ell (h)\) is given by (11.45).
The characters of unitary \(W^k_{\min }({\mathfrak {g}})\)-modules \(L^W(\nu ,\ell _0)\) are computed by applying the quantum Hamiltonian reduction to the irreducible highest weight \(\widehat{{\mathfrak {g}}}\)-modules \(L({{\widehat{\nu }}}_h)\), where \(\nu \in P^+_k\) and \(\ell _0=\ell (h)\), and using the argument in the proof of Theorem 11.9, which is based on Remark 11.7. There are two cases to consider in computation of their characters. First, if the weight \({{\widehat{\nu }}}_h\) is typical, i.e. conditions (11.5) hold, then \(ch\,L({{\widehat{\nu }}}_h)\) is given by the R.H.S. of (11.6), by Proposition 11.5.
The second case occurs when the weight \({{\widehat{\nu }}}_h\) satisfies the condition
where \(\Pi _{{{\bar{1}}}}\) denotes the set of simple isotropic roots of \({\mathfrak {g}}\). Then the weight \({{\widehat{\nu }}}_h\) is maximally atypical, and \(L({{\widehat{\nu }}}_h)\) is integrable, hence the following formula is a special case of [7, Formula (14)] if \({\mathfrak {g}}\ne D(2,1;\frac{m}{n})\) and of [7, Section 6.1] if \({\mathfrak {g}}= D(2,1;\frac{m}{n})\) and \(\nu =0\):
where R equals the character of the Verma module M(0) over \({{\widehat{{\mathfrak {g}}}}}\) with highest weight 0.
Theorem 14.1
Let k be in the unitary range and let \(\nu \in P^+_k\). Let \(L^W(\nu ,\ell _0)\) be a unitary irreducible \(W^k_{\min }({\mathfrak {g}})\)-module. Choose h so that \(\ell (h)=\ell _0\) and let, as before,
-
(i)
If \(\ell _0>A(k,\nu )\), then
$$\begin{aligned} ch L^W(\nu ,\ell _0)=\sum _{w\in {{\widehat{W}}}^\natural }det(w)ch M^W(w.{{\widehat{\nu }}}_h). \end{aligned}$$(14.5) -
(ii)
If \(\ell _0=A(k,\nu )\), and \(\nu =0\) if \({\mathfrak {g}}=D(2,1;\frac{m}{n})\), then
$$\begin{aligned} ch L^W(\nu ,\ell _0)=\sum \limits _{w\in \widehat{W}^\natural }\sum _{\gamma \in {\mathbb {Z}}_+\Pi _{{{\bar{1}}}}}(-1)^{\gamma }det(w)ch M^W(w.({{\widehat{\nu }}}_h-\gamma )), \end{aligned}$$(14.6)where \(\Pi _{{{\bar{1}}}}=\{\gamma _1,\gamma _2,\ldots \}\) is the set of isotropic simple roots for \({\mathfrak {g}}\), and for \(\gamma =n_1\gamma _1+\cdots \), we write \((-1)^\gamma =(-1)^{n_1+\cdots }\).
Proof
Formula (14.5) follows from (11.46). Formula (14.6) follows from (14.4) by applying quantum Hamiltonian reduction to the \(\widehat{{\mathfrak {g}}}\)-module \(L({{\widehat{\nu }}}_h)\). In order to use (14.4), write explicitly the relation \(\ell _0=\ell (h)=A(k,\nu )\). We have
or
Hence either \(h=(\xi |\nu )\) or \(h=1+k-(\xi |\nu )\). We observe that if \(\alpha \in \Pi _{{\bar{1}}}\), then, restricted to \({\mathfrak {h}}^\natural \), it coincides with \(-\xi \), hence \((\xi |\nu )=-(\alpha |\nu )\), and also \((\theta |\alpha )=1\). Therefore, for \(h=(\xi |\nu )\) we have
Hence we may apply (14.4). Note that \(H_0(L({{\widehat{\nu }}}_h))\ne 0\) since \(({{\widehat{\nu }}}_h|\alpha _0)<0\), so that we can apply Remark 11.7.\(\square \)
Remark 14.2
It is still an open problem whether in the case \({\mathfrak {g}}=D(2,1;\tfrac{m}{n})\) formula (14.4) holds for an arbitrary \(\nu \in P^+_k\).
Remark 14.3
For the \(N=4\) superconformal algebra, formula (14.5) appears, in a different form, in [4, formula (14)], where it has been derived in a non-rigorous way. To establish a dictionary to match the two formulas first observe that a parameter y occurs in the formulas of [4] corresponding to an extra U(1)-symmetry that we do not consider, hence, to compare the formulas, we set \(y=1\). Next recall that in this case \({\widehat{W}}^\natural \) is of type \(A_1^{(1)}\), hence its elements are of the form \(u_i=\underbrace{s_0s_1\cdots }_{i \text { factors}}\) or \(u'_i=\underbrace{s_1s_0\cdots }_{i \text { factors}}\) (set \(u_0=u'_0=Id\)). In the notation of [4], the pairs \((a_n,b_n)\) corresponding to the \(\alpha \)-series (resp. \(\beta \)-series) in formula (12) of [4] match exactly the pairs \((\nu ,\ell )\) given in (11.44) for the weight \(\Lambda =u_i.{{\widehat{\nu }}}_h\) (resp. \(\Lambda =u'_i.{{\widehat{\nu }}}_h\)). The factor \(F^{NS}(\theta ,1)\) translates precisely to (14.3) according to the dictionary
The character formula (14.6) corresponds to the formula (26) in [4] for the character of “massless” representations. To show this, we first remark that, if \(\gamma \in {\mathbb {Z}}_+\Pi _{{{\bar{1}}}}\), then
where \((\nu ,\ell )\) is given by (11.44). In particular
hence, using formula (14.1),
and we obtain that
Since \(\theta \) is orthogonal to \(({{\widehat{{\mathfrak {h}}}}}^\natural )^*\) (where \({{\widehat{{\mathfrak {h}}}}}^\natural ={\mathbb {C}}K+{\mathbb {C}}d+{\mathfrak {h}}^\natural \)), we can apply the formulas of [12, Chapter 6] to \( {{\widehat{{\mathfrak {g}}}}}^\natural \) and its Weyl group. Since, in our case, \({{\widehat{\nu }}}_h+{{\widehat{\rho }}}=k\Lambda _0+(h-\tfrac{1}{2})\theta +(r+\tfrac{1}{2})\eta _1\), \(r\in \tfrac{1}{2}{\mathbb {Z}}_+\), we have, for \(m\in {\mathbb {Z}}\),
and, if \(\alpha \in \Pi _{\bar{1}}\),
Since \(s_1=s_{\eta _1}\), it follows that
and
Substituting (14.7) into (14.6), recalling that \(M_1(k)=-k-1\), we obtain
which, under our dictionary, corresponds to formula (26) of [4] in the NS sector.
For \(W^k_{\min }(spo(2|3))\), formula (14.5) appears (with a non-rigorous proof) in [21, formula (4.3)]. Again, in this case \({\widehat{W}}^\natural \) is of type \(A_1^{(1)}\)and its elements are of the form \(u_i\) or \(u'_i\) (notation as above). The pairs \((l_n,h_n)\) displayed in [21, (4.2.a),(4.2.b)], corresponding to the A-series (resp. B-series), match exactly the pairs \((\nu ,\ell )\) given in (11.44) for the weight \(\Lambda =u_i.\widehat{\nu }_h\) (resp. \(\Lambda =u'_i.{{\widehat{\nu }}}_h\)). The denominator \(F^{NS}(q,z)\) in [21, (3.15.i)] translates precisely to (14.3) according to the dictionary
In the massless case, the character formula (14.6) corresponds to formula (4.6.1) in [21], hence Theorem 14.1 provides a proof of it, since formula (14.4) holds in this case, due to [7, Subsection 12.3].
Note added in proof: Conjecture 4 has been proved in a joint paper with Drazen Adamović.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
See Note added in proof.
See Note added in proof.
References
Adamović, D., Kac, V.G., Frajria, P.M., Papi, P., Perše, O.: Conformal embeddings of affine vertex algebras in minimal \(W\)-algebras I: structural results. J. Algebra 500, 117–152 (2018)
Arakawa, T.: Representation theory of superconformal algebras and the Kac–Roan–Wakimoto conjecture. Duke Math. J. 130, 435–478 (2005)
Eguchi, T., Taormina, A.: Unitary representations of the \(N=4\) superconformal algebra. Phys. Lett. B 196, 75–81 (1987)
Eguchi, T., Taormina, A.: Character formulas for the \(N=4\) superconformal algebra. Phys. Lett. B 200, 315–322 (1988)
Eguchi, T., Taormina, A.: On the unitary representations of \(N=2\) and \(N=4\) superconformal algebras. Phys. Lett. B 210, 125–132 (1988)
Gorelik, M., Kac, V.G.: On simplicity of vacuum modules. Adv. Math. 211, 621–677 (2007)
Gorelik, M., Kac, V.G.: Characters of (relatively) integrable modules over affine Lie superalgebras. Jpn. J. Math. 10, 135–235 (2015)
Gorelik, M., Kac, V.G., Frajria, P.M., Papi, P.: Denominator identities for finite-dimensional Lie superalgebras and Howe duality for compact dual pairs. Jpn. J. Math. 7, 41–134 (2012)
Iohara, K., Koga, Y.: Central extensions of Lie superalgebras. Comment. Math. Helv. 76, 110–154 (2001)
Jantzen, J.C.: Kontravariante Formen auf induzierten Darstellungen halbeinfacher Lie-Algebren. Math. Ann. 226, 53–65 (1977)
Kac, V.G.: Lie superalgebras. Adv. Math. 26, 8–96 (1977)
Kac, V.G.: Infinite-dimensional Lie algebras, Cambridge University Press, Cambridge, third ed (1990)
Kac, V.G., Kazhdan, D.A.: Structure of representations with highest weight of infinite-dimensional Lie algebras. Adv. Math. 34(1), 97–108 (1979)
Kac, V.G., Frajria, P.M., Papi, P.: Unitarity of minimal \(W\)–algebras. arXiv:2012.14643
Kac, V.G., Frajria, P.M., Papi, P.: Yangians versus minimal \(W\)-algebras: a surprising coincidence. Commun. Contemp. Math., 23 (2021), Paper No. 2050036, 36 pp
Kac, V.G., Frajria, P.M., Papi, P.: Invariant Hermitian forms on vertex algebras. Commun. Contemp. Math., 24 (2022), Paper No. 2150059, 41 pp
Kac, V.G., Raina, A.K.: Bombay lectures on highest weight representations of infinite-dimensional Lie algebras. Advanced Series in Mathematical Physics, vol. 2. World Scientific Publishing Co., Inc, Teaneck, NJ (1987)
Kac, V.G., Roan, S.-S., Wakimoto, M.: Quantum reduction for affine superalgebras. Commun. Math. Phys. 241, 307–342 (2003)
Kac, V.G., Wakimoto, M.: Integrable highest weight modules over affine superalgebras and number theory, in Lie theory and geometry, vol. 123 of Progr. Math., Birkhäuser Boston, MA, 415–456 (1994)
Kac, V.G., Wakimoto, M.: Quantum reduction and representation theory of superconformal algebras. Adv. Math. 185, 400–458 (2004)
Miki, K.: The representation theory of the \({\rm SO}(3)\) invariant superconformal algebra. Int. J. Mod. Phys. A 5, 1293–1318 (1990)
Serganova, V.V.: Automorphisms of simple Lie superalgebras. Izv. Akad. Nauk SSSR Ser. Mat. 48, 585–598 (1984)
Acknowledgements
V.K. is partially supported by the Stephen Berenson mathematical exploration Fund and the Simons collaboration Grant. The authors thank Drazen Adamović, Thomas Creutzig and Anne Taormina for correspondence. The authors are grateful to Maria Gorelik for many very useful and enlightening discussions.
Funding
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interests
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Communicated by Y. Kawahigashi.
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
Kac, V.G., Möseneder Frajria, P. & Papi, P. Unitarity of Minimal W-Algebras and Their Representations I. Commun. Math. Phys. 401, 79–145 (2023). https://doi.org/10.1007/s00220-023-04637-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04637-5