c-Recursion for multi-point superconformal blocks. NS sector

We develop a recursive approach to computing Neveu-Schwarz conformal blocks associated with n-punctured Riemann surfaces. This work generalizes the results of [1] obtained recently for the Virasoro algebra. The method is based on the analysis of the analytic properties of the superconformal blocks considered as functions of the central charge c. It consists of two main ingredients: the study of the singular behavior of the conformal blocks and the analysis of their asymptotic properties when c tends to infinity. The proposed construction is applicable for computing multi-point blocks in different topologies. We consider some examples for genus zero and one with different numbers of punctures. As a by-product, we propose a new way to solve the recursion relations, which gives more efficient computational procedure and can be applied to SCFT case as well as to pure Virasoro blocks.


Introduction
It is well known that conformal blocks [2] are needed for computing correlation functions in any CFT model. Given that the space of local fields in the model consists of a set of irreducible representations of a symmetry algebra A sym (⊃ Virasoro algebra), conformal blocks are defined, using the concept of operator product expansion (OPE), as the holomorphic contribution to the correlation function coming from particular sets of representations in the intermediate OPE channels. Among conformal blocks the four-point blocks play most prominent role because they are needed for performing conformal bootstrap program (for the recent review, see [3]).
Most straightforwardly, conformal blocks can be expanded as a sum over irreducible representations (each consisting of a primary operator and its descendants) by inserting a complete set of states in each intermediate channel. For a given set of OPE channels JHEP08(2018)112 and the singular part, coming from (in general) simple poles, located at degenerate values of the intermediate conformal dimensions, d r,s (c). On the sphere the regular part is governed by osp(1|2) subalgebra of SVir, so that the light SVir blocks on the sphere are reduced to the blocks of osp(1|2) (the so-called global blocks). The light blocks on the torus are a bit more involved objects: they can be factorized on the global osp(1|2) blocks on the torus and NS vacuum characters.
Another approach to compute Virasoro blocks, different from the mentioned above, has been proposed in [38]. This approach is based on decomposing contributions of conformal families into sums over modules growing from quasiprimary states. This allows to express conformal blocks as a sum of light blocks with shifted intermediate dimensions. This representation gives in fact the solution of c-recursion relation for the Virasoro 4-point block and provides in principle more efficient way to compute general blocks.
In the present work we consider the N -point SVir conformal blocks on the sphere in the linear channel (including 4-point case, for the terminology see 3.2) and provide c-recursion formulas for them. Then, we consider non-linear OPE channel and obtain c-recursion formulas for the correspondind SVir block. Further, we provide the c-recursion for the n-point SVir block in a necklace channel on the torus (including 1-point case). Using the approach of [38] we obtain the solutions of c-recursion relations in the considered cases. In section 2 we recall some facts about NS sector of N = 1 super-Virasoro algebra and its modules.
In sections 3 and 4 we analyze the recursion relations for superconformal blocks on the sphere and torus respectively. In section 5 we discuss an improvement, that allows to resolve c-recursion formulas. Some technical details are collected in the appendices.

Preliminaries
In this section we briefly remind some facts about NS sector of N = 1 CFT, which are relevant for our purposes. For more systematic exposition and the general landscape, see, e.g., [13,39].

NS sector fields
The fields of N = 1 CFT belong to highest weight representations (modules) of the superconformal algebra 3 where in the NS sector n, m ∈ Z and k, l ∈ Z + 1 2 and c is the central charge. 3 Because the object of our study is conformal blocks, from now on we neglect the second (antiholomorphic) copy of the symmetry algebra and suppress the dependence onz.

JHEP08(2018)112
The highest weight vector or the primary state |d is defined as where d is the conformal dimension parameter. In the Liouville-like (λ, b)-parametrization, the conformal weight of the primary state is given by and The module H d is spanned by the states where 0 < l 1 < . . . < l p and 0 < n 1 ≤ . . . ≤ n m . The grading with respect to L 0 : defines the level k ∈ N 0 + 1 2 of the descendant state L k |d . The states |d and G − 1 2 |d correspond, respectively, to the (lower and upper) components of the primary supermultiplet V d (z) and V d (z). The conjugation is defined by (2.7) We denote by B k 1 , k 2 (d, c), 4 the matrix of scalar products and fix the normalization condition d|d = 1. The matrix of scalar products has block diagonal structure B k 1 , k 2 ∼ δ k 1 ,k 2 with the size P NS (k) of k-th level block defined by the NS character For the special values d r,s := d(λ r,s ), where λ r,s = rb + sb −1 , r, s ∈ Z + and r + s is even, the NS module H d becomes degenerated -the rs 2 -th level contains a singular vector χ r,s . 5 Restricted on the n-th level, the Kac determinant is given by Hence, for n ≥ rs 2 , in the module H d with d = d r,s (c), the Kac determinant det B (n) = 0. 4 We shall omit one or both arguments of B k 1 , k 2 (d, c), when it does not lead to confusion. 5 In what follows we use the normalization of the singular vectors with coefficient 1 in front of G rs

Matrix elements
Below we denote by ν i and V i (z) ≡ V d i (z) the primary state |d i and the corresponding vertex operator. The matrix elements of a general vertex operator can be regarded as three-linear forms: ρ(. , . , .) : Here we assume the following normalization condition: The commutation relations between super-Virasoro generators and vertex operators: allows one to express the matrix elements involving arbitrary descendants in terms of the two independent matrix elements ρ α 2 (ν 1 , ν 2 , ν 3 ), where α 2 ∈ {0, 1} stand for the upper and lower component of ν 2 respectively, The matrix elements of singular vectors ρ(χ r,s (c), . , .) must vanish if superconformal fusion rules ν r,s × ν 2 → ν 3 are satisfied and therefore can be expressed in terms of the so-called fusion polynomials [11,12] where subscript c indicates the dependence on the central charge parameter, which comes through the parameter b according to (2.4). We denote 6 where t(0) = 1 and t(1) = 0. Taking into account reflection symmetry: which follows from the conjugation relation (2.7) and the minus sign in the last relation is due to anticommutativity of the odd operators, one gets Now we find the matrix element with two identical singular vectors µ α r,s (d; c) := ρ α (χ r,s , ν d , χ r,s ), which reads Here and below we use the following factorization property and, in particular, we use h-parametrization. Alternatively, we can consider the matrix elements of singular vectors ρ(χ r,s (c), . , .) as functions of the conformal dimension h of the primary state ν h possessing the singular descendant. To this end we use and ) by means of (2.18) and (2.19) with bparameter replaced by b r,s (h). The matrix elements in the h-parametrization are given by

Blocks on the sphere
In this and the subsequent sections we use the following convention: the matrix elements contributing to the conformal block correspond to the vertices of the associated dual diagram, the vertex operators correspond to vertical lines, while asymptotic states correspond to horizontal lines. We denote by α i = 0, 1 -lower and upper components of ν i respectively, where i numerates external lines. To be more compact, we suppress dependence on c and conformal dimensions, as well as coordinate dependence, of the conformal blocks. Also we suppress obvious conformal prefactors. We will use unique notation F , G for blocks considered in each subsection, referring to the corresponding diagrammatic representation.

Previous results: 4-point blocks
First we recapitulate the c-recursive representation for 4-point superconformal blocks, which has been developed in [11,12]. Using super-projective invariance, we can chose among 16 blocks of lower and upper components of primary supermultiplets (in the given OPE channel) four linear independent blocks according to the diagram depicted in figure 1.
These blocks have the following series expansion where z is anharmonic ratio of the holomorhic coordinates (in our convention ν 1 , ν 2 , ν 4 stand at ∞, 1, 0 respectively) and the coefficients are given by Here the sum goes over (half-)integer partitions and B k, m is the inverse Gram matrix. The determinant of the Gram matrix has zeros at h = d r,s . We consider the residues of the conformal block at the corresponding poles. The coefficients F n for n ≥ rs 2 have poles at h = d r,s . In the limit h → d r,s the matrix elements entering (3.2) are non-singular and factorize according to (2.26). The singular vector χ r,s is obtained by applying L r,s to the degenerated state ν r,s . We denote by χ h r,s the state, which is obtained by applying L r,s to ν h and which is the only one giving contribution to the residue of B k, m . Using factorization JHEP08(2018)112 where the coefficient Assembling all the ingredients we get the following relation Considering the residues of the conformal block at c = c r,s (h), we have where Jacobian J r,s := − ∂cr,s ∂h and (3.8) In order to obtain the regular part or the light block we take the large c limit of the conformal block keeping all the dimensions fixed. The contribution of the global subalgebra is dominating in this limit and the light NS super-Virasoro block G is nothing but the conformal block associated to the osp(1|2) subalgebra where 1 stands for the unity operator with d = 0. The definition of osp(1|2) algebra and the explicit global matrix elements can be found 7 in appendix A. For the four-point block's coefficients we get the following recursion In this case using super-projective invariance we can fix ν 1 and ν 5 to be lower primary components and to put operators ν 1 , ν 2 , ν 5 at positions ∞, 1, 0 respectively. It is possible to construct a local parametrization q i of the moduli space of Riemann sphere with Npunctures located at z i , so that conformal blocks have Taylor series expansion in q i (see appendix C for the construction in this particular case). The conformal block reads F = n 1 ,n 2 ∈ 1 2 N 0 F n 1 ,n 2 q n 1 1 q n 2 2 = k 1,2 , p 1,2 where, as explained in appendix C, q 1 = z 3 , q 2 = z 4 z 3 . Analyzing singular behavior of the conformal block in the both intermediate channels, we get where coefficients R i r,s are the following (3.15) JHEP08(2018)112 Using the results of appendix A, we find explicit coefficients of the 5-point light block From figure 3 we read off the conformal block where moduli parameters are related to the positions of the vertex operators through and we fix z 1 = ∞, z 2 = 1, z N = 0 (see appendix C, figure 7).
One gets the following recursion representation  were the coefficients

JHEP08(2018)112
and G n 1 ,...,n N −3 is constructed from the matrix elements listed in appendix A.

Non-linear channel blocks
In this subsection we consider a particular example of non-linear block. We fix the OPE channel according to the diagram in figure 4.
The block reads where the sum goes over the set of half-integer partitions. We fix operators ν 1 , ν 2 , ν 6 to be located at ∞, 1, 0 respectively, and, as explained in appendix C (see where (3.23) One can compare these results to the AGT construction for the non-linear Virasoro block found in [43].

Previous results: 1-point blocks
Here we apply the recursive approach to computing NS 1-point conformal blocks on the torus. The corresponding graph is represented in figure 5. By definition, the block is given by where q = e 2πiτ and τ is the modular parameter of the torus (see appendix C, figure 9).

JHEP08(2018)112
The residue of the conformal block is given by This defines the singular part of the pole decomposition. Now, to get c-recursion relations, it remains to find the light asymptotic of the block. In the full analogy with the Virasoro case [44], where the light 1-point block on the torus factorizes into the vacuum character and the global block, the NS light block splits into the NS vacuum character and the global block of osp(1|2) algebra [45] The global block reads where the explicit form of the matrix elements is given in appendix A. Finally, we get the following recursion relations for the one-point torus superblock coefficients where the coefficients G n are defined in (4.4), (4.5) and the residue coefficients are The lower coefficients of the block F are collected in appendix B.

N -point blocks in the necklace channel
The generalization of the previous consideration on the N -point case is pretty straightforward. We define the block corresponding to the diagram in figure 6 (for the definition of q i , see appendix C, figure 10). Using our general scheme, we get the following decomposition

JHEP08(2018)112
and other R-coefficients are obtained by replacing cyclically h i , d i and α i . The light block is with the global block constructed of the osp(1|2) matrix elements (see appendix A) (4.12)

Solutions of the recursion relations
Solution for 4-point blocks on the sphere. Here we describe an approach to the computation of the superconformal blocks, based on the obtained c-recursion relations.
The main idea of [38], where an analogues approach has been proposed for Virasoro blocks, was to rearrange the OPE in a given intermediate channel in order to obtain the sum over modules growing from quasiprimary states (annihilated by L 1 ). In our case the sum over the given NS module splits into the sum over osp(1|2) modules, growing from superquasiprimary states (annihilated by L 1 , G 1 2 , see appendix A). For 4-point NS blocks it leads to the following decomposition

JHEP08(2018)112
where p runs over levels of the quasiprimaries and G is the light block (3.9). Note that in this decomposition χ 0 = 1, χ 1 2 = 0, χ 1 = 0, because there are no quasiprimary states on the levels 1 2 and 1, if h is not degenerate. The general coefficients χ p can be found from the requirement that the ansatz (5.1) satisfies c-recursion constraints (3.10). We get the following expression and where R r,s are given in (3.11) and the effective parameters are: ) .

(5.4)
These relations allow to compute conformal blocks recursively. We note that the corresponding iteration procedure is more appropriate, as compared to the standard c-recursion, for numerical computations of the conformal blocks. 8 In particular, in this version at each level there is no need to keep analytic expressions for the lower levels' coefficients, unlike the original c-recursion procedure.
Solution for 1-point blocks on the torus. In the same way as we obtain (5.1) for the spherical 4-point case, we find the solution of the c-recursion (4.6) on the torus: where F is the torus 1-point block (4.1) and G is the torus light block (4.4). The coefficients are the following where R r,s are given in (4.7) and the effective parameters are defined in (5.4). The generalization of this construction to the torus N -point block is straightforward.

JHEP08(2018)112 6 Discussion
In this paper we have analyzed the Neveu-Schwarz sector of the N = 1 super-Virasoro CFT. We obtained c-recursion relations for multi-point superconformal blocks on the sphere and on the torus, involving upper and lower components of primary supermultiplets, which are required for constructing multi-point correlation functions in N = 1 CFT minimal models, as well as in the N = 1 supersymmetric Liouville filed theory. Similarly to the "standard" four-point (super-)Virasoro case, the multi-point c-recursion is based on the analysis of the analytic structure, which is characterized by two main ingredients: the singular and the regular parts. The singular part, which is defined by OPE, is obtained by analyzing superconformal fusion rules. The key point here is that in the multi-point supersymmetric case the singular part still contains only the contribution of simple poles the (c − c r,s ) −1 and the residues are expressed in a simple manner in terms of the sypersymmetric fusion polynomials. The regular part is governed by the light asymptotic, which can be expressed in terms of global blocks of osp(1|2) algebra and NS vacuum characters. Rather simple representation theory allows to find explicitly the osp(1|2) matrix elements and to reduce the computation of the light blocks (in general topology) to the problem of identification of the effective plumbing parameterization of the moduli space.
It is shown that the recursion relations can be effectively rewritten in terms of the light blocks with shifted values of the intermediate conformal dimension parameters, which allows to significantly simplify recursion formulas and makes them more suitable for numeric computations.
There are several possible extensions of our results. A natural extension is to analyze the Ramond sector of N = 1 superconformal theory. The careful analysis of higher genus cases and, in particular, of the genus-two case is desirable (see, e.g., [42,[47][48][49]).

JHEP08(2018)112
where m, n = −1, 0, 1 and k, l = − 1 2 , 1 2 . The osp(1|2) highest weight is defined by We use the following identities to derive the full set of global matrix elements. We set the following notation where the τ α 1 ,α 2 ,α 3 k,m are given by (m) and (x) (m) are falling and rising Pochhammer symbols respectively. Not all of these elements are independent due to the reflection properties (2.22). The most general osp(1|2) matrix element reads

B Some explicit coefficients
Here we provide the first few coefficients of the torus conformal block with the lower component of the vertex operator (4.1): On the level 3 2 we fix the following ordering: On the level 2 two we fix the following ordering: The second level coefficient of the conformal block is

C Plumbing constructions
For completeness, we describe here the relation (mostly borrowed from the bosonic case [1]) between the local parametrization of the moduli space and the elements of the associated dual diagram. We begin with the plumbing construction associated with figure 1. Accordingly, building blocks are two two-punctured and one-holed spheres. We fix the first sphere to have punctures at 0 and 1 and a hole at ∞. The second sphere has punctures at 1 and ∞ and a hole at 0. We glue these spheres together by their boundaries via SL(2, C) map. Let us choose the coordinates on the spheres to be w 1 and w 2 , then, the gluing map is w 2 = zw 1 . Thus, we have the sphere with four punctures at 0, 1, z, ∞. The diagram corresponds to the case of ν 4 , ν 3 , ν 2 , ν 1 located at these punctures respectively.
We proceed with the case represented in figure 3. We have N − 2 spheres: two twopunctured and one-holed spheres and N − 4 two-holed and one-punctured spheres. The gluing of the holes is depicted in figure 7.
Now we consider 6-point block with the dual diagram in figure 4. The corresponding plumbing graph is shown in figure 8. It consists of three two-punctured and one-holed spheres and one three-holed sphere. Introducing coordinates w i , i = 1, 2, 3 on two-punctured spheres numerated from left to right and w 4 on the three-punctured sphere in the middle one, we get the following maps Gluing via these mappings we get the sphere with 6 punctures located at points: 0, 1 − q 1 , 1 q 2 , q 3 , 1, ∞. For the torus one-point block (figure 5) we have the plumbing construction in figure 9. One-punctured torus is obtained from two-holed one-punctured sphere by identification w ∼ qw and q is the modulus of the given torus.