VOAs labelled by complex reflection groups and 4d SCFTs

We define and study a class of N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 2 vertex operator algebras WG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal{W}}_{\mathrm{G}} $$\end{document} labelled by complex reflection groups. They are extensions of the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 2 super Virasoro algebra obtained by introducing additional generators, in correspondence with the invariants of the complex reflection group G. If G is a Coxeter group, the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 2 super Virasoro algebra enhances to the (small) N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 superconformal algebra. With the exception of G = ℤ2, which corresponds to just the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 algebra, these are non-deformable VOAs that exist only for a specific negative value of the central charge. We describe a free-field realization of WG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal{W}}_{\mathrm{G}} $$\end{document} in terms of rank(G) βγbc ghost systems, generalizing a construction of Adamovic for the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 algebra at c = −9. If G is a Weyl group, WG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal{W}}_{\mathrm{G}} $$\end{document} is believed to coincide with the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 VOA that arises from the four-dimensional super Yang-Mills theory whose gauge algebra has Weyl group G. More generally, if G is a crystallographic complex reflection group, WG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal{W}}_{\mathrm{G}} $$\end{document} is conjecturally associated to an N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 3 4d superconformal field theory. The free-field realization allows to determine the elusive “R-filtration” of WG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal{W}}_{\mathrm{G}} $$\end{document}, and thus to recover the full Macdonald index of the parent 4d theory.


Introduction and summary
Any four-dimensional N = 2 superconformal field theory (SCFT) contains a subsector isomorphic to a vertex operator algebra (VOA) [1]. This 4d/2d correspondence (see [2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20] for some further developments) promises to become an organizing principle for the whole landscape of N = 2 SCFTs. The aspiration is to combine the rigid associativity constraints of VOAs with additional physical requirements, such as unitary of the 4d theory, in order to constrain and ideally classify the set of N = 2 SCFTs. 1 To make inroads into this program, it may be fruitful to start with theories that enjoy enhanced supersymmetry. The map of [1] associates to a generic N = 2 SCFTs a conformal VOA whose Virasoro subalgebra has central charge c = −12c 4d , where c 4d is the (Weyl) 2 conformal anomaly coefficient. If the 4d SCFT has N = 3 or N = 4 supersymmetry, the associated VOA is supersymmetric, containing an N = 2 or (small) N = 4 super Virasoro subalgebra, respectively. With this broad motivation in mind, we have undertaken a systematic study of the classes of N = 2 and N = 4 VOAs that arise from 4d SCFTs. In this paper we describe a uniform construction of all the known examples (and, as we shall see, of additional examples, some of which are unlikely to have a four-dimensional interpretation). Our aim here is descriptive rather than taxonomic. The general classification program outlined above will require different methods, and is left for future work.
A central class of examples are the VOAs associated to the N = 4 super Yang-Mills (SYM) theories. The N = 4 4d theory SYM g with gauge algebra g descends to an N = 4 VOA χ[SYM g ] with central charge c = −3 dim(g). As the 4d theory has a Lagrangian description, one can apply the methods of [1] to give a description of the associated VOA, as a subalgebra of dim(g) copies of the βγbc ghost system. The subalgebra is defined by passing to the cohomology of a certain nilpotent operator Q BRST built in terms of the βγbc ghosts. While giving in principle a complete definition of the VOA, this description is cumbersome and redundant. The calculation of the requisite BRST cohomology is a JHEP05(2019)155 difficult problem that so far has only be solved in examples, by brute force level-by-level calculation up to some maximum conformal weight. The simplest example is the VOA associated to N = 4 SYM theory with gauge algebra sl (2). There is strong evidence [1] that χ[SYM sl (2) ] coincides with the small N = 4 superVirasoro algebra with central charge c = −9. More generally, for a simple Lie algebra g = sl(2), χ[SYM g ] is an extension of Vir N =4 obtained by introducing additional strong generators. The list of generators includes one short superprimary of Vir N =4 for each Casimir invariant of g. 2 A concrete description χ[SYM g ] as a W-algebra (i.e., in terms of the singular OPE of its strong generators), becomes more and more involved as the rank of g increases. We have found such a W-algebra description for a few low rank cases, see section 4 and 5, but it seems very difficult to find such an explicit presentation in the general case. Instead, the main subject of this paper is a proposal for a novel free-field realization of these VOAs, much simpler and more explicit than the cohomological description of [1]. Our new freefield realization is in terms rank(g) copies of the βγbc ghost system. There is a heuristic understanding of these free fields as corresponding to the low-energy degrees of freedom of the 4d theory at a generic point on its Higgs branch of vacua. This physical picture will be discussed elsewhere [25]: it appears to be much more general, possibly valid for all VOAs that arise from N = 2 SCFTs.
Our proposal generalizes to all g a construction of Adamovic [26], who exhibited a free-field realization of Vir N =4 with c = −9 (in our framework, the g = sl(2) case) in terms of a single βγbc system. The Vir N =4 VOA with c = −9 contains a large set of null vectors, and a remarkable feature of Adamovic's construction is that they identically vanish when expressed in terms of the free fields. In other terms, this is a construction of the simple quotient of the VOA. We find strong evidence that our generalization to χ[SYM g ] shares the same property.
A notable corollary of our proposal is a compelling conjecture for the "R-filtration" of this class of VOAs. As we review in detail below, any VOA that descends from a 4d N = 2 SCFT inherits a filtration associated to the 4d R-symmetry quantum number -the details of the cohomological construction of [1] imply that while R is in general not preserved by the OPE, it can at most decrease. The R-filtration is of paramount importance in extracting four-dimensional physical information from the VOA, but it is completely hidden in an abstract W-algebra presentation. By contrast, our free-field realizations come equipped with a natural filtration, which coincides with the R-filtration in all examples that we have been able to check.
Curiously, we overshot our initial target, finding a larger set of N = 4 VOAs than originally expected. We found free-field constructions for N = 4 VOAs W Γ labelled by a general Coxeter group Γ. So far, we have described the situation when Γ is the Weyl group Weyl(g) of a simple Lie algebra g, hence both Coxeter and crystallographic. 3 Our basic contention is that W Weyl(g) = χ[SYM g ]. However, our construction goes through even if 2 Additional generators which are long superprimaries of VirN =4 are needed for some choices of g, as we shall discuss in detail below. (By a short/long superprimary we mean the superprimary of a short/long superconformal multiplet). 3 A group is called crystallographic if it preserves a lattice [27,28].

JHEP05(2019)155
Complex reflection groups k v Y F y R N b J w w r H U n 8 K X p Z l g Z S h h M 3 T D V I D E Z 4 R g y n G g 9 S a K p d 5 5 g M 9 T L X i 7 + 5 3 V S M 7 j p Z p T L 1 A A n d s R 6 g 5 R 5 R n j 5 O b w + V b Y T m 1 i C i a J 2 s 0 e G W G F i G y 2 9 p I H j B P S l 1 x 9 T q e e 8 m 8 1 / Y O r a 7 s F y 0 1 X S r J S D q 3 J w X y l V / c U V C u g U n a E L F K B r V E W 3 q I 4 a i K B n 9 I Y + 0 K f z 5 L w 6 M + f 9 Z 3 T N W W R O 0 B 8 4 X 9 + M B 6 l X < / l a t e x i t > Weyl groups < l a t e x i t s h a 1 _ b a s e 6 4 = " 0 M y e x 1 C i f V F + O k 3 2 D d y H q P 5 b 2 w E = " > A A A C C n i c b Z D L S s N A F I Y n X m u 8 R V 2 6 G S y C i J S k L n R Z c O O y g r 1 A E 8 p k c p o O n U z C z K Q Q Q t 7 A h c / i Q h A X u n D j I / g 2 p j U u b P 1 X P + c 7 F / 7 j J 5 w p b d t f x s r q 2 v r G Z m 3 L 3 N 7 Z 3 d u 3 D g 6 7 K k 4 l h Q 6 N e S z 7 P l H A m Y C O Z p p D P 5 F A I p 9 D z 5 / c z H h v C l K x W N z r L A E v I q F g I 0 a J L k t D 6 9 z 1 I W Q i p y A 0 y M L s Q c a x 6 + J Q x m m i T B d E 8 M u G V t 1 u 2 H P h Z e N U p o 4 q t Y f W p x v E N I 3 K c c q J U g P H T r S X E 6 k Z 5 V C Y b q o g I X R C Q s h J p F Q W + Q U + j Y g e q 0 U 2 K / 7 H B q k e X X s 5 E 0 m q Q d C y p W S j l G M d 4  Γ is not crystallographic, in which case W Γ does not have any obvious four-dimensional interpretation. Clearly, it cannot descend from a 4d SYM theory. Even if one is willing to entertain the possibility that the SYM theories do not exhaust the set of 4d N = 4 SCFTs, the conventional wisdom is that none of them can give rise to W Γ if Γ is a noncrystallographic Coxeter group. Indeed, as we explain below, the moduli space of vacua of the putative parent 4d theory would be the orbifold R 6n /Γ, where n is the rank of Γ, but general consistency conditions on the low-energy effective theory restrict Γ to be crystallographic [23,29]. 4 This whole circle of ideas admits a natural extension to a class of VOAs W G ⊃ W Γ , labelled by a general complex reflection group G. These vertex algebras are extensions of the N = 2 superVirasoro algebra by additional generators, including one short superprimary for each of the fundamental invariants of G. Their central charge is fixed in terms of the degrees of the primitive invariants of G, see (1.4). We propose a free-field construction of the simple quotient of these algebras in terms of rank(G) βγbc ghost systems. If (and only if) G = Γ is a Coxeter group, its lowest fundamental invariant has degree two, and the corresponding short generator of the VOA induces an enhancement of the superconformal algebra from N = 2 to N = 4, so that we recover the construction of W Γ discussed above. If G is a crystallographic complex reflection group (which is not a Coxeter group), W G may descend via the map of [1] from an N = 3 4d SCFT (which is not an N = 4 SCFT). Many examples of N = 2 VOAs associated to N = 3 SCFTs have been described in the literature [30,31], and we are able to identify each of them with W G for some choice of G. An Euler-Venn diagram of complex reflection groups is presented in figure 1.
In summary, we have found a uniform construction for: (i) All the VOAs that descend from currently known N = 3 and N = 4 4d SCFTs. They are labelled by Weyl groups in the N = 4 case and by a subset of the crystallographic complex reflection groups in the N = 3 case.
(ii) Additional VOAs, labelled by the remaining crystallographic complex reflection groups, which are candidates for 4d uplifts to N = 3 SCFTs, but whose 4d counterparts are currently unknown.

JHEP05(2019)155
(iii) VOAs labelled by non-crystallographic Coxeter and complex reflection groups, which presumably do not correspond to standard 4d theories.
Perhaps the most interesting open question is whether abstract bootstrap methods can lead to a rigorous classification of all N ≥ 2 VOAs that descend from N ≥ 3 4d SCFTs. The bootstrap constraints would have to incorporate intrinsic 4d conditions, such as 4d unitarity. The simplest conjecture generalizing all available data is that the complete list of such VOAs coincides with W G with G crystallographic, as well as of the additional VOAs obtained from the above set by performing discrete quotients (see, e.g., [29,32]). We have made some preliminary progress in this direction, which we will report in an upcoming publication [33]. We preview some our findings in the outlook subsection of this introduction.

Main results
In this work we study a class of N = 2 VOAs labelled by complex reflection groups. By an N = 2 VOA we mean a VOA that contains the N = 2 superconformal algebra (SCA) as a subalgebra. The N = 2 SCA is generated by the stress tensor, together with an affine gl(1) current and two supercurrents. The global part of the N = 2 SCA is osp(2|2), and it is natural to organize the operator content of our VOAs into representations of osp(2|2). We will discuss osp(2|2) representations in more detail in section 2.1 and in appendix A, but for the purposes of the present introduction, it suffices to recall they are labelled by two quantum numbers (h, m), which are the conformal dimension and the gl(1) charge of the highest weight state in the multiplet. Representations with h = ±m obey a shortening condition, and are referred to as chiral, anti-chiral, respectively. A representation with h = |m| will be referred to as non-chiral.
The class of VOAs that we analyze in this work are extensions of the N = 2 SCA obtained by introducing additional strong generators. The additional strong generators, as well as several other interesting properties of the VOAs under examination, are intimately related to the theory of invariants of the complex reflection group G. Therefore, before we proceed, we need to introduce some algebraic structures related to complex reflection groups.
Let G be a complex reflection group, regarded as a subgroup of GL(V G ) with V G ∼ = C rank(G) . According to the Chevalley-Shephard-Todd theorem, the ring of invariants C[V G ] G is a freely generated polynomial ring. The generators of the ring C[V G ] G are usually referred to as the fundamental invariants of G. Their number equals the rank of G, and their degrees are denoted p , with = 1, . . . , rank(G). For example, the rank-one complex reflection group G = Z p has a unique fundamental invariant of degree p 1 = p. If we introduce the coordinate z on V Zp ∼ = C, the action of Z p on V Zp is simply z → e 2πi/p z, and the ring of invariants C[V Zp ] Zp is freely generated by z p . For our purposes, we need to consider the canonical symplectic variety associated to the action of G on V G . More precisely, let us define the variety

JHEP05(2019)155
where V * G denotes the dual of the vector space V G . The space V G ⊕ V * G admits a canonical symplectic structure, 5 which is preserved by the action of G. We also define the ring associated to M G , As opposed to the ring C[V G ] G , the ring R G is not freely generated. For instance, in the case G = Z p , we may parametrize the G action on V G ⊕ V * G as (z,z) → (e 2πi/p z, e −2πi/pz ). The ring R G is then generated by the monomials j = zz, w = z p ,w =z p , subject to the relation ww = j p .
As M G admits a natural GL(1) × GL(1) action, the ring R G can always be given a presentation in terms of generators and relations, each possessing definite quantum numbers (h, m) under the GL(1) × GL(1) action. The generators with h = m are in 1-to-1 correspondence with the fundamental invariants of G. Our normalization of the quantum numbers h, m is such that h = m = p /2 for the -th fundamental invariant of G. For any complex reflection group G, there is a unique generator with (h, m) = (1, 0). 6 In the example of G = Z p , the quantum numbers of the generators j, w,w are (1, 0), ( p 2 , p 2 ), ( p 2 , − p 2 ), respectively. We refer the reader to section 2.2 for more information on the general case.
We are now in a position to articulate our main proposal. Given a complex reflection group G, we claim that there exists an N = 2 VOA, denoted W G , satisfying the properties (i)-(vii) listed below. Before giving the list of properties, we would like to caution the reader that we do not have a general existence proof for W G , but we have nonetheless gathered a considerable amount of evidence in favor of our proposal. In particular, in the case in which the complex reflection group is the Weyl group of a semisimple Lie algebra, one can resort to the BRST construction of [1] to demonstrate the existence of W G . Beyond Weyl groups, we have a fully explicit construction of W G for the infinite series G = I 2 (p) and G = Z p , as well as for all rank-three Coxeter groups, and the rank-two complex reflection group G(3, 1, 2) (whose definition is recalled in section 5.2). We now give the list of properties enjoyed by W G : (i) W G is a simple N = 2 VOA that is strongly generated by a finite number of operators. 7 All strong generators of W G are organized in multiplets of osp(2|2).
(ii) Chiral and anti-chiral multiplets of strong generators of W G come in pairs, which are in 1-to-1 correspondence with the fundamental invariants of G. The quantum numbers of the chiral/anti-chiral pairs are (h, m) = (p /2, ±p /2), with = 1, . . . , rank(G), where p are the degrees of the fundamental invariants of G. 5 The symplectic structure ω is defined by where x1,2 ∈ V G , and ξ1,2 ∈ V * G . 6 If e , = 1, . . . , rank(G) is a basis of V G , and e denotes the dual basis of V * G , this generator has the form rank(G) =1 e e . Moreover, this generator is the moment map for the GL(1) action with quantum number m. 7 This means that any element of W G can be obtained by taking linear combinations of normal ordered products of derivatives of the strong generators. Furthermore, all null composites constructed in such a way from the strong generators are modded out in W G . All strong generators are non-null operators.

JHEP05(2019)155
(iii) For each generator of the ring R G with GL(1)×GL(1) quantum numbers (h, m), there is an osp(2|2) multiplet of strong generators of W G , labelled by the same quantum numbers.
Because of point (ii), this observation is trivial if h = ±m, but it is non-trivial for generators of R G with h = |m|, which are mapped to non-chiral multiplets of strong generators of W G . 8 The unique generator of R G with (h, m) = (1, 0) is mapped to the set of generators of the N = 2 SCA.
(iv) The central charge of W G is given by where p are the degrees of the fundamental invariants of G.
(v) W G can be realized as a subalgebra of rank(G) copies of a standard βγbc system. We may write βγbc denotes a standard βγbc system, endowed with its canonical N = 2 superconformal structure labelled by the quantum number p . More explicitly, each tensor factor M (p ) βγbc comes with a free-field realization of the N = 2 SCA, in which the quantum numbers of the free fields in M (p ) βγbc are determined by p , see table (3.4). For G = Z 2 , the free-field realization (1.5) of W G coincides with the one given in [26].
Crucially, we claim that the above free-field realization is a realization of W G regarded as simple quotient of the span of the strong generators. More explicitly, we propose that all null states built from the strong generators are automatically identically zero in the free-field realization. This has been proven for G = Z 2 in [26].
(vi) Thanks to the free-field realization of point (v) above, we have a natural way to associate a Poisson algebra to W G . This is achieved by means of the map where M (G)cl βγ denotes the Poisson algebra of polynomials in the indeterminates β , γ , with = 1, . . . , rank(G), with each pair (β , γ ) regarded as a pair of canonically conjugate variables. The image of an operator O in W G under the map P is obtained starting from the free-field realization of O and setting to zero all derivatives and all factors of b , c , = 1, . . . , rank(G). More details on the map P are found in section 3.4. The image of W G under the map P is a Poisson subalgebra P(W G ) of JHEP05(2019)155 M (G)cl βγ . We propose that P(W G ) is isomorphic to the ring of invariants R G , regarded as a Poisson algebra, (vii) Following the general construction of [34], one can define the vector subspace C 2 (W G ) ⊂ W G and the commutative Zhu algebra W G /C 2 (W G ). The latter is naturally endowed with the structure of a Poisson algebra. Crucially, W G /C 2 (W G ) needs not be a reduced ring, i.e. W G /C 2 (W G ) may contain nilpotent elements. One can mod out nilpotent elements of W G /C 2 (W G ) and obtain a reduced ring, denoted (W G /C 2 (W G )) red . The latter is still a Poisson algebra. We propose the following Poisson algebra isomorphism, In particular, this means that the associated variety to W G , in the sense of [34], is precisely the variety M G defined in (1.1).
In the case of a complex reflection group that is also a Coxeter group, the structure of the corresponding VOA is richer. In what follows, we reserve the symbol Γ for a Coxeter group.
First of all, supersymmetry is enhanced from N = 2 to small N = 4. The small N = 4 SCA is generated by the stress tensor, an sl(2) triplet of affine currents, and two sl(2) doublets of supercurrents. The explicit embedding of the N = 2 SCA into the small N = 4 SCA is given in (2.8). The global part of the small N = 4 SCA is psl(2|2). Multiplets of psl(2|2) are labelled by a pair (h, j), where h is the conformal dimension and j is the sl(2) spin of the highest weight state. Multiplets with h = j obey a shortening condition, and are referred to as short in what follows. Generic multiplets with h > j are referred to as long multiplets. We refer the reader to section 2.1 and appendix A for more information.
Recall that Coxeter groups are characterized within complex reflection groups by the property of possessing exactly one fundamental invariant of degree two. By virtue of point (ii) above, it follows that the VOA W Γ associated to a Coxeter group Γ has exactly one chiral/anti-chiral pair of strong generators with h = ±m = 1. This chiral/anti-chiral pair combines with the set of generators of the N = 2 SCA to give a short multiplet of psl(2|2) that encompasses all generators of the small N = 4 SCA.
This phenomenon extends to all chiral/anti-chiral pair of multiplets of strong generators of W Γ . More precisely, each chiral/anti-chiral pair in N = 2 language is paired with non-chiral N = 2 multiplets to give a short multiplet of psl(2|2). Crucially, not all N = 2 non-chiral multiplets are necessarily paired with chiral/anti-chiral pairs in the enhancement to small N = 4 supersymmetry. As a result, the VOA W Γ generically admits long multiplets of strong generators.
The supersymmetry enhancement at the level of the VOA is mirrored by an enhancement of the isometry group of the variety M G . Indeed, if G is a Coxeter group Γ, the variety (1.1) admits an alternative presentation,

JHEP05(2019)155
where Γ acts trivially on the C 2 factor. In the above expression, we have implicitly identified the Coxeter group Γ with a subgroup of The presentation (1.9) makes it manifest that the GL(1) × GL(1) action is enhanced to a GL(2) ∼ = GL(1) × SL(2) action. It follows that the ring R Γ associated to M Γ admits a presentation in terms of generators and relations with a definite GL(1) weight h and SL(2) spin j. The simplest example of Coxeter group is Γ = Z 2 . In this case, the generators j, w,w (introduced above for Z p ) all have the same weight and form a triplet of SL (2). The relation ww = j 2 is a singlet of SL(2). Let us summarize how points (i)-(iii) above can be rephrased in the Coxeter case.
(i) W Γ is a simple VOA with small N = 4 supersymmetry that is strongly generated by a finite number of operators. All strong generators of W Γ are organized in multiplets of psl(2|2).
(ii) Short multiplets of strong generators of W Γ are in 1-to-1 correspondence with the fundamental invariants of Γ. The quantum numbers of the short multiplets of strong generators are h = j = p /2, with = 1, . . . , rank(G), where p are the degrees of the fundamental invariants of Γ. The short multiplet containing the generators of the small N = 4 SCA is in correspondence with the fundamental invariant of Γ of degree two.
(iii) Upon expressing generators and relations of the ring R Γ in a GL(2) covariant way, for each GL(2) multiplet of generators of R Γ with quantum numbers (h, j), there is a psl(2|2) multiplet of strong generators of W Γ , labelled by the same quantum numbers.
Because of point (ii) above, this observation is trivial if h = j, but it is non-trivial for generators of R Γ with h = j, which are mapped to long multiplets of strong generators of W Γ .
The points (iv) to (vii) in the list of properties in the complex reflection case are specialized to the Coxeter case with obvious modifications. In particular, we still have a free-field realization of W Γ , in which all null states are automatically zero.

Connection with 4d physics
The class of VOAs labelled by complex reflection groups that we have described in the previous section constitutes a rich and novel set of VOAs, worth studying in its own right. We now come back to our original motivation for the study of these 2d algebraic structures, which is rooted in the analysis of 4d SCFTs. We propose that the class of VOAs W G 9 If G is a complex reflection group, and g ∈ G, the action of g on

10)
where z ∈ V G ,z ∈ V * G , and M ∈ GL(V G ) ∼ = GL(rank(G), C). If G is a Coxeter group Γ, for any g ∈ Γ the matrix M can be taken to be real and orthogonal, M T,−1 = M , making it manifest that M acts on the GL(2) doublet (z,z).

JHEP05(2019)155
associated to complex reflection groups G provides a unified framework to describe VOAs originating from 4d SCFT with N ≥ 3 via the map of [1].
In a generic 4d N = 2 SCFT, there is no obvious relation between the geometries of the Coulomb and Higgs branches. If the theory has N ≥ 3 supersymmetry, however, the geometry of the Higgs branch is modeled after the geometry of the Coulomb branch. This is a consequence of the fact that both branches are subspaces of the full moduli space of the theory, which is highly constrained by N ≥ 3 supersymmetry.
Let us explain this point in more detail. The moduli space of a 4d N = 3 theory is parametrized by the expectation value of scalars in N = 3 vector multiplets, which are identical to N = 4 vector multiplets. Therefore, the moduli space of a 4d N ≥ 3 has real dimension 6r, where r is the rank of the SCFT, and is locally flat. Upon selecting an N = 2 subalgebra of the N ≥ 3 superconformal symmetry, the moduli space geometry is reformulated in terms of a Coulomb branch and a Higgs branch. Let us assume that the Coulomb branch can be written globally as a quotient of C r by a discrete group, C r /G. The analysis of [23,29] then reveals that G must be a crystallographic complex reflection group, whose rank equals the rank r of the SCFT. Moreover, if the Coulomb branch is C r /G, N ≥ 3 supersymmetry implies that the Higgs branch must coincide with the variety (1.1) (recall V G ∼ = C r ).
Let us now consider the VOA associated to the SCFT. According to the conjecture of [13], the associated variety to the VOA must coincide with the Higgs branch of the 4d theory, which is the variety (1.1). Moreover, we know from [1] that the 2d central charge c 2d must be given by c 2d = −12 c 4d , where c 4d is the (Weyl) 2 trace anomaly coefficient. On the other hand, in any 4d N ≥ 3 SCFT, the two trace anomaly coefficients are equal, a 4d = c 4d [35]. Furthermore, we can use the Shapere-Tachikawa formula [36,37] to relate them to the dimensions of the Coulomb branch generators D , = 1, . . . , r, By assumption, the Coulomb branch is C r /G, which implies that the dimensions of the Coulomb generators coincide with the degrees of the fundamental invariants of G, D = p , = 1, . . . , r. It follows that the central charge of the VOA is given by the formula (1.4). The above considerations provide strong evidence that, if we start with a 4d N ≥ 3 SCFT with Coulomb branch C r /G, with G a crystallographic complex reflection group of rank r, the associated VOA is precisely the VOA W G described in section 1.1. Conversely, it seems natural to expect that, for any crystallographic complex reflection group G, the VOA W G should originate from a 4d N ≥ 3 SCFT.
In table 1 we list all irreducible crystallographic complex reflection groups. 10 If G is a crystallographic complex reflection group that is also Coxeter, i.e. a Weyl group, the identification of the parent 4d theory for the VOA W G is straightforward: it is simply 4d N = 4 SYM with the appropriate gauge algebra g, such that G = Weyl(g). If we
consider a crystallographic complex reflection group that is not Coxeter, the putative 4d parent theory in the sense of [1] should be a genuine N = 3 SCFT. For some of the entries in table 1 the parent N = 3 theory has been identified in [30,38,39]. 11 It would be interesting to confirm or rule out the existence of parent N = 3 theories for all other entries of table 1.

JHEP05(2019)155
Any VOA arising from a 4d SCFT via the construction of [1] is equipped with the so-called "R-filtration" [13], which originates from the sl(2) R symmetry of the parent 4d N ≥ 2 SCFT. While natural from a 4d perspective, the R-filtration does not seem to be intrinsic to the VOA in any obvious way. For instance, given an abstract presentation of the VOA in terms of its strong generators and the singular OPEs among them, it is not clear in general how to recover the R-filtration. This is a pressing problem, since the R-filtration is instrumental in achieving a detailed understanding of the map from 4d to 2d operators, which in turn is pivotal in many applications of the VOA technology to 4d physics.
In this work, we propose a simple solution to the problem of the R-filtration for all VOAs that admit a 4d origin via the map of [1], and at the same time can be identified with one of the VOAs W G for some complex reflection group G. In this case we can utilize the free-field construction to define a filtration of W G , which will be referred to as R-filtration. This filtration is specified in a simple way by assigning weights to the free field "letters" β , γ , b , c , = 1, . . . , rank(G), see (6.22). We propose the identification of this novel R-filtration with the sough-for R-filtration, and we perform several tests of this proposal.
The identification of R-filtration and R-filtration allows us to recover the Macdonald limit of the superconformal index of the parent 4d theory from the corresponding VOA. This is achieved with the refinement the vacuum character of the VOA by the R-filtration.

Outlook
The main goal of this work is to provide a unified description of a large class of supersymmetric VOAs, which includes all known VOAs originating from 4d SCFTs with N ≥ 3 via the map of [1]. A full classification of all VOAs with N = 2 or small N = 4 supersymmetry is a more ambitious task, which would require different tools. One way to address the classification problem consists in posing and trying to solve suitable supersymmetric VOA bootstrap problems. We plan to report progress in this direction in an upcoming paper [33].
A simple example of VOA bootstrap problem is the following. Consider a VOA with small N = 4 supersymmetry, and suppose it is strongly generated by the generators of the small N = 4 SCA, together with additional strong generators, organized in a single short psl(2|2) multiplet with prescribed quantum numbers h = j = p/2. 12 We may then ask: for a given p ≥ 3, for which values of the central charge c does the VOA exist? To address this question, one tries to determine the singular OPEs of the strong generators in such a way that all axioms of a bona fide VOA are satisfied. The outcome of this analysis is that the VOA exists in three cases: for any integer p ≥ 3 ; (1.12) 12 The highest weight state of this short psl(2|2) multiplet is always assumed to be Grassmann even.

JHEP05(2019)155
The interpretation of case (A) is clear: the VOA is the VOA W I 2 (p) associated to the Coxeter group I 2 (p), which is discussed in detail in section 4.2 below. The VOAs of cases (B) and (C) cannot be identified with any VOA W Γ with Γ Coxeter group. We do have, however, an interpretation for case (B) in terms of a quotient of the VOA W I 2 (p/2) associated to the Coxeter group I 2 (p/2). More precisely, the VOA W I 2 (p/2) admits a Z 2 automorphism, and we propose the identification of the VOA of case (B) with W I 2 (p/2) /Z 2 . A first trivial check of this proposal is the value of the central charge; more non-trivial checks can be performed by analyzing null states in the VOA. As far as the VOA of case (C) is concerned, we restrict ourselves to the simple observation that, since its central charge is positive, it cannot originate from any unitary 4d SCFT via the map of [1]. Another simple VOA bootstrap problem we can address is the following. Consider a small N = 4 VOA, which is by assumption strongly generated by the generators of the small N = 4 SCA, together with additional generators, organized in two short psl(2|2) multiplets with given quantum numbers h = j = p 1 /2 and h = j = p 2 /2. 13 Once again, we imagine to fix p 1 ≤ p 2 , and we investigate if there is any value of c for which the VOA exists. We find that the VOA exists only in four cases:  We can interpret all these four cases in terms of VOAs associated to a Coxeter group. The VOAs in the cases (a), (b), (c) are the VOAs As a final comment, we have studied similar VOA bootstrap problems involving more strong generators. The picture emerging from the bootstrap analysis is compatible with the expectation that the VOAs labelled by Coxeter groups introduced in this work exhaust the complete list of (small) N = 4 W-algebras with certain "good" properties. The fundamental question of identifying such properties will be addressed in [33].

Preliminaries
In the first part of this section, we briefly review some basic features of the N = 2 and small N = 4 SCAs and of their representation theory. In the second part of this section, we collect some standard material on Coxeter and complex reflection groups. In particular, we describe their ring of invariants in the cases of interest for applications in the the rest of the paper.
Unless otherwise stated, all Lie (super)algebras in this work are understood to be Lie (super)algebras over the complex numbers.

N = 2 and small N = 4 SCAs
The small N = 4 super-Virasoro algebra is generated by affine sl(2) currents J 0,± , a stress tensor T , and four fermionic operators G ± and G ± . The bosonic sub-VOA has OPEs the OPE between T and J express the fact that J 0,± are Virasoro primaries of conformal dimension h = 1, see appendix A. The level and the central charge are related as The fermionic generators are Virasoro and affine Kac-Moody (AKM) primaries with weights h = 3 2 and j = 1 2 . Their OPE takes the form where +− = 1, J ±± = J ± and J +− = J −+ = 1 2 J 0 . The remaining OPE among fermionic generators are regular. The small N = 4 SCA possesses an SL(2) outer automorphism that rotates G and G as a doublet and acts trivially on the bosonic generators. We denote by 14 GL(1) r the corresponding Cartan generator, normalized as r[G] = 1 2 , r[ G] = − 1 2 . In order to avoid keeping track of sl(2) indices we use a standard index free notation by introducing the auxiliary variable y and write where we omitted the explicit z-dependence of the operators. Because of the auxiliary variable y, we often refer to the sl(2) R-symmetry of the small N = 4 SCA as sl(2) y . In contrast, the conformal algebra sl(2) on the Riemann sphere with coordinate z will be referred to as sl(2) z . More details are given in appendix A. The N = 2 SCA can be defined as the sub-VOA of the small N = 4 SCA generated by The remaining generators of the small N = 4 SCA, namely (J + , G + ) and (J − , G − ), are N = 2 chiral and anti-chiral multiplets respectively.

JHEP05(2019)155
Algebra Quantum numbers of s.c.p. X Shortening conditions Notation Table 2. Representations of psl(2|2) and osp(2|2) that appear in this work. We use X to the denote the superconformal primary, or s.c.p. for short. The symbol G ↑ X denotes the descendant of X with weight h + 1 2 and spin j + 1 2 obtained by acting once with the supercharge G. The notation G · X stands for the descendant of X with weight h + 1 2 and charge m + 1 2 obtained by acting once with the supercharge G. Similar remarks apply to G ↑ X, G · X. More details on our notation can be found in appendix A.
The global part of the small N = 4 and N = 2 SCA are psl(2|2) and osp(2|2) respectively. 15 The representations of psl(2|2) and osp(2|2) relevant for this work are summarized in table 2. The bosonic subalgebra of psl(2|2) is sl(2) z ⊕ sl(2) y , and representations are labelled by the conformal dimension h and the (half-integer) spin j of the superconformal primary. The bosonic subalgebra of osp(2|2) is sl(2) z ⊕ gl(1), and representations are labelled by the conformal dimension h and the (half-integer) gl(1) charge m of the superconformal primary.
Finally we recall the definition of super-Virasoro primary. The operator O is a super-Virasoro primary if the OPE of any super-Virasoro generator with O does not contain any pole of order higher than one, with the obvious exception of the order-two pole in the T O OPE, which encodes the conformal weight. The first order poles in the OPEs of the super-Virasoro generators with O encode the action of the global part of the SCA. See appendix A for more details.
Notation. Occasionally we will use the following notation for poles in the OPE: (2.9) We will also use (A B) n to represent be the completion of {A B} n to a quasiprimary, i.e. an sl(2) z primary. The object (A B) n is obtained from {A B} n by adding z-derivatives of higher-order poles in the AB OPE, the explicit formula is given in (A.7). See e.g. [42] for details. Concerning the sl(2) y structures, we will use the notation (A B) j for the spin j projection of the relevant product of A with B, see appendix A for more details. Finally, given a quasiprimary X of sl(2) y with spin j, we introduce the shorthand notation for its supersymmetric descendant (2.10) 15 In fact, the small N = 4 and N = 2 SCAs can be obtained by quantum Drinfeld-Sokolov reduction of the Lie superalgebras psl(2|2) and osp(2|2), respectively, see [41]. This is consistent with the fact that the small N = 4 and N = 2 SCAs exist for any value of the central charge c. 5,6,8,9,12 (4, 0), 9 2 Table 3. The notation for Coxeter groups is such that when restricting to Weyl groups one has the identification A = Weyl(a), B = Weyl(b) and so on. Moreover, the Weyl group G 2 appears as G 2 = I 2 (6). Recall that Weyl(b n ) = Weyl(c n ). The asterisk * above indicates that only long generators whose conformal weight h is smaller than the lightest relation are listed. These are the one that can be extracted unambiguously from the associated Hilbert series but there might be more generators. The . . . in the D n series are given explicitly for 4 ≤ n ≤ 9 in equation (B.4). See appendix B.1 for more details.

JHEP05(2019)155
This is the quasiprimary in the order-one pole of the OPE of G with X, projected onto the component with spin j − 1 2 . Similar remarks apply to the operations G ↑ and G ↑,↓ .

Coxeter groups, complex reflection groups, rings of invariants
We will now describe the symplectic varieties (1.9) and (1.1) and the associated ring of functions in more detail. The case of Coxeter groups is described first, the generalization to complex reflection groups is presented in the end of this section. Let us start by fixing a basis of V Γ to be z 1 , . . . , z r , where r = rank(Γ). The action of the (finite) Coxeter group Γ on the real vector space V Γ is generated by reflections. This can be taken to be the definition of Coxeter group. Their full list is given by the Weyl groups of finite dimensional semisimple Lie algebras ABCDEF G together with I 2 (p), H 3 , H 4 , see table 3 for more details. The expression for the central charge given in (1.4) can be rewritten as where |Φ Γ | is the cardinality of the root system associated to Γ. The main ring of interest in the following is the ring of invariant polynomials in two sets of variables z ± where the Coxeter group acts independently on z + i and z − i . This ring carries the action of GL(2) = SL(2) × GL (1), where z ± transform as a doublet under SL(2) and have the same JHEP05(2019)155 GL(1) weight. This ring is thus graded by m, the eigenvalues of the Cartan of SL (2), and The ring R Γ has an alternative description in terms of generators and relations. Let us present the simplest example of Γ = Weyl(a 1 ) = Z 2 , whose action is generated by σ · z ± 1 = −z ± 1 . In this case the invariants are j ± = z ± 1 z ± 1 and j 0 = 2z + 1 z − 1 with the obvious relation j + j − = 1 4 j 0 j 0 . For groups Γ of higher rank giving an explicit description of this type is more involved but in principle straightforward. We do so in the low rank examples of I 2 (p), A 3 , B 3 , H 3 and comment on the general case in appendix B.1. One can develop an opinion about the set of generators and relations by considering the Hilbert series of R Γ that we will now review.
Hilbert series. The (refined) Hilbert series of R Γ is defined as (2.13) In the case of ring of invariants as (2.12) the Hilbert series can be computed by averaging over Γ the Hilbert series of the freely generated ring C[z + , z − ]. This is the content of the Molien formula where |Γ| is the order of Γ. The simplest example is given by .
In this formula the denominator can be interpreted as the contribution of the generators j + , j − , j 0 defined above and the subtraction of the terms τ 4 in the numerator corresponds to the relation j + j − = 1 4 j 0 j 0 . While it is not possible in general to extract the set of generators and relations, together with their h, m quantum numbers, from the series (2.13) alone, one can show that certain generators and relations must be present, see e.g. [43]. This can be done efficiently by using the so-called plethystic logarithm. The expressions are collected in appendix B.1 and the resulting set of generators is given in table 3. For convenience of the reader we collect the expression for Molien generating functions for all Coxeter groups in a Mathematica file which can be found as supplementary material. It should be noticed that the generators of R Γ can be divided in two groups: one consisting of elements with quantum numbers h = j, which will be referred to as short generators, and the other with quantum numbers h > j, which will be referred to as long generators. We do not give a complete list of long generators for general Γ but list generators whose existence can be shown unambiguously using the Molien series (2.14). The result is collected in table 3.
Symplectic structure. The ring R Γ possesses the important property of being a Poisson algebra with Poisson bracket

JHEP05(2019)155
where IJ is antisymmetric and normalized as +− = 1 while η ij is symmetric and nondegenerate. This implies that (1.9) is a symplectic variety. It is straightforward to compute the Poisson bracket of the generators of R Γ using (2.16). In the simple example of Γ = Z 2 this gives the Lie algebra of SL (2). For higher rank this procedure will produce an extension of it. A priori, there is no canonical choice for the set of generators, but there is a distinguished one originating from the associated VOA. We remark that when long generators are present they can be generated by Poisson brackets of short generators, as the example of D 4 given in section 4.4 illustrates.
Complex reflection groups. The case of complex reflection groups is very similar so we will be brief. The first important difference is that the GL(1) × SL(2) symmetry of the Coxeter case is reduced to GL(1) × GL(1). The Molien formula is a slight generalization of (2.14) to .
( 2.17) Finally the generalization of Poisson brackets (2.16) uses the canonical pairing between V G and its dual V * G .
Remark. One might refer to (2.12) as the Higgs branch chiral rings. It contains a subring defined as the graded component with h = m. The latter can be referred to as Coulomb branch chiral ring and is a freely generated polynomial ring. This is the content of a famous theorem of Chevalley, Shephard and Todd states that the ring of invariants C[V ] G is a freely generated polynomial ring if and only if G acts as a complex reflection group on V . These finite groups have been classified by Shephard and Todd, see e.g. [44].

Free-field realizations
This section is devoted to our proposal for a free-field realization of the VOAs associated to Coxeter and complex reflection groups.

Realization of the N = 2 SCA in terms of βγbc systems
To begin with, we present a free-field realization of the N = 2 SCA. According to our proposal, the relevant free fields consist of r = rank(G) copies of a free βγbc system. The relevant non-trivial OPEs are simply where 1 , 2 run from 1 to r and δ 1 2 denotes the Kronecker delta. The generators of the N = 2 SCA take a simple expression in terms of the free fields, consisting of a direct sum JHEP05(2019)155 of terms, one for each copy of the βγbc system. More precisely, The quantities p are the degrees of the invariants of the Coxeter group. The central charge of the N = 2 SCA is given by compare to (1.4). The conformal weights h, the gl(1) charges m and the gl(1) r charge r defined below (2.6) of the free fields are summarized in table (3.4). The charge m is normalized in such a way that h = m for chiral primary operators. Notice that, although the combined βγbc system contains states of negative conformal dimension, all states have a non-negative "twist" h − m. Furthermore, the space of states with given twist and charge is finite-dimensional.
A comment on normal-ordered products in the βγbc system is in order. In all equations in (3.2), the juxtaposition of free fields is understood as their {· ·} 0 normal-ordered product, see (2.9). More generally, let X 1 , . . . , X n stand for any of the free fields β, γ, b, c, or any z-derivative thereof. A natural object is the nested normal-ordered product Since we are considering a free theory, and since the X i are (derivatives of) free fields, in the normal-ordered product : X 1 X 2 . . . X n : we are free to permute the factors X i , up to Grassmann signs, exactly as we would do in a supercommutative algebra. For instance This allows to write compactly : β ∂β γ 3 : without ambiguities. Notice that such manipulations are not allowed in a generic VOA. For the sake of brevity, we omit the colons from the normal-ordered products in the rest of this work.

Realization of the remaining generators in the N = 4 case
Let us first discuss the case of the N = 4 VOA W Γ associated to a Coxeter group Γ. As outlined in section 1.1, the set of strong generators of this VOA includes elements transforming in short representations S p 2 of the global conformal algebra psl(2|2), see table 2. Among these, there is a distinguished invariant of degree two which corresponds to the generators of the small N = 4 super-Virasoro VOA. This will be labelled by = 1 so that p 1 = 2. The remaining short generators are denoted as 16 W . A notable feature of the proposed free-field realization is that the highest weight states of the short generators are identified with βs, see (3.1), more precisely . Two remarks are in order. First notice that the (h, m) weights assignment of these object is consistent by construction, see table (3.4). The N = 2 subalgebra, embedded as specified by (2.8), is realized as in (3.2). The second remark is that each pair (β , b ) forms an N = 2 chiral multiplet as (3.7) indicates.
The next generator that needs to be constructed is J − , the sl (2) affine Kac-Moody current with weight m = −1, see section 2.1. Once this operator is constructed one can build the whole N = 4 super-conformal multiplets to which (3.7) belong by taking appropriate poles in the OPE with J − and its N = 2 partner G − . Next, one takes the OPE of the generators obtained in this way. If W Γ does not have long generators, see table 3, the latter OPE needs to close on the generators that have already been constructed. If long generators are present, they will be defined by the failure of these OPE to close on the short generators. An example of this mechanism, which is already at play at the classical level when closing the Poisson brackets of the short generators of the ring R Γ , is given for the example of D 4 in section 4.4.
In order to construct J − , we build an Ansatz and impose necessary conditions that this operator must obey. The construction goes as follows: 1. Construct the most general Ansatz for J − in terms of the βγbc free fields. There is always a finite number of terms in the Ansatz. This is easy to verify by recalling that J − has weights h = 1, h − m = 2 and by staring at weight assignments of the constituent free fields given in table (3.4).

2.
Impose that the small N = 4 algebra closes, this is equivalent to: a. Linear constraints: J − is an anti-chiral N = 2 super-Virasoro primary of weight h = 1 and its OPE with J + closes on J 0 .
b. Non-linear constraints: J − has a regular OPE with itself.
3. Impose that the short generators W h.w. given in (3.7) must be super-Virasoro primary, this implies: (3.8) 16 The notation for their super-descendants is given in (A.41).

5.
Impose that the VOA closes on the strong generators.
It is convenient to write the Ansatz for J − in the form The hat on J and G signals the omission of all terms built with β 1 , For all Γ different from A 1 the factor J − norms has to be non-zero. As the name suggests, it must be there in order for point 4. above to be satisfied. To illustrate this point, let us explain what happens if we set J − norms = 0 in (3.9). It is easy to verify that in this case the N = 4 super-Virasoro subalgebra is correctly reproduced. Next, let us construct W min (z, y) by summing up the sl(2) y descendants of (3.7b) defined by the action of J − min . A little computation shows that These operators have obviously regular OPE among themselves, in particular they have zero norm. This explains the necessity of adding J − norms . By using an Ansatz of the form (3.9) in the steps above one quickly verifies that J − norms does not include γ 1 and c 1 . Before describing various examples of this construction in the next section, let us make a few remarks: for = 2, . . . , rank(Γ). We claim that J − is uniquely determined by the steps above up to this ambiguity.
Remark 2. For low ranks rank(Γ) = 1, 2, 3 the steps 1.-4. are sufficient to determine J − up to the action (3.12) and condition 5. holds automatically. For higher ranks condition 5. needs to be used as well. As the example of D 4 illustrates, see section 4.4, there is a subset of these conditions that is easy to implement and is sufficient to fully determine J − .

Remark 3.
It is natural to ask what happens if one applies the procedure presented above to a set of weights p 1 = 2, p 2 , . . . , p r that do not correspond to a Coxeter group. We observed experimentally, by looking at rank 3 examples with 2 ≤ p 2 ≤ p 3 ≤ 10, that the norms mentioned above are non-zero if and only if the weights are the one associated to a Coxeter group, which in rank 3 are A 3 , B 3 , H 3 , see table 3.

Realization of the remaining generators in the N = 2 case
The realization of the N = 2 VOA associated to a complex reflection group G is qualitatively similar. The generators of the N = 2 SCA algebra are given in (3.2) and the additional chiral generators have the form As outlined in section 1.1 the complete set of generators can be found from the set of generators of the ring R G . This include in particular anti-chiral operators with conformal weights p 2 , which will be denoted as W . Concerning the construction of the remaining generators we propose the following strategy: 1. Make an Ansatz for the remaining generators in terms of free fields and impose that they are N = 2 super-Virasoro primary with the correct (h, m) weights. As in the N = 4 case there is a finite number of terms in the Ansatz.

2.
Impose that the VOA closes on the strong generators. This gives both linear and non-linear conditions on the coefficients of the Ansatz. It is practically convenient to first solve the linear constraints.
We will present all rank 1 examples as well as a rank 2 example of this procedure in section 5.

Free-field realization and classical Poisson structure
We will now show how the Poisson algebra (2.12), (2.16) can be obtained starting from the free-field realization of W Γ . Let M (Γ) βγbc denote the free βγbc system associated to Γ, consisting of r copies of a single βγbc system. Let M (3.14) We can define a linear map according to the following prescription. Any element of M (Γ) βγbc can be cast as a linear combination of nested normal ordered products of derivatives of free fields. The image under P of such an object is simply obtained by dropping all terms with derivatives and/or fermionic free fields b , c , and by replacing all normal-ordered products with regular products in the algebra of polynomials in the variables β , γ . One may verify that P is well-defined. Furthermore, the map P satisfies (3.16)

JHEP05(2019)155
On the right hand side of the first relation, the product is the commutative and associative product in the algebra of polynomials in β , γ . Since the VOA W Γ associated to a given Coxeter group Γ is realized as a subalgebra of M (Γ) βγbc , we can apply the map P to any element of W Γ , thus defining the Poisson algebra P(W Γ ). We claim the following isomorphism of Poisson algebras, where R Γ is defined in (2.12) and its symplectic structure is given in (2.16). The explicit form of the isomorphism (3.17) will be given in some examples in section 4. The case of complex reflection groups is identical.
In close analogy to the above discussion about the map P, we can also define the map The map P is defined as follows. Given any object in the VOA M In this section we present the proposed free-field construction of W Γ in some examples. We start by reviewing the rank one case Γ = A 1 following [26]. Next we present all rank two and three cases, namely I 2 (p), A 3 , B 3 , H 3 , and some aspects of the interesting example of D 4 . All algebraic manipulations were performed on a laptop using the Mathematica package introduced in [42]. The analysis of higher rank Coxeter groups along the lines of this paper will require the use of more computational power and/or packages that deal more efficiently wit βγbc free fields.

Rank 1: Γ = A 1
The VOA associated to the Coxeter group Γ = A 1 is simply the small N = 4 SCA with central charge c = −9. Our proposed free-field realization reduces in this case to the freefield realization studied in [26]. All generators of the small N = 4 SCA are expressed in terms of a single βγbc system. In this simple case, the object J − min introduced in (3.10) is actually sufficient to obtain the desired free-field realization of all the generators of the JHEP05(2019)155 small N = 4 SCA. For the convenience of the reader, we summarize here all the relevant formulae, The ring R A 1 defined in (2.12) is generated by the SL (2) triplet subject to the relation The corresponding composite operator in the small N = 4 SCA is the psl(2|2) primary operator where (JJ) 0 0 denotes the quasiprimary completion of the normal ordered product of two J's, projected onto the spin-0 component, see appendix A for more details on the notation. It is straightforward to check that the composite operator L 2,0 is identically zero in the free-field realization (4.1). This comes as no surprise, since it has been proven in [26] that (4.1) is a free-field realization of the simple quotient of the small N = 4 SCA at c = −9, implying that all super-Virasoro descendants of the identity operator that are null for c = −9 are automatically zero in the free-field realization.
It is worth recalling that in [26] it is also proven that the simple quotient of the small N = 4 SCA at c = −9 can be characterized as the kernel of a suitable screening operator S acting on the free βγbc system. In order to write down the screening operator, we first have to express β and γ in terms of chiral bosons χ, φ, The chiral bosons non-trivial OPEs are χ(z 1 ) χ(z 2 ) = + log z 12 + reg. , φ(z 1 ) φ(z 2 ) = − log z 12 + reg. .

JHEP05(2019)155
The screening current J has conformal dimension 1 and J 0 -eigenvalue 0. It acts on the βγbc system via the order-one pole in the OPE, where X is any operator in the βγbc system. It is also worth pointing out that J can be written as a supersymmetry descendant of a chiral operator K with dimension 1/2 and This section is devoted to a detailed description of the free-field realization of the N = 4 VOA associated to the Coxeter group I 2 (p), p ≥ 3.

The Coxeter groups I 2 (p) and associated rings
The group I 2 (p) is the symmetry group of the regular p-gon on the plane. As a Coxeter group, it is the subgroup of O(2, R) generated by two reflections with respect to two lines forming an angle π/p. Equivalently, we may regard it as generated by a reflection σ and a rotation ρ by an angle 2π/p, (4.10) The action on I 2 (p) on R 2 is extended naturally to C 2 . It is then convenient to perform a change of basis, and introduce coordinates z 1,2 in C 2 such that σ : The original space R 2 ⊂ C 2 is recovered via the reality condition z 2 = (z 1 ) * . In terms of z 1,2 the invariants of I 2 (p) take the simple form (4.12) The Coxeter group I 2 (p) has the property of being crystallographic only for p = 3, 4, 6. This is equivalent to the fact that the plane R 2 admits a tessellations by regular p-gons only for p = 3, 4, 6, i.e. triangles, squares and hexagons. These are also the value for which it coincides with a Weyl group, namely (4.13) Let us describe the ring R I 2 (p) defined in (2.12). The set of generators in this case is obtained by promoting the generators (4.12) to SL(2) multiplets j(y) = z 1 (y)z 2 (y) , w(y) = z 1 (y) p + z 2 (y) p , (4.14)

JHEP05(2019)155
where z i (y) = z + i + y z − i . While (4.12) are algebraically independent the generators j(y) and w(y) satisfy the following relations . . , p 2 and the notation * denotes the projection onto the SL(2) spin * component. Using the same normalization of SL(2) projections as in appendix A, the coefficients c p,m take the form (4.16) We have obtained an alternative description of the ring R I 2 (p) given in (2.12) as the ring generates by the y-components of (4.14) subject to the relations (4.15). As we will show shortly, these relations are the image of null states in the chiral algebra W I 2 (p) .
Finally, let us comment on the Poisson algebra structure of R I 2 (p) . It is given by (2.16) with η = 0 −1 −1 0 . This choice of η ensures which is the Poisson counterpart of the JJ OPE, with the same normalization conventions.

Free-field realization of all generators
We will now apply the procedure outlined in section 3 to obtain a free-field realization of the VOA W I 2 (p) . Since I 2 (p) has rank 2, we need two copies of the βγbc system, denoted β 1 , β 2 , and so on. We associate the label 1 to the invariant of degree 2, As explained in section 3.2 the only quantity that has to be constructed is J − norms in (3.9). Following the steps given below (3.7a) one obtains the unique solution The normalization Λ could be scaled to one by the transformation (3.12) but it is instructive to keep it as a parameter. The remaining generators of the small N = 4 SCA take the form given in terms of the two βγbc systems: (4.20) Given the small N = 4 SCA in terms of free fields as above, we proceed building the additional short generator W of the VOA associated to I 2 (p). According to our general prescription, we simply set where h.w. stand for highest weight and refers to the component of W with charges h = m = p/2. The whole psl(2|2) short supermultiplet W = {W, G W , G W , T W }, see appendix A for our notation, is generated from W h.w. . We have now entirely specified our free-field realization. We refrain from giving the expressions for the other components of W , since their complexity grows quickly. The next step is to verify that the set of strong generators of the VOA W I 2 (p) is given by W = {W, G W , G W , T W } together with the generators of the small N = 4 super-Virasoro algebra J = {J, G, G, T }. To do so we need to close the OPE on this set of generators. The J-J and J-W OPEs take the required form by construction. The W-W OPEs are fixed in terms of the W W OPE. By means of a direct computation we verified that where the notation [id] stands for the small N = 4 super-Virasoro family of the identity operator. The first few terms are given by with c = −6(p + 1). It is worth remarking that the stress tensor T appears as psl(2|2) descendants of J and as completion of (JJ) 0 0 to a psl(2|2) primary. Note that all factors z 12 , y 12 , as well as all ∂ z , ∂ y operators, are implicit, since they can be unambiguously JHEP05(2019)155 restored exploiting sl(2) covariance. This compact notation for OPEs is described in more detail in appendix A, and is also utilized below in other examples. The formula (4.22) has been tested explicitly up to p = 7. As anticipated, the free parameter Λ entering (4.19) is crucial in order to obtain a viable realization of the full VOA.

Null states
Our proposed free-field realization is conjectured to enjoy the highly non-trivial property that all null states in the abstract VOA are realized manifestly as zero. In this section we check that the null states in the VOA W I 2 (p) associated to the "Higgs Branch" relations (4.15) are identically zero in the free field realization. We expect that these nulls generated the maximal ideal of W I 2 (p) , but at the moment we do not have a complete proof of this fact.
To begin with, let us consider the long composite operator linear in the extra generator W , The first term in the expression above is the quasiprimary completion of the normal ordered product JW projected on the sl(2) y spin p 2 − 1 component. The second term contains the supersymmetry descendant of W , namely T W = −G ↓ G ↓ W , see (2.10) for the notation. This term is necessary in order for (4.24) to be a psl(2|2) primary. Being linear in the new generator W , the operator L p 2 +1, p 2 −1 can be defined for any value of the central charge without any reference to the free field realization and by construction is a N = 4 super-Virasoro descendant of W itself. If the central charge takes the special value c = −6(p + 1) the operator L p 2 +1, p 2 −1 becomes an N = 4 super-Virasoro primary operator. Being a primary and a descendant at the same time it must be null. In our free-field realization the operator L p 2 +1, p 2 −1 vanishes identically. We have thus recovered the VOA counterpart of the first "Higgs Branch" relation in (4.15). Let us turn to the second set of relations in (4.15). Let us consider the composite operators L W W p,j = (W W ) j 0 + (super-Virasoro primary completion) , j < p , p − j even . In other words, L W W p,j is defined to be the N = 4 super-Virasoro primary completion of the normal ordered product W W projected onto the component with sl(2) y spin j. The requirement that p − j be even stems from Bose symmetry. One can verify that this definition is well-posed, in the sense that, making only use of the OPEs of the abstract VOA, one can check that there exists a unique super-Virasoro primary operator starting with (W W ) j 0 . Having unambiguously defined the composite L W W p,j in the abstract VOA, we can resort to our free-field realization and verify, in a few examples, that this object is indeed identically vanishing. This finding is in perfect agreement with the bootstrap analysis of [33].

Classical limit: relation between βγ and z ±
Using the map P defined in section 3.4, we can define the classical objects associated to the generators J and W , more explicitly and W cl = β 2 +descendants. Recall that, as explained in section 3.4, βγ are now commuting variables. The combinations (4.26) satisfy the same relations (4.15) as (4.14). This implies that J cl , W cl provide a realization of the ring R I 2 (p) as a subring of C[β 1 , γ 1 , β 2 , γ 2 ]. It is instructive to determine β 1,2 , γ 1,2 in terms of the quotient variables z ± 1,2 by equating (4.14) with (4.26). This gives the remarkably simple expressions imply the expected Poisson brackets The minus sign in the first equation is a consequence of our conventions for the βγ OPEs, see (3.1).

Comments on the screening operator
It is natural to ask if W I 2 (p) can be identified with the kernel of a suitable screening operator acting on the free field VOA M (I 2 (p)) βγbc . A simpler version of this problem is obtained using the map P of section 3.4. More precisely, we aim at identifying P (W I 2 (p) ) with the kernel of a suitable object J cl in the classical Poisson superalgebra M (I 2 (p))cl βγbc . The object J cl acts via Poisson bracket.
The object J cl can be presented as where in the last step we introduced the auxiliary object The function F (x) is required to be a solution to the differential equation

JHEP05(2019)155
We have checked that, by virtue of the above equation, one has This is enough to guarantee that P (W I 2 (p) ) lies inside the kernel of J cl acting of the Poisson superalgebra M (I 2 (p))cl βγbc . It seems natural to conjecture that P (W I 2 (p) ) is actually the entirety of the kernel of J cl , but we do not have a proof of this fact.
In order to promote the results of the previous paragraphs from the level of the Poisson algebra to the level of the full VOA, we have to be able to make sense of expressions like (4.31) in the context of the VOA. This is possible by expressing β 1 , β 2 in terms of chiral bosons and making use of vertex operators. We refrain, however, from pursuing this direction further.

Rank 3: Γ = A 3 , B 3 , H 3
We will now present the free field construction of W Γ for rank(Γ) = 3. There are only three examples in this case, namely Γ = A 3 , B 3 , H 3 . The structure of these VOA is analyzed in less details compared to the rank 2 series discussed in the previous section. A few remarks are in order. Notice that in all three cases the degrees are (2, 3, 4), (2, 4, 6), (2, 6, 10) so that p 3 = 2p 2 − 2. Moreover all super-Virasoro primary operators of the form ( . Finally, as in the rank two series, the classical limit of J, W 2 , W 3 obtained by applying the map P defined in section 3.4, gives a realization of the rings R A 3 , R B 3 and R H 3 as subrings of C[β 1 , γ 1 , β 2 , γ 2 , β 3 , γ 3 ]. This properties is not manifest but has been checked by verifying that all the relations are satisfied. 18 Notation. In order to make the equations easier to read we will label W generators as well as βγbc by their weight with the gothic suffix p ∈ {3, 4, 5, 6, 7, . . . }.

Example: Γ = A 3
Free field realization. By following the steps described in section 3 we find a unique solution for J − norms up to the rescaling (3.12). Its explicit form is rather long so we present only its classical limit: where P is defined in section 3.4. Given J − norms we can construct the remaining strong generators as descendants of β 2 and β 3 . The parameters Λ 1 , Λ 2 are related to the normalization appearing below as g 33 = 85 2 Λ 1 Λ 2 , g 44 = 595Λ 2 1 .
Closing the OPE. Let us present the OPE of strong generators in this case: is the completion of (β 3 ) 2 to a super-Virasoro primary. Its norm is given by 1344 437 g 2 33 . As usual, [X] denotes the contribution from the N = 4 super-Virasoro family of the primary X. Notice that there is a null state of type L (3,1) of the schematic form W 3 W 3 +JW 4 +J 3 +. . . . This is a primary operator that, if not null, could appear in the right hand side of (4.35c). The quantum numbers of the relations among the generators of R 2 ) .
Closing the OPE. Let us present the OPE of strong generators in this case:   Notice that the super-Virasoro primary operators of the form (W 6 ) 3 L are null as a consequence of (W 6 ) 2 L being null.

A rank 4 example: Γ = D 4
In this example we will encounter two new features: (1) the ring of invariants R D 4 and, according to our proposal, the VOA W Γ has long generators, (2) the form of J − is not uniquely determined by the first four steps given in section (3.2) and the fifth condition needs to be incorporated.
Generators of the ring R D 4 . The action of the Weyl group of type D 4 on R 4 is generated by where z ± ij = z i ± z j . In this basis, a choice of generators for the ring of invariants C[z 1 , . . . , z 4 ] D 4 is given by These generator are algebraically independent. As discussed in section (2.2) we need to analyze the ring (2.12) in which the Coxeter group acts on two copies of z, called z ± . Some of the generators of this ring are immediately identified starting from (4.54) and promoting each z i to z i (y) = z + i + yz − i . These are the so-called short generators. As opposed to all the examples encountered so far, namely A 1 , I 2 (p), A 3 , B 3 , H 3 , this is the first example in which these are not all the generators of R D 4 . The missing generator is given by where ij = IJ z I i z J j . It is rather clear that this invariant cannot be written as a composite of the short generators. What is less obvious is that there is no additional generator. We claim that it is the case. This fact can be checked by matching the Hilbert series computed from the proposed description of R D 4 in terms of generators and relations with the Molien series obtained from the quotient description. Alternatively one can verify that the set of generators we propose closes under the Poisson bracket (2.16). We followed the second strategy.
Finally let us explain how the triality automorphism of D 4 acts on the space of invariants. Its action in terms of the z i=1,...,4 variables can be defined as the group S 3 of permutations of z 1 , z 2 , z 3 . It is a simple exercise to verify that, up to a simple redefinition of I 6 , the invariants of degree 2 and 6 transform trivially under S 3 , the invariants of degree 4 transform in a two dimensional representation 19 and the long invariant w (3,0) transform in the non-trivial one dimensional representation corresponding to the sign of the permutation. 19 In the basis above, this is generated by ( 0 1 1 0 ) and 1 −1 0 −1 .

JHEP05(2019)155
Free field realization. This is the first example in which the first four steps described in section (3.2) to construct J − do not give a unique result. There is a number or relatively simple conditions that the free field realization must satisfy that are easy to add. The first one is the following. Consider the OPE W 1 W 2 . The term with next to extremal sl(2) y spin j = 1 2 (p 1 + p 2 ) − 1 in the singular part of these OPE can appear only in the first order pole. By a simple quantum number analysis this term must be a short operator. We require that this object is indeed a composite operator of the short generators that have been postulated in the free field realization. The second condition is given by focusing on the first two most singular terms in the W W OPE. Their form is fixed by super-Virasoro symmetry to be This form of the OPE is added as an extra requirement. We found experimentally that these two conditions allow to completely fix the free field realization. It is possible that in more complicated examples more conditions need to be added, but we expect that the Ansatz we propose is sufficient.
Closing the OPE. The extra generators in this case are W ± 4 , W 6 and W (3,0) and their OPEs take the form and Notice that we omitted the OPEs of W (3,0) with the remaining generators as well as its explicit form in terms of free fields. The . . . in the last three OPEs indicate additional contributions. For example in the OPEs (4.58c) and (4.58d) operators of type L (4,3) , L (4,2) and L (4,1) of the schematic form W 4 W 4 could appear. Let us also collect the quantum numbers of the null operators with small conformal weight as read off from the Hilbert series of R D 4 : L (4,2) , L (4,1) , 2 L (4,0) , 2 L (5,3) , 2 L (5,2) , 2 L (5,1) . (4.64) The corresponding null operators have the schematic form W 4 W 4 and W 4 W 6 .
Remark. The OPEs above have an S 3 ⊂ O(2) symmetry that acts non-trivially only on the generators W ± 4 and is generated by the reflections s 1 , s 2 as Notice that the product s 1 s 2 generates a Z 3 subgroup. In order to check this claim it is convenient to observe that (W 4 ) 2,± S transform as β ± 4 under (4.65). The relations (4.64) have definite transformation properties under S 3 : In this section we examine in detail the proposed free-field realization for the N = 2 VOA W Zp associated to the rank-1 complex reflection group Z p , p ≥ 2. These algebras have been first analyzed by means of direct bootstrap techniques in [30].

Construction of the generators and OPEs
According to our prescription, we need one copy of a βγbc system. For the sake of simplicity, we omit the subscript 1 from the free fields in this section. The N = 2 SCA algebra is realized according to the formulae of section 3.1. In particular, the central charge is c = −3(2p − 1) and the conformal weight of β is p/2.
Let W , W denote the chiral, antichiral extra generators of the VOA. The only nontrivial task at hand is the construction of the antichiral generator W , of conformal weight h = p/2 and charge q = −p/2 using the strategy presented in section 3.3.
Before proceeding, let us stress that, for p = 2, supersymmetry enhances from N = 2 to small N = 4, and the sought-for VOA is nothing but the small N = 4 SCA at central charge c = −9, with the identification W = J − . In this case the free-field realization coincides with the one of [26], which has been reviewed in section 4.1.
Let us now discuss the case of generic p. The direct analysis of a few examples reveals that there exists a unique, up to scaling, chiral N = 2 superVirasoro primary of conformal weight p 2 that can be constructed using a single βγbc of the type given in table (3.4). For definiteness, we fix the normalization of the generators W and W as follows, All omitted terms in W contain at least one derivative or a pair of fermionic free fields.
In terms of the map P of section 3.4, P(W ) = β p−1 γ p . We may regard W as the unique N = 2 super-Virasoro primary completion of the monomial β p−1 γ p .
Once the form of the antichiral generator W is fixed, we may check that the OPE W W is regular, and that the singular part of the W W OPE is expressed entirely in terms of N = 2 super-Virasoro descendants of the identity, as it must be. In particular, we can verify that where [id] denotes the contribution for the N = 2 super-Virasoro family of the identity operator. More explicitly Similarly to the N = 4 case given in (4.23), the contribution of the stress tensor T to this OPE is split in two parts: the first correspond to the osp(2|2) descendant of J , the second to the completion of (J J ) 0 to a osp(2|2) primary whose norm is given by 2 9 c(c − 1). The relation (5.2) has been checked explicitly for p = 2, 3, . . . , 7. For p = 2, 3, 4, 5 we can record JHEP05(2019)155 the entire content of the singular part of the W W OPE in terms of quasiprimary fields We are using a compact notation in which all z 12 factors and z derivatives are omitted, since they can be straightforwardly recovered from sl (2) covariance. For further details on the notation, the reader is referred to appendix A. We are only recording quasiprimary operators that enter the singular part of the OPEs. Clearly, all OPE coefficients on the r.h.s. of the OPE W W can in principle be recovered from the two-point function coefficient g W W by exploiting the N = 2 superVirasoro symmetry.

Null states
An essential feature of our proposed free-field realization is that all null states of the VOA are realized manifestly as zero. First of all, let us verify this claim for the null state corresponding to the "Higgs branch" relation of the associated variety M Zp = (C ⊕ C * )/Z p .
To describe this variety we introduce a complex coordinate z and its conjugatez, and let the generator of Z p act on z,z as z → e 2πi/p z ,z → e −2πi/pz .
The invariants are clearly

Screening operator
We have a conjectural characterization of the VOA W Zp as a subalgebra of the βγbc system in terms of the kernel of a screening operator S. Our proposal is a natural generalization of the screening operator discussed in [26] in the case p = 2, i.e. the small N = 4 SCA at c = −9.
In order to define S, we first have to express β and γ in terms of chiral bosons χ, φ. The OPEs of the chiral bosons are recorded in (4.6), and the expressions of β, γ in terms of the chiral bosons are given in (4.5). We may now define the screening current (5.14) This operator has conformal dimension 1 and charge 0 under J . We conjecture that the VOA W Zp coincides with the kernel of S = J acting on the βγbc system. Its action on any object X is defined as In the case p = 2, the conjecture is proven in [26]. It is worth pointing out that the operator J can be expressed as a supersymmetry descendant of an operator K with dimension and charge 1/2, The operator K is a chiral N = 2 super-Virasoro primary. It is a matter of straightforward computation to verify that all generators of the VOA W Zp are annihilated by the action of S. It is then immediate that W Zp is contained in the kernel of S. We do not have a general argument for the reversed inclusion for p ≥ 3, but we have checked our claim in a few examples, for some states with low twist h − m. More precisely, we worked at generic p and considered operators of twist up to 2. A direct computation of the kernel of S in the βγbc system shows a perfect agreement with a counting of states in W Zp . In order for this match to work, it is essential that in our free-field construction all null states are (conjecturally) identically zero.
Let us close this section by analyzing a few properties of the classical counterpart of the screening current J of (5.14). The map P of section 3.4 maps the VOA W Zp to the Poisson superalgebra of functions of the variables β, γ, b, c. The classical counterpart of (5.14) is simply (5.17) 21 The ideal is obtained by taking the regular and singular part of the OPE of X W W p,0 with the element of the the VOA.

JHEP05(2019)155
Its action on the classical variables β, γ, b, c is the following, In this section we discuss the proposed free-field realization for the N = 2 VOA associated to the rank-2 complex reflection group G (3, 1, 2).
The ring R G for G = G (3, 1, 2). To begin with let us describe the family of complex reflection groups G(k, 1, r). Recall that r is the rank of G(k, 1, r) and the invariants have degrees k, 2k, . . . , rk .
The action of G(k, 1, r) on (z 1 , . . . , z r ) ∈ V G C r is generated by permutations σ i = p i,i+1 (with an obvious action on the coordinates) together with The ring of invariants is freely generated by the elementary symmetric polynomials in z k 1 , . . . , z k r . Notice that for k = 2 this group is the Coxeter group B r . In the following we consider in more details the example of G (3, 1, 2). In this case the ring R G is generated by (5.21) The relations of lowest conformal weight, namely h = 4 and h = 4 + 1 2 , take the explicit form The second equation is accompanied by it conjugate.
Free-field realization. As explained in section 3 the free fields in this case are two copies of the βγbc system, with weights determined by the degree of the invariants of The small N = 2 algebra with central charge c = −48 is realized according to the formulae in 3.1, and the chiral generators W 3 , W 6 are simply realized as

JHEP05(2019)155
The remaining generators 22 with their quantum numbers are summarized in the following  According to the prescription given in section 3.3, the first step is to construct all N = 2 superVirasoro primary with the appropriate weights. The entry denotes the number of such objects. The symbol − indicates that the corresponding entry has already been constructed so we do not need an Ansatz for it. After imposing that the algebra closes one finds the complete list of OPEs to be  constraints originating form having the right structure of the OPE of the chiral generators W 3 , W 6 with everything else. Second of all, observe that once W 3 is constructed, all the remaining generators, namely U , O, O and W 6 are generated 23 in the OPE. Finally, let us point out that the procedure given in section 3.3 lives the freedom of redefining W 6 → x(α) W 6 + α W 3 W 3 . We fix this freedom by imposing that the OPEs are manifestly Z 2 conjugation symmetric. 6 The R-filtration from free fields This work was largely motivated by the desire to achieve a better understanding of the VOAs that arise from four-dimensional N = 4 superconformal field theories via the map introduced in [1]. Applying the construction of [1] to the N = 4 super Yang-Mills theories, one finds a class of N = 4 VOAs labelled by Weyl groups. In this paper, we have offered an alternative construction of N = 4 VOAs labelled by Weyl groups, and conjectured that they are in fact the same as the ones that arise from SYM theories. 24 So far, we have studied these algebras in their own right, as novel and interesting examples of VOAs. In this section we wish to go back to their four-dimensional interpretation. We propose that the free-field representations that we have introduced allow to solve a longstanding open problem, the assignment of the "R-filtration" [13]. Let us briefly review the terms of the problem, for the general case of VOAs that descend from arbitrary N = 2 4d SCFTs.
According to the map of [1], the operators of the VOA are in one-to-one correspondence with the so-called "Schur operators" of the parent N = 2 SCFT. Schur operators belong to certain (semi)short representations of the sl(4|2) superconformal algebra -as such, due to the shortening conditions, they are labelled by three out of the five Cartan quantum numbers 25 of sl(4|2). Of these quantum numbers, all except one survive as good quantum number of the VOA, defining gradings respected by the operator product expansion. The exception is the the sl(2) R symmetry Cartan, denoted by R. While Schur operators are all highest weights of sl(2) R , the cohomological construction of [1] involves the lower components of the sl(2) R multiplet to which a Schur operators belongs, and as a result R does not descend to a grading of the VOA. It is however easy to argue [13] that R can only decrease or remain constant in the OPE, and as such it defines a filtration of the VOA. It follows that any VOA associated to a 4d SCFT by the map of [1] must admit such an R-filtration. However, the R-filtration does not appear to be intrinsic to the VOA -at least, not in any obvious way. Given an abstract presentation of the VOA (say in terms of strong generators and their singular OPEs) it is a priori unclear how to determine its R-filtration. This is a severe limitation if one's goal is to use the VOA as a 23 The operator O and W6 are generated in the W3 U and W3 O respectively which are conjugate to the OPEs appearing above. 24 To our surprise, we have also found N = 4 VOAs associated to non-crystallographic Coxeter groups.
Their four-dimensional interpretation (if any) remains unclear. 25 In N = 4 and N = 3 SCFTs, Schur operators are labelled by four out of the six Cartans of the psl(4|4) and sl(4|3) superconformal algebras, respectively.

JHEP05(2019)155
tool to study the parent 4d theory, because without knowledge of the R quantum number the identification of 4d Schur representations is ambiguous. 26 Our main new observation is that the free-field constructions analyzed in this paper come equipped with a natural filtration, which we call the "R-filtration". We conjecture that for the N = 4 VOAs that arise from N = 4 SYM theories, the R-and R-filtrations coincide. We have performed several successful checks of this conjecture. We expect this statement to generalize to the VOAs labelled by complex reflection groups that descend from 4d N = 3 SCFTs, but we did not perform any check of that more general conjecture.
We begin in the next subsection with a review of the R-filtration for VOAs that arise from general N = 2 SCFTs, and indicate its obvious extension to the N = 4 case. In section 6.2 we show that the VOAs studied in this paper admit a natural "R-filtration", defined in terms of their free-field realizations. According to the basic dictionary of [1], the vacuum character of the VOA reproduces the Schur limit of the superconformal index of its parent 4d SCFT, which is a function of a single superconformal fugacity q. Knowledge of the R-filtration allows to refine the vacuum character, so that it yields the full Macdonald index of the 4d SCFT, a function of two superconformal fugacities q and t. The basic check that we have correctly identified the R-filtration consists in matching the refined vacuum character computed from our free-field realization with the well-known Madconald index of an N = 4 SYM theory. In section 6.3, we perform this check in several examples, up to some order in an expansion in the conformal weight. In the limit q → 0, the Macdonald index reduces to the so-called Hall-Littlewood index, which is much simpler to compute. In section 6.4 we collect some further evidence for our proposal, showing that it correctly reproduces the full Hall-Littlewood index in rank-one and rank-two examples.

The R-filtration
For the reader's convenience, we start by reviewing the salient facts of the 4d/2d correspondence introduced in [1].

The 4d/2d map and Schur operators
Given an N = 2 SCFT, the associated VOA is obtained by passing to the cohomology of a certain nilpotent fermionic generator Q of the N = 2 superconformal algebra sl(4|2). We denote the Cartan quantum numbers of sl(4|2) by (E, j 1 , j 2 , R, r), where E is the conformal dimension and j 1 , j 2 , R, r are eigenvalues with respect to the Cartan generators of sl(2) 1 ⊕ sl(2) 2 ⊕ sl(2) R ⊕ gl(1) r , respectively. The nontrivial cohomology classes of local operators inserted at the origin in R 4 ∼ = C 2 (z =z = w =w = 0) have canonical representatives which are the Schur operators [45]. These are local operators whose quantum numbers JHEP05(2019)155 Table 4. Summary of the appearance of Schur operators in short multiplets of the N = 2 superconformal algebra, sl(4|2). The superconformal primary in a supermultiplet is denoted by Ψ. There is a single conformal primary Schur operator O Schur in each listed superconformal multiplet. The holomorphic dimension h and gl(1) r charge r of O Schur are given in terms of the quantum numbers (R, j 1 , j 2 ) that label the shortened multiplet (left-most column).
satisfy the relations 27 This holomorphic OPE endows the vector space of Schur operators with the structure of a vertex operator algebra.
In this work, we use the notation {AB} n to denote the coefficient of z −n 12 in the holomorphic OPE A(z 1 )B(z 2 ), see (2.9). We find it convenient to introduce alternative notations for the special cases n = 0, 1. More precisely, we define

JHEP05(2019)155
We refer to these operations as the normal order product of A and B, and the bracket of A and B, respectively.

Gradings and filtration
The vector space V of Schur operators has a triple grading by (h, R, r) The normally-ordered product preserves h and r but not R, making the R grading unnatural from the point of view of the VOA structure. However, the specifics of the twisted translation construction implies that R-charge violation occurs with a definite sign, Consequently, there is a filtration by R that is preserved by the normally-ordered product.
That is, if we define, then we have the following filtered property for normally-ordered multiplication, so, the bracket is filtered of tri-degree (−1, −1, 0). The associated graded of our filtered VOA is defined in the usual fashion, On this space, which is isomorphic as a vector space to V, one can show that the normallyordered product induces a grade-preserving (with respect to all the gradings) commutative, associative product, and the bracket induces an anti-symmetric bracket of tri-degree (−1, −1, 0) that obeys the Jacobi identity. Table 4 makes it clear that knowledge of only the h and r quantum numbers state of the VOA is not sufficient to characterize uniquely the 4d protected operator from which it descends -the R quantum number is also needed for a precise uplift.

JHEP05(2019)155
where STr denotes the supertrace, and H is the Hilbert space of local operators of the SCFT. The index receives contributions only from the states that lie in short representations of the superconformal algebra, with the contributions being such that the index is insensitive to recombinations. Let us also recall the definition of two special limits of the full superconformal index: the Macdonald index and the Schur index. The Macdonald index depends on two fugacities only, and is given by where H M denotes the subspace of states in H satisfying E + 2j 1 − 2R − r = 0. The Schur index depends on only one fugacity, and reads Notice that, even if the trace is taken over the entire Hilbert space H, only Schur operators contribute to the Schur limit of the superconformal index.
Under the map of [1], the Schur index of a 4d N = 2 SCFT is mapped to the vacuum character of the associated VOA, 28 In order to reconstruct the Macdonald index (6.12) of the parent 4d theory from VOA data, we need control over the r grading and the R filtration discussed in section 6.1.2. If these pieces of data are successfully identified, the Macdonald index can be recovered via a refinement of the VOA vacuum character, In the definition of χ V (q, t), the supertrace is implicitly understood to be taken on the associated graded algebra (6.10), in which both quantum numbers R and r define gradings. No simple recipe is known to extract the R-filtration from a presentation of the VOA in terms of strong generators and their singular OPEs. In this work, we propose an efficient way to identify the R-filtration in the case in which the VOA coincides with W G for some (crystallographic) complex reflection group G. Our proposal relies on the free-field realization of the VOA. More precisely, the free-field realization of W G allows us to introduce a filtration on W G , denoted R-filtration and defined in section 6.2. We propose the identification of this new R-filtration with the sought-for R-filtration. Several checks of this proposal are discussed in sections 6.3 and 6.4.

The N = 4 case
Unitary irreducible highest weight representations of the four dimensional N = 4 superconformal algebra psu(2, 2|4) are labelled by six quantum numbers {E, (j 2 , j 2 ), [q 1 , p, q 2 ]} where E, (j 1 , j 2 ) are as in the previous discussion while [q 1 , p, q 2 ] are su(4) R Dynkin labels, see [47]. When these quantum numbers satisfy certain relations the corresponding supermultiplet obeys shortening conditions. One of the properties of the chiral algebra map χ introduced in [1] specialized to four dimensional N = 4 SCFT is that it acts on irreducible representations as χ : Reps of psl(4|4) → Reps of psl(2|2) . (6.16) A little inspection shows that, using the notation of [47] for four dimensional multiplets The action (6.17) can be determined by considering the decomposition of N = 4 superconformal multiplets in N = 2 superconformal multiplets and the results of table 4. The N = 2 superconformal algebra is embedded as The decomposition of the short supermultiplets with respect to the embedding (6.18) is given by 29 where the . . . indicate terms that are either obtained by acting with the Q,Q generators in psl(2|2) or that do not contain Schur operators. 30 The chiral algebra map (6.17) follows: h is the same as in the N = 2 case, see table 4 and j = p 2 . To be precise, the image of the map χ is a representation of pl(2|2), which is the extension of psl(2|2) by the outer automorphism GL(1) r ⊂ SL(2). The GL(1) r quantum number of the pl(2|2) primary is obtained combining (6.20) with the content of table 4. Similarly the R quantum number is found to be where the first formula can be applied to all values of q including q = 0. An important feature of the map χ is that in general it cannot be inverted since different types of four dimensional multiplets correspond to the same pl(2|2) multiplet. The pair of maps (χ, R), on the other hand, can be inverted.

The R-filtration
According to our free-field construction, W Γ is realized as a subalgebra of the total βγbc system M (Γ) βγbc generated by β , γ , b , c , with = 1, . . . , r, where r = rank(Γ). We first define a filtration R at the level of the βγbc system. To this end, it is sufficient to assign an additive weight, referred to as R-weight in the following, to the fundamental 'letters' β , γ , b , c , according to the following table, For convenience we reported here also the combination h − R. Together with (3.4), we have thus assigned quantum numbers h, m, r, R to the free fields. Given any monomial in derivatives of β , γ , b , c , its R-weight is simply the sum of the R-weights of its letters. Given a polynomial, we define its R-weight as the maximal R-weight of its monomials. Given R ∈ 1 2 Z, we may then introduce the vector space The collection of vector spaces

JHEP05(2019)155
To verify the compatibility of the filtration with the VOA structure of M (Γ) βγbc , we have to ensure that, in the OPE of two operators of R-weights R 1 and R 2 , only operators with R-weight ≤ R 1 + R 2 appear, both in the singular and in the regular part. This property is easily verified by noticing that OPEs in M (Γ) βγbc are computed via Wick contractions. Since the R-weights of a pair β γ or b c is one, every Wick contraction decreases the R-weight by one unit. The same observation implies that in the singular OPEs the R-weights are strictly smaller than R 1 + R 2 .
The filtration R descends to a filtration R of the VOA W Γ , since the latter is a subalgebra of M (Γ) βγbc . The filtration R is specified by the collection of vector spaces βγbc we can construct operators with arbitrarily low R-weight. In contrast, all operators in W Γ have R ≥ 0. As a result, we can write Given any filtered algebra such as the pair (W Γ , R), there is a standard coset construction that yields a graded algebra, the associated graded algebra G (W Γ ), (6.27) Notice that G (W Γ ) and W Γ are isomorphic as vector spaces. The graded algebra G (W Γ ) will be useful in the next paragraph for the definition of the refined vacuum character.
It should be noticed that all generators of the small N = 4 algebra have R = 1 and they actually exhaust the R = 1 component, i.e., V 1 S 1 as psl(2|2) modules. In more generality one can argue that the action of psl(2|2) does not change the R-weight. A particular example is given by operators transforming in short representations of psl(2|2). In this case the weight of the super-multiplet can be determined unambiguously since the corresponding quasi-primary, due to the h = m condition, is necessarily a function of {β 1 , . . . , β r } so its R-weight is equal to its conformal dimension, R = h. As we will see in the next subsection, this fact has a clear four-dimensional interpretation.
Refined vacuum character. By means of the filtration R, we can refine the vacuum character of the VOA W Γ . This is achieved in a standard way via the associated graded algebra G (W Γ ) defined in (6.27): Z is the Cartan of the sl(2) y of the small N = 4 SCA or the gl(1) of the N = 2 SCA. The super-dimension sdim(H) is defined as dim(H (bos) ) − dim(H (ferm) ). Notice that the character (6.28) can be further refined by applying the substitution ξ R+r →ξ R 1 y 2r in (6.28).
On the computation of sdim(H h,r,m,R ). Let us comment briefly on the computation of the refined character (6.28) level by level. The VOA W Γ is triply graded as where each V h,r,m , we can determine the R-weights of each element of the base using the free-field construction. Let us select a basis of V (bos) h,r,m that is minimal, in the sense that the R-weights of its elements are the lowest possible. Let R 1 < · · · < R k be the distinct R-weights of the elements of a minimal basis, occurring with multiplicities n 1 , . . . , n k . In an analogous fashion, we can determine a minimal basis of V (ferm) h,r,m , in which the distinct R-weights are R 1 < · · · < R k , occurring with multiplicities n 1 , . . . , n k . The contribution of V h,r,m to the refined character (6.28) is then (6.30)

Identification of R-filtration and R-filtration
We propose the following identification: 31 Suppose W Γ is the VOA associated to a four-dimensional N = 4 SCFT T , Then the R-filtration of W Γ , defined in (6.22), (6.23), (6.25), (6.26), coincides with the R-filtration canonically attached to W Γ by its definition in terms of four-dimensional CFT data of T .
This proposed identification implies in particular the equality of the Macdonald index of T with the refined vacuum character (6.28) of W Γ , where we have refined the 4d Macdonald index using the sl(2) y flavor fugacity z. To provide evidence for (6.31), we followed two approaches. Firstly, we performed a direct match of the Macdonald index of 4d N = 4 SYM with gauge algebra a 1 , a 2 , and the refined vacuum character of W Γ for Γ = A 1 , A 2 , working up to and including terms q 5 , q 3 respectively. Secondly, we analyzed the Hall-Littlewood limits of the Macdonald index of 4d N = 4 SYM with gauge algebra g and of the refined vacuum character of W Weyl(g) , and we provided general arguments for their equality, for any simple Lie algebra g. 31 We expect that the obvious generalization of this statement to the case of complex reflection groups is true, but we did not perform any check of this conjecture.

JHEP05(2019)155
The Macdonald index of 4d N = 4 SYM. The definition of the Macdonald index was recalled in (6.12). For 4d N = 4 SYM with gauge group G, the Macdonald index can be written as an integral over the maximal torus of G as follows (6.32) The notation deserves some explanations: g = Lie(G) and [du] is the corresponding normalized Haar measure, the pl(2|2) character of the extra-short representation S 1 2 is given by Finally the plethystic exponential is defined as Match between index and character for Γ = A 1 . In the case Γ = A 1 , the VOA W Γ is (the simple quotient of) the small N = 4 SCA with central charge c = −9. To compute the refined vacuum character (6.28) up to and including q 5 terms, we performed a counting of states with definite quantum numbers h, j, r, R, up to h = 5. The results are collected in table 5. Clearly, all states with integer h are bosons, and all states with half-integer h are fermions. Let us stress that this counting differs from the analogous counting at generic central charge c, because of the states that become null upon setting c = −9. Fortunately, the counting of states is facilitated by the fact that, in the free-field realization, all null states are automatically zero, as proven in [26]. Upon assembling the refined vacuum character from the data of table 5, we found a perfect match with the Macdonald index of 4d N = 4 SYM with gauge algebra a 1 , up to q 5 terms. The Macdonald index is computed using (6.32).
The r.h.s. is obtained from (6.28) by means of the further refinement ξ R+r →ξ R 1 y 2r . On the l.h.s., χ

R=1ξ
R S R and S R (q, y, z), L (h,j) (q, y, z) denote the pl(2|2) character of the corresponding representations introduced in table 2.
Match between index and character for Γ = A 2 . The counting of states up to h = 3 in the case Γ = A 2 is summarized in table 6. In contrast to the case Γ = A 1 , this time we have a non-trivial interplay between bosons and fermions with the same weight h. Once again, it is essential to take into account the states that become null for c = −24, but luckily this task is efficiently performed with the help of the free-field realization.  Table 5. States in the VOA W Γ with Γ = A 1 with h ≤ 5. The notation (j) R r encodes the spin j under the sl(2) y symmetry of the small N = 4 SCA, the outer automorphism quantum number r, and the R-weight. When we write, for instance, 1 2 1 ±1/2 , we mean that multiplets with r = 1/2 and r = −1/2 are found with the same multiplicity.  Table 6. States in the VOA W Γ with Γ = A 2 with h ≤ 3. The notation (j) R r encodes the spin j under the sl(2) y symmetry of the small N = 4 SCA, the outer automorphism quantum number r, and the R-weight.
Constructing the refined vacuum character (6.28) up to q 3 from the data in table 6, we find a perfect match with the Macdonald index of 4d N = 4 SYM with gauge algebra a 2 , as given by (6.32).
We can repackage the content of table 6 in the compact expression where we are using the same notation as is (6.35), and on the r.h.s. χ

The Hall-Littlewood limit
In this section we give additional evidence that the R-filtration, defined in terms of the 4d parent theory SCFT data in section 6, and the R-filtration, defined in terms of the free-field realization in section 6.2, coincide by focusing on a subsector of operators known as Hall-Littlewood (HL) chiral ring [45]. This ring is obtained by restricting to operators satisfying the condition h = R + r = R + r. As the Higgs branch chiral ring, the HL chiral ring carries the structure of a Poisson algebra, see [13]. At the level of the character and of the Macdonald index, the HL limit corresponds to where the character χ W Γ is defined in (6.28) and the index in (6.32).
In the following we describe more explicitly the HL chiral ring as obtained from the free-field description by applying the map P introduced in (3.18) and the four dimensional HL chiral ring denoted by R HL [SYM g ]. As a consistency check of our proposed equality W Weyl(g) = χ[SYM g ] and equivalence of R-and R-filtrations we have where the right hand side is given in (6.42). We verify this isomorphism explicitly for 32 Γ = A 1 , I 2 (p) with p = 3, 4, 6.
The HL chiral ring from the free-field description. Restricting to HL operators, defined by the condition h = R + r, in the free-field description is straightforward. According to the weight assignments given in (3.4), (6.22) all the constituent {β , γ , b , c } satisfy the condition h = R+r, while adding a derivative will violate this condition. 33 This implies that the (candidate) HL chiral ring is obtained by setting to zero derivatives in the the free-field realization of the strong generators of W Γ . This is the definition of the map P introduced in (3.18) so that the candidate HL chiral ring is P (W Γ ) with the Poisson ring structure defined in section 3.4. Interestingly, this ring (conjecturally) admits an alternative description as the subring of C[β, γ, b, c] annihilated by a certain set of nilpotent operators which are interpreted as 32 In the non-crystallographic cases p = 3, 4, 6 the right hand side in the identity (6.38) should be replaced with R Γ , see (6.42), (6.43). 33 One could also consider the conjugate ring consisting of operators satisfying h = R − r. The two rings must be isomorphic, but the description of the latter in terms of the given free-field realization is more complicated. This can be seen by looking at the weight assignment The HL chiral ring R HL [SYM g ]. Let us recall that the HL chiral ring is a consistent truncation of the usual N = 1 chiral ring obtained by restricting to Schur operators. The N = 1 chiral ring R N =1 [SYM g ] of N = 4 SYM is given by with V Γ R rank(Γ) , generalizing (1.9) and (2.12), see [48,49]. By restricting to Schur operators we conclude that As R Γ the Hall-Littlewood chiral ring R Γ carries the action of GL (2). This is actually extended to the action of SL(2|1). It should be remarked that the HL chiral ring admits an alternative description which involve solving a certain BRST cohomology problem. This is the truncation of the BRST definition of the VOA χ[SYM g ], see [1]. It is a non-trivial fact 34 that this definition reproduces the HL chiral ring (6.42). Further evidence of this equivalence can be obtained by matching the corresponding Hilbert series. The Hilbert series of (6.42) can be computed using the Molien formula 35 The BRST definition of the HL chiral ring on the other hand implies that its Hilbert series is obtained by taking the HL limit given in (6.37) of the integral (6.32) and gives I SYM(g) HL (τ, x) = [du] P.E. (x + x −1 ) τ − τ 2 χ g Adj (u) . (6.46) 34 In fact this is the main conjecture in [50]. 35 The super-determinant is defined in the standard way. The basic building block is

(6.44)
It is possible to further refine (6.45) by keeping track of the gl(1)r quantum number. This is achieved by taking h = diag(τ x, τ x −1 , zτ 2 ), where z is a gl(1)r fugacity. This refinement of the Hilbert series cannot be obtained as a specialization of the four dimensional index.
Since the argument of the plethystic exponential is a Laurant polynomial, the integrand is a rational function, see (B.14). The equivalence of the two descriptions implies that I SYM(g) HL (τ, x) = HS Γ (τ, x) , Γ = Weyl(g) , (6.47) See appendix B.2 for more details.

Examples
Rank 1 example: Γ = A 1 . Let us describe the entries of (6.38) in this example. In this case the VOA W A 1 is isomorphic to the simple quotient of the small N = 4 super-Virasoro algebra at c = −9. Applying the map P to the free-field realization of the generators of W A 1 gives j + = β , j 0 = 2βγ + bc , j − = γ(βγ + bc) , g + = b , g − = bγ , (6.48) where we used the notation P (X) = x when acting on the generators. Above (β, γ, b, c) are super-commuting variables, they can be thought of as coordinates of C 2|2 . It should be noticed that the image of T and G ± is zero since derivatives are set to zero. It is easy to verify that the following combinations are identically zero. Recall that the relations g ± g ± = 0 and g + g − + g − g + = 0 hold by definition in a supercommutative ring. We conclude that The Hilbert series of this ring can be computed by standard methods, the result is given by (6.52) below. Next let us consider the ring (6.43) with Γ = A 1 . It is rather clear the it is generated by j + = z + z + , j 0 = 2z + z − , j − = z − z − , g + = z + θ , g − = z − θ . (6.51) The character of this ring is given by the Molien formula (6.45) and in this case gives This expression is a generalization of (2.15). Similarly to the Higgs branch chiral ring, the most efficient method to show the equivalence (6.38) is to establish a relation between the βγbc coordinates and the quotient coordinates by equating the genetators (6.48) with (6.51). This gives Notice that the expressions (6.48) are invariant under the transformation γ → γ + ηb, c → c + 2ηβ where η is a fermionic parameter. For this reason only the invariant combinations under this transformation, given in (6.53), can be determined. As already anticipated in (6.40), P (W A 1 ) can be identified with the kernel of J cl = bβ −1/2 , which generates the fermionic symmetry described above, in C[β, γ, b, c].

JHEP05(2019)155
Covariance under sl(2) y . The operator content of VOAs with small N = 4 superconformal symmetry falls into representations of sl(2) R-symmetry. We find it convenient to study irreps of sl(2) by means of a standard index-free formalism, based on the introduction of an auxiliary variable y. The group SL(2) acts on y via Möbius transformations. We often denote this SL(2) group as SL(2) y , in order to distinguish it from the global part of the conformal group on the Riemann sphere, which is denoted SL (2)  As a function of y, O is a polynomial of degree 2j. Consider any objects O 1 (y), O 2 (y) transforming under SL(2) y according to (A.10) with spins j 1 , j 2 . Let B denote any bilinear operation. We are mainly interested in the cases B(·, ·) = {· ·} n or B(·, ·) = (· ·) n in a VOA, but the following considerations also apply if B is, for instance, the commutative product in a polynomial ring, or the Poisson bracket in a Poisson algebra. It is useful to have a formula to decompose the product B(O 1 (y 1 ), O 2 (y 2 )) into contributions of definite spin j. Such a formula reads B O 1 (y 1 ), O 2 (y 2 ) = j y j 1 +j 2 −j 12 D j 1 ,j 2 ;j (y 12 , ∂ y 2 ) B(O 1 , O 2 ) j (y 2 ) .
(A.12) Some comments are in order. The range of the summation over j is determined by the usual rules for composing angular momenta, j ∈ {|j 1 − j 2 |, |j 1 − j 2 | + 1 , . . . , j 1 + j 2 } . (A.13) The differential operator D j 1 ,j 2 ;j (y 12 , ∂ y 2 ) is given by D j 1 ,j 2 ;j (y 12 , ∂ y 2 ) = ∞ k=0 (−j − j 1 + j 2 ) k k! (−2j) k y k 12 ∂ k y 2 , (A.14) and can be thought of as the continuation of the operator (A.6) to h = −j. As usual, y 12 = y 1 − y 2 . Notice that the sum over k always truncates to a finite sum. The object B(O 1 , O 2 ) j is the projection onto the part with definite spin j. In order to define it more precisely, we introduce the notation The differential operator D 1,j;j was defined in (A.14) and takes the simple form D 1,j;j (y 12 , ∂ y 2 ) = 1 + 1 2 j y 12 ∂ y 2 . (A.31) It is useful to notice that the AKM primary condition, combined with the psl(2|2) primary condition, is equivalent to the super-Virasoro primary condition. The analogous notions of primary operators in the case with N = 2 supersymmetry are obtained with minimal modifications. The R-symmetry of the small N = 2 SCA is gl(1), and therefore we do not need the auxiliary variable y. In analogy with the previous case, the AKM primary condition, combined with the osp(2|2) primary condition, is equivalent to the N = 2 super-Virasoro primary condition.

B.2 The index in some limits
In this appendix we include some details about the integral representations of the index (6.32) in two limits.
Coulomb branch index. As a warm up lets consider a limit of the index (6.32) which reproduced the Hilbert series of C[z 1 , . . . , z r ] Γ . It is given by  This expression is valid for |t| < 1. The integral above can be computed by summing the two residues.
(B.14) In this example one should take |τ x|, |τ x −1 | < 1. We checked in various examples that the integral (B.14) coincides with the Molien series of R Γ defined in (6.45). It is likely that the equality could be proven by showing that the residues in (B.14) are in one to one correspondence with elements of the Weyl group.
A trained eye might recognize that for g = su(N ) the index (B.14) is related to the Nekrasov instanton partition function, see e.g. equation (14) in [52]. Introduce a N via the generating function The expressions (B.14) can be integrated to