Notes on the solutions of Zamolodchikov-type recursion relations in Virasoro minimal models

We study Virasoro minimal-model 4-point conformal blocks on the sphere and 0-point conformal blocks on the torus (the Virasoro characters), as solutions of Zamolodchikov-type recursion relations. In particular, we study the singularities due to resonances of the dimensions of conformal fields in minimal-model representations, that appear in the intermediate steps of solving the recursion relations, but cancel in the final results.


The conformal bootstrap and Virasoro conformal blocks
In spite of the enormous progress in our understanding of 2D conformal field theories over the past 35 years, important classes of two-dimensional conformal field theories remain to be discovered, or at least better-understood. An outstanding example is critical percolation, which is known to be a CFT with Virasoro central charge c = 0, but the correlation functions of this CFT remain to be computed. Recently, new numerical 2D conformal bootstraps that fully exploit the full 2D local conformal symmetries were developed and new 2D CFT's were discovered [12,8]. These 2D bootstraps are based on Virasoro conformal blocks, and the corresponding solutions are functions of infinite-dimensional representations of local conformal transformations, as opposed to bootstraps that are valid in any dimension, which are based on global conformal blocks, and the corresponding solutions are functions of finite-dimensional representations of global conformal transformations.

Zamolodchikov's recursion relation
To implement the new 2D bootstraps numerically, one needs to compute the 4-point conformal blocks on the sphere efficiently. The most efficient known method to compute 4-point conformal blocks on the sphere is Zamolodchikov's recursion relation. In fact, solving the 2D bootstrap efficiently is what motivated Al. Zamolodchikov to develop the recursion relations in the first place [14,15]. There are two versions of Zamolodchikov's recursion relation, a hypergeometric version [14], and an elliptic version [15]. The elliptic version is particularly efficient, and will be the focus of the present work, and to fully understand this recursion relation, we will find it useful to consider a related recursion relation for the 1-point conformal block on the torus, and its 0-point conformal block limit, which is a Virasoro character.
where the Virasoro generators L n , n ∈ Z are the modes of the stress-energy tensor and c is the central charge. The Liouville parametrization of the central charge is,

Verma modules
Given a highest-weight state |∆ , with highest weight ∆, L 0 |∆ = ∆ |∆ , the descendant states L −n 1 · · · L −n N |∆ , n 1 n 2 · · · n N , form a basis of the Verma module V ∆ . A general element in this basis is L −Y | ∆ , labeled by a Young diagram Y =   n 1 , · · · , n N   , that has N non-zero parts, and, where |Y |= N i=1 n i is the number of cells in the Young diagram Y . Using the state-field correspondence, we use Φ ∆ (x) for the primary field of conformal dimension ∆, and L −Y Φ ∆ (x) for the descendant fields. We parametrize the conformal dimension ∆ by the parameter Q, (2), and the charge α, In Virasoro CFT's, the Shapolavov matrix and the 3-point functions are completely determined by the Virasoro algebra (1). Note that this is not true anymore for more general conformal chiral algebras such as the W N algebras [1], [2].
where the elliptic variable q and function θ 3 (q) are defined in (20) and in (22) and we use ∆ ext for the set of external dimensions The analytic structure of the function H sph where, The factors P m,n carries all dependence in R sph m,n   ∆   on the external conformal dimensions ∆ i , i = 1, · · · , 4. It is convenient to parametrize the conformal dimensions in terms of the momenta λ i and λ m,n , In terms of these variables, one has, The factor r m,n is given by,

The generalized minimal model
When the central charge is non-rational, but a degenerate representation V ∆m,n flows in the channel, the recursion relation (24) has a pole related to the presence of a null-state at level mn in V ∆m,n , and the corresponding Shapovalov matrix has a vanishing eigenvalue that produces the singularity in the expansion (19).

The regularization
We introduce a regularization parameter , The limit → 0 in (24) exists only if the polynomial P m,n (∆ 1 , ∆ 2 ) and/or P m,n (∆ 3 , ∆ 4 ), defined in (25) and in (27), vanish. Recall that P m,n (∆ 1 , ∆ 2 ) vanishes when (V ∆ 1 , V ∆ 2 , V m,n ) satisfy the fusion rules (7), that is to say when . The generalized minimal model has a non-rational central charge, c / ∈ Q, and a spectrum formed by all the degenerate representations V m,n with (m, n) ∈ N + . All the fields in the spectrum satisfy the fusion rules (7), imposed by the condition χ mn = 0. The conformal blocks of the generalized minimal model can be obtained by using the recursion relation with a simple limiting procedure. This consists in setting, with i → 0, i = 1, · · · , 4 of the same order of , i = O     , and take the limit → 0. Using, it is straightforward to see that the term H sph m,n   ∆, c, x   in (24) do not contribute. In the generalized minimal models therefore, the conformal block with ∆ int = ∆ m,n is obtained using the sum in (24) where the term (r, s) = (m, n) is omitted. We stress that, in this procedure limit, the final result is independent of the exact relation between the regularization parameters i and . The only thing that matters is the fact that the i and are of the same order. As we will see later, this will not be the case for the computation of the characters.

Minimal-model conformal blocks.
We address here the problem of how to obtain the conformal blocks of minimal models M p,p from the recursion relation (24). The main observation is that, with respect to the generalized minimal models, there are new poles appearing in (24). The location of these extra poles do not depend neither on the internal channel field nor on the external fields. They originate from the resonances in the conformal dimensions that occur when c ∈ Q. Let us consider for instance one conformal block of the Ising minimal model, M 4,3 . At level 7, two terms appear, , and that are singular due to the fact that at c = 1/2, Differently from the poles that originate when ∆ int = ∆ m,n , which are related to the null-state at level mn, these other singularities can be considered an artifact of the recursion relation in the sense that they are not related to any special properties of descendant states. In the Appendix we better explain this point with an explicit example.

The regularization
In addition to (29), we introduce a regularization parameter to the central charge c, that is of the same order of , = O     .

Conjecture
We conjecture that, by setting (29),(30) and (33), the limit → 0 in the recursion relation (24) exists and provides the correct minimal model conformal block.

Further example
We have checked that the two terms (32) combine to give a finite contribution. Another example, at level 20, is the combination of the following five singular terms, to a finite contribution. If we can predict the singular terms that, at a given level, provide finite contributions, we have not been able to obtain a compact formula for these. As we will see in the following, we can control the contribution of these type of singularities in the computation of a simpler symmetry function, the character.

1-point conformal blocks on the torus
We recall the Fateev-Litvinov recursion relation for the 1-point conformal block on the torus, and introduce the structure of its poles.

The 1-point conformal block on the torus
The Virasoro 1-point conformal block on the torus consists of a single vertex-operator insertion in a torus geometry, and a Virasoro irreducible highest-weight representation flows in the single internal channel of the torus. This is a function of four parameters, the central charge, the torus parameter q, the conformal dimension of the external field ∆ ext , and the conformal dimension of the internal channel ∆ int . The conformal dimension of the external vertex-operator is, and similarly, the conformal dimension of the representation that flows in the torus is, The torus 1-point conformal block has the q-series expansion, where ∆ is a pair of conformal dimensions   ∆ ext , ∆ int   , and,

The recursion relation of Fateev and Litvinov [3]
The 1-point conformal block on the torus is, where, p N is the number of partitions of N ∈ N, and,

Remark
The factor q 1/24 /η(q) is the character of the Fock space of a free boson, and in (39), the 1-point function on the torus is written in terms of the free-boson of Feigin and Fuks [4,5]. This will become clear once we take the α ext → 0 limit, and 1-point function becomes a character, in section 5.

The recursion relation
The recursion comes in the definition of H N , the coefficients of the numerator of the conformal block, r r,s is given by formula (28).

Remark
Expanding (39), we obtain, In particular, if ∆ ext = 0, and H N = 0, for all N = 1, 2, · · ·, we recover the character of the Fock space of a free boson, which is the character of a generic non-minimal conformal field theory. If ∆ ext = 0, and H N = ±1, for appropriate values of N , null states and their descendants are removed and one obtains the character of an irreducible fully-degenerate highest-weight module. This will be discussed in detail in section 5.

The 0-point functions on the torus: The characters
We discuss the derivation of the character of the representation corresponding to ∆ int using the recursion relation and a particular limiting procedure, in three cases: 1. general central charge and general ∆ int , 2. general central charge and degenerate representation ∆ int = ∆ m,n , and 3. minimal models M p,p characters.

General central charge and general ∆ int
We introduce regularization parameter that we set to 0 at the end. We set the inserted vertex-operator to be the identity, in the limit to zero, The factor 2 in the above definition is for convenience. For general r, s ∈ N, the term, vanishes in the limit → 0, provided that lim →0 ∆ int = ∆ r,s . All the H i are then zero and the expansion is given by (40). As expected, one finds the character χ ∆ int (q) of an irreducible Verma module of dimension ∆ int .

General central charge
First we set α ext = 2 . Differently from the previous case, here we encounter the pole coming from the denominator   ∆ int − ∆ m,n   .

Internal field regularization.
We need to regularize the dimension of the internal field, and we set, and we define, For , << 1, the term, The result of the limit ( , ) → (0, 0) depends therefore on the way one reaches the point ( , ) = (0, 0). For instance, if one first sends → 0 and then → 0, all the H i are zero and the character of a general Verma module is found. This result can be interpreted by saying that the null-state at level nm is not vanishing. Interestingly, such representation appears for instance in the construction of the Liouville theory for c 1 [12]. By setting = one finds instead that, for general b. The contribution (53) is the only non-zero term in H mn , which is itself the only non-zero H i . This contribution H mn = −1 at level mn corresponds to removing the null state. From equation (47), you can see that the expansion is (keeping only the non-zero terms), This corresponds to quotienting out the module of the null state. We observe that the condition = , providing the character of a degenerate representation V m,n , assures that the Coulomb gas fusion condition α int + α int = α ext is satisfied for any value of .

Characters in minimal models.
In the case of the minimal models, b 2 = − p p , where p and p are coprime positive integers, 0 < p < p , we know that a fully-degenerate highest-weight module V m,n has a null-state at level mn, and another at level (p − m)(p − n). We need first to solve the new poles appearing in the term m,n is defined in (50), 0 < m < p and 0 < n < p , and m = p − m, and n = p − n.

The regularization
We introduce a third regularization parameter to move away from the minimal model point by setting Again, the final result depends on how we approach the point ( , , ) = (0, 0, 0). In order to obtain the minimal model character we have first to remove the null state at level (p − m)(p − n). This is obtained by setting, and taking the limit → 0. Then both (53) and, are satisfied at the same time. The results (53) and (58) are not sufficient to prove that one obtains in the limit the minimal model character. One has to consider that there are other terms, of the form, that will contribute when "resonances" in the conformal dimension, such as ∆ −m 1 ,n 1 = ∆ m 2 ,n 2 , occur.
The fact that there is an infinite number of resonances, or equivalently, infinitely-many pairs   r, s   that correspond to the same conformal dimension ∆ r,s , and that the recursion relation expression for H N includes all resonances   r, s   such that rs N will thus play an important role. We are now in the position to give the exact contribution of all the terms which do not vanish in the limit → 0 (see appendix B for the derivation of the following results). In the following we always assume that the integers   m, n   belong to the minimal model M p,p Kac table, 0 < m < p, 0 < n < p .
Concerning the terms in the recursion that have at the denominator the dimension of the internal field ∆ ( ) m,n , we show in appendix B that, We consider now the terms of the type R tor r,s We will provide below the complete combinatorial structure of all the terms that contribute to the character. All these terms are finite, but they are fractional and add up to integral values.
, one has from (60) and (61), These two terms correspond to adding again the null states at level 11 and 13, which are contained into the modules of both the null states at level 1 and 6, and were therefore subtracted twice. Let us make another example at level 20, From (60) and (61), Notice that this sum of terms which add up to an integer has exactly the same structure as equation (34).

General case
We consider the character of a representation indexed by   m, n   , 0 < m < p, 0 < n < p . We provide here the explicit procedure to find all the terms that, in the limit (57), have a finite fraction contribution that sums up, at a given level, to 1 or −1. We want to give a procedure that takes into account all the singular terms appearing in the one-point torus recursion relation in the minimal model limit. Given a pair of indices   m, n   , we want to find the set of pairs , where we used the notation defined in (13). These pairs are obtained respectively by the two transformations, v (l) 1 : By using these transformations we generate the following diagram, · · · · · · · · · · · · · · · · · · In the k = 0 column, we place the two groups of pairs,   r, s It is straightforward to obtain the action of the transformations v The above rules allow to write the chains of resonant terms in the recursion relation in terms of words formed by the letters U 1,2 and D 1,2 , whose sequences have to satisfy the connections above. For instance, the terms in the example in (66), correspond to the following words, As seen in this example, the words corresponding to a certain level N will all end either with U or with D. The reason is that the last arrows of the chains must point to the same dimension, so they must all point either to the 1 sector or all point to the 2 sector. From (71), all U labels transform to a label in the 1 sector, while all D labels transform to labels in the 2 sector. Since there always exists either a U 1 (0, 0)U 1 (1, 0) · · · U 1 (K, 0) or a D 2 (0, 0)D 2 (1, 0) · · · D 2 (K, 0) chain, of length K + 1, the level N is either, or Then, the contribution of each each word is obtained by using formulas (60) and (61). For instance, Applying (61) with l = l 1 + l 2 + 1 and l = l 2 , one has, In the same way, we find, and The non-trivial contribution at level N (K) is given by all possible chains starting with U 1 (0, l 0 ) or D 1 (0, l 0 ), with constraint on the last terms : Note that given equalities (76) and (77), for fixed K and fixed {l i }, the contributions at levels N 1 (K) and N 2 (K) are equal. Therefore, to compute the contribution at level N 1 (K) (resp. at level N 2 (K)), instead of constraining the chains to end by U (resp. D), we can leave the ends of the chains free and divide by 2 at the end. The first terms of the chains involve the internal dimension ∆ m,n , We now need to specify the set {l i }. Let us denote I the cardinal of this set. We then have the constraint, By writing I = K + 1 − 2a, the constraint is, a then runs from 0 to a maximal a. If K is odd, K + 1 is even and I min = K + 1 − 2a max is even. Therefore I min = 2, and a max = (K − 1)/2. If K is even, K + 1 is odd and I min = K + 1 − 2a max is odd and equals 1. Therefore a max = K/2 and l 0 = a max , all other l i being 0, and this chain consists of the single term (78). We can now give the final formula for the contribution C N (K) that takes into account all the non-zero terms at a given level N (K), where the X j>1 's are U 1,2 or D 1,2 , X 0 is U 1 or D 1 . From (76), (77) and (78), We have checked numerically -up to order N ∼ 300 -that C N (K) = (−1) K+1 .

Conclusions
We extended Zamolodchikov's elliptic recursion relation for 4-point conformal blocks on the sphere [15], and its analogue for 1-point functions on the torus [3,10], originally derived for conformal blocks in Liouville theory with non-rational central charge, to conformal field theories with rational central charges, including the generalized minimal and minimal models. When the central charge is rational, solutions of the recursion relation have additional poles that appear on a term by term basis. These poles are non physical in the sense that they are artifacts of the recursion which splits perfectly welldefined terms into terms that can be singular on their own but add up to finite contributions. We studied the structure of these non physical poles in two situations. 1. In 4-point conformal blocks on the sphere, where we found that the singular terms add up to finite terms on the basis of examples, and conjectured that this is the case in general, and that regularizing properly all the parameters entering the conformal block, one obtains the minimal model conformal block. 2. In 1-point conformal blocks on the torus, in the limit where the vertex operator insertion is the identity operator and the 1-point conformal block reduces to a 0-point conformal block, which is a Virasoro character. In this case, the contributions of the non-physical poles are fractions, and explicit expressions of these fractions were derived in (60) and (61). We unveiled the combinatorial structure of these fractions found it to be reminiscent of that in the Feigin-Fuks construction of minimal model characters [4], and used it to show that the contribution of the non-physical poles add up to ±1. The non-physical poles of the 4-point conformal blocks also follow this combinatorial structure. A fine regularization of the central charge is needed in the case of the 0-point functions, whereas the 4-point function is not sensitive to the regularization used.
A A direct computation at c = −2 At c = −2, which we can consider as the M(2, 1) minimal model, the first extra pole appear at order 3 in the expansion of the conformal block. It is therefore possible to compare the recursion result to the result one gets by hand, ie by computing the Shapovalov matrix of inner products and the "matrix elements", (84) which appear in (19). In the basis {L 3 −1 |∆ , L −1 |Q 2 , |Q 3 } where, Then the contribution of the quasi-primary at level 3 is, where P 2   ∆ ; ∆ i   is a polynomial of order 2 in the internal dimension ∆ : When c = −2, we have, and the contribution (87) of |Q 3 is well-defined. However, if we decompose it in partial fractions, we find, which can be rewritten as, When the inserted operator is the identity, α = 2 , we get, R tor m,n = −