Deformation quantizations from vertex operator algebras

In this note we address the question whether one can recover from the vertex operator algebra associated with a four-dimensional 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 superconformal field theory the deformation quantization of the Higgs branch of vacua that appears as a protected subsector in the three-dimensional circle-reduced theory. We answer this question positively if the UV R-symmetries do not mix with accidental (topological) symmetries along the renormalization group flow from the four-dimensional theory on a circle to the three-dimensional theory. If they do mix, we still find a deformation quantization but at different values of its period.


Introduction and summary
Conformal field theories famously possess a convergent, associative operator product algebra of local operators. Unfortunately, an analytic handle on this algebraic structure appears well out of reach in dimensions larger than two. If the symmetry algebra of the theory additionally includes supersymmetry, however, one can attempt to perform a cohomological truncation with respect to one of its nilpotent supercharges and aim to study the necessarily simpler, still associative algebra of cohomology classes instead. This approach has met with great success. In the seminal paper [1], it was shown that a construction of precisely JHEP06(2020)127 this type defines a correspondence between four-dimensional N = 2 superconformal field theories (SCFTs) and vertex operator algebras (VOAs): 1,2 V : {4d N = 2 SCFTs} −→ {VOAs} . (1.1) Similarly, three-dimensional N = 4 superconformal field theories can be mapped to topological algebras [34,35]. What's more, these topological algebras have been shown to be a deformation quantization of the ring of holomorphic functions over the Higgs branch of vacua M H [35]. 3 Three-dimensional N = 4 superconformal symmetry dictates that the Higgs branch is a hyperkähler cone, so we have It is important to remark that the image of DQ is a C * -equivariant, even deformation quantization satisfying two additional properties. The first one states that the deformed multiplication truncates sooner than C * -equivariance demands, while the second one implements the physical condition of unitarity. The aim of this note is to investigate the following question Question 1. Can one recover from the vertex operator algebra associated with a fourdimensional N = 2 superconformal field theory T 4d the deformation quantization corresponding to the dimensional reduction T 3d of that SCFT?
An obvious first clue that this may be possible is the common lore that the Higgs branch of vacua remains unchanged under dimensional reduction: Furthermore, in the past few years it has become clear that Higgs branch physics is intricately encoded in V[T 4d ]. Indeed, given V[T 4d ], one can (conjecturally) recover M H [T 4d ] by taking the so-called associated variety [21], while free-field realizations mirroring the effective field theory description of the SCFT in a Higgs vacuum allow one to reconstruct the vertex operator algebra itself [24,29]. All in all, we thus have interconnections as in figure 1, and we aim to fill in the question mark in this figure.
Our strategy to answer question 1 was suggested in our previous paper [23] and is as follows. An important entry of the SCFT/VOA dictionary states that the vacuum character of the VOA equals a particular limit of the superconformal index of the SCFT -the so-called Schur limit. This index can be defined as the partition function of T 4d placed supersymmetrically on a manifold with topology S 3 ×S 1 . In [23,27], this equality of the torus partition function of the vertex operator algebra and the Schur index of the SCFT was made explicit using supersymmetric localization techniques. Indeed, for Lagrangian theories it was proved that the path integral can be localized to a slice of field configurations describing the VOA living on a torus T 2 ⊂ S 3 × S 1 . What's more, the computation was extended JHEP06(2020)127 fr e e f i e l d c o n s t r .

DQ
? classical limit Figure 1. Interconnections between various objects associated with the four-dimensional theory T 4d and its three-dimensional dimensional reduction T 3d .
to efficiently compute torus correlation functions of fields of the vertex operator algebra. Similarly, in [36] a supersymmetric localization computation of correlation functions defining the topological algebra was performed on the three-sphere S 3 . 4 The key observation is now that, roughly speaking, upon dimensionally reducing the former computation along the circle S 1 , one lands on the latter. Moreover, although localization techniques are not available for non-Lagrangian theories, there is no a priori obstruction to formalizing this procedure and to apply it to non-Lagrangian theories as well. It amounts to, still roughly speaking, taking the high-temperature limit β → 0 of torus correlation functions of the vertex operator algebra. The qualifiers "roughly speaking" refer to various subtleties. First of all, the fields of the vertex operator are strictly larger in number than those participating in the deformation quantization. To remove the spurious fields, we accompany the hightemperature limit with a particular rescaling of the fields of the VOA. In detail, if a(z) is a field of conformal weight h a , we rescale as a(z) → β ha a(z). Second, the results on the three-sphere suffer from operator mixing, which can be disentangled by a Gram-Schmidt process that aims to diagonalize the matrix of two-point functions. Third, by moving outside the realm of Lagrangian theories, we have opened the door for the IR R-symmetries of the three-dimensional SCFT being realized as a mixture of the four-dimensional UV R-symmetries and accidental (topological) symmetries emerging along the renormalizaton group flow from the four-dimensional UV SCFT to the three-dimensional IR SCFT. This type of mixing leaves an imprint on the three-dimensional theory on the three-sphere that takes the form of imaginary Fayet-Iliopoulos parameters [39]. 5 These directly affect the deformation quantization and ultimately spell an end to any hopes of answering our question JHEP06(2020)127 in the positive in all generality -at least not in any obvious manner. Only if such mixing does not occur will our procedure produce DQ[T 3d ] from V[T 4d ]. In all other cases, we do find a deformation quantization, but at different values of its parameters than DQ [T 3d ]. This note is organized as follows. In section 2, we briefly review the SCFT/VOA and the SCFT/deformation quantization correspondences. In section 3 we present in detail our proposal for recovering DQ[T 3d ] from V[T 4d ]. Section 4 contains the proof of our proposal in Lagrangian theories and section 5 various tests and examples for non-Lagrangian theories. We collect various useful functions and their properties in appendix A. Appendix B contains explicit results for torus correlation functions of current algebras and their resulting deformation quantizations. In appendix C, we present an analysis of Virasoro torus correlation functions based on Ward identities. Finally, appendix D collects characters of various vertex operator algebras studied in sections 4 and 5.
Note added: when this note was being finalized, the paper [41] appeared on the arXiv, which addresses the same question.

Algebraic structures in 4d and 3d SCFTs
The aim of this note is to relate vertex operator algebraic structures one can carve out in four-dimensional N = 2 superconformal field theories to topological algebras appearing in their three-dimensional N = 4 superconformal dimensional reduction. In this section we start by briefly reviewing how these algebras emerge.

SCFT/VOA correspondence
Four-dimensional N = 2 superconformal field theories, i.e., quantum field theories whose symmetry algebra contains the superalgebra su(2, 2|2), take part in a remarkable correspondence with vertex operator algebras [1,9]: The vertex operator algebra arises as a cohomological reduction of the operator product algebra of local operators of the SCFT. The cohomology is computed with respect to a nilpotent supercharge Q ∈ su(2, 2|2) that takes the schematic form of the sum of a Poincaré supercharge and a special conformal supercharge: Q = Q + S. At the origin of space, harmonic representatives of Q-cohomology classes are characterized by a linear relation among their quantum numbers. They were dubbed "Schur operators", because they are precisely the operators counted by the Schur limit of the superconformal index [42]. Concretely, where E denotes the conformal dimension of the operator O, (j 1 , j 2 ) its su(2) 1 × su(2) 2 rotational quantum numbers, and R the value of its SU(2) R Cartan charge. Unitarity of the theory implies that these operators automatically satisfy r+j 1 −j 2 = 0, where r denotes the U(1) r charge. They can be transported away from the origin while remaining in cohomology by Q-closed translation operators. It is an algebraic fact that only motion in a complex JHEP06(2020)127 plane C [z,z] is possible, and, moreover, that the (twisted) translation in thez-direction is Q-exact. 6 Therefore, cohomology classes depend only on the holomorphic coordinate z.
The operator algebra of the four-dimensional SCFT endows these holomorphic cohomology classes with the structure of a vertex operator algebra. Note that the (holomorphic) conformal weight of a Schur operator is measured by the eigenvalue of L 0 , the Cartan generator of the sl(2) z algebra of Möbius transformations of z. Upon embedding this algebra in the four-dimensional conformal algebra, one finds on any Schur operator O(0) that To arrive at the second equality, we used the relation among quantum numbers of (2.2). The set of Schur operators is non-empty for any local SCFT. Indeed, the fourdimensional stress-energy tensor, which is guaranteed to exist in a local quantum field theory, resides in a superconformal multiplet of su(2, 2|2) that contains a Schur operator -a certain component of the Noether current of the SU(2) R symmetry. Its twisted translation defines a holomorphic cohomology class whose operator product expansions identify it as the Virasoro stress tensor of the VOA. The Virasoro central charge c 2d is related to the Weyl anomaly coefficient c 4d of the above-lying superconformal field theory by the universal relation A collection of additional Schur operators are related to the Higgs branch geometry of the SCFT. 7 Four-dimensional N = 2 superconformal field theories come equipped with a (possibly empty) Higgs branch of vacua M H , which can be defined as the branch of the moduli space of vacua preserving the U(1) r symmetry. Its geometric structure is that of a hyperkähler cone. 8 Its coordinate ring C[M H ], i.e., the ring of holomorphic functions over the cone, can be identified with the Higgs branch chiral ring. 9 The elements of the latter 6 The subalgebra of the four-dimensional conformal algebra so(4, 2) that preserves the complex plane C [z,z] set-wise is sl(2)z × sl(2)z × u(1) ⊥ . The sl(2) factors generate the standard Möbius transformations on the respective complex coordinate and u(1) ⊥ contains rotations orthogonal to C [z,z] . While the Q-closed translation of z is simply generated by L−1, the Q-exact translation of the coordinatez is generated bȳ L−1 + R − , where R − is the su(2)R lowering operator. Due to the presence of the SU(2)R generator, one often speaks of "twisted translation". 7 By no means do the operators associated with Higgs branch chiral ring operators exhaust the full set of Schur operators. See [1] for a complete dissection of the body of Schur operators. 8 Recall that a hyperkähler cone features three complex structures Ji, i = 1, 2, 3, that anticommute with one another, satisfy J 2 i = −1 and J1J2 = J3, and are compatible with the metric g(X, Y ) = g(JiX, JiY ). The three complex structures are rotated as a triplet by an SU(2) isometry. Their associated Kähler forms ωi are closed dωi = 0. The conical structure further implies that the metric takes the form ds 2 = dr 2 +r 2 ds 2 base . 9 To define the coordinate ring C[MH ] of the hyperkähler cone MH , we have singled out one of the complex structures, say J3. Thanks to the SU(2) isometry acting on the complex structures, all choices are equivalent. The other two Kähler forms organize themselves into a holomorphic symplectic form Ω (2,0) = ω1 +iω2, turning the coordinate ring C[MH ] into a commutative, associative Poisson algebra. Note that the SU(2) isometry of the hyperkähler cone is identified with the R-symmetry SU(2)R. The choice of complex structure is correlated with the Cartan decomposition of this SU(2) group. Finally, for future purposes, it is worth mentioning that the coordinate ring admits a C * grading, which is the complexification of the dilatation symmetry with the U(1)R ⊂ SU(2)R Cartan subalgebra. and their multiplication is obtained from the coincident limit of their standard operator product expansion. Note that Higgs branch chiral ring operators are automatically Lorentz scalars j 1 = j 2 = 0 and U(1) r neutral, and thus are special instances of Schur operators. What's more, one can prove that all Higgs branch chiral ring operators give rise to Virasoro primary operators in the vertex operator algebra and that the generators of the ring are strong generators of the VOA.
Of particular importance in this class of Schur operators are the moment map operators associated with flavor symmetries G F of the SCFT, or, equivalently, with hyperkähler isometries of the Higgs branch. Their twisted-translated counterparts satisfy meromorphic operator product expansions defining an affine current algebraĝ F . The level k 2d of this Kac-Moody algebra is related to the four-dimensional flavor central charge k 4d via It is clear from the preceding discussion that the vertex operator algebra is intimately related to the geometry of the Higgs branch of vacua. This relationship was fleshed out and made precise in [21] (see also [43,44]). In that paper, it was conjectured that the Higgs branch can be recovered (as a holomorphic symplectic variety) from the vertex operator algebra as the so-called associated variety of the VOA. This variety is defined as the spectrum of the ring one obtains by performing a certain quotient of the ring of VOA operators whose multiplication is the standard normal ordered product. Vice versa, strong evidence has been obtained in [24,29] that the VOA can be given a (generalized) freefield construction mirroring the effective field theory description of the SCFT in a Higgs vacuum. 10 Schematically, the situation is thus as follows fr e e f i e l d c o n s t r .
We conclude this subsection by expressing in formulae the statement made implicitly above that the vacuum character of the vertex operator algebra χ 0 (q) equals the Schur limit of the superconformal index I S (q) (2.7) Here STr denotes the supertrace over the space of states of the VOA and H(S 3 ) is the Hilbert space of states on the three-sphere of the four-dimensional SCFT. In the trace over 10 See also [12] for a different kind of free-field realizations.

JHEP06(2020)127
the latter, many cancellations take place and ultimately only Schur operators contribute. As we will review in more detail below, both sides of this identification can be decorated with (Schur) operator insertions. For Lagrangian theories, the Schur index dressed with additional insertions can be computed explicitly using supersymmetric localization techniques as a correlation function of the four-dimensional SCFT placed on S 3 × q S 1 [23] (see also [27]).

SCFT/deformation quantization correspondence
Both the Coulomb branch M C and Higgs branch M H of vacua of three-dimensional N = 4 superconformal field theories are hyperkähler cones. They are singled out as the loci of the moduli space of vacua kept invariant by the R-symmetry algebras SU(2) H and SU(2) C , respectively. 11 In this note we will focus on the Higgs branch. Higgs branch chiral ring operators of three-dimensional N = 4 SCFTs are characterized as follows: Very similarly to the SCFT/VOA correspondence of the previous subsection, threedimensional N = 4 superconformal field theories admit a cohomological truncation to a one-dimensional topological algebra, i.e., an associative algebra additionally endowed with an evaluation map [34,35]. As was uncovered in [35], this algebra is a noncommutative deformation of the coordinate ring C[ M H ]. 12 Moreover, it was shown in that same paper that the leading term of this deformation is determined by the Poisson bracket: the topological algebra thus defines a deformation quantization: 13 Various other properties of this deformation have been established in [35] and can be summarized as follows. Let f ∈ A p , g ∈ A q be elements of the pth and qth C * -graded component of the coordinate ring A = C[ M H ]. In other words, f and g are holomorphic functions over the Higgs branch that correspond to Higgs branch chiral ring operators 11 Recall that three-dimensional N = 4 superconformal field theories are defined by the requirement that their symmetry algebra contain the superalgebra osp(4|4, R). Its bosonic subalgebra is given by (su(2)C ⊕ su(2)H ) × sp(4, R), where one recognizes the R-symmetry algebras and the three-dimensional conformal algebra sp(4, R) so(3, 2). 12 Indeed, harmonic representatives of cohomology classes at the origin are characterized by the requirement that their quantum numbers satisfy E = RH , i.e., that they are Higgs branch chiral ring operators. While remaining in cohomology, these operators can only be (twisted) translated away from the origin along a line, and the coordinate dependence along this line is exact. Thus, only the ordering of the twisted-translated cohomology classes along the line is retained. Their algebraic properties descend from the three-dimensional operator product algebra: they form an associative, but not necessarily commutative, algebra, and taking vacuum expectation values provides the above-mentioned evaluation map. 13 Recall from footnote 9 that the coordinate ring of a hyperkähler cone is naturally a Poisson algebra.

JHEP06(2020)127
of SU(2) H charge R H = p 2 and q 2 respectively. Then the multiplication of their twistedtranslated cohomology classes ordered along the line, which we denote by , reads where f · g is simply the multiplication in the ring A and {f, g} P B denotes the Poisson bracket. Here ζ is an immaterial book-keeping device that keeps track of one unit of SU(2) H -charge. Moreover, the -product satisfies the following properties: A fifth property is related to unitarity. Let ρ be a rotation over π in SU(2) H followed by complex conjugation, then for The general form (2.10) of the -product together with properties 1, 2 (and 4) are the mathematical definition of an (even) C * -equivariant deformation quantization of the Poisson algebra (A, ·, {., .} P B ). As explained in [35], properties 3 and 5 are gauge fixing conditions for an infinite-dimensional group of gauge equivalences. They were conjectured to be perfect in [35]. All in all, the deformation quantization thus depends on a finite number of intrinsic parameters, the so-called period of the quantization. This period is in one-toone correspondence with elements of H 2 ( m H , C)/W , where m H is a smooth symplectic resolution of M H and W the Namikawa-Weyl group [45,46]. In more physical terms, the Namikawa-Weyl group is simply the Weyl group of the Coulomb branch flavor symmetry of the theory, while H 2 ( m H , C) can be identified with the space of real mass parameters of topological Coulomb branch symmetries, i.e., Fayet-Iliopoulos terms, one could in principle turn on in the theory [35]. 14 Exciting progress towards proving this conjecture has recently been made in the mathematics literature [47].

From VOA to deformation quantization
As we have explained in the previous section, both the vertex operator algebras associated with four-dimensional N = 2 SCFTs and the deformation quantizations corresponding to three-dimensional N = 4 SCFTs are intimately related to the geometry of their Higgs branches of vacua -the latter in an obvious manner, as they are the quantizations of the coordinate ring of the Higgs branch, while the former in a slightly less manifest manner. Moreover, it is a well-known fact that the Higgs branch of vacua remains invariant under JHEP06(2020)127 (trivial) dimensional reduction. A natural question to ask is then if one can fill in the question mark in the following diagram:
In this section, we will attempt to answer this question by formalizing the dimensional reduction of the four-dimensional theory T 4d placed supersymmetrically on the (warped) product-manifold S 3 × q S 1 . The partition function on this background computes the Schur limit of the superconformal index: In other words, using (2.7), it computes the torus partition function of the vertex operator algebra associated with the SCFT. The relevant torus T 2 ⊂ S 3 × q S 1 arises as the pointwise fixed set of a certain spatial U(1) rotation; its complex structure τ is determined by q = e 2πiτ . Moreover, it was shown in [23] (see also [27]) that one can enrich the computation with (twisted-translated) Schur operators inserted at points on said torus The resulting S 3 × q S 1 correlators equal torus correlation functions of the associated fields of V[T 4d ]. What's more, for Lagrangian SCFTs one can leverage supersymmetric localization techniques to arrive at an effective and efficient computational method of these correlation functions.
If T 3d admits a UV Lagrangian description in terms of vector and hypermultiplets, it was shown in [36] that the correlation functions defining the one-dimensional topological algebra associated with (the Higgs sector of) T 3d are accessible via a localization computation on the three-sphere. Note however that operators on the three-sphere may mix, see [36,49]. The correct flat-space basis can be determined by diagonalizing the matrix of two-point functions. As we suggested in [23], and will show in detail in section 4, dimensionally reducing the Lagrangian setup on S 3 × q S 1 along S 1 allows one to make direct contact with these computations. Moreover, by observing that this S 1 -reduction is nothing but the high-temperature limit τ → +i0, i.e., β := −iτ → +0, of the torus correlation functions of V[T 4d ], it can be phrased purely vertex operator algebraically. This formulation is helpful because the VOA is often known even in the absence of a Lagrangian description of T 4d .
Simply considering the high-temperature limit of torus correlators cannot be the complete story, since, as explained above, the set of Schur operators is strictly bigger than the collection of Higgs branch chiral ring operators. Taking a cue from the notion of contracting algebras, we propose a rescaling of the four-dimensional Schur operators by powers of β that ensures that only correlation functions of Higgs branch chiral ring operators JHEP06(2020)127 survive in the β → 0 limit. Finally, one should observe that the R-symmetries of the three-dimensional theory in the IR may be realized as a mixture of the four-dimensional UV R-symmetries and accidental (topological) symmetries. A simple criterion for when this must be the case was put forward in [39], namely if the Coulomb branch chiral ring has generators of U(1) r charges that are not quantized in half-integer units. Such mixing is encoded in the three-sphere partition function as imaginary parts of the Fayet-Iliopoulos parameters. Such parameters directly modify the period of the resulting quantization, thus taking us away from the specific superconformal deformation quantization DQ(T 3d ).

Torus correlation functions
We start by putting the vertex operator algebra V[T 4d ] on the torus T 2 = C/(Z + τ Z). The modular parameter τ takes values in the upper half plane H; it is acted on by the modular group PSL(2, Z) in the usual fashion: τ → aτ +b cτ +d , where a b c d ∈ PSL(2, Z). The quantities of our interest are normalized torus correlation functions. Concretely, for primary fields O I of conformal weight h I , one finds 16 (3.2) where w j = e 2πiz j relates the coordinates z j on the torus to coordinates w j on the plane. The normalization is provided by the unnormalized one-point function of the identity operator O 1 = 1, in other words, the vacuum character: In these equations we have used the nome q defined as q := e 2πiτ . It will be useful later on to also recall that one-point functions are position independent and easily expressed in terms of the operator's zero-mode o(O) : If the field is not integer-moded or has odd statistics the result is zero. In particular, for the stress-energy tensor T , which transforms as Let us introduce some notation for the quantities of our most direct interest, namely the torus two-, and three-point functions JHEP06(2020)127

High temperature limit and deformation quantization
Implementing the intuition outlined above, we would like to take the high-temperature limit β := −iτ → +0 of the torus correlation functions of (3.6). To ensure that only correlators of Higgs branch chiral ring operators survive, we accompany this limit with a specific β-dependent rescaling of all Schur operators. To find the correct rescaling, we argue as follows. Let us recall that the space of states of the vertex operator algebra or equivalently the vector space of all Schur operators of the four-dimensional superconformal field theory is triply graded by (two-dimensional) conformal weight h, SU(2) R Cartan charge R, and U(1) r charge r: V = h,R,r V h,R,r . Note however that the operator product expansions of the associated fields do not respect the R-grading, but they do respect an R-filtration [21] for more details. Higgs branch chiral ring operators reside in V H = R V h=R,R,r=0 . It is clear then that a measure for the deviation of a Schur operator from being in the Higgs branch chiral ring is h − R. We should additionally take into account that the four-dimensional conformal dimension of a Higgs branch chiral ring operator, E = 2R, is one unit of SU(2) R charge larger than that of a three-dimensional one E = R. 17 In total we thus put forward the rescaling of Schur operators to be Quite elegantly, this rescaling can be phrased in terms of the conformal weight of the fields of the VOA, which are known as soon as the vertex operator algebra itself has been identified.
Applying this rescaling to one-point functions, we define and trivially find from (3.4) which constitutes a matrix of real numbers. Using Zhu's recursion relations [50], we can indeed prove explicitly that the position dependence drops out in our limit:

JHEP06(2020)127
and we used the standard notation for the various terms in the operator product expansion Using the high-temperature behavior (A.9) of the functions P m+1 and of normalized onepoint functions O ∼ β −h O , it is now easy to convince oneself that the second term does not contribute in the limit (3.10). We thus find Note that this equality for the high-temperature limit of two-point functions is in some sense a trivial extension of (3.9). Finally, we define for Re(z 1 ) > Re(z 2 ) > Re(z 3 ) which we expect to be explicitly calculable as 18 The computation of the limit (3.16) defining the coefficients c IJK (and its special cases involving one or two identity operators (3.10) and (3.9)) can be further simplified. Let us start by considering the vacuum character χ 0 (τ ). Under an S-transformation τ →τ = −1/τ it can be written as where the sum runs over the elements of the vector-valued modular form of weight zero under PSL(2, Z) or Γ 0 (2) in which the vacuum character of any vertex operator algebra that occurs as the image of the SCFT/VOA map V transforms. 19 The characters χ j (τ ) start off as χ j (τ ) = e 2πiτ (−c/24+h j ) (1+. . .), but possibly also involve logarithmic terms. The coefficients S 0j are rational numbers. The high-temperature limit of the vacuum character is then easily derived  18 We have not attempted to prove this statement from first principles, for example again using Zhu's recursion relations. 19 It was shown in [21], as a consequence of the conjecture that the Higgs branch of vacua can be recovered as the associated variety of the vertex operator algebra, that the vacuum character of the vertex operator algebras appearing in the context of the SCFT/VOA correspondence satisfies a modular differential equation. As a result, under modular transformation, the vacuum character is mapped to a linear combination of solutions of that modular differential equation or, in the Γ 0 (2)-modular case, the conjugate one. 20 Here and in the rest of the paper, we assume that c eff > 0 to avoid divergent high-temperature behavior. 21 Note that if one finds only free hypermultiplets in a generic point of the Higgs branch MH of the SCFT, then 24(c 4d − a 4d ) = dim H MH .

JHEP06(2020)127
Let us denote the space of states of conformal weight h min as M min . Assuming that M min is finite-dimensional, 22 spanned by Grassman-even states of integer spin, we can straightforwardly write The generalization to more general state-content of M min requires more care in the trace, as the periodicity properties along the two cycles of the torus are exchanged by the Stransformation. (See also footnote 16.) It is worth noting that expression (3.20) makes contact with Zhu's non-commutative algebra [50]. Indeed, the product of zero-modes acting on a highest weight state |ψ can be re-expressed as o(a)o(b)|ψ = o(a * b)|ψ , where * is Zhu's non-commutative product, turning the argument of the trace in the numerator into o(O I * O J * O K ). 23 We leave a more detailed study of this structure for future work.
Having computed the one-, two-, and three-point coefficients a I , b IJ , and c IJK , our next task is to find a new basis of operatorsÔ I that diagonalizes b IJ . This Gram-Schmidt process is a recursive task that can be easily performed. Note that the new basis still respects the R-filtration, i.e., the new operator can only be different from the original one by operators of lower R-charges. In particular the diagonalization ensures that in the new basis the one-point functionsâ I =b I1 = 0, for I = 1. In fact, even stronger, we claim that in the new diagonal basisb Implementing the change of basis on the constants c IJK , which we denote in the new basis asĉ IJK , we further claim that We do not currently know how to prove these claims in all generality. For Lagrangian theories, however, it is easy to convince oneself that they are true. See the next section for more details. Together, the inverse of the (non-zero part of the diagonal) matrixb IJ and the collection of numbersĉ IJK allow one to definê Here the indices can be understood to only range over V H . Other operators have zero three-point constantsĉ IJL anyway. At last, these define the desired algebrâ (3.25) 22 One could speculate that the modules of interest here belong to category O, and thus, upon fully grading, possess finite-dimensional weight spaces. Perhaps this property can be brought to bear to deal with the case of infinite-dimensional, not fully graded spaces Mmin. 23 This product is defined as for two states a, b. It is associative, but non-commutative. Zhu's algebra additionally involves a quotient with respect to a certain ideal.

JHEP06(2020)127
The algebra defined by (3.25) is a C * -equivariant deformation quantization. These properties immediately follow from the construction presented so far. In particular the R-filtration guarantees C * -equivariance, and the antisymmetric part of the leading term is the Poisson bracket as follows from an easy computation: whose leading p = 0 term gives a −ha+1 b = {a, b} PB if a, b ∈ V H [21]. The other properties we would like this deformation quantization to possess are less obvious. For Lagrangian theories, they follow indirectly from the arguments presented in the next section. We will assume that they all hold also for non-Lagrangian cases, but it would clearly be desirable to prove this statement. Our next task is to answer the question if this algebra is some deformation quantization or precisely the one that follows from the SCFT/Deformation quantization correspondence. Note that even if the algebra satisfies all five properties listed in subsection 2.2, and therefore all gauge freedom is (conjecturally) fixed, it still has finitely many free parameters in its period, and it is not a priori clear that the procedure outlined in this section selects the superconformal values. In fact, as remarked above and as we will see explicitly in examples below, this is not the case if the Coulomb branch R-symmetry of the three-dimensional IR theory is a mixture of the UV U(1) r symmetry with accidental (topological) symmetries. This situation arises whenever the U(1) r charges of the four-dimensional UV theory are not quantized in half-integer units. Given the discussion at the end of subsection 2.2 stating that Fayet-Iliopoulos parameters (modded out by the Weyl group of Coulomb branch flavor symmetries) are in one-to-one correspondence with the period of the quantization, it comes as no surprise that having to turn on imaginary Fayet-Iliopoulos parameters directly affects the period.

Lagrangian proof of proposal
Our proposal to extract from the vertex operator algebra associated with a four-dimensional N = 2 SCFT the deformation quantization of the Higgs branch of vacua of its dimensional reduction is in essence based on taking the high-temperature limit of torus correlation functions of the VOA. Computing torus correlators is a difficult task in general, although tools like Zhu's recursion relations are often helpful [50]. There is, however, a subset of VOAs whose torus correlation functions can be computed relatively easily, namely those associated with four-dimensional Lagrangian theories. As mentioned before, supersymmetric localization techniques applied to the four-dimensional theory placed on S 3 × q S 1 lead one to a computational recipe of torus correlators in terms of explicit contour integrals [23,27]. Their integrands have a transparent structure that allows one to extract the deformation quantization of the dimensionally reduced theory. In particular, in this section we will show in detail that the high-temperature limit of these torus correlation functions directly reduces to twisted Higgs branch correlation functions of the three-dimensional theory on JHEP06(2020)127 the three-sphere. From these one can straightforwardly deduce the desired deformation quantization [36]. In fact, a detailed understanding of the Lagrangian procedure is what allowed us to formulate our general proposal.

Lagrangian proof
Recall from (2.7) that the unflavored Schur index I (T 4d ) S (q) of any four-dimensional N = 2 superconformal field theory T 4d equals the vacuum character of the associated vertex operator algebra V(T 4d ). Standard arguments further identify the Schur index with the partition function of T 4d placed supersymmetrically on an S 3 × q S 1 background, see (3.1). 24 Concretely, for an N = 2 superconformal gauge theory with gauge algebra g and hypermultiplets transforming in the representation R of g, the Schur index I S /vacuum character of the associated VOA χ 0 /partition function on S 3 × q S 1 can be written as a contour integral 25 .
Here the gauge fugacity a takes values in the Cartan torus, i.e., a = e 2πia with a in the Cartan subalgebra of g. Furthermore, ∆ denotes the (nonzero) roots of g and ρ∈R denotes a product over all weights in the representation R. Finally, |W | is the order of the Weyl group of g. Torus correlation functions of vertex operators of V[T 4d ] are identified with those of the corresponding twisted-translated Schur operators, i.e., a representative of the cohomology class defining the vertex operator in question, inserted on a torus T 2 ⊂ S 3 × q S 1 . Localization techniques provide an explicit contour integral expression for these correlation functions [23], Here the coordinates z = ϕ + τ t parameterize the torus T 2 with complex modulus τ ; they are doubly-periodic with periods 1 and τ . We require the z i 's to have distinct ϕ i = Re z i . Furthermore, O GT is the correlation function of the vertex operators in a Gaussian theory defined in terms of a bcβγ system. In more detail, the corresponding twistedtranslated Schur operators are gauge-invariant composites of the vector multiplet gaugini 24 As explained in detail in [23], the supersymmetric background is described by the metric ds 2 = 2 cos 2 θ(dϕ − iβ+dt) 2 + 2 sin 2 θ(dχ − iβ−dt) 2 + 2 dθ 2 + (−i τ + β+) 2 dt 2 , for some constants β± and τ such that Re τ + iβ+ = 0. To ensure the background preserves supersymmetry one should also turn on an SU(2)R and U(1)r background gauge field. The locus θ = 0 defines a torus T 2 ⊂ S 3 ×q S 1 . On this torus one can insert (almost-)BPS operators: the curved-space counterpart of the twisted translated Schur operators on flat space. Correlation functions of these operators admit a localization computation [23], leading to the integral formula we present in the main text. 25 See appendix A for details on Jacobi theta and Dedekind eta functions.

JHEP06(2020)127
λ,λ, hypermultiplet scalars Q A , A = 1, 2, and the holomorphic covariant derivative D z . Note that the letters λ,λ and Q A transform in the adjoint representation and the matter representation R of the gauge algebra g respectively. Using Wick's theorem, the Gaussian theory is fully defined by specifying the propagators of these letters: As before, a is defined by a = e 2πia , ρ, ρ are weights of R, while w, w are weights of the adjoint representation Adj g . With these ingredients one can compute any torus correlation function of vertex operator algebras associated with Lagrangian SCFTs. According to our proposal, we should consider their high-temperature limit. Let us thus take q = e −2πβ and a = e −2πβσ . Then β parameterizes the radius of the temporal circle of S 3 × q S 1 . Sending β → +0 while keeping σ fixed shrinks that circle and effectively dimensionally reduces T 4d to a three-dimensional theory T 3d on the three-sphere. Indeed, one easily computes the high-temperature behavior of the contour integral in (4.1): where we recognize the prefactor as capturing the Cardy behavior (3.18). Here, π 6β (dim R− dim g) = 4π c 4d −a 4d β which matches the expected effective central charge in (3.19). 26 The leftover integral is precisely the S 3 partition function Z S 3 T 3d of a three-dimensional N = 4 supersymmetric theory T 3d with UV Lagrangian description in terms of a gauge theory with hypermultiplets transforming in representation R of the gauge group G with Lie algebra g. More generally, we can take the high-temperature limit of any correlation function computed as in (4.2). 27 To do so, it clearly suffices to analyze the high-temperature behavior of the Gaussian propagators (4.3) and (4.4), and their spatial derivatives.
We proceed in two steps: first we show that the high-temperature limit of correlation functions of Higgs branch chiral ring operators results in the desired deformation quantization. Next we argue that correlation functions involving any other type of operator ultimately do not play a role in the quantization, as expected. Let us thus consider the Higgs branch chiral ring operators, i.e., composites of the hypermultiplet scalars Q A with- 26 Recall that for a Lagrangian theory with n h hypermultiplets and nv vector multiplets one has a 4d = . 27 Note that the numerator and denominator in (4.2) share the same Cardy behavior which thus cancels in the high temperature limit.

JHEP06(2020)127
out any derivatives. When 1 2 > Re z = ϕ > 0, 28 where G S 1 AB (ϕ, σ) ρ ρ is the twisted Higgs branch propagator of [36]. Note that the hightemperature limit of G T 2 AB (z,z) exhibits the singularity β −1 = β −(hQ+h Q ) . Hence, upon rescaling by β h , the torus correlation functions of Higgs branch operators have nontrivial high-temperature limit, and precisely equal those computed in [36]. Let us give a few more details. The authors of [36] performed a localization computation of N = 4 supersymmetric theories on the three-sphere S 3 that allows additional insertions of twisted-translated Higgs branch chiral ring operators on a circle S 1 ⊂ S 3 . Their result mirrors the expression (4.2) in the obvious manner and we have just confirmed that we recover the propagator defining this effective onedimensional Gaussian theory. Moreover, as was shown in [36], the resulting two-and threepoint functions precisely capture the deformation quantization satisfying all five properties that we are aiming to recover after performing a Gram-Schmidt process (if necessary) to diagonalize the two-point functions.
Next we consider correlators i O i (z i ) GT involving non-Higgs branch chiral ring operators, i.e., composites containing derivatives of Q, Q and/or involving gaugini. We will refer to these ingredients as non-Higgs branch letters; naturally, Q, Q themselves will be called Higgs branch letters. To show that these correlators ultimately do not contribute to the deformation quantization, we analyze the high-temperature limit of all possible cross-contractions, i.e., contractions between letters belonging to different operators, and self-contractions, i.e., contractions among letters belonging to the same operator. Crosscontractions lead to the quantities D n z G(z,z) or D n z G AB (z,z) with ϕ = Re z = 0 and n ≥ 0, while self-contractions involve these quantities for ϕ = 0.
The high-temperature behavior of the gaugino propagator can be easily obtained, It is crucial to note that it exhibits a β −1 singularity, milder than β −(h λ +hλ) by a factor of β. Moreover, as long as ϕ = 0, we also find β −1 singularities in the presence of derivatives, Thus, upon rescaling with the appropriate β h factors and taking the limit β → +0, crosscontractions of non-Higgs branch letters are all suppressed. 28 The result is similar for − 1 2 < ϕ < 0.

JHEP06(2020)127
Subtleties arise when we consider self-contractions of non-Higgs branch letters. Indeed, when Re z = 0, one can verify that which contain the singularities Upon introducing the appropriate factors β h , the singularities in β cancel. The tindependent pieces of the above expressions are used in the standard point-splitting procedure. Hence, we find a nontrivial high-temperature limit when performing self-contractions. After performing all possible Wick contractions, each term in the computation of i O i (z i ) GT can be factorized into three types of factors: factors arising from i) selfcontractions of non-Higgs branch letters, ii) cross/self-contractions solely between Higgs branch letters, and iii) cross-contractions involving non-Higgs branch letters. The former two types of contractions contain precisely the necessary singularities in β to ensure their own survival in the high-temperature limit, while the third type does not. Consequently, terms that contain non-Higgs branch cross-contractions vanish in the limit. In other words, in the computation of the correlator i O i (z i ) GT only those terms containing solely the first two types of factors actually survive the limit, and in particular, every non-Higgs branch letter must engage in some self-contraction to ensure that.
To continue the argument, we bring to bear the Gramm-Schmidt process, which instructs us to diagonalize all two-point functions. In particular, for any non-Higgs branch operators O non-HB , this means that we should subtract all possible maximal self-contractions involving non-Higgs branch letters, O non-HB ≡ O non-HB − maximal non-Higgs branch self-contractions .

Lagrangian examples
Before moving on to non-Lagrangian tests in the next section, let us quickly summarize a few simple Lagrangian examples where the relevant vertex operator (sub)algebras are JHEP06(2020)127 current algebras. We perform the general analysis of current algebras g k in appendix B; the final result of the current-current star product is given by 29 where f ab c denotes the structure constants and κ ab the Killing form. Furthermore, we used the effective central charge defined in (3.19), h ∨ is the dual coxeter number of g, and dim g denotes its dimension. Let us introduce a convenient parameter capturing the ζ 2 coefficient: For su(2) k current algebras, it is customary to reorganize the currents as leading to the star products A first elementary example is su(2) − 1 2 , the Z 2 -invariant vertex operator subalgebra of the associated VOA of a free four-dimensional hypermultiplet. In this case the vacuum character reads whose high-temperature behavior can be easily computed using the formulas in appendix A, resulting in c eff = 2 and thus yielding µ = − 3 16 . 30 This indeed agrees with the deformation quantization of the Z 2 gauge theory of the free hypermultiplet [35]. Note that no diagonalization is required in this example, and that both the su(2) − 1 2 torus correlation functions and the star products can also be analyzed directly using the Lagrangian machinery introduced above.
A second example serves to probe the validity of our results in cases where c eff ≤ 0. We focus on the boundary case c eff = 0, realized most simply in four-dimensional N = 4 super Yang-Mills theory with gauge group SU(2). Its associated VOA is the small N = 4 superconformal algebra at c = −9 [1]. We can focus on its current subalgebra su(2) − 3 2 generated by Higgs branch chiral ring operators, if we assume that our derivation that all 29 We use conventions in which the longest root has length squared ψ 2 = 2. 30 The value of c eff could also have been obtained by using footnote 21 in combination with formula (3.19), as of course the quaternionic dimension of the relevant Higgs branch is one.

JHEP06(2020)127
VOA correlators involving fermionic letters (or derivatives) vanish in our high-temperature limit still holds. Then the supercurrents are effectively removed, and similarly the canonical stress-energy tensor ultimately decouples. 31 The VOA's character reads . (4.20) Its leading Cardy behavior is indeed trivial, but the subleading behavior is logarithmic, as can be verified explicitly by solving the conjugate modular differential equation (see footnote 19). This logarithmic term, however, is not sufficiently singular to survive our β → +0 limit in ( This integral suffers from an obvious β −1 divergence as β → 0, which reflects the subleading logarithmic divergence of the high-temperature limit of the Schur index. The divergent nature of the three-sphere partition function also indicates that the naive dimensional reduction of four-dimensional N = 4 SYM is a bad theory. Nevertheless, keeping the parameter β as a regulator, one can easily compute the relevant normalized correlation functions of Higgs branch operators. The end-results of these computation admit a finite β → 0 limit, which naturally agree with the high-temperature behavior of the corresponding Schur correlation functions. However, this procedure does not seem to have a clear, intrinsically three-dimensional interpretation. A more physical approach would be to consider a good three-dimensional N = 4 UV description of the same IR fixed-point instead. For example, up to a decoupled free hyper, an SU(2)×U(1) gauge theory with bifundamental matter and an adjoint SU(2) hypermultiplet. Computations in this theory, however, do not agree with the high-temperature limit of the Schur correlation functions we have presented above. We leave a careful analysis of this example and other theories with c eff ≤ 0 for future work.

Non-Lagrangian examples
In this section, we turn our attention to non-Lagrangian SCFTs with known VOAs. In particular we analyze a class of examples with trivial Higgs branches to probe the decoupling of non-Higgs branch operators in the non-Lagrangian setting -we will see that an argument that parallels the one given in the Lagrangian case applies once again, -and study various instances of theories whose associated VOAs are current algebras. We compute a variety of star-products of the resulting deformation quantization and confirm that 31 Recall that the stress tensor is cohomologous to the Sugawara stress tensor in the small N = 4 superconformal algebra at c = −9. Its status as zero in the deformation quantization thus implies that the Higgs branch relation κ ab J a J b = 0 indeed holds.

JHEP06(2020)127
their period takes different values than their superconformal values if the R-symmetries mix with accidental symmetries.

(A 1 , A 2n ) Argyres-Douglas theories
As a first non-Lagrangian test of our proposal we consider the (A 1 , A 2n ) Argyres-Douglas theories. Their associated vertex operator algebras are the Virasoro minimal models Vir 2,2n+3 [2,21]. As these theories have a trivial Higgs branch, we should find a trivial deformation quantization. In other words, this example will test if the Virasoro stress tensor is removed properly in our high-temperature limit. The vertex operator algebra Vir 2,2n+3 is strongly generated by the stress tensor T (z). Its central charge is c = − 2n(6n+5) 2n+3 . On the torus, the stress tensor always has a non-zero one-point function t := T (z) T 2 , which can be computed in terms of the derivative of the vacuum character, see (3.5). Combined with the Cardy behavior of (3.18), we find a non-zero high-temperature limit: and thus a non-diagonal b IJ , as clearly b T 1 = 0. A Gram-Schmidt procedure is thus needed to diagonalize the matrix b IJ , instructing us in particular to study correlation functions of From (3.14) and (3.16), the high-temperature limit of the rescaled stress tensor correlation functions reads (n = 2, 3 for our purposes) where we have used that ∂ τ = 2πiq∂ q . Combined with the Cardy behavior of χ 0 , we obtain This equality immediately leads to a trivial high-temperature limit of all correlation functions ofT , thanks to the identity (C.2). Moreover, the vanishing behavior remains true when including composites ofT , constructed as the regular part of the coincident limit of products ofT , or in the presence of spatial derivatives. We conclude that any Virasoro algebra results in a trivial deformation quantization and in particular so does Vir 2,2n+3 . In fact, we can prove the stronger statement that the stress tensor T of any VOA trivializes when considering our high-temperature limit and thus decouples from the resulting deformation quantization. Indeed, let us first write as before Additionally inserting a collection of stress tensors m l=1 β 2 T (z l ) simply produces an m-fold derivative with respect to τ on the supertrace Str i o(O i )q L 0 − c 24 [21,50] lim β→+0 m l=1 (5.6) The high-temperature behavior of the latter can be inferred from its properties under Stransformation. A reasoning similar to the one above then allows us to conclude that all m j=1 β 2T (z j ) i β h i O i (z i ) vanish in the β → +0 limit. In appendix C we present an alternative analysis of the decoupling of the stress tensor based on Ward identities.

(A 1 , D 2n+1 ) Argyres-Douglas theories
The next class of examples we consider are the (A 1 , D 2n+1 ) Argyres-Douglas SCFTs. Their associated VOAs are given by su(2) k=− 4n 2n+1 current algebra [2,21]. Their vacuum characters read which have Cardy behavior determined in terms of Using the results of appendix B on the deformation quantization to which current algebras reduce, and the redefinition of currents as in (4.17), we find the elementary star products These results can be compared against a three-dimensional computation. Let us start with identifying the three-dimensional N = 4 supersymmetric theory to which the (A 1 , D 2n+1 ) theory flows. The circle reduction of the vacuum characters χ (n) 0 can be easily performed: .
where we removed the Cardy behavior and set a = βm. Up to prefactors irrelevant for our current purposes, 32 this result can be recognized as the S 3 -partition function of threedimensional N = 4 SQED with two flavors in the presence of an imaginary FI-parameter 32 These factors indicate the presence of additional free twisted hypermultiplets, besides the interacting N = 4 SQED with two flavors, in the infrared [54,55]. Computationally, however, they cancel when calculating normalized correlation functions of the SU(2) flavor symmetry moment maps of the interacting part.
(5.11) Note that the appearance of an imaginary FI-parameter is the hallmark of the mixing of the UV R-symmetries with accidental Coulomb branch flavor symmetries [39] along the flow from four dimensions to three. 33 This is guaranteed to occur whenever the four-dimensional theory contains a Coulomb branch chiral ring operator of non-half-integer U(1) r -charge.
Denoting the twisted translated Higgs branch operator as Q Ai , we define the moment map operators of the su(2) flavor symmetry Turning off the mass parameters, these operators have vanishing one-point functions, while their two-point and three point functions can be computed with ease following the methods of [36], 12 .
(5.13) The resulting elementary star-products take the form, As expected, once we substitute in ξ = i 2n+1 , this is precisely the same star product as obtained from the VOA. Note that, for example, for n = 1 the value ξ = 0 would have reproduced the star-product DQ[dim. red. of (A 1 , D 3 )], see [35]. We conclude that the nonzero value of the Fayet-Iliopoulos parameter has modified the period of the quantization.

(A 1 , D 4 ) Argyres-Douglas theories
The analysis of an arbitrary member of the series of (A 1 , D 2n+2 ) Argyres-Douglas theories is beyond the scope of this paper, as their associated vertex operator algebras (the so-called W n+1 algebras [57]) do not easily lend themselves to the computation of torus correlation functions. However, the n = 1 member of this series, the (A 1 , D 4 ) theory, is amenable to a detailed analysis as its associated VOA is simply su(3) −3/2 [1,2,14]. Using the results of appendix B and the vacuum character 33 The paper [39] analyzed in detail the case n = 1.
The Weierstrass ℘-function is defined as It is an elliptic function with double poles at z = m + nτ for m, n ∈ Z, which is manifest from its alternative definition ℘(z, τ ) ≡ 1 z 2 + (m,n)∈Z 2 \(0,0) 1 (z + m + nτ ) 2 − 1 (m + nτ ) 2 . (A.11) In particular, its expansion in z around the origin reads ℘(z, τ ) = 1 z 2 + 0 + O(z 2 ) , (A.12) without constant term. The high-temperature behavior of ℘ is To conveniently write down torus correlation functions of current algebras, we also define (A.14) The functions S i are referred to as genus-one Szegö kernels [59]. They are related to the Weierstrass ℘-function by S i (z|τ ) 2 = ℘(z, τ ) − e i (τ ) . which holds for all examples we consider. We also commute the high-temperature asymptotic with ∂ τ at will. In the end, we find Note that using (3.14) and (3.16), the fact that the two-point and three-point function are controlled by the same combination of quantities could also be seen from the results in appendix C of [60]. Finally, defining J ≡ ζ π J, the above correlation function leads to the star product We expect this result to remain valid even if the algebra has a cubic casimir. Note that for a current algebra, the central charge is given by the Sugawara central charge, The star product can thus be rewritten as J a J b = ( J a J b ) + ζif ab c J c + ζ 2 8(k + h ∨ )h min dim g κ ab . (B.12)

C Stress tensor and Virasoro VOA
In this appendix we analyze torus correlation functions of stress tensors making use of Ward identities [61,62]. In particular, we provide an alternative proof that in the hightemperature limit Hence, the high-temperature limit of n i=1T (z i ) can be deduced from the hightemperature behavior of t n−p and the combinations p i=1 T (z i ) − t p with p ≤ n. The JHEP06(2020)127 merical factors to avoid clutter) Apparently, terms in T (z)T (z 1 ) −t 2 either have at most β −3 = β −(2×2−1) singularity or are exponentially suppressed; once rescaled by β 4 , the correlation function vanishes as β → +0. This observation, combined with (C.4), initiates a recursive argument ensuring that higher correlation functions β 2(p+1) ( T (z) p j=1 T (z j ) − t p+1 ), for p ≥ 2, also vanish in the high-temperature limit. Indeed, assuming the high-temperature behavior of p j=1 T (z j ) − t p has at most β −(2p−1) singularity, terms on the right hand side of (C.4) either have at most a β −(2p+1) singularity, like ∂ τ t p , or are exponentially suppressed, like the ℘ (z − z j ) terms. Once rescaled by β 2p+2 , they go away in the high-temperature limit. Finally, this observation is to be applied back to (C.2), which clearly shows that β 2n n i=1T (z i ) vanishes in the same limit. Furthermore, inserting spatial derivatives or forming composites of T by taking the regular part of coincident limits will not make the correlation functions nonzero.
To conclude, the set of correlation functions only involving the stress-energy tensor decouples. Moreover, slightly modified, we expect the above argument to extend to all correlation functions containing a stress energy tensor.

D Characters
In this appendix we collect characters of various VOAs used in the main text.
The Virasoro minimal models Vir p,p are labeled by two coprime natural numbers , 1 ≤ r < p , 1 ≤ s < p, each parenting a degenerate Virasoro representation. The characters of these representations are given by where λ r,s ≡ pr − p s. For each Vir p,p , χ r=1,s=1 is the vacuum character.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.