Holographic dual of the five-point conformal block

We present the holographic object which computes the five-point global conformal block in arbitrary dimensions for external and exchanged scalar operators. This object is interpreted as a weighted sum over infinitely many five-point geodesic bulk diagrams. These five-point geodesic bulk diagrams provide a generalization of their previously studied four-point counterparts. We prove our claim by showing that the aforementioned sum over geodesic bulk diagrams is the appropriate eigenfunction of the conformal Casimir operator with the right boundary conditions. This result rests on crucial inspiration from a much simpler $p$-adic version of the problem set up on the Bruhat-Tits tree.


Introduction
Conformal blocks are theory independent building blocks of conformal field theories which are fixed entirely from conformal invariance. Equipped with the CFT data (i.e. the spectrum and the OPE coefficients of any theory), the knowledge of conformal blocks permits the construction of all correlators in the theory. Given their fundamental importance in CFTs, it is important to understand and investigate the holographic duals of conformal blocks in the context of AdS/CFT. Such a task was recently undertaken for four-point global conformal blocks in any dimension with external scalar operators [1] (with further generalizations in Refs. [2,3,4,5,6,7,8,9,10,11,12]) and for Virasoro blocks in AdS 3 /CFT 2 [13,14,15,16,17,18,19,20,21,22,23].
Nevertheless, the holographic interpretation of higher-point global conformal blocks has remained unresolved so far, and fraught with various technical obstructions. With the hope that new tools may provide new clues, in this paper, we appeal to the framework of p-adic AdS/CFT [24,25,6] which offers a significantly less complicated setting for tackling the same problem. Indeed, it turns out, the problem of various higher-point blocks is relatively easily addressed over the p-adics [26], and owing to the close ties with the usual AdS/CFT setup (see, e.g., Refs. [24,25,6,27,28,29,30,31,32,33,34]) we are able to extract key new insights into the analogous calculation over reals. The p-adic results generalize the result of Ref. [6], and are discussed in Ref. [26]. The p-adic five-point case, related to the subject of this paper, is briefly summarized later in this section.
In this paper, inspired by the p-adic result, we establish the holographic dual of the global five-point block with external scalar operators in the usual (real) AdS n+1 /CFT n setup, generalizing the result of Ref. [1] to obtain a holographic object, expressed as a weighted sum of five-point geodesic bulk diagrams, which directly computes the five-point block. We present such an object in section 2, where we also provide a proof by conformal Casimir equation in support of our claim, and close with further comments and future directions in section 3. In the remainder of this section we discuss the general strategy utilized in this paper to obtain the holographic dual of the five-point block.
The four-point function of local scalar operators in any CFT is fixed from conformal invariance up to an arbitrary function of conformal cross-ratios. Performing, for example, an OPE in the s-channel, we may write where C ijk are the OPE coefficients and W ∆ 1 ,...,∆ 4 ∆,ℓ (x i ) is the conformal partial wave which represents the contribution from conformal families with highest weight representation (∆, ℓ). 1 In the rest of this paper, we will suppress the angular momentum subscript ℓ. 2 As noted above, recently, Ref. [1] advanced a holographic object which computes the four-point conformal partial wave and in turn, provides an extremely efficient computational technique for holographically obtaining the conformal block decomposition of four-point bulk (Witten) diagrams without having to do any explicit bulk integrals.
1 For instance, for ℓ = 0, the conformal partial wave is given by where G ∆1,∆2,∆3,∆4 ∆a (u i ) is the four-point conformal block, given in any spacetime dimension by [35] G ∆1,∆2,∆3,∆4 with the conformal cross-ratios Whenever we show multiple entries in the subscript of any conformal dimension, we are using the convention (13) to write linear combinations of dimensions compactly. The Pochhammer symbol appearing above and in many subsequent equations is defined as follows: (a) m ≡ Γ(a + m)/Γ(a) . Figure 1: Obtaining the conformal block decomposition of the four-point exchange diagram [1]. Green, disk-shaped bulk vertices are to be integrated over all of AdS. The remaining bulk vertices are integrated over boundary anchored geodesics, shown as dashed, red curves. Just for this figure, we have used the shorthand: We used (63) to get to the second step, and (64) to obtain the third step. The ellipsis in the third step corresponds to contributions from double-trace exchanges.
Turning this around, given the CFT data, i.e. the spectrum and the OPE coefficients, one can use the conformal block decomposition (1) to extract the universal, theory independent conformal partial waves. Heuristically (see also figure 1): • For a tree-level four-point bulk exchange diagram, one employs an AdS propagator identity [1] (refer to (63)) which expresses a product of bulk-to-boundary propagators incident on a common bulk point as a series expansion in bulk solutions of the Klein-Gordon equation sourced on a boundary anchored geodesic which is, in a sense, the bulk dual of taking an OPE in the CFT [36,37,38,39].
• To extract the conformal partial wave, one still needs to evaluate the original AdS integration over all bulk interaction vertices in the diagram. This is achieved with the help of a propagator identity which expresses the integral over a product of bulk-to-bulk propagators sharing a bulk point as an un-integrated linear combination of bulk-to-bulk • At this point, one compares with the CFT expansion (1) and with prior knowledge of the OPE coefficients, one can isolate the universal conformal partial wave, more precisely, the theory independent bulk object which directly computes the conformal partial wave.
Essentially, all we have described is simply a holographic interpretation of obtaining the projection of the four-point function, to the conformal family of the operator O of dimension ∆: Figure 2: The geodesic integral of (8), represented diagrammatically as a geodesic bulk diagram. The dashed, red curves represent the boundary anchored geodesics along which the respective bulk interaction vertices are integrated. In the literature, this is often referred to as a (four-point) geodesic Witten diagram [1]. In particular, the same diagram computes the p-adic four-point conformal partial wave when evaluated on the Bruhat-Tits tree instead of AdS [6]. (In later figures, locations of operator insertions will often be suppressed when no confusion is likely.) where the projection operator is given by where P k stands for k applications of the momentum generators P µ to obtain the descendants of O.
The upshot of this exercise is that the following geodesic bulk integral, whereĜ,K are bulk-to-bulk and bulk-to-boundary propagators respectively, computes the conformal partial wave associated with the exchange of an operator of dimension ∆ between figure 2). Here we are using the notation, where the bulk point w = w(λ) is parametrized by λ running along the boundary anchored geodesic γ ij between boundary points x i and x j . More precisely, it can be shown that [1] where W ∆ 1 ,...,∆ 4 ∆a takes the explicit form given in (2)-(4), β ∞ (·, ·) is related to the usual Euler Beta function and defined as where the local zeta function ζ ∞ is defined via and we are employing the convention The procedure sketched above applies more generally to higher-point blocks as well. In this paper, we focus on the five-point case. To obtain the holographic dual of the five-point conformal partial wave defined via the projection, we proceed as follows (see also figure 3): • We start with a five-point bulk diagram with two single-trace exchanges in the intermediate channels, and once again apply the holographic OPE identity (63) to operator . This is expected to account for two of the OPE coefficients in the denominator of (14). We will return to the final OPE coefficient • There are still three bulk interaction vertices to integrate over all of AdS, out of which two integrations can be carried out using the previously mentioned ĜĜ ∼Ĝ − G identity (64). This leaves a final integral over a combination of two bulk-to-bulk propagators and one bulk-to-boundary propagator sharing a common vertex, to be integrated over all of AdS, i.e. an integral of the form zK • In particular, we are interested in the contribution to the KĜĜ integral which is proportional to the final OPE coefficient C O3O ′ , since this contribution isolates precisely the holographic term which computes the theory independent partial wave (14).
However, this procedure hits a roadblock in the third step, since an AdS propagator The figure in the third step shows the unevaluated KĜĜ AdS integral.
is not readily available. At this point, we appeal to the p-adic formulation, where the analogous KĜĜ identity is easily obtained and was, in fact, already written down in Ref. [6]. We reproduce it below in a mathematically equivalent, but highly suggestive form [26]: 3 where the discrete sum is over all vertices of the (p n + 1)-regular Bruhat-Tits tree T p n (the discrete, p-adic analog of AdS space). The coefficient C ijk is the OPE coefficient of the dual generalized free-field theory, whose explicit form is unimportant. This is because we are after only the theory independent conformal partial wave whose holographic representation is dictated by the particular combination of bulk-to-bulk and bulk-to-boundary propagators as they appear in the term proportional to the OPE coefficient C 3ab above.
This motivates the five-point proposal [26] depicted in figure 4, which is a direct generalization of the four-point geodesic bulk diagram in figure 2. Indeed, a direct computation 3 The identity (15) has been written in terms of an OPE coefficient, bulk scalar mass, and a normalization factor since it turns out that real propagator identities may also be written in terms of the same quantities. The details of the exact form these coefficients take is not important for our purposes so we only make a brief comment: The p-adic analog of the mass-dimension relation [24] is m 2 ∆ = −1/(ζ p (−∆)ζ p (∆ − n)) with the local zeta function ζ p defined in (17). The coefficient N ∆ = ζ p (2∆)/p ∆ is related to the choice of normalization of the bulk-to-bulk propagator via its equation of motion on the Bruhat-Tits tree, similar to (26) below for the AdS bulk-to-bulk propagator (see, e.g. Ref. [30]). Figure 4: The five-point geodesic bulk diagram on the Bruhat-Tits tree dual to the five-point p-adic conformal partial wave [26].
on the Bruhat-Tits tree confirms the five-point geodesic bulk diagram (figure 4) computes the (p-adic) five-point conformal block up to an overall factor [26], and W (5) 0 (x i ) is the p-adic analog of the five-point "leg factor" defined below in (20) for the real case. Since the dual (generalized free-field) p-adic CFT has only primary operators in its spectrum with no descendants [40,6], all conformal blocks are trivial, as instantiated in the second line of (16) for the five-point block, where u, v are the two independent conformal cross-ratios 4 u ≡ with | · | p denoting the p-adic norm.
The p-adic propagator identity (15) and the geodesic bulk diagram in figure 4 anticipate the corresponding candidates for the real analog. Indeed, the contribution to the (real) KĜĜ integral, proportional to the structure constant of the generalized free-field theory, takes the form [26], where the ellipsis represents the remaining terms which are analogs of terms in the second and third lines of (15), and the coefficient c k 1 ,k 2 ,k 3 will be given later in (23). As is often the case, the real analog of the p-adic AdS/CFT result uplifts the simpler p-adic result to include more complicated sums. These sums essentially account for the full descendant contribution to each conformal family, which are trivially absent over the p-adics. With (19) in hand, we are able to easily write down the real analog of the holographic dual shown in figure 4, which we describe in the next section.

Holographic dual of the five-point conformal block
The five-point conformal partial wave is proportional to the five-point conformal block given by such that with the block simply a function of conformal cross-ratios.
The five-point global block in any spacetime dimension was recently explicitly computed in Ref. [41] (see also Ref. [19]). We claim the following "geodesic bulk diagram", with the coefficients, the same as those which appear in (19), given by and the geodesic integral defined as, computes the five-point conformal partial wave (and hence the conformal block) up to an overall constant factor, i.e.
where ξ(w, w ′ ) is related to the geodesic distance σ between bulk points w, w ′ via The bulk-to-boundary propagator is given bŷ where z = (z 0 , ⃗ z) is a bulk Poincaré coordinate in (Euclidean) AdS n+1 . The relation (27) can be inverted to give, 6 5 In this paper we have chosen to normalize the bulk-to-bulk propagator according to where 2ν ∆ = 2∆ − n, ζ ∞ is defined in (12) and z, z ′ are (n + 1)-dimensional bulk coordinates. The overall constant on the right hand side is merely a repackaging of the familiar normalization factor of the scalar bulk-to-bulk propagator found in the literature, in terms of the local zeta function (12). We have included it explicitly in (26) for the convenience of working with an "unnormalized" bulk-to-bulk propagator as written in (27). 6 The inverse relation (30) is easy to check analytically for n = 2. We do not currently have an easy proof in other dimensions, but (30) can be verified numerically to arbitrary precision for all values of n.
Using the inverse relation, one can perform the k 3 sum in (22) to get where the bulk diagram featuring above is defined using the following geodesic integral, with the coefficients now taking the form, As emphasized using the black dotted lines joining bulk points in (31) and (32), the bulkto-bulk propagator gets replaced by the simpler power-law factor ξ(w, w ′ ) ∆ .
We make four remarks: • Technically (22) represents a sum over geodesic bulk diagrams; by abuse of terminology we often refer to it (and thus (31)) simply as a geodesic bulk diagram.
• Second, for calculational convenience, from now on we will mostly be using the representation given in (31).
• Third, it is easily checked that (31) reduces to the four-point geodesic bulk diagram [1] in the limit ∆ 3 → 0, ∆ b → ∆ a , whereupon the double sum in (31) collapses to a single sum over the variable k 1 = k 2 since the coefficients c k 1 ,k 2 vanish otherwise. The hypergeometric function reduces to (∆ a − n/2 + 1) k 1 /k 1 !, and (31) simplifies to Recognizing the remaining sum with the one shown in (27), we are led directly to the four-point geodesic bulk diagram of Ref. [1] defined above in (8), • Finally, the proposed relation (25) between the five-point geodesic diagram and conformal partial wave is recognized as a simple generalization of the four-point relation (10), thus providing further evidence in support of the claim that (22) is an appropriate fivepoint generalization of the four-point geodesic bulk diagram.
We will now prove (25) in the next two subsections. In section 2.2 we show that the fivepoint geodesic bulk diagram is an eigenfunction of the conformal Casimir with the correct eigenvalues. Before proceeding with that, we first show that the conformal partial wave as defined via the geodesic bulk diagram in (25) has the correct boundary conditions, by investigating the OPE limit. Together, these checks constitute a complete proof of (25) [42].

OPE limit
In the limit when the boundary point x 5 → x 4 , we expect the five-point conformal partial wave to reduce, to leading order, to the four-point conformal partial wave, upto an overall scaling factor as follows (see, e.g., Ref. [41]) We will now reproduce this limit starting from the geodesic bulk diagram in (31). Using (25) to obtain the conformal partial wave, sending x 5 → x 4 and simultaneously evaluating the limiting geodesic integral over y ′ ∈ γ 45 in (32), we obtain a double-sum over a summand which is proportional to (x 2 45 ) ∆ b,45 +k 1 . The leading contribution comes from collapsing the sum over k 1 to the leading term at k 1 = 0, which corresponds to the contribution coming solely from a primary operator. Simplifying a bit, we obtain Using the propagator identity (65), we can trade the sum over k 1 for a geodesic integral, to arrive at where we used (10) in the final step. This establishes the OPE limit (36). An identical analysis in the limit x 2 → x 1 leads once again to the expected behaviour. Thus we have demonstrated that the geodesic bulk diagram (31) (and the conformal partial wave as defined by (25)) has the right boundary conditions. Next we show that the five-point geodesic bulk diagram is an eigenfunction of the conformal Casimir with the correct eigenvalues, which completes the proof of the claim that (31) is proportional to the five-point conformal partial wave precisely as proposed in (25).

Proof by conformal Casimir equation
Let L AB denote the generators of SO(n + 1, 1), the n-dimensional conformal group of a Euclidean CFT. Then, the Casimir of the conformal group is the quadratic combination L 2 ≡ 1 2 L AB L AB . Conformal partial waves are eigenfunctions of the quadratic Casimir acting on multiple points. For instance, for the four-point scalar conformal partial wave [43], where we have defined where L (i) AB is a differential operator acting on and built from the position coordinate x i , and 7 For the five-point scalar conformal partial wave (14) [19,41] We note that for the five-point block, the action of L (1) + L (2) 2 is the same as the action of L (3) + L (4) + L (5) 2 , and similarly for L (4) + L (5) 2 . We will now explicitly demonstrate that the geodesic bulk diagram in (31) satisfies the second equation above, i.e.
The geodesic diagram (31)  To show (43), it is convenient to appeal to the embedding space formalism by passing to the (n + 2)-dimensional Minkowski space, R n+1,1 . The AdS boundary coordinates are identified with coordinates P ∈ R n+1,1 on the null cone, satisfying P 2 ≡ P · P = 0, while Euclidean AdS n+1 is given by the hyperboloid Z 2 = −1. The bulk-to-bulk and bulk-toboundary propagators take the form where Z 2 = W 2 = −1, P 2 = 0, and In embedding space, the conformal group SO(n + 1, 1) acts linearly as the Lorentz group of R n+1,1 . The generators L take the form of Lorentz generators in n + 2 dimensions, and thus the Casimir acts as on arbitrary scalar functions on the AdS hypersurface Z 2 = −1. For instance, which follows from the equations of motion of the propagators. To demonstrate (43) we will also need the following identities, which can be easily checked starting from (46): and L (Z) whereK −1 (P, W ) should be understood formally as (−2P · W ).
Next, we work out the action of the conformal Casimir L (1) + L (2) + L (3) 2 on the generic geodesic integral defined in (32), where now the superscripts (1), (2) and (3) stand for generators built from the null coordinates P 1 , P 2 and P 3 respectively. Following the technique of Refs. [44,1], we isolate the part of (32) which depends on P 1 , P 2 and P 3 : and use its invariance under simultaneous SO(n + 1, 1) rotations of P 1 , P 2 , P 3 and Z ′ to conclude L (1) which immediately leads to At this stage, the proof by conformal Casimir equation employed in the case of the four-point geodesic bulk diagram [1] is essentially complete, since the Z ′ dependence on the analogously defined scalar function F is contained entirely in a bulk-to-bulk propagator, so that one can use (48) to immediately conclude that the appropriately defined F (and as a consequence From this we obtain the action of the conformal Casimir on the generic geodesic integral (32): We are now ready to evaluate the action of the conformal Casimir on the "geodesic bulk dia- (31). Our claim is that the weighted sum over geodesic diagrams (31) is in fact an eigenfunction of the Casimir with eigenvalue C 2 (∆ b ) = m 2 ∆ b as we now demonstrate. Acting with the quadratic Casimir as shown in the left hand side of (43) and using (55), we obtain, analogous to (55), a combination of three terms, each of which is a double-sum over dummy integers k 1 , k 2 . By a few simple integer shifts of the dummy variables, we can bring each term to the same geodesic integral form, producing, where we have So to prove (43) all that remains to be shown is that Substituting the c k 1 ,k 2 coefficients from (33) in the combination c k 1 ,k 2 − m 2 ∆ b c k 1 ,k 2 , we find that the demonstration of (58) hinges on showing the following non-trivial identity between hypergeometric 3 F 2 functions: where Indeed with the help of hypergeometric identities [45] and [46,Eqn. 3.7.14] we conclude that the left hand side of (59) vanishes identically.
This completes the proof of (25), that the geodesic bulk diagram (31) (and thus (22)) is proportional to the five-point global conformal block with external scalars.

Discussion
In this paper, we have proposed the holographic object which computes the global fivepoint conformal block (for external scalar operators) in any spacetime dimension. It is given by a sum over geodesic bulk diagrams as described in (22) (25)), we haven't attempted an explicit match of our results against those of Refs. [19,41]. However, we expect them to agree. We do note that the coefficients (23) appearing in the geodesic diagram (22) look curiously similar to the analytic expression for the five-point global conformal block in arbitrary dimension computed in Ref. [41], and in fact, a factor of the hypergeometric 3 F 2 function with similar arguments appears in both places. Moreover, we have performed numerical checks for n = 1, 2 to confirm that the holographic dual of the conformal block proposed in this paper does indeed reproduce the low dimensional five-point conformal blocks of Ref. [41] to the numerical precision of choice. 8 It would be interesting to generalize the geodesic bulk diagram of this paper to the setting of blocks with external spins and symmetric-traceless exchanges in the intermediate channels, as has been possible for the case of the four-point block [1,2,3,4,8,9], as well as extend the methods of this paper to obtain holographic duals of higher-point blocks. For six-point blocks and higher, conformal blocks exist in multiple independent channels. Ref. [41] computed arbitrary-point global conformal blocks in the comb channel in dimensions n = 1, 2, and they were found to be expressible in terms of generalized hypergeometric functions. The method presented here, however, does not rely on simplifications associated with low dimensional CFTs. Thus a natural next step is to leverage the strengths of this method to obtain higherpoint geodesic bulk diagrams in the comb channel in arbitrary dimensions, as well as global conformal blocks in other channels, which have remained inaccessible so far. The higherpoint geodesic bulk diagrams may also be useful in the setup of a potentially higher-point conformal bootstrap [41,47,48,49,50,51,52]. It would also be interesting to investigate the connection between the higher-point geodesic bulk diagrams, such as the one presented in this paper, and the holographic interpretation of higher-point large-c conformal blocks in AdS 3 /CFT 2 as Steiner trees [23].
The construction of the holographic dual of the five-point block relied on the knowledge of a novel propagator identity -one involving a bulk integral over a product of two bulk-to-bulk propagators and a bulk-to-boundary propagator [26]. This identity (and its generalizations) further enables the conformal block decomposition of five-point geodesic bulk diagrams, as well as the direct evaluation of various AdS one-loop diagrams in position space [26]. It would be interesting to see how these propagator identities supplement the discussion of higher-loop diagrammatics in AdS [53,54,55,56,57,58,59,60,61,62].
As demonstrated in section 1, the p-adic formulation was particularly useful in informing the discussion of the hitherto unknown five-point geodesic diagram over reals, and we expect this to continue to hold true for higher-point geodesic diagrams as well [26]. In fact, the lack of descendants in p-adic CFTs is the main simplification which allowed us to do the p-adic computations fairly easily and grants the p-adic framework its practical utility as a powerful computational device. As commonly witnessed in p-adic holography (and seen above in the context of the five-point conformal partial wave), the p-adic answers essentially capture the information regarding the leading primary contribution in the real framework; the descendant contribution can in principle be subsequently fixed from conformal symmetry.
We hope to apply the unique power of the p-adic setup to other settings in the future.
Acknowledgments I thank C.B. Jepsen for valuable discussions and extensive collaboration during the early phases of this work, for helpful comments on an earlier version of the draft, and for collaboration on related projects.

A Propagator identities
Two propagator identities mentioned in section 1 are [1]: where we made use of (30) to obtain the final equality, and z∈AdSĜ ∆a (a, z) where N ∆ was defined in (26).