Next Article in Journal
Quantum Cramer–Rao Bound for a Massless Scalar Field in de Sitter Space
Next Article in Special Issue
Higher Spin Matrix Models
Previous Article in Journal
Gravitational Waves in Locally Rotationally Symmetric (LRS) Class II Cosmologies
Previous Article in Special Issue
Induced Action for Conformal Higher Spins from Worldline Path Integrals
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Three Point Functions in Higher Spin AdS3 Holography with 1/N Corrections

1
Center for Gravitational Physics, Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502, Japan
2
Department of Physical Sciences, College of Science and Engineering, Ritsumeikan University, Shiga 525-8577, Japan
*
Author to whom correspondence should be addressed.
Universe 2017, 3(4), 70; https://doi.org/10.3390/universe3040070
Submission received: 31 August 2017 / Revised: 21 September 2017 / Accepted: 25 September 2017 / Published: 9 October 2017
(This article belongs to the Special Issue Higher Spin Gauge Theories)

Abstract

:
We examine three point functions with two scalar operators and a higher spin current in 2d W N minimal model to the next non-trivial order in 1 / N expansion. The minimal model was proposed to be dual to a 3d higher spin gauge theory, and 1 / N corrections should be interpreted as quantum effects in the dual gravity theory. We develop a simple and systematic method to obtain three point functions by decomposing four point functions of scalar operators with Virasoro conformal blocks. Applying the method, we reproduce known results at the leading order in 1 / N and obtain new ones at the next leading order. As confirmation, we check that our results satisfy relations among three point functions conjectured before.

1. Introduction

Holography is expected to offer a way to learn quantum corrections of gravity theory from 1 / N corrections in dual conformal field theory. In this paper, we address this issue by utilizing one of the simplest holographies proposed in [1]1, where 2d W N minimal model is dual to Prokushkin-Vasiliev theory on AdS 3 given by [6]. We examine three point functions with two scalar operators and one higher spin current in the minimal model up to the next leading order in 1 / N expansion. They should be interpreted as one-loop corrections to three point interactions between two bulk scalars and one higher spin gauge fields in the dual higher spin theory. We develop a simple and systematic method to compute the three point functions by decomposing four point functions of scalar operators with Virasoro conformal blocks. Among others, we expect that this way of computation makes the dual higher spin interpretation easier. Applying the method, we reproduce known results at the leading order in 1 / N obtained by [7,8]. Exact results are available only up to correlators with spin 5 current [9,10,11], but a simple relation was conjectured for generic s in [11]. We obtain the 1 / N corrections of correlators with spin s 8 current, and the results for s = 6 , 7 , 8 should be new. We check that they satisfy the conjectured relation as confirmation of our results.
We would like to examine the W N minimal model in 1 / N expansion, but we should specify the expansion in more details. The minimal model has a coset description
su ( N ) k su ( N ) 1 su ( N ) k + 1
whose central charge is given by
c = ( N 1 ) 1 N ( N + 1 ) ( N + k ) ( N + k + 1 )
The model has two parameters N , k . For our purpose, it is convenient to define the ’t Hooft coupling
λ = N N + k
and label the model by N , λ instead of N , k . We then expand the model in 1 / N , where each order depends on the other parameter λ . The expansion is almost the same as 1 / c expansion because of c N ( 1 λ 2 ) + O ( N 0 ) , but details are different.
The minimal model is argued to be dual to the higher spin theory of [6], which includes higher spin gauge fields φ ( s ) ( s = 2 , 3 , 4 , ) and complex scalar fields ϕ ± with mass m 2 = 1 + λ 2 . The large N limit of minimal model with λ in Equation (3) kept finite corresponds to the classical limit of higher spin theory, where λ is identified with the parameter in bulk scalar mass. The higher spin gauge fields φ ( s ) and bulk scalars ϕ ± are dual to higher spin currents J ( s ) and scalar operators O ± , respectively. Here different boundary conditions are assigned to the bulk scalars ϕ ± and the dual conformal dimensions are given by Δ ± = 2 h ± = 1 ± λ at the tree level.
Basic data of conformal field theory may be given by spectrum and three point functions of primary operators. Since higher spin symmetry of the minimal model is exact, spectrum does not receive any corrections in 1 / N . Namely, there is no anomalous dimension for higher spin current J ( s ) . Therefore, as simple but non-trivial examples, we examine three point functions and specifically focus on those with two scalar operators and one higher spin current as
O ± ( z 1 ) O ¯ ± ( z 2 ) J ( s ) ( z 3 )
with s = 2 , 3 , 4 , . Here O ¯ ± are complex conjugate of O ± . In [7,8], the three point functions in the large N limit of the minimal model have been computed from classical higher spin theory. They were reproduced with conformal field theory approach in [8,12,13]2, but these methods are applicable only to the leading order analysis in 1 / N . Since the W N minimal model is solvable, for instance, by making use of the coset description in Equation (1), we can obtain the three point functions in Equation (4) with finite N , k in principle. However, in practice, the computation would be quite complicated, and only explicit expressions are available only with spin 3 , 4 , 5 currents [9,10,11] (see also [15] for an alternative algebraic method).
In this paper, we develop a different way to compute the three point functions in Equation (4) from the decomposition of scalar four point functions by Virasoro conformal blocks. Our method may be explained as follows; Let us consider a generic operator product expansion of scalar operators O i with conformal weights ( h i , h i ) as
O 1 ( z 1 ) O 2 ( z 2 ) = p C 12 p z 12 h 1 + h 2 h p z ¯ 12 h 1 + h 2 h ¯ p A p ( z 2 ) +
where the coefficient C 12 p includes the information of three point function. Moreover, A p has conformal weights ( h p , h ¯ p ) , and dots denote contributions from descendants. Using the expansion, we can decompose scalar four point function as
O 1 ( ) O 2 ( 1 ) O 3 ( z ) O 4 ( 0 ) = p C 12 p C 34 p | z | 2 ( h 3 + h 4 ) F ( c , h i , h p , z ) F ¯ ( c , h i , h ¯ p , z ¯ )
Here F ( c , h i , h p , z ) is Virasoro conformal block, which can be fixed only from the symmetry in principle. Once we know scalar four point functions and Virasoro conformal blocks, we can read off coefficients as C 12 p by solving constraint equations coming from Equation (6). For our case with O i = O ± or O ¯ ± , four point functions can be computed exactly with finite N , k , for instance, by applying Coulomb gas approach as in [16]. On the other hand, Virasoro conformal blocks are quite complicated, but explicit forms may be obtained by applying Zamolodchikov’s recursion relation [17], see also [18,19]. We can find other works on the 1 / c expansion of Virasoro conformal blocks in, e.g., [20,21,22,23]. Gathering these knowledges, we shall obtain the coefficients as C 12 p up to the next leading order in 1 / N expansion.
The paper is organized as follows; In order to study the decomposition in Equation (6), we need to examine scalar four point functions and Virasoro conformal blocks. In the next section we decompose scalar four point functions in terms of cross ratio z, and in Section 3 we give the explicit expressions of Virasoro conformal blocks in expansions both in 1 / N and z. After these preparations, we compute three point functions in Equation (4) by solving constraint equations coming from Equation (6) in Section 4. In Section 4.1 we reproduce known results at the leading order in 1 / N . In Section 4.2 we obtain the 1 / N corrections of three point functions for s = 3 , 4 , , 8 , and check that they satisfy the relation conjectured in [11]. Section 5 is devoted to conclusion and discussions. In Appendix A we examine Virasoro conformal blocks in expansions of 1 / c and z by analyzing Zamolodchikov’s recursion relation. In Appendix B we compute three point functions with higher spin currents of double trace type.

2. Expansions of Four Point Functions

We would like to obtain the coefficients as C 12 p by solving Equation (6). For the purpose, we need information on the both sides of the equation, i.e., scalar four point functions and Virasoro conformal blocks. In this section we examine scalar four point functions. We are interested in three point functions of two scalar operators O ± and a higher spin current J ( s ) as in Equation (4). We consider the following four point functions with scalar operators O ± as
G + + ( z ) O + ( ) O ¯ + ( 1 ) O + ( z ) O ¯ + ( 0 )
G ( z ) O ( ) O ¯ ( 1 ) O ( z ) O ¯ ( 0 )
G + ( z ) O ( ) O + ( 1 ) O ¯ + ( z ) O ¯ ( 0 )
Exact expressions with finite N , k may be found in [16]. From the expansions in z, we can read off what kind of operators are involved in the decomposition by Virasoro conformal blocks. In the rest of this section, we obtain the explicit forms of four point functions in z expansion for parts relevant to later analysis.
Let us first examine the z expansion of G + + ( z ) in Equation (7), and see generic properties of the four point functions. The expression with finite N , k is [16]
G + + ( z ) = | z ( 1 z ) | 2 Δ + ( 1 z ) 1 + λ 2 F 1 1 + λ N , λ N ; λ ; z 2 + N 1 z 1 + λ 2 F 1 1 + λ N , λ N ; 2 + λ ; z 2
with
N 1 = Γ ( 1 + λ λ N ) Γ ( λ ) 2 Γ ( 2 + λ + λ N ) Γ ( 1 λ λ N ) Γ ( λ N λ ) Γ ( 2 + λ ) 2
Here the exact value of conformal dimensions Δ + = 2 h + is
Δ + = ( N 1 ) ( 2 N + 1 + k ) N ( N + k ) = 1 + λ 1 N 1 N 2 λ + O ( N 3 )
which is expanded in 1 / N up to the N 2 order.
In the expansion in z, we would like to pick up the terms corresponding to the three point function in Equation (4). The operator product of O + may be expanded as
O + ( z ) O ¯ + ( 0 ) = 1 | z | 2 Δ + + s C + ( s ) z s | z | 2 Δ + J ( s ) ( 0 ) + ( s 1 , s 2 ; s ) C + ( s 1 , s 2 ; s ) z s | z | 2 Δ + J ( s 1 , s 2 ; s ) ( 0 ) + n , m C + ( n , m ) z n z ¯ m A ( n , m ) ( 0 )
Here J ( s 1 , s 2 ; s ) ( z ) are higher spin currents of double trace type as
J ( s 1 , s 2 ; s ) = J ( s 1 ) s s 1 s 2 J ( s 2 ) +
with s 6 as s 1 , s 2 3 and s s 1 s 2 0 . If we use the normalization as J ( s ) J ( s ) N , then the two point function of this type of operator becomes J ( s 1 , s 2 ; s ) J ( s 1 , s 2 ; s ) N 2 . This is related to the fact that C + ( s ) N 1 / 2 , while C + ( s 1 , s 2 ; s ) N 1 . There could be currents of other multi-trace type, but the contributions are more suppressed in 1 / N . Furthermore, A ( n , m ) ( z ) are double trace type operators of the form as
A ( n , m ) = O + n ¯ m O ¯ + +
and the conformal weights are ( h n , m , h ¯ n , m ) = ( 2 h + + n , 2 h + + m ) . The dots in Equation (13) include the operators dressed by higher spin currents J ( s ) ( z ) , J ¯ ( s ) ( z ¯ ) for instance.
The operator product expansion in Equation (13) suggests that the contributions from J ( s ) or its descendants are included in terms like z s + l / | z | 2 Δ + , where l = 0 , 1 , 2 , corresponds to the level of descendant. In Equation (10), such terms appear as
G + + ( z ) = | z | 2 Δ + ( 1 z ) Δ + + 1 + λ 2 F 1 1 + λ N , λ N ; λ ; z +
Note that they also include effects from higher spin currents of double trace type J ( s 1 , s 2 ; s ) ( z ) among others. For the first term in Equation (10), the other contributions involve at least one anti-holomorphic current J ¯ ( s ) ( z ¯ ) . For the second term in Equation (10), the expansions become polynomials of z and z ¯ at the leading order in 1 / N , and this implies that double trace type operators A ( n , m ) should appear as A p in Equation (5). At the leading order in 1 / N , we can expand Equation (16) around z 0 as
G + + ( z ) | z | 2 ( λ + 1 )
This corresponds to the expansion by the identity operator in Equation (13). Thus the non-trivial contributions to our three point functions come form the terms at least of order 1 / N .
At the next and next-to-next orders in 1 / N , there are two types of contributions in Equation (16). One comes from
( 1 z ) Δ + + 1 + λ = ( 1 z ) 1 N + λ N 2 + O ( N 3 )
which becomes
( 1 z ) 1 N ( 1 z ) λ N 2 = 1 1 N k = 1 1 k z k + 1 N 2 k = 1 λ k z k + k = 2 1 k H k 1 z k + O ( N 3 )
Here we have used for k 2
1 N k = Γ ( 1 + 1 N ) k ! Γ ( 1 k + 1 N ) = ( 1 ) k 1 1 N k ! 1 1 N 2 1 N k 1 1 N = ( 1 ) k 1 1 N k 1 1 N i = 1 k 1 1 i + O ( N 3 )
and the definition of harmonic number
H n = j = 1 n 1 j
The other comes from the hypergeometric function, which can be similarly expanded in 1 / N as
2 F 1 1 + λ N , λ N , λ ; z = Γ ( λ ) Γ ( 1 + λ N ) Γ ( λ N ) n = 0 Γ ( 1 + λ N + n ) Γ ( λ N + n ) Γ ( λ + n ) z n n ! = 1 + Γ ( 1 λ ) N n = 1 Γ ( n ) Γ ( n λ ) z n + 1 N 2 λ z + λ Γ ( 1 λ ) n = 2 Γ ( n ) n Γ ( n λ ) z n + O ( N 3 )
In total, we have
| z | 2 Δ + G + + ( z ) 1 + 1 N n = 1 1 n + Γ ( 1 λ ) Γ ( n ) Γ ( n λ ) z n + 1 N 2 n = 2 f + + ( n ) z n
where
f + + ( n ) = l = 1 n 1 Γ ( 1 λ ) Γ ( l ) ( n l ) Γ ( l λ ) λ n + H n 1 n + λ Γ ( 1 λ ) Γ ( n ) n Γ ( n λ )
First few expressions are
f + + ( 2 ) = 1 2 2 1 λ 1 λ
f + + ( 3 ) = 1 3 4 λ 2 + 1 λ 1 λ
f + + ( 4 ) = 1 8 1 18 λ 3 + 8 λ 2 + 14 λ 1 2 λ
We would like to move to another four point function G ( z ) in Equation (8), whose expression with finite N , k can be again found in [16]. We use the four point function in order to obtain the three point function in Equation (4) with the other type of scalar operator O . As for G + + ( z ) , the relevant part is
G ( z ) = | z | 2 Δ ( 1 z ) 1 N λ N 2 2 F 1 1 λ N , λ N λ 2 N 2 ; λ λ 2 N ; z +
Here we may need
Δ = 2 h = N 1 N 1 N + 1 N + k + 1 = 1 λ 1 N ( 1 λ 2 ) + 1 N 2 λ ( 1 λ 2 ) + O ( N 3 )
Similarly to G + + ( z ) we can expand G ( z ) in z as
| z | 2 Δ G ( z ) 1 + 1 N n = 1 1 n + Γ ( 1 + λ ) Γ ( n ) Γ ( n + λ ) z n + 1 N 2 n = 2 f ( n ) z n
where
f ( n ) = l = 1 n 1 Γ ( 1 + λ ) Γ ( l ) ( n l ) Γ ( l + λ ) + λ n + H n 1 n + λ Γ ( 1 + λ ) Γ ( n ) Γ ( n + λ ) k = 1 n 1 λ k + λ 1 n
First few expressions are
f ( 2 ) = λ 2 3 2 ( λ + 1 ) + 1 ( λ + 1 ) 2
f ( 3 ) = λ 3 13 3 ( λ + 1 ) + 2 ( λ + 1 ) 2 + 20 3 ( λ + 2 ) 8 ( λ + 2 ) 2
f ( 4 ) = λ 4 31 4 ( λ + 1 ) + 3 ( λ + 1 ) 2 + 23 λ + 2 24 ( λ + 2 ) 2 63 4 ( λ + 3 ) + 27 ( λ + 3 ) 2 + 1 8
From the four point functions G ± ± ( z ) , we can read off the square root of coefficients ( C ± ( s ) ) 2 , but relative phase factor cannot be fixed. In order to determine it, we also need to examine G + ( z ) in Equation (9), which can be computed as [16]
G + ( z ) = | 1 z | 2 Δ + | z | 2 N 1 + 1 z N z 2
with finite N , k . For later arguments, we need
| 1 z | 2 Δ + G + ( z ) 1 + 1 N n = 2 n 1 n ( 1 z ) n
which is expanded in ( 1 z ) up to the 1 / N order.

3. Virasoro Conformal Blocks

In the previous section we analyzed the left hand side of Equation (6). In order to obtain three point functions by solving the equations in Equation (6), we further need information on F ( c , h i , h p , z ) . In general, the forms of Virasoro conformal blocks are quite complicated. In practice, we actually do not need to know closed forms but expansions in z up to some orders. For this purpose, a standard approach may be solving Zamolodchikov’s recursion relation in [17]. Following the algorithm developed in [18] (see also [19]), we obtain the expressions of Virasoro conformal blocks to several orders in z and 1 / c in Appendix A. Related works may be found in [19,20,21,22,23], and in particular, some closed form expressions were given, e.g., in [20]. Our findings agree with their results after minor modifications.
Let us consider the four point function in the decomposition of Equation (6) with h 1 = h 2 and h 3 = h 4 . In the decomposition, intermediate operator A p can be the identity or other. As observed in the examples of previous section, only the Virasoro conformal block with the identity operator (called as vacuum block) survives at the leading order in 1 / N . This simply means that the four point functions are factorized into the products of two point ones at the leading order in 1 / N . Virasoro conformal block with A p of single trace type would appear at the next leading order in 1 / N . We would like to examine 1 / N corrections to three point functions, so we need 1 / N corrections to the Virasoro block of A p . This also implies that we need the expression of vacuum block up to the next-to-next leading order in 1 / N .
Let us first examine the vacuum block with h 1 = h 3 = h ± . As was explained in Appendix A, the 1 / c -expansion of vacuum block is given by
V 0 ( x ) = 1 + 2 h 1 h 3 c z 2 2 F 1 ( 2 , 2 ; 4 ; z ) + 1 c 2 h 1 2 h 3 2 k a ( z ) + h 1 h 3 ( h 1 + h 3 ) k b ( z ) + h 1 h 3 k c ( z ) + O ( c 3 )
with
k a ( z ) = 2 z 4 + 4 z 5 + 28 z 6 5 + 34 z 7 5 + 2687 z 8 350 + O ( z 9 ) k b ( z ) = 2 z 4 5 + 4 z 5 5 + 39 z 6 35 + 47 z 7 35 + 263 z 8 175 + O ( z 9 ) k c ( z ) = 2 z 4 25 + 4 z 5 25 + 109 z 6 490 + 131 z 7 490 + 1879 z 8 6300 + O ( z 9 )
The 1 / c order term corresponds to the exchange of spin 2 current (energy momentum tensor) in terms of global block. We need to rewrite the expansion in 1 / c by that in 1 / N as
V 0 ( z ) = V 0 ( 0 ) ( z ) + V 0 ( 1 ) ( z ) 1 N + V 0 ( 2 ) ( z ) 1 N 2 + O ( N 3 )
The first two terms can be easily read off as
V 0 ( 0 ) ( z ) = 1 , V 0 ( 1 ) ( z ) = 1 2 1 ± λ 1 λ z 2 2 F 1 ( 2 , 2 ; 4 ; z )
Since there are two types of contributions to V 0 ( 2 ) , we separate it into two parts as
V 0 ( 2 ) = V 0 ( 2 , 1 ) ( z ) + V 0 ( 2 , 2 ) ( z )
One comes from the 1 / c order term with the next leading contribution from h ± 2 / c as
V 0 ( 2 , 1 ) ( z ) = f ± ± ( 2 ) z 2 2 F 1 ( 2 , 2 ; 4 ; z ) = f ± ± ( 2 ) z 2 + z 3 + 9 z 4 10 + 4 z 5 5 + 5 z 6 7 + 9 z 7 14 + 7 z 8 12 + O ( z 9 )
where f ± ± ( 2 ) were given in Equations (25) and (32). Here we have used
2 h ± 2 c = 1 2 N 1 ± λ 1 λ + 1 N 2 f ± ± ( 2 ) + O ( N 3 )
which are obtained from the 1 / N expansions of h ± as in Equations (12) and (29) and c in Equation (2) as
c = N ( 1 λ 2 ) 1 1 N λ + 1 1 + λ + O ( N 1 )
The other comes from the 1 / c 2 order terms in Equation (37) as
V 0 ( 2 , 2 ) ( z ) = ( 1 ± λ ) 2 16 ( 1 λ ) 2 k a ( z ) + ( 1 ± λ ) 4 ( 1 λ ) 2 k b ( z ) + 1 4 ( 1 λ ) 2 k c ( z )
with k a ( z ) , k b ( z ) , and k c ( z ) in Equation (38).
We also need Virasoro blocks of A p up to the next non-trivial order in 1 / N . It is known that the Virasoro block is expanded in 1 / c as (see, e.g., [23])
V p ( z ) = g ( h p , z ) + 1 c h 1 h 3 f a ( h p , z ) + ( h 1 + h 3 ) f b ( h p , z ) + f c ( h p , z ) + O ( c 2 )
Here g ( h p , z ) is the global block of A p and the expressions of f a ( h p , z ) , f b ( h p , z ) , and f c ( h p , z ) were obtained in [23]. See also Appendix A. For our application, we set h 1 = h 3 = h ± and h p = s . We need the expansion in 1 / N instead of 1 / c as
V s ( z ) = V s ( 0 ) ( z ) + V s ( 1 ) ( z ) 1 N + O ( N 2 )
The leading term V p ( 0 ) ( z ) is given by the global block as
V s ( 0 ) ( z ) = g ( s , z ) = z s 2 F 1 ( s , s ; 2 s ; x )
The next order contributions in 1 / N are
V s ( 1 ) ( z ) = 1 4 1 ± λ 1 λ f a ( s , z ) + 1 ( 1 λ ) f b ( s , z ) + 1 ( 1 λ 2 ) f c ( s , z )
where the functions f a ( s , z ) , f b ( s , z ) , and f c ( s , z ) are given by
f a ( s , z ) = z s 2 z 2 + ( s + 2 ) z 3 + ( s + 3 ) ( 5 s ( s + 3 ) + 6 ) z 4 20 s + 10 + ( s + 3 ) ( s + 4 ) ( 5 s ( s + 4 ) + 8 ) z 5 60 ( 2 s + 1 ) + O ( z 6 ) f b ( s , z ) = s ( s 1 ) z s z 2 2 s + 1 + ( s + 2 ) z 3 4 s + 2 + ( s + 3 ) ( 5 s ( s + 4 ) + 18 ) z 4 20 ( 4 s ( s + 2 ) + 3 ) + ( s + 3 ) ( s + 4 ) ( 5 s ( s + 5 ) + 24 ) z 5 120 ( 4 s ( s + 2 ) + 3 ) + O ( z 6 ) f c ( s , z ) = s 2 ( s 1 ) 2 2 ( 2 s + 1 ) 2 z s z 2 + ( s + 2 ) z 3 2 + ( s + 3 ) ( s ( 10 s ( 2 s + 11 ) + 191 ) + 108 ) z 4 40 ( 2 s + 3 ) 2 + ( s + 3 ) ( s + 4 ) ( s ( 10 s ( 2 s + 13 ) + 243 ) + 144 ) z 5 240 ( 2 s + 3 ) 2 + O ( z 6 )

4. Three Point Functions

After the preparations in previous sections, we now work on the decompositions of four point functions by Virasoro conformal blocks as in Equation (6). In the current case, the decompositions are
| z | 2 Δ ± G ± ± ( z ) = V 0 ( z ) + s = 3 ( C ± ( s ) ) 2 V s ( z ) + ( s 1 , s 2 ; s ) ( C ± ( s 1 , s 2 ; s ) ) 2 V s ( z ) +
Here G ± ± ( z ) are four point functions defined in Equations (7) and (8), and the expansions in z were obtained as in Equations (23) and (30). Moreover, V 0 ( z ) is the vacuum block and V s ( z ) is the Virasoro block of higher spin current J ( s ) (or J ( s 1 , s 2 ; s ) ). Their expansions in z can be found in the previous section.
Solving constraint equations from Equation (51), we read off the coefficients C ± ( s ) , which are proportional to the three point functions in Equation (4). It is convenient to expand the coefficients in 1 / N as
C ± ( s ) = 1 N 1 / 2 C ± , 0 ( s ) + 1 N C ± , 1 ( s ) + O ( N 2 )
Then we can see that the constraint equations from Equation (51) at the order N 0 is trivially satisfied as 1 = 1 . The non-trivial conditions arise from order 1 / N terms, and they determine the leading order expressions C ± , 0 ( s ) as seen in the next subsection. The main purpose of this paper is to compute C ± , 1 ( s ) , which are 1 / N corrections to the leading order expressions. We derive them by solving order N 2 conditions up to s = 8 in Section 4.2. Notice that we should take care of C ± ( s 1 , s 2 ; s ) in Equation (51) for s 6 , which may be expanded as
C ± ( s 1 , s 2 ; s ) = 1 N C ± , 0 ( s 1 , s 2 ; s ) + O ( N 2 )
The coefficients C ± , 0 ( s 1 , s 2 ; s ) are analyzed in Appendix B.

4.1. Leading Order Expressions in 1 / N

We start from three point functions at the leading order in 1 / N . We examine the constraint equations from Equation (51) up to 1 / N order. Up to this order, the vacuum block is given by (see Equation (37))
V 0 ( z ) = 1 + 1 N ( C ± , 0 ( 2 ) ) 2 z 2 2 F 1 ( 2 , 2 ; 4 ; z ) + O ( N 2 )
where we have defined
C ± , 0 ( 2 ) = 2 ( h ± ) 2 c O ( N 1 / 2 ) = 1 2 1 ± λ 1 λ
The Virasoro block of J ( s ) is
V s ( z ) = z s 2 F 1 ( s , s ; 2 s ; z ) + O ( N 1 )
as in Equation (47) with Equation (48). Therefore, the expansion in Equation (51) can be written as
| z | 2 Δ ± G ± ± ( z ) = 1 + 1 N s = 2 ( C ± , 0 ( s ) ) 2 z s 2 F 1 ( s , s ; 2 s ; z ) +
up to the order of 1 / N . The four point functions G ± ± ( z ) can be expanded as
| z | 2 Δ ± G ± ± ( z ) 1 + 1 N n = 1 z n 1 n + Γ ( 1 λ ) Γ ( n ) Γ ( n λ ) +
as in Equations (23) and (30) up to the same order. On the other hand, the global blocks can be written as
z s 2 F 1 ( s , s ; 2 s ; z ) = Γ ( 2 s ) ( Γ ( s ) ) 2 n = 0 ( Γ ( s + n ) ) 2 Γ ( 2 s + n ) z n + s n !
Comparing the coefficients in front of z n , we obtain
1 n + Γ ( 1 λ ) Γ ( n ) Γ ( n λ ) = ( Γ ( n ) ) 2 s = 2 n Γ ( 2 s ) ( C ± , 0 ( s ) ) 2 ( Γ ( s ) ) 2 Γ ( s + n ) ( n s ) !
They are the constraint equations for ( C ± , 0 ( s ) ) 2 with s = 3 , 4 , .
In order to fix relative phase factor, we examine G + ( z ) in Equation (9) as well. The decomposition in Equation (6) become
| 1 z | 2 Δ + G + ( z ) 1 + 1 N s = 2 ( 1 ) s C , 0 ( s ) C + , 0 ( s ) ( 1 z ) s 2 F 1 ( s , s ; 2 s ; 1 z )
in this case. The extra phase factor ( 1 ) s may require explanation; Now we need to use a slightly different expression of operator product expansion as
O + ( 1 ) O ¯ + ( z ) = C + ( s ) ( 1 z ) s | 1 z | 2 Δ + J ( s ) ( 1 ) +
Then the coefficients in front of global blocks are given by
C + ( s ) O ( ) J ( s ) ( 1 ) O ¯ ( 0 ) = C + ( s ) ( 1 ) s O ( ) O ¯ ( 1 ) J ( s ) ( 0 ) ( 1 ) s C ( s ) C + ( s )
Here the factor ( 1 ) s can be obtained from the coordinate dependence of three point function, which is completely fixed by conformal symmetry, see Equation (65) below. Therefore, we have constraint equations for three point functions as
n 1 n = ( Γ ( n ) ) 2 s = 2 n ( 1 ) s Γ ( 2 s ) C , 0 ( s ) C + , 0 ( s ) Γ ( s ) 2 Γ ( s + n ) ( n s ) !
by comparing the coefficients in front of z n .
Now we have three types of constraint equation as in Equations (60) and (64), and we would like to show that the known results satisfy these equations. At the leading order in 1 / N , the three point functions have been computed as [8]
O ± ( z 1 ) O ¯ ± ( z 2 ) J ( s ) ( z 3 ) = η ± ( s ) 2 π Γ ( s ) 2 Γ ( 2 s 1 ) Γ ( s ± λ ) Γ ( 1 ± λ ) z 12 z 13 z 23 s O ± ( z 1 ) O ¯ ± ( z 2 )
The phase factors η ± ( s ) depends on the convention of higher spin currents, but we may set η + ( s ) = 1 and η ( s ) = ( 1 ) s . The two point function of higher spin current J ( s ) in Equation (65) is (see (6.1) of [8])
J ( s ) ( z 1 ) J ( s ) ( z 2 ) = B ( s ) z 12 2 s , B ( s ) = N 2 2 s π 5 / 2 sin ( π λ ) λ Γ ( s ) Γ ( s λ ) Γ ( s + λ ) Γ ( s 1 2 )
at the leading order in 1 / N . The coefficients C ± , 0 ( s ) are given by normalization independent ratios as
C ± , 0 ( s ) = O ± O ¯ ± J ( s ) O ± O ¯ ± J ( s ) J ( s ) 1 / 2 O ( N 1 / 2 )
which become
C ± , 0 ( s ) = η ± ( s ) Γ ( s ) 2 Γ ( 2 s 1 ) Γ ( 1 λ ) Γ ( 1 ± λ ) Γ ( s ± λ ) Γ ( s λ )
The first few coefficients are
C ± , 0 ( 3 ) = η ± ( 3 ) 1 6 ( 2 ± λ ) ( 1 ± λ ) ( 2 λ ) ( 1 λ ) , C ± , 0 ( 4 ) = 1 20 ( 3 ± λ ) ( 2 ± λ ) ( 1 ± λ ) ( 3 λ ) ( 2 λ ) ( 1 λ )
along with Equation (55) for s = 2 . Using these explicit expressions, we can check that the constraint equations in Equations (60) and (64) are indeed satisfied3.

4.2. 1 / N Corrections

We would like to move to the main part of this paper. In this subsection, we derive 1 / N corrections to three point functions by examining the equations in Equation (51). With the help of analysis in previous sections, we have already ingredients necessary to the task. For examples, the expansions of G ± ± ( z ) were given in Equations (23) and (30) up to order 1 / N 2 . Moreover, the vacuum block and the Virasoro block of J ( s ) are expanded as in Equations (39) and (47), respectively. Using these expansions, the equations in Equation (51) become
m = 2 f ± ± ( m ) z m = V 0 ( 2 ) ( z ) + s = 3 2 C ± , 1 ( s ) C ± , 0 ( s ) V s ( 0 ) ( z ) + s = 3 ( C ± , 0 ( s ) ) 2 V s ( 1 ) ( z ) + ( s 1 , s 2 ; s ) ( C ± , 0 ( s 1 , s 2 ; s ) ) 2 V s ( 0 ) ( z )
at the order of 1 / N 2 . Here f ± ± ( m ) are defined in Equation (24) and Equation (31). At this order we should include the effects from higher spin currents of double trace type as ( C ± , 0 ( s 1 , s 2 , s ) ) 2 in Equation (70) with s 6 .
Let us examine the equations in Equation (70) from low order terms in z. There are no z 0 and z 1 order terms in the both sides. We can see that the equality in Equation (70) is satisfied at the order of z 2 from Equation (42). Non-trivial constraint equations appear at the z 3 order as
f ± ± ( 3 ) = f ± ± ( 2 ) + 2 C ± , 0 ( 3 ) C ± , 1 ( 3 )
where f ± ± ( 2 ) comes from V 0 ( 2 , 1 ) in Equation (42). Solving them we find
C + , 1 ( 3 ) C + , 0 ( 3 ) = 1 2 λ + 1 1 + λ + 4 2 + λ , C , 1 ( 3 ) C , 0 ( 3 ) = 1 2 λ + 1 λ + 1 + 4 λ + 2 6
The z 4 order constraints are
f ± ± ( 4 ) = f ± ± ( 2 ) 9 10 + ( 1 ± λ ) 2 8 ( 1 λ ) 2 + ( 1 ± λ ) 10 ( 1 λ ) 2 + 1 50 ( 1 λ ) 2 + 2 C ± , 0 ( 4 ) C ± , 1 ( 4 ) + 2 C ± , 0 ( 3 ) C ± , 1 ( 3 ) 3 2
where the contribution from Equation (45) starts to enter. The constraints lead to
C + , 1 ( 4 ) C + , 0 ( 4 ) = 1 10 5 λ + 6 λ 1 11 λ + 1 20 λ + 2 45 λ + 3 C , 1 ( 4 ) C , 0 ( 4 ) = 1 10 5 λ + 6 λ 1 1 λ + 1 + 20 λ + 2 + 45 λ + 3 60
We would like to keep going to the cases with s 5 , where f a ( s , z ) , f b ( s , z ) , and f c ( s , z ) in Equation (50) contribute. For s = 5 , the conditions become
f ± ± ( 5 ) = f ± ± ( 2 ) 4 5 + ( 1 ± λ ) 2 4 ( 1 λ ) 2 + ( 1 ± λ ) 5 ( 1 λ ) 2 + 1 25 ( 1 λ ) 2 + 2 C ± , 0 ( 5 ) C ± , 1 ( 5 ) + 2 C ± , 0 ( 4 ) C ± , 1 ( 4 ) · 2 + 2 C ± , 0 ( 3 ) C ± , 1 ( 3 ) · 12 7 + ( C ± , 0 ( 3 ) ) 2 1 2 1 ± λ 1 λ + 6 7 ( 1 λ ) + 18 49 ( 1 λ 2 )
We then find
C + , 1 ( 5 ) C + , 0 ( 5 ) = λ 2 + 25 7 ( λ 1 ) 57 14 ( λ + 1 ) 2 λ + 2 9 2 ( λ + 3 ) 8 λ + 4 C , 1 ( 5 ) C , 0 ( 5 ) = λ 2 + 25 7 ( λ 1 ) 43 14 ( λ + 1 ) + 2 λ + 2 + 9 2 ( λ + 3 ) + 8 λ + 4 10
by solving the constraints.
For s 6 , the contributions from higher spin currents of double trace type should be considered. They are given by
J ( 3 , 3 ; 6 ) : J ( 3 ) J ( 3 ) : , J ( 3 , 4 ; 7 ) : J ( 3 ) J ( 4 ) :
for s = 6 , 7 and4
J ( 4 , 4 ; 8 ) : J ( 4 ) J ( 4 ) : , J ( 3 , 5 ; 8 ) : J ( 3 ) J ( 5 ) : , J ( 3 , 3 ; 8 ) : J ( 3 ) 2 J ( 3 ) :
for s = 8 . Their precise forms are fixed such as to be primary in the sense of Virasoro algebra as derived in Appendix B5. Once we have the expressions of these currents, we can obtain the coefficients ( C ± , 0 ( s 1 , s 2 ; s ) ) 2 , which are defined as
( C ± , 0 ( s 1 , s 2 ; s ) ) 2 = O ± O ¯ ± J ( s 1 , s 2 ; s ) 2 O ± O ¯ ± 2 J ( s 1 , s 2 ; s ) J ( s 1 , s 2 ; s ) O ( N 2 )
In Appendix B we also compute the three point functions O ± O ¯ ± J ( s 1 , s 2 ; s ) and the two point functions J ( s 1 , s 2 ; s ) J ( s 1 , s 2 ; s ) for the currents in Equations (76) and (77) at the leading order in 1 / N .
Utilizing these results, we obtain 1 / N corrections to three point functions with single trace currents of s = 6 , 7 , 8 . The constraint equations for s = 6 are
f ± ± ( 6 ) = f ± ± ( 2 ) 5 7 + 7 ( 1 ± λ ) 2 20 ( 1 λ ) 2 + 39 ( 1 ± λ ) 140 ( 1 λ ) 2 + 109 1960 ( 1 λ ) 2 + 2 C ± , 0 ( 6 ) C ± , 1 ( 6 ) + 2 C ± , 0 ( 5 ) C ± , 1 ( 5 ) · 5 2 + 2 C ± , 0 ( 4 ) C ± , 1 ( 4 ) · 25 9 + 2 C ± , 0 ( 3 ) C ± , 1 ( 3 ) · 25 14 + ( C ± , 0 ( 3 ) ) 2 5 4 1 ± λ 1 λ + 15 7 ( 1 λ ) + 90 98 ( 1 λ 2 ) + ( C ± , 0 ( 4 ) ) 2 1 2 1 ± λ 1 λ + 4 3 ( 1 λ ) + 8 9 ( 1 λ 2 ) + ( C ± , 0 ( 3 , 3 ; 6 ) ) 2
where the effect of J ( 3 , 3 ; 6 ) in Equation (76) enters. Solving these equations we find
C + , 1 ( 6 ) C + , 0 ( 6 ) = λ 2 5 3 ( λ 2 ) + 1315 84 ( λ 1 ) 1357 84 ( λ + 1 ) 1 3 ( λ + 2 ) 9 2 ( λ + 3 ) 8 λ + 4 25 2 ( λ + 5 ) C , 1 ( 6 ) C , 0 ( 6 ) = λ 2 5 3 ( λ 2 ) + 1315 84 ( λ 1 ) 1273 84 ( λ + 1 ) + 11 3 ( λ + 2 ) + 9 2 ( λ + 3 ) + 8 λ + 4 + 25 2 ( λ + 5 ) 15
For spin 7, another double trace operator J ( 3 , 4 ; 7 ) in Equation (76) should be considered as
f ± ± ( 7 ) = f ± ± ( 2 ) 9 14 + 17 ( 1 ± λ ) 2 40 ( 1 λ ) 2 + 846 ( 1 ± λ ) 2520 ( 1 λ ) 2 + 131 1960 ( 1 λ ) 2 + 2 C ± , 0 ( 7 ) C ± , 1 ( 7 ) + 2 C ± , 0 ( 6 ) C ± , 1 ( 6 ) · 3 + 2 C ± , 0 ( 5 ) C ± , 1 ( 5 ) · 45 11 + 2 C ± , 0 ( 4 ) C ± , 1 ( 4 ) · 10 3 + 2 C ± , 0 ( 3 ) C ± , 1 ( 3 ) · 25 14 + ( C ± , 0 ( 3 ) ) 2 ( 3467 ± 42 λ ( 89 ± 24 λ ) ) 490 ( 1 λ 2 ) + ( C ± , 0 ( 4 ) ) 2 ( 7 ± 3 λ ) 6 ( 1 λ 2 ) + ( C ± , 0 ( 5 ) ) 2 ( 31 ± 11 λ ) 242 ( 1 λ 2 ) + ( C ± , 0 ( 3 , 3 ; 6 ) ) 2 · 3 + ( C ± , 0 ( 3 , 4 ; 7 ) ) 2
which lead to
C + , 1 ( 7 ) C + , 0 ( 7 ) = λ 2 490 33 ( λ 2 ) + 8183 132 ( λ 1 ) 8249 132 ( λ + 1 ) + 424 33 ( λ + 2 ) 9 2 ( λ + 3 ) 8 λ + 4 25 2 ( λ + 5 ) 18 λ + 6 C , 1 ( 7 ) C , 0 ( 7 ) = λ 2 490 33 ( λ 2 ) + 8183 132 ( λ 1 ) 8117 132 ( λ + 1 ) + 556 33 ( λ + 2 ) + 9 2 ( λ + 3 ) + 8 λ + 4 + 25 2 ( λ + 5 ) + 18 λ + 6 21
The constraint equations for C ± , 1 ( 8 ) are
f ± ± ( 8 ) = f ± ± ( 2 ) 7 12 + ( 1 ± λ ) 2 ( 1 λ ) 2 2687 5600 + ( 1 ± λ ) ( 1 λ ) 2 263 700 + 1 ( 1 λ ) 2 1879 25200 + 2 C ± , 0 ( 8 ) C ± , 1 ( 8 ) + 2 C ± , 0 ( 7 ) C ± , 1 ( 7 ) 7 2 + 2 C ± , 0 ( 6 ) C ± , 1 ( 6 ) 147 26 + 2 C ± , 0 ( 5 ) C ± , 1 ( 5 ) 245 44 + + 2 C ± , 0 ( 4 ) C ± , 1 ( 4 ) 245 66 + 2 C ± , 0 ( 3 ) C ± , 1 ( 3 ) 7 4 + ( C ± , 0 ( 3 ) ) 2 387 ± 418 λ + 113 λ 2 40 ( 1 λ 2 ) + ( C ± , 0 ( 4 ) ) 2 7 ( 47977 ± 41162 λ + 8833 λ 2 ) 21780 ( 1 λ 2 ) + ( C ± , 0 ( 5 ) ) 2 7 ( 31 ± 11 λ ) 2 484 ( 1 λ 2 ) + ( C ± , 0 ( 6 ) ) 2 ( 43 ± 13 λ ) 2 338 ( 1 λ 2 ) + ( C ± , 0 ( 3 , 3 ; 6 ) ) 2 147 26 + ( C ± , 0 ( 3 , 4 ; 7 ) ) 2 7 2 + ( C ± , 0 ( 4 , 4 ; 8 ) ) 2 + ( C ± , 0 ( 3 , 5 ; 8 ) ) 2 + ( C ± , 0 ( 3 , 3 ; 8 ) ) 2
Here we have taken care of double trace operators J ( 4 , 4 ; 8 ) , J ( 3 , 5 ; 8 ) , and J ( 3 , 3 ; 8 ) in Equation (77). We then have
C + , 1 ( 8 ) C + , 0 ( 8 ) = λ 2 + 525 143 ( λ 3 ) 12572 143 ( λ 2 ) + 101311 429 ( λ 1 ) 203051 858 ( λ + 1 ) + 12286 143 ( λ + 2 ) 2337 286 ( λ + 3 ) 8 λ + 4 25 2 ( λ + 5 ) 18 λ + 6 49 2 ( λ + 7 ) C , 1 ( 8 ) C , 0 ( 8 ) = λ 2 + 525 143 ( λ 3 ) 12572 143 ( λ 2 ) + 101311 429 ( λ 1 ) 202193 858 ( λ + 1 ) + 12858 143 ( λ + 2 ) + 237 286 ( λ + 3 ) + 8 λ + 4 + 25 2 ( λ + 5 ) + 18 λ + 6 + 49 2 ( λ + 7 ) 28
as solutions to the constraint equations.
Since the three point functions were already obtained with finite N , k in [9,10,11] for s = 3 , 4 , 5 , they can be compared to our results in principle. Instead of doing so, we utilize a simpler relation, which is on the ratio of three point functions (see (4.52) of [11])
O + O ¯ + J ( s ) O O ¯ J ( s ) = ( 1 ) s ( k + N + 1 ) ( k + N ) n = 1 s 1 n k + ( n + 1 ) N + n n k + ( n 1 ) N
The relation was derived for s = 2 , 3 , 4 , 5 by using the explicit results and conjectured for generic s based on them. The expression up to the 1 / N order becomes
O + O ¯ + J ( s ) O O ¯ J ( s ) = C + , 0 ( s ) + 1 N C + , 1 ( s ) C , 0 ( s ) + 1 N C , 1 ( s ) + O ( N 2 ) = ( 1 ) s n = 1 s 1 n + λ n λ 1 + 1 N λ + m = 1 s 1 m λ m + λ + O ( N 2 )
Thus, at the leading order in 1 / N , we have
C + , 0 ( s ) C , 0 ( s ) = ( 1 ) s n = 1 s 1 n + λ n λ
We can easily check that Equation (68) satisfy this condition. The relation in Equation (86) at the next leading order in 1 / N implies
C + , 1 ( s ) C + , 0 ( s ) C , 1 ( s ) C , 0 ( s ) = λ + m = 1 s 1 m λ m + λ
We have confirmed our results (and the conjectured relation in Equation (86)) by showing that our results on C ± , 1 ( s ) for s = 3 , , 8 satisfy this equation.
Before ending this section, we would like to make comments on normalized three point functions
C ± ( 2 ) = O ± O ¯ ± J ( 2 ) O ± O ¯ ± J ( 2 ) J ( 2 ) 1 / 2
with the energy momentum tensor T J ( 2 ) . They do not appear in the decomposition of Virasoro conformal blocks but can be fixed by the conformal Ward identity as
C ± ( 2 ) = 1 N 1 / 2 C ± , 0 ( 2 ) + 1 N C ± , 1 ( 2 ) + O ( N 2 ) = 2 h ± 2 c
In particular, they lead to Equation (55) and
2 C ± , 0 ( 2 ) C ± , 1 ( 2 ) = f ± ± ( 2 )
with Equation (43), or equivalently
C + , 1 ( 2 ) C + , 0 = λ 2 1 2 ( λ + 1 ) , C , 1 ( 2 ) C , 0 = λ 2 + 1 2 ( λ + 1 ) 1
As a consistence check, we can show that they satisfy Equation (88) as well.

5. Conclusions and Open Problems

We have developed a new method to compute three point functions of two scalar operators and a higher spin current in Equation (4) in 2d W N minimal model. This model can be described by the coset in Equation (1) with two parameters N , k , and we analyze it in 1 / N expansion in terms of ’t Hooft parameter λ = N / ( N + k ) in Equation (3). We decompose scalar four point functions G ± ± ( z ) in Equations (7) and (8) and G + ( z ) in Equation (9) by Virasoro conformal blocks. The four point functions were computed exactly with finite N , k in [16], and Virasoro conformal blocks can be obtained including 1 / N corrections, say, by analyzing Zamolodchikov’s recursion relation [17]. Solving the constraint equations from the decomposition, we can obtain three point functions including 1 / N corrections. At the leading order in 1 / N , we can easily reproduce the known results in [8] because Virasoro conformal blocks reduce to global blocks in this case. At the next leading order, we have obtained 1 / N corrections to the three point functions up to spin 8. Previously exact results were known for s = 3 , 4 , 5 in [9,10,11], and our findings for s = 6 , 7 , 8 are new. We have confirmed our results by checking that the conjectured relation in Equation (88) is satisfied.
We have evaluated 1 / N corrections only up to spin 8 case because of the following two obstacles. One comes from 1 / c corrections to Virasoro conformal blocks. Up to the required order in 1 / c , closed forms can be obtained, for instance, by following the method in [23] except for f c ( s , z ) in Equation (49). In Equation (50) (or in [23]), the function f c ( s , z ) is given up to the order z 5 + s , but we need the term at order z 6 + s with s = 3 for spin 9 computation. We have not tried to do so, but it should be possible to obtain the terms at higher orders in z without a lot of efforts. Another is related to the contributions from higher spin currents of double trace type as analyzed in Appendix B. In order to obtain primary operators of this type, we have used commutation relations in Equation (A15), which are borrowed from [24]. For spin 9, a current of the form J ( 3 , 6 ; 9 ) : J ( 3 ) J ( 6 ) : would give some contributions. However, in order to find its primary form, we need the commutation relation between W , Y , which is currently not available. At the order in 1 / c which do not vanish at c , we can derive the commutation relations involving more higher spin currents, for instance, from dual Chern-Simons description as in [25,26,27,28]. The computation is straightforward but might be tedious. In any case, it is definitely possible to obtain the 1 / N corrections of three point functions for s 9 , and it is desired to have expressions for generic s.
There are many open problems we would like to think about. Because of the simplicity of our method, it is expected to be applicable to more generic cases. For example, it is worth generalizing the current analysis to supersymmetric cases. Recently, it becomes possible to discuss relations between 3d higher spin theory and superstrings by introducing extended supersymmetry to the duality by [1]. Higher spin holography with N = 3 supersymmetry has been developed in a series of works [29,30,31], while large or small N = 4 supersymmetry has been utilized through the well-studied holography with symmetric orbifold in [32,33]. Previous works on the subject may be found in [34,35,36]. As mentioned in introduction, the main motivation to examine 1 / N corrections in 2d W N minimal model is to learn quantum effects in dual higher spin theory. We would like to report on our recent progress in a separate publication [37].

Acknowledgments

We are grateful to Changhyun Ahn, Pawel Caputa, Takahiro Nishinaka, Volker Schomerus and Yuji Sugawara for useful discussion. Y.H. would like to thank the organizers of “Universität Hamburg—Kyoto University Symposium" and the workshop “New ideas on higher spin gravity and holography” at Kyung Hee University, Seoul for their hospitality. The work of Y.H. is supported by JSPS KAKENHI Grant Number 16H02182.

Author Contributions

Yasuaki Hikida and Takahiro Uetoko contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Recursion Relations and Virasoro Conformal Blocks

In this appendix we derive the expressions of Virasoro conformal blocks in expansions of 1 / c and z by solving Zamolodchikov recursion relation in [17], and we compare our results to those previous obtained especially in [23]. We decompose a four point function by Virasoro conformal blocks F ( c , h i , h p , z ) as in Equation (6). In the following we set h 1 = h 2 and h 3 = h 4 . The recursion relation for Virasoro conformal blocks is [17]
F ( c , h i , h p , z ) = z h p 2 F 1 ( h p , h p ; 2 h p ; z ) + m 1 , n 2 R m n ( h i , h p ) c c m n ( h p ) F ( c m n ( h p ) , h i , h p + m n , z )
Here the poles for c are located at c = c m n ( h p ) with
c m n ( h p ) = 13 6 t m n ( h p ) 1 + t m n ( h p )
where
t m n ( h p ) = 2 h p + m n 1 + 4 h p ( h p + m n 1 ) + ( m n ) 2 / ( n 2 1 )
The residua are
R m n ( h i , h p ) = A m n ( h p ) P m n ( h i , h p )
where
P m n ( h i , h p ) = j , k 2 l 1 l j k 2 2 l 3 l j k 2 l j k 2 2 A m n ( h p ) = 12 ( t m n 1 t m n ) ( m 2 1 ) t m n 1 ( n 2 1 ) t m n a , b 1 l a b l j k ( m , n , h p ) = ( j k t m n ) t m n 1 / 2 , l i ( m , n , h i , h p ) = ( h i + l 11 2 / 4 ) 1 / 2
The sum is taken over j = m + 1 , m + 3 , , m 1 , k = n + 1 , n + 3 , , n 1 , a = m + 1 , m + 2 , , m , b = n + 1 , n + 2 , , n without ( a , b ) = ( 0 , 0 ) , ( m , n ) .
For our purpose, it is enough to obtain first several terms of Virasoro blocks in z expansion, and we obtain them by following the strategy of [18], see also [19]. We decompose Virasoro conformal blocks by global blocks as
F ( c , h i , h p , z ) = z h p q = 0 χ q ( c , h i , h p ) z q 2 F 1 ( h p + q , h p + q ; 2 ( h p + q ) ; z )
The generic expressions of χ q are given in (2.28) of [18]. With h 1 = h 2 and h 3 = h 4 , it can be shown that χ q = 0 for odd q. The explicit expressions for q = 2 , 4 , 6 can be found in (C.1) of the paper as
χ 2 ( c , h p ) = γ 12 ( c , h p ) χ 4 ( c , h p ) = γ 14 ( c , h p ) + γ 22 ( c , h p ) + γ 12 ( c , h p ) γ 12 ( c 12 ( h p , h p + 2 ) ) χ 6 ( c , h p ) = γ 16 ( c , h p ) + γ 23 ( c , h p ) + γ 32 ( c , h p ) + γ 12 ( c , h p ) γ 14 ( c 12 ( h p ) , h p + 2 ) + γ 12 ( c , h p ) γ 22 ( c 12 ( h p ) , h p + 2 ) + γ 14 ( c , h p ) γ 12 ( c 14 ( h p ) , h p + 4 ) + γ 22 ( c , h p ) γ 12 ( c 22 ( h p ) , h p + 4 ) + γ 12 ( c , h p ) γ 12 ( c 12 ( h p ) , h p + 2 ) γ 12 ( c 12 ( h p + 2 ) , h p + 4 )
with
γ m n ( c , h p ) = R m n ( h i , h p ) c c m n ( h p )
Inserting these expressions into Equation (A6), we can obtain the Virasoro conformal blocks up to the order of z h p + 7 .
Let us start from vacuum block. As discussed in the main context, we need its expression up to the 1 / c 2 order. For h p = 0 the coefficients χ q can be found in (2.15) of [18], and they are expended in 1 / c as
χ 2 ( c , h i , 0 ) = 2 h 1 h 3 c χ 4 ( c , h i , 0 ) = 2 ( 5 h 1 2 + h 1 ) ( 5 h 2 2 + h 2 ) 25 c 2 + O ( c 3 ) χ 6 ( c , h i , 0 ) = ( 14 h 1 2 + h 1 ) ( 14 h 3 2 + h 3 ) 4410 c 2 + O ( c 3 )
Note that there is no 1 / c -correction to χ 2 ( c , h i , 0 ) . Using
2 F 1 ( 4 , 4 ; 8 ; z ) = 1 + 2 z + 25 9 z 2 + 10 3 z 3 + O ( z 4 ) 2 F 1 ( 6 , 6 ; 12 ; z ) = 1 + 3 z + O ( z 2 )
and Equation (A6), we find Equation (37) with k a ( z ) , k b ( z ) , and k c ( z ) in Equation (38) but up to the order z 7 .
We would like to compare the expressions to Equation (3.14) in [23]. Firstly, there is no contribution like k a ( z ) 6. Secondly, our k b ( z ) is twice of the corresponding one in [23]. Finally, we can see that k c ( z ) reproduces their expressions. In conclusion, we find very similar but different results. After carefully repeated the analysis, say, in [23], we obtain
k a ( z ) = 2 z 4 ( 2 F 1 ( 2 , 2 ; 4 ; z ) ) 2 k b ( z ) = 72 z 2 ( ( z 2 ) z log ( 1 z ) + 2 ( 1 z ) log 2 ( 1 z ) 4 z 2 ) k c ( z ) = 12 z 2 ( 12 ( z 2 ) z Li 2 ( z ) + 16 z 2 + 6 ( z 1 ) 2 log 2 ( 1 z ) + ( z 2 ) z log ( 1 z ) )
This version matches the above expressions in z expansion. Using these closed form results, we can go to more higher orders in z as in Equation (38).
Let us move to the case with non-trivial h p , where expressions are needed up to the 1 / c order. Using the expressions of χ q in Equation (A7), we obtain
χ 2 ( c , h p ) = 1 c h p 2 ( h p 1 ) 2 2 ( 2 h p + 1 ) 2 + ( h 1 + h 3 ) h p ( h p 1 ) 2 h p + 1 + 2 h 1 h 3 + O ( c 2 ) χ 4 ( c , h p ) = 1 c ( h p 1 ) 2 h p 3 ( h p + 3 ) 80 ( 2 h p + 1 ) ( 2 h p + 3 ) 2 ( 2 h p + 5 ) + ( h 1 + h 3 ) ( h p 1 ) h p 2 ( h p + 3 ) 20 ( 2 h p + 1 ) ( 2 h p + 3 ) ( 2 h p + 5 ) + h 1 h 3 h p ( h p + 3 ) 5 ( 2 h p + 1 ) ( 2 h p + 5 ) + O ( c 2 )
With the expansions of hypergeometric function in z such as
2 F 1 ( h p + 2 , h p + 2 ; 2 h p + 4 ; z ) = 1 + 2 + h p 2 z + ( 2 + h p ) ( 3 + h p ) 2 4 ( 5 + 2 h p ) z 2 + ( h p + 2 ) ( h p + 3 ) ( h p + 4 ) 2 24 ( 2 h p + 5 ) z 3 + O ( z 4 ) 2 F 1 ( h p + 4 , h p + 4 ; 2 h p + 8 ; z ) = 1 + 4 + h p 2 z + O ( z 2 )
we find Equation (46), where the functions f a ( h p , z ) , f b ( h p , z ) , and f c ( h p , z ) are given by Equation (50) but with s = h p . These were analyzed in [23] and, in particular, closed forms were obtained for f a ( h p , z ) and f b ( h p , z ) as
f a ( h p , z ) = 12 z h p 1 2 F 1 ( h p , h p ; 2 h p ; z ) ( 2 z + ( 2 z + ( 2 z ) log ( 1 z ) ) ) f b ( h p , z ) = 12 h p z h p 2 F 1 ( h p , h p ; 2 h p ; z ) log ( 1 z ) z 1 1 + 1 + 1 2 log ( 1 z ) 2 F 1 ( h p , h p ; 2 h p + 1 ; z )
Our results match with their findings in this case.

Appendix B. Higher Spin Currents of Double Trace Type

In this appendix, we analyze higher spin currents of double trace type with s = 6 , 7 , 8 in Equations (76) and (77). We first present basics on higher spin algebra, which are needed to obtain the precise expressions of these currents primary with respect to Virasoro algebra. We then derive the three and two point functions of these currents, which are used to obtain ( C ± , 0 ( s 1 , s 2 ; s ) ) 2 in Equation (78).

Appendix B.1. Higher Spin Algebra

In order to find out higher spin currents of double trace type, which are primary to Virasoro algebra, we utilize commutation relations among higher spin currents given in [24] (see also [15,27,28]). The currents are denoted as W , U , X , Y , which are proportional to J ( s ) with s = 3 , 4 , 5 , 6 . In order to obtain the leading order expression ( C ± , 0 ( s 1 , s 2 ; s ) ) 2 , we only need commutation relations up to the terms vanishing at c as7
[ L m , L n ] = ( m n ) L m + n + c 12 m ( m 2 1 ) δ m + n , [ L m , W n ] = ( 2 m n ) W m + n [ L m , U n ] = ( 3 m n ) U m + n , [ L m , X n ] = ( 4 m n ) X m + n , [ L m , Y n ] = ( 5 m n ) Y m + n [ W m , W n ] = 2 ( m n ) U m + n N 3 12 ( m n ) ( 2 m 2 + 2 n 2 m n 8 ) L m + n N 3 c 144 m ( m 2 1 ) ( m 2 4 ) δ m + n [ W m , U n ] = ( 3 m 2 n ) X m + n N 4 15 N 3 ( n 3 5 m 3 3 m n 2 + 5 m 2 n 9 n + 17 m ) W m + n [ U m , U n ] = 3 ( m n ) Y m + n n 44 ( m n ) ( m 2 m n + n 2 7 ) U m + n N 4 360 ( m n ) ( 108 39 m 2 + 3 m 4 + 20 m n 2 m 3 n 39 n 2 + 4 m 2 n 2 2 m n 2 + 3 n 4 ) L m + n c N 4 4320 m ( m 2 1 ) ( m 2 4 ) ( m 2 9 ) δ m + n [ W m , X n ] = ( 4 m 2 n ) Y m + n + 1 56 N 5 N 4 ( 28 m 3 21 m 2 n + 9 m n 2 2 n 3 88 m + 32 n ) U m + n , [ X m , X n ] = c N 5 241920 m ( m 2 1 ) ( m 2 4 ) ( m 2 9 ) ( m 2 16 ) δ m + n +
The constants are
N 3 = 1 5 ( λ 2 4 ) , N 4 = 3 70 ( λ 2 4 ) ( λ 2 9 ) N 5 = 1 105 ( λ 2 4 ) ( λ 2 9 ) ( λ 2 16 ) , n 44 = 1 30 ( λ 2 19 )
in the current notation.
With the conventions, higher spin charges are given by
L 0 | O ± = h | O ± , W 0 | O ± = w | O ± , U 0 | O ± = u | O ± X 0 | O ± = x | O ± , Y 0 | O ± = y | O ±
Here | O ± O ± ( 0 ) | 0 and
h = 1 2 ( 1 ± λ ) , w = ± 1 6 ( 2 ± λ ) ( 1 ± λ ) , u = 1 20 ( 3 ± λ ) ( 2 ± λ ) ( 1 ± λ ) x = ± 1 70 ( 4 ± λ ) ( 3 ± λ ) ( 2 ± λ ) ( 1 ± λ ) , y = 1 252 ( 5 ± λ ) ( 4 ± λ ) ( 3 ± λ ) ( 2 ± λ ) ( 1 ± λ )
at the leading order in 1 / c .

Appendix B.2. Three and Two Point Functions

We start from spin 6 current J ( 3 , 3 ; 6 ) : J ( 3 ) J ( 3 ) : in Equation (76). Let us assume the form as
J ( 3 , 3 ; 6 ) ( 0 ) | 0 = J 6 ( 3 , 3 ; 6 ) | 0 = ( W 3 W 3 + a U 6 + b L 6 ) | 0
Then the coefficients a , b are fixed by the condition L 1 J 6 ( 3 , 3 ; 6 ) | 0 = 0 as
a = 10 9 , b = 5 N 3 7
We may rewrite
J ( 3 , 3 ; 6 ) ( z ) = m n : W m W n : z m + n + 6 + a 2 n ( n + 4 ) ( n + 5 ) U n z n + 6 + b 24 n ( n + 2 ) ( n + 3 ) ( n + 4 ) ( n + 5 ) L n z n + 6
where the prescription of normal ordering is (see, e.g., (6.144) of [39])
: A B : m = n h A A n B m n + n > h A B m n A n
with h A as the conformal weight of A. We then obtain ( C ± , 0 ( 3 , 3 ; 6 ) ) 2 with the three point function
O ± | J 0 ( 3 , 3 ; 6 ) | O ± = O ± | ( W + 2 W 2 + W + 1 W 1 + W 0 W 0 + 10 a U 0 + 5 b L 0 ) | O ± = 8 9 u + 1 14 N 3 h + w 2 O ± | O ±
and the normalization of higher spin current
J ( 3 , 3 ; 6 ) J ( 3 , 3 ; 6 ) = 2 5 c N 3 6 2
For spin 7 there is a double trace operator J ( 3 , 4 ; 7 ) : J ( 3 ) J ( 4 ) : as in Equation (76). As above, we can show that
J ( 3 , 4 ; 7 ) ( 0 ) | 0 = J 7 ( 3 , 4 ; 7 ) | 0 = W 3 U 4 + a X 7 + b W 7 | 0
with
a = 10 11 , b = 2 9 N 4 N 3
is primary. Rewriting
J ( 3 , 4 ; 7 ) ( z ) = m 1 , n : W m U n : z m + n + 7 + a 2 n ( n + 5 ) ( n + 6 ) X n z n + 7 + b 24 n ( n + 3 ) ( n + 4 ) ( n + 5 ) ( n + 6 ) W n z n + 7
we find that
O ± | J 0 ( 3 , 4 ; 7 ) | O ± = O ± | U 2 W 2 + U 1 W 1 + U 0 W 0 + 15 a X 0 + 15 b W 0 | O ± = 15 11 x 2 15 N 4 N 3 w + u w O ± | O ±
Normalization is given by
J ( 3 , 4 ; 7 ) J ( 3 , 4 ; 7 ) = 5 c N 3 6 7 c N 4 6
There are three types as in Equation (77) for s = 8 , and we start from J ( 4 , 4 ; 8 ) : J ( 4 ) J ( 4 ) : . We assume its form as
J ( 4 , 4 ; 8 ) ( 0 ) | 0 = J 8 ( 4 , 4 ; 8 ) | 0 = ( U 4 U 4 + a Y 8 + b U 8 + d L 8 ) | 0
The condition L 1 J 8 ( 4 , 4 ; 8 ) | 0 = 0 fixes the constants as
a = 21 13 , b = 42 11 n 44 , d = 7 N 4 9
The operator J ( 4 , 4 ; 8 ) is then obtained as
J ( 4 , 4 ; 8 ) ( z ) = m , n : U m U n : z m + n + 8 + a 2 n ( n + 6 ) ( n + 7 ) Y n z n + 8 + b 24 n ( n + 4 ) ( n + 7 ) U n z n + 8 + d 6 ! n ( n + 2 ) ( n + 7 ) L n z n + 8
Thus we find
O ± | J 0 ( 4 , 4 ; 8 ) | O ± = O ± | ( U 3 U 3 + U 2 U 2 + U 1 U 1 + U 0 U 0 + 21 a Y 0 + 35 b U 0 + 7 d L 0 | O ± = h N 4 45 + 18 n 44 u 11 + u 2 + 27 y 13 O ± | O ±
The normalization is
J ( 4 , 4 ; 8 ) J ( 4 , 4 ; 8 ) = 2 7 c N 4 6 2
We then move to J ( 3 , 5 ; 8 ) : J ( 3 ) J ( 5 ) : in Equation (77). We find
J ( 3 , 5 ; 8 ) ( 0 ) | 0 = J 8 ( 3 , 5 ; 8 ) | 0 = ( W 3 X 5 + a Y 8 + b U 8 ) | 0
with
a = 10 13 , b = 15 154 N 5 N 4
is primary. With this expression, we compute
(A37) O ± | J 0 ( 3 , 5 ; 8 ) | O ± = O ± | ( X 2 W 2 + X 1 W 1 + X 0 W 0 + 21 a Y 0 + 35 b U 0 | O ± (A38) = 15 N 5 u 77 N 4 + w x + 24 y 13 O ± | O ±
and
Λ ( 3 , 5 ) Λ ( 3 , 5 ) = 5 c N 3 6 9 c N 5 6
For J ( 3 , 3 ; 8 ) : J ( 3 ) 2 J ( 3 ) : in Equation (77), we define
J 8 ( 3 , 3 ; 8 ) | 0 = ( W 5 W 3 + a W 4 W 4 + b U 8 + d L 8 ) | 0
where the condition L 1 J 8 ( 3 , 3 ; 8 ) | 0 = 0 leads to
a = 7 12 , b = 7 11 , d = 35 N 3 36
Using
J ( 3 , 3 ; 8 ) ( z ) = 1 2 m , n : ( m + 3 ) ( m + 4 ) W m W n : z m + n + 8 + a m , n : ( m + 3 ) W m ( n + 3 ) W n : z m + n + 8 + b 24 n ( n + 4 ) ( n + 7 ) U n z n + 8 + d 6 ! n ( n + 2 ) ( n + 7 ) L n z n + 8
we find
O ± | J 0 ( 3 , 3 ; 8 ) | O ± = O ± | 1 2 ( 2 W 2 W 2 + 6 W 1 W 1 + 12 W 0 W 0 ) + a ( 5 W 2 W 2 + 8 W 1 W 1 + 9 W 0 W 0 ) + 21 b Y 0 + 35 d U 0 | O ± = h N 3 36 + 3 u 11 + 3 w 2 4 O ± | O ±
Here we have applied the normal ordering prescription as in Equation (A22). For instance, we may set
A m = ( m + 3 ) ( m + 4 ) W m , B n = W n , h A = 5
The normalization is
J ( 3 , 3 ; 8 ) J ( 3 , 3 ; 8 ) = 5 c N 3 6 35 c N 3 2 + 2 a 2 5 c N 3 2
There could be another spin 8 current of double trace type as J ( 3 , 4 ; 8 ) : J ( 3 ) J ( 4 ) : . We can see that
J ( 3 , 4 ; 8 ) ( 0 ) | 0 = J 8 ( 3 , 4 ; 8 ) | 0 = ( W 3 U 5 + a W 4 U 4 + b X 8 + d W 8 ) | 0
is primary for
a = 4 3 , b = 5 3 , d = 4 N 4 5 N 3
Since J ( 3 , 4 ; 8 ) ( z ) is given by
J ( 3 , 4 ; 8 ) ( z ) = m , n : W m ( n + 4 ) U n : z m + n + 8 a m , n : ( m + 3 ) W m U n : z m + n + 8 b 6 n ( n + 5 ) ( n + 6 ) ( n + 7 ) X n z n + 8 d 5 ! n ( n + 3 ) ( n + 7 ) W n z n + 8
we find
O ± | J 0 ( 3 , 4 ; 8 ) | O ± = O ± | ( 6 U 2 W 2 + 5 U 1 W 1 + 4 U 0 W 0 ) a ( U 2 W 2 + 2 U 1 W 1 + 3 U 0 W 0 ) 35 b X 0 21 d W 0 | O ± = 0
which means that there is no contribution from J ( 3 , 4 ; 8 ) .

References

  1. Gaberdiel, M.R.; Gopakumar, R. An AdS3 dual for minimal model CFTs. Phys. Rev. D 2011, 83, 066007. [Google Scholar] [CrossRef]
  2. Aharony, O.; Alday, L.F.; Bissi, A.; Perlmutter, E. Loops in AdS from conformal field theory. J. High Energy Phys. 2017, 2017, 36. [Google Scholar] [CrossRef]
  3. Alday, L.F.; Bissi, A. Loop corrections to supergravity on AdS5 × S5. arXiv, 2017; arXiv:hep-th/1706.02388. [Google Scholar]
  4. Aprile, F.; Drummond, J.M.; Heslop, P.; Paul, H. Quantum gravity from conformal field Theory. arXiv, 2017; arXiv:hep-th/1706.02822. [Google Scholar]
  5. El-Showk, S.; Paulos, M.F.; Poland, D.; Rychkov, S.; Simmons-Duffin, D.; Vichi, A. Solving the 3D Ising model with the conformal bootstrap. Phys. Rev. D 2012, 86, 025022. [Google Scholar] [CrossRef]
  6. Prokushkin, S.; Vasiliev, M.A. Higher spin gauge interactions for massive matter fields in 3D AdS space-time. Nucl. Phys. B 1999, 545, 385–433. [Google Scholar] [CrossRef]
  7. Chang, C.M.; Yin, X. Higher spin gravity with matter in AdS3 and its CFT dual. J. High Energy Phys. 2012, 2012, 24. [Google Scholar] [CrossRef]
  8. Ammon, M.; Kraus, P.; Perlmutter, E. Scalar fields and three-point functions in D=3 higher spin gravity. J. High Energy Phys. 2012, 2012, 113. [Google Scholar] [CrossRef]
  9. Bais, F.A.; Bouwknegt, P.; Surridge, M.; Schoutens, K. Coset construction for extended Virasoro algebras. Nucl. Phys. B 1988, 304, 371–391. [Google Scholar] [CrossRef]
  10. Ahn, C. The coset spin-4 Casimir operator and its three-point functions with scalars. J. High Energy Phys. 2012, 2012, 27. [Google Scholar] [CrossRef]
  11. Ahn, C.; Kim, H. Spin-5 Casimir operator its three-point functions with two scalars. J. High Energy Phys. 2014, 2014, 12. [Google Scholar] [CrossRef]
  12. Creutzig, T.; Hikida, Y.; Rønne, P.B. Three point functions in higher spin AdS3 supergravity. J. High Energy Phys. 2013, 2013, 171. [Google Scholar] [CrossRef]
  13. Moradi, H.; Zoubos, K. Three-point functions in N = 2 higher-spin holography. J. High Energy Phys. 2013, 2013, 18. [Google Scholar] [CrossRef]
  14. Creutzig, T.; Hikida, Y.; Rønne, P.B. Higher spin AdS3 supergravity and its dual CFT. J. High Energy Phys. 2012, 2012, 109. [Google Scholar] [CrossRef]
  15. Gaberdiel, M.R.; Gopakumar, R. Triality in minimal model holography. J. High Energy Phys. 2012, 2012, 127. [Google Scholar] [CrossRef]
  16. Papadodimas, K.; Raju, S. Correlation functions in holographic minimal models. Nucl. Phys. B 2012, 856, 607–646. [Google Scholar] [CrossRef]
  17. Zamolodchikov, A.B. Conformal symmetry in two-dimensions: An explicit recurrence formula for the conformal partial wave amplitude. Commun. Math. Phys. 1984, 96, 419–422. [Google Scholar] [CrossRef]
  18. Perlmutter, E. Virasoro conformal blocks in closed form. J. High Energy Phys. 2015, 2015, 88. [Google Scholar] [CrossRef]
  19. Beccaria, M.; Fachechi, A.; Macorini, G. Virasoro vacuum block at next-to-leading order in the heavy-light limit. J. High Energy Phys. 2016, 2016, 72. [Google Scholar] [CrossRef]
  20. Fitzpatrick, A.L.; Kaplan, J.; Walters, M.T. Virasoro conformal blocks and thermality from classical background Fields. J. High Energy Phys. 2015, 2015, 200. [Google Scholar] [CrossRef]
  21. Fitzpatrick, A.L.; Kaplan, J. Conformal blocks beyond the semi-classical limit. J. High Energy Phys. 2016, 2016, 75. [Google Scholar] [CrossRef]
  22. Chen, H.; Fitzpatrick, A.L.; Kaplan, J.; Li, D.; Wang, J. Degenerate operators and the 1/c expansion: Lorentzian resummations, high order computations, and super-Virasoro blocks. J. High Energy Phys. 2017, 2017, 167. [Google Scholar] [CrossRef]
  23. Fitzpatrick, A.L.; Kaplan, J.; Li, D.; Wang, J. Exact Virasoro blocks from Wilson lines and background- independent operators. J. High Energy Phys. 2017, 2017, 92. [Google Scholar] [CrossRef]
  24. Gaberdiel, M.R.; Hartman, T.; Jin, K. Higher spin black holes from CFT. J. High Energy Phys. 2012, 2012, 103. [Google Scholar] [CrossRef]
  25. Henneaux, M.; Rey, S.J. Nonlinear W as asymptotic symmetry of three-dimensional higher spin anti-de Sitter gravity. J. High Energy Phys. 2010, 2010, 7. [Google Scholar] [CrossRef]
  26. Campoleoni, A.; Fredenhagen, S.; Pfenninger, S.; Theisen, S. Asymptotic symmetries of three-dimensional gravity coupled to higher-spin fields. J. High Energy Phys. 2010, 2010, 7. [Google Scholar] [CrossRef]
  27. Gaberdiel, M.R.; Hartman, T. Symmetries of holographic minimal models. J. High Energy Phys. 2011, 2011, 31. [Google Scholar] [CrossRef]
  28. Campoleoni, A.; Fredenhagen, S.; Pfenninger, S. Asymptotic W-symmetries in three-dimensional higher-spin gauge theories. J. High Energy Phys. 2011, 2011, 113. [Google Scholar] [CrossRef]
  29. Creutzig, T.; Hikida, Y.; Rønne, P.B. Extended higher spin holography and Grassmannian models. J. High Energy Phys. 2013, 2013, 38. [Google Scholar] [CrossRef]
  30. Creutzig, T.; Hikida, Y.; Rønne, P.B. Higher spin AdS3 holography with extended supersymmetry. J. High Energy Phys. 2014, 2014, 163. [Google Scholar] [CrossRef] [Green Version]
  31. Hikida, Y.; Rønne, P.B. Marginal deformations and the Higgs phenomenon in higher spin AdS3 holography. J. High Energy Phys. 2015, 2015, 125. [Google Scholar] [CrossRef]
  32. Gaberdiel, M.R.; Gopakumar, R. Large N = 4 holography. J. High Energy Phys. 2013, 2013, 036. [Google Scholar] [CrossRef]
  33. Gaberdiel, M.R.; Gopakumar, R. Higher spins & strings. J. High Energy Phys. 2014, 2014, 44. [Google Scholar]
  34. Ahn, C.; Kim, H. Three point functions in the large N = 4 holography. J. High Energy Phys. 2015, 2015, 111. [Google Scholar] [CrossRef]
  35. Ahn, C.; Kim, H.; Paeng, J. Three-point functions in the N = 4 orthogonal coset theory. Int. J. Mod. Phys. A 2016, 31, 1650090. [Google Scholar] [CrossRef]
  36. Ahn, C.; Kim, D.G.; Kim, M.H. The next 16 higher spin currents and three-point functions in the large N = 4 holography. Eur. Phys. J. C 2017, 77, 523. [Google Scholar] [CrossRef]
  37. Hikida, Y.; Uetoko, T. Correlators in higher spin AdS3 holography from Wilson lines with loop corrections. arXiv, 2017; arXiv:hep-th/1708.08657. [Google Scholar]
  38. Creutzig, T.; Hikida, Y. Higgs phenomenon for higher spin fields on AdS3. J. High Energy Phys. 2015, 2015, 164. [Google Scholar] [CrossRef]
  39. Di Francesco, P.; Mathieu, P.; Senechal, D. Conformal Field Theory; Springer: New York, NY, USA, 1997. [Google Scholar]
1
Recently, a different method to the issue has been adopted in [2,3,4] by analyzing the strongly coupled regime of conformal field theories in 1 / N expansion. This becomes possible because of recent developments on conformal bootstrap technique, e.g., in [5].
2
The analysis in [12,13] were made in the context of N = 2 holographic duality in [14], but we can see that the analysis reduces to that for the bosonic case under a suitable truncation at the leading order in 1 / N .
3
We have confirmed this for Equation (60) with spin s = 2 , 3 , , 70 and for Equation (64) with all spin.
4
There could be another current J ( 3 , 4 ; 8 ) : J ( 3 ) J ( 4 ) , but it does not give any contribution as shown in Appendix B.
5
From the decomposition by Virasoro conformal blocks as in Equation (6), we can read off three point functions among primary operators including intermediate one A p by construction. For s 5 , only J ( s ) starts to contribute as the intermediate operator at the z s order, so we do not need to worry about if the operator is primary or not. However, for s 6 , there are degeneracies among J ( s ) and J ( s 1 , s 2 ; s ) , and the 1 / N corrections C ± , 1 ( s ) could be read off once we have the information of C ± , 0 ( s 1 , s 2 ; s ) , see Equation (70). Since we compute C ± , 0 ( s 1 , s 2 ; s ) by hand as explained in Appendix B, we have to explicitly construct primary operators of double trace type. We only need the leading order expressions, so it is enough to use commutation relations surviving in the large c limit as in Equation (A15) and higher spin charges at the leading order as in Equation (A18).
6
It seems that the authors of [23] did not consider this type of contribution because it is not new but essentially given by the square of 1 / c order term in Equation (37).
7
Here we have changed some signs, see, e.g., footnote 6 of [38]. The changes here are associated with redefinitions as W i W , U U , X i X , and Y untouched.

Share and Cite

MDPI and ACS Style

Hikida, Y.; Uetoko, T. Three Point Functions in Higher Spin AdS3 Holography with 1/N Corrections. Universe 2017, 3, 70. https://doi.org/10.3390/universe3040070

AMA Style

Hikida Y, Uetoko T. Three Point Functions in Higher Spin AdS3 Holography with 1/N Corrections. Universe. 2017; 3(4):70. https://doi.org/10.3390/universe3040070

Chicago/Turabian Style

Hikida, Yasuaki, and Takahiro Uetoko. 2017. "Three Point Functions in Higher Spin AdS3 Holography with 1/N Corrections" Universe 3, no. 4: 70. https://doi.org/10.3390/universe3040070

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop