Defect Conformal Blocks from Appell Functions

We develop a group theoretical formalism to study correlation functions in defect conformal field theory, with multiple insertions of bulk and defect fields. This formalism is applied to construct the defect conformal blocks for three-point functions of scalar fields. Starting from a configuration with one bulk and one defect field, for which the correlation function is determined by conformal symmetry, we explore two possibilities, adding either one additional defect or bulk field. In both cases it is possible to express the blocks in terms of classical hypergeometric functions, though the case of two bulk and one defect field requires Appell's function $F_4$.


Introduction and Summary
Conformal field theories in dimensions higher than two have received a renewed attention in the last two decades. This is partly due to their conjectured role in the description of quantum gravity through the celebrated holographic duality and partly due to the remarkable success of constraining them using the conformal bootstrap program. Even though bootstrap techniques are usually applied to correlation functions of local fields, they extend to setups in which non-local operators are inserted along a p-dimensional hyperplane, so-called defect conformal field theories. The presence of such a p-dimensional defect reduces the symmetry group to consist of those conformal transformations of R d that preserve the p-dimensional subspace R p along which the defect is localised. These form the subgroup G d,p = SO(1, p + 1) × SO(d − p) of the bulk conformal group G d = SO(1, d + 1). Defects can arise as an impurity in a critical system, the boundary of an experimental setup or an insertion of a (Wilson, 't Hooft-) line operator etc. As in an ordinary conformal field theory, correlation functions of local operators in the presence of a defect must satisfy a set of consistency conditions. Defects actually introduce two types of new data. On the one hand, they support new defect fieldsφ that can only be inserted at pointsx ∈ R p along the defect. These fields close with respect to operator products and the associated coefficients c ... satisfy essentially the same type of crossing equations as local bulk fields do, only augmented by the presence of the symmetry group SO(d − p) that describes rotations transverse to the defect. Defect fields can carry so-called transverse spin, i.e. they can transform non-trivially under the action of transverse rotations just like fields in a bulk theory may transform under some internal symmetry. In addition to the defect field operator product coefficients c ... there is another set of new data a defect brings in: the bulk-defect operator product coefficients b .. . The latter appear when a local bulk field is moved close to the defect and expanded in terms of defect fields. Consistency constraints on the latter arise from considering mixed correlators of bulk and defect fields. In order to formulate these constraints, one needs to have a good control over the functional form of correlators [1][2][3], possible tensor structures appearing in them [4][5][6] and conformal blocks [7][8][9][10][11]. Once all these ingredients are known, the crossing equations are still difficult to study numerically because of the lack of positivity of coefficients that enter into them (see however [12,13]). However, the equations may be amenable to analytic treatments, see e.g. [14,15]. One of the principal reasons to study defects is that they appear as tractable sectors of higher-dimensional theories. This is particularly the case for boundaries, in the presence of which two-point functions of bulk operators depend on only one conformal invariant. Therefore, techniques of one-dimensional conformal field theories can teach us about higher-dimensional theories [16][17][18][19]. In ordinary bulk conformal field theory, the functional form of a three-point function is still fixed by conformal symmetry up to multiplicative constants. Crossing symmetry constraints arise by considering the first case of non-trivial correlators with N = 4 local field insertions. In the presence of a defect, the analogue of the three-point function is given by a two-point function of a local bulk and a local defect field. In fact, such correlators are well known to be determined by the residual conformal symmetry G d,p up to multiplicative constants. The first examples of correlators with interesting dependence on the insertion points arise when we add one more field to this minimal configuration. This can be either a defect field or a bulk field. The associated conformal partial wave expansions and conformal blocks have not received much attention yet, except for the special case of two bulk field insertions with a trivial (identity) defect field, see [7][8][9]. Results on setups with non-trivial defect field are rare -see [20], however, where blocks for two defect and one bulk fields were constructed recently. This work also contains some results on the more difficult case of two bulk and one defect field. But in determining the dependence on only two of the three cross ratios that characterise such configurations, [20] falls short of identifying these blocks.
The main new result of this work is the construction of conformal partial waves for three-point functions of two scalar bulk and one scalar defect field in terms of Appell functions. To be more specific, let us consider two scalar bulk fields ϕ i (x i ) of scaling weights ∆ i inserted at two points x i of the d-dimensional bulk space. The defect field is denoted byφ 3 (x 3 ). It has scaling weight ∆3 and is inserted at a pointx 3 on the p-dimensional defect. It will be useful to split the coordinates of the bulk field insertion points as x i = (x i , x i⊥ ) into the first p components that parametrise a position along the defect and the remaining q = d − p components for the transverse position. The conformal transformations along the defect allow us to movex 3 ,x i to the pointsx 1 = 0,x 2 = 1e 1 andx 3 = ∞. The resulting configuration is left invariant by the subgroup SO(p − 1) × SO(d − p) ⊂ G d,p . We can use rotations in transverse space to rotate x 1⊥ into one direction of transverse space and x 2⊥ into a plane that is spanned by a second direction, provided the co-dimension q = d − p ≥ 2. Hence, the configuration of the three insertion points is characterised by three cross ratios. In the frame we just described, these are the two distances of the bulk field insertions from the defect and the angle between the insertions. Before we fix the frame the cross ratios read where x 2 i3 = x 2 i⊥ +x 2 i3 for i = 1, 2 and we introduced i ∨ = 3 − i. Note that with the gauge choice we specified above, v i = −x 2 i ∨ ⊥ and κ is indeed the angle between x i⊥ . Having constructed all relevant coordinates we can now spell out the conformal partial wave expansion of the three-point function under consideration, where the blocks are given by are Gegenbauer polynomials and F is given in terms of Appell's hypergeometric function as The summation runs over scalar defect primariesφ andφ ′ or weight∆ and∆ ′ , respectively, that appear in the bulk-defect operator product of the two bulk fields. The label s denotes the transverse spin of ϕ, ϕ ′ . Note that we assumed the transverse spin of the defect field ϕ 3 to vanish so that for the threepoint function to be non-zero, the two defect fieldsφ andφ ′ must have the same transverse spin s. The appearance of the Gegenbauer polynomials for the two-point function of spinning fields in transverse space is standard. What is really new about our result is the construction of the block in the variables v i , at least when the defect fieldφ 3 is non-trivial. The case of trivialφ 3 corresponds to a two-point function of two scalar bulk fields. The associated blocks were first constructed in [7] for p = d − 1 (boundary) and then for more general defects in [9]. In addition, the blocks of the three-point functions with non-trivial defect field have been studied quite recently in [20,21]. The authors of [20] found that along the diagonal v 1 = v 2 the blocks could be expressed in terms of 4 F 3 . In [21], the blocks for a general configuration of points were computed (in the case of the boundary defect), however for very special quantum numbers of intermediate fields that are allowed to propagate when the bulk field is free. These partial waves are expressed in terms of Gauss' hypergeometric function. Here we reproduce both of these results by taking appropriate special cases of the Appell function.
In order to obtain these results we further develop the group theoretic approach to conformal blocks in general and defect blocks in particular, see e.g. [10,[22][23][24]. The main strategy of this approach is to uplift correlation functions in the (defect) conformal field theory to an appropriate space of functions on the conformal group (or several copies thereof) and then to construct the blocks as eigenfunction of the Laplace-Beltrami operator, thereby making a direct link to harmonic analysis. The relevant restrictions of the Laplace-Beltrami operators take the form of Schroedinger operators for various integrable multi-particle quantum mechanical models of Calogero-Sutherland type which have often been studied extensively in the mathematical literature. The starting point of the uplift to the conformal group are realisations of the space of field insertion points through quotients of the conformal symmetry group. In the presence of defects one needs to distinguish two symmetry groups, namely the conformal symmetry G d = SO(1, d + 1) of the bulk and the subgroup G d,p = SO(1, p + 1) × SO(d − p) that is preserved by the defect. While previous work on group theoretic constructions of defect blocks has focused on uplifts to the bulk symmetry G d and hence on what is known as bulk channel blocks, the present paper is the first to consider uplifts to the defect conformal group G d,p and hence on what is known as the defect channel. This also allows us to include correlators involving defect fieldsφ for the first time, such as the one discussed above. While the uplift of defect fields to the defect conformal group G d,p follows very closely the corresponding constructions of bulk-field uplifts in bulk conformal field theory, see in particular [22], the uplift of bulk fields to G d,p is more challenging. In this work we construct this uplift explicitly for arbitrary scalar bulk fields and any pair of dimensions d, p, see eqs. (2.9), (2.10) (with µ = 1), (2.25) and (2.38). Once the uplift of the individual fields is understood, it is straightforward to uplift correlations functions of any numbers m and n of bulk-and defect-field insertions. In general, such an uplift will be described through functions on a product of n + m − 1 copies of the defect conformal group G d,p . It turns out, however, that it is possible to reduce the number of factors by forming pairs of bulk and defect fields. The process allows to uplift correlation functions of at least up to two bulk and two defect fields to functions on a single copy of the defect conformal group, just as it is the case for four-point functions of bulk fields in ordinary bulk conformal field theory. Let us now briefly outline the content of the next sections. Section 2 is devoted to the uplift of bulk and defect fields to the defect conformal group. In particular the discussion of bulk field uplifts is entirely new. While the general discussion applies to spinning fields as well, the concrete solution that is offered is restricted to scalar bulk fields. In section 3 we uplift correlators with any numbers of bulk-and defect-field insertions and discuss how one can reduce the number of factors by pairing bulk and defect fields. As a simple application we compute the two-point function of one defect and one bulk field for any pair of dimensions d and p, including defect fields with spin. Section 4 finally addresses correlators that involve non-trivial cross-ratios and hence conformal blocks. As a warmup we construct and solve the Casimir equations for correlation functions of two bulk fields (without any defect field) in section 4.2. This setup is well studied and we reproduce known results. Next we turn to correlators of two defect fields and a single bulk field in subsection 4.2. The setup only admits a single cross ratio. Once again we construct and solve the relevant Casimir equation. The results slightly extend recent work on such correlators in [20]. Our results on correlation functions of two bulk and one defect field, see the discussion above, are obtained in subsection 4.3. The paper concludes with a short summary and a list of open problems.

Glossary and notations
For the reader's convenience let us briefly collect a few notations, many of which we have introduced already while explaining background, results and methods of this work. Throughout the paper we will consider a p-dimensional defect in d-dimensional spacetime and use the notation We will often ignore the difference between the vector spaces R d , R p and their conformal compactifications M, N as the distinction has no bearing on the questions that will be considered. A generic spacetime point will be written as x, and a point on the defect asx. Components of x parallel and orthogonal to the defect are denoted x =x and x ⊥ , respectively. A standard orthonormal basis for R d is written as {e µ }, with {e a }, a = 1, ..., p spanning the defect subspace. The group of conformal transformations of M is denoted G d = SO(d + 1, 1). Its subgroup of transformations that map N to itself, the defect conformal group, is G d,p = SO(p + 1, 1) × SO(q). Here we use the standard notation q = d − p. The SO(p + 1, 1) factor is generated by dilations D, translations and special conformal transformations along the defect P a , K a , and rotations in the defect plane M ab , while the SO(q) factor is generated by transverse rotations M ij , i, j = p + 1, ..., d. For any element g of the defect conformal group, g p and q q will stand for its unique factors in SO(p + 1, 1) and SO(q).
In some of the formulas, a distinction has to be made between two cases: q > 1 and q = 1. As written, our results will apply to the former case. Modifications for q = 1 are mostly evident.

Lifting Conformal Primary Fields
In this section, we will show how conformal primary fields, both those in the bulk and the ones on the defect, can be uplifted to functions on the symmetry group G d,p of the defect theory. By construction, the uplift will respect the usual action of conformal transformations on primary fields. As a warmup, we shall first address the defect fields for which the construction is analogous to the case of bulk fields in ordinary conformal field theory, see [22]. The rest of the section is then devoted to lifting bulk primary fields to the defect conformal group. After an outline of the general strategy, we briefly recall the Iwasawa decomposition of the conformal group, which is the principal technical tool in lifting bulk fields. The lift is finally constructed explicitly for scalar bulk fields.

Lifting defect primaries
Fieldsφ that can be inserted at pointsx along the p-dimensional defect may be lifted to the defect conformal group G d,p very much in the same way as one lifts bulk fields to the full conformal group, [22].
Here we will review this construction with an eye on our subsequent discussion of bulk fields and their lift to the defect group.
Defect primary fieldsφ : N − →Ŵ can take values in a finite dimensional representationρ of the subgroup K d,p = SO(1, 1) × SO(p) × SO(q) ⊂ G d,p of the defect conformal group. The choice of representation is used to characterise the weight, spin and so-called transverse spin of the defect field. The action ofK d,p onŴ gives rise to a representationπ of the defect conformal group on the defect primary, Here, h is an arbitrary element of G d,p and dh is its differential when h is considered as a diffeomorphism of M . Often this action is written in terms of infinitesimal transformations which act on primary fields as first order differential operators depending on weight, spin and transverse spin.
To begin our discussion of the lift to G d,p we note that the action of the defect conformal group on the pointsx is transitive. Therefore, the space N of defect-field insertion points can be represented as a quotient N = G d,p /Ŝ d,p whereŜ d,p denotes the stabiliser subgroup of a point on the defect. Up to conjugation with an element of G d,p , this stabiliser subgroup is unique and is isomorphic to the group generated by dilations, special conformal transformations and (parallel and transverse) rotations. The groupŜ d,p acts on the defect conformal group G d,p through right multiplication and with respect to this action, G d,p decomposes into orbits. In order to lift a defect fieldφ from N to the defect conformal group we must fix an embedding that intersects almost all 1 orbits of the right action ofŜ d,p on G d,p exactly once. The embedding we will be using is given by Let us note that it is indeed possible to factorise almost all elements g ∈ G d,p as g = g p (x)ŝ for some point x ∈ N and some elementŝ ∈Ŝ d,p . Consequently, the factorisation of the product defines two functionsŷ(x, h) andŝ p (x, h). These are essentially the same as in a bulk conformal field theory [23,25], since transverse rotations commute with the image of g p . The first functionŷ(x, h) gives rise to an action of the defect conformal group on N that is easily seen to coincide with the usual geometric action of G d,p on pointsx, i.e.ŷ(x, h) = hx.
As the lift of the defect primaryφ we define the functionf : G d,p − →Ŵ which agrees withφ on g p (N ) and transforms covariantly under right regular transformations withŝ ∈Ŝ d,p , Here,μ is a finite dimensional representation ofŜ d,p obtained from the representationρ by trivial extension to the abelian factor R p . Clearly, conditions (2.6) and (2.7) define f uniquely almost everywhere on G d,p . It is a little less obvious, but still not difficult to see that under the liftφ →f , the action of defect conformal transformations (2.1) is carried to the left-regular action onf -for a proof see [23,25].

Lifting bulk primaries
Our main goal now is to lift bulk primary fields ϕ to the defect conformal group in a sense similar to what we did in the previous subsection for defect fields. In this case, however, the construction is entirely new and not quite as straightforward.

Geometric lifts and intertwiners
In order to extend a bulk field ϕ : M − → W which takes values in some vector space W to a vector valued function f : G d,p − → W on the defect conformal group we need to specify four pieces of data. First, we need to specify an embedding of the bulk space M into the defect conformal group, On the submanifold g d (M ) we require that f agrees with ϕ, possibly up to some specified prefactor Φ(x) Next, we pick a subgroup S d,p ⊂ G d,p such that almost all of its orbits in G d,p (under the right regular action) intersect g d (M ) exactly once. We postulate that f is right-covariant with respect to S d,p Here, µ : S d,p − → Aut(W ) is some finite-dimensional representation of S d,p . Clearly, the function f is uniquely determined almost everywhere on G d,p by the properties (2.9) and (2.10). We shall call the quadruple (g d , S d,p , µ, Φ) a lift of a bulk field.
The data just introduced allows to factorise almost all elements of G d,p uniquely as g = g d (x)s. Moreover, it defines an action of G d,p on the space M as follows. Given any h ∈ G d,p , the factorisation defines functions y(x, h) and s d (x, h). In particular, the function y(x, h) is an action of the group G d,p on the bulk space. Indeed, we can write h 1 h 2 g d (x) in two ways The product of last two terms in the second line is again an element of S d,p so that we can conclude This precisely says that y(x, h) is an action of G d,p on M . In principle, this action may or may not coincide with the geometric action of the defect conformal group on the bulk. 2 This depends both on the map g d and on the subgroup S d,p , but not on Φ or µ. If the action y(x, h) is the geometric action on M we shall say that the lift is geometric.
The space of fields ϕ : M − → W carries a representation of the conformal group G d , and thus by restriction, of the defect group G d,p as well. Similarly as above, the representation, denoted π, is given by Here, ρ is the representation of the group K d = SO(1, 1) × SO(d) of dilations and rotations that characterises transformation properties of ϕ, its conformal weight and its spin. As before, h is an arbitrary element of G d,p and dh is its differential when h is considered as a smooth map M − → M . Thanks to the identity dh x = k(x, h), we can rewrite the last equation as The element k(x, h) is the factor appearing in the Bruhat decomposition of G d (2.14) Let us give more details. In the conformal group G d almost any element can be written as g = mnk, with Here w is the Weyl inversion. It is defined as any one of the following group elements The element w µ acts on the space R d as the composition of the conformal inversion I and the reflection s eµ in the hyperplane orthogonal to the basis vector e µ . The function z(x, h) depends on the choice of µ, but of course the corresponding factor in eq. (2.14) remains the same. For more details on the Bruhat decomposition and its relation to Ward identities in ordinary conformal field theory, the reader is referred to [22,23,25].
The space of functions f that have covariance properties (2.10) also carries a representation of the defect conformal group obtained by the restriction of the left regular representation. The space of functions with this action of G d,p is known as the induced module Ind We wish to understand under which conditions on Φ and µ a geometric lift (g d , S d,p , µ, Φ) is actually an intertwiner between the above two modules. Let f ϕ be the lift of a function ϕ and denote by L the left regular representation of G d,p . Then we have In order to get to the second line we have used the fact that the lifts are geometric and the identity Looking back at eq. (2.13) , a sufficient condition for this identity to hold is This is an equation for both Φ and µ that were left completely arbitrary by the requirement of geometricity of the lift. If they are satisfied, the lift is an intertwiner between the representation on fields ϕ and the left regular representation of G d,p restricted to the space of right S-covariant functions.

The Iwasawa decomposition
Before we address the construction of a geometric lift of bulk fields, we need to introduce our principal mathematical tool, the Iwasawa decomposition of the group G p = SO(p + 1, 1). The term "Iwasawa decomposition", [25], can refer to either of the following two ways to factorise elements of G p We will be interested in both of these decompositions. Here, the notation is That is,Ñ I is the group of translations and N I that of special conformal transformations. The other factors are the 1-dimensional group of dilations A I and the maximal compact subgroup K I of G p , generated by rotations and differences P a − K a of translation and special conformal generators. Another standard decomposition of G p that plays a prominent role in our constructions is the Bruhat decomposition that we reviewed above. It is important to understand how these two decompositions are related. If we, for definiteness, consider the second of factorisations (2.18) , the relation will be known as soon as we find the Iwasawa factors of g = e x a Ka . Elements of G p which are Bruhat factors of other types, that is, translations, rotations and dilations are by themselves Iwasawa factors as well. In the appendix A, it is shown that Here, the last factor k I (x) reads in the p + 2-dimensional representation of G p We have written the matrix on the right hand side in the block form, as indicated by indices carried by matrix elements. The usefulness of the formula (2.20) will be seen in the following subsections. One can conjugate both sides by w p to obtain another variant of it, that we will use frequently It is possible to read equations (2.20) and (2.22) as Bruhat decompositions of k I (x) as well (2.23)

Construction of the lift
Let us now explicitly construct a geometric lift of bulk fields to the defect conformal group. The group with respect to which the associated function f is required to be covariant is The group S d,p is generated by rotations in the defect plane, transverse rotations that preserve one particular direction, say e d , together with elements of the form P a − K a . We turn to the embedding of the bulk space into the group, g d : Here ϕ p+1 , ..., ϕ d−1 are the angles of a spherical coordinate system on R q . To be precise, these coordinates are defined in such a way that e ϕ i M id maps the vector There is a unique element with this property of the above form (see appendix B). To show that the pair (S d,p , g d ) defines a geometric lift, we determine y(x, h) and Here r p ∈ SO(p). Let us now consider transverse rotations r q ∈ SO(q). In order for the decomposition to hold, we must have the equality Here the factor r ′ q−1 belongs to the group SO(q − 1) that stabilises the vector e d . If one acts with both sides on e d , one learns But we already know from the dilation factor in the decomposition (2.26) that |y ⊥ (x, r q )| = |x ⊥ |, so we can conclude The precise form of r ′ q−1 is not important for us at the moment, but we observe that r ′ q−1 = r q whenever r q ∈ SO(q − 1). This follows from the fact that the space spanned by {M id } is closed under conjugation by elements in SO(q − 1) (it carries the vector representation under the adjoint action). Finally, the action of the Weyl inversion w p is found with the help of the Iwasawa decomposition The decomposition was used to get to the second to last line by an application of eq. (2.20) . We also applied the G p -Bruhat decomposition in the first step. Other manipulations in the derivation above, like moving dilations past rotations and special conformal transformations, are evident. We read off Elements of the form m(x ′ ), e λD , r p , r q together with the Weyl inversion w p generate the whole defect conformal group. Therefore, we have the following important corollary The action y(x, h) defined in the manner explained above through the choice of the group (2.24) and the embedding (2.25) is precisely the action of the defect conformal group on the bulk space. That is, (g d , S d,p ) gives rise to a geometric lift. The equation (2.31) is the most important result of this work and all subsequent applications will rely on it in an essential way.
Having found the group S d,p and the map g d , we still need to solve equations (2.17) in order to turn a lift into a morphism of representations. For various types of elements, the equations read We learn that Φ is a homogeneous function of x ⊥ , that is Under these conditions, the remaining equations simplify Let us consider the case of an scalar bulk field and try to put µ to be the trivial representation. Then the equations (2.35) and (2.36) give only one non-trivial condition Combining it with (2.34) we arrive at the unique solution Thus, we have constructed an isomorphism between scalar fields in the bulk and a class of covariant functions on G d,p . As this is the only setup that we will consider in applications of later sections, we will not discuss extensions to the case of spinning bulk fields at present.
Example Let us illustrate parts of the above discussion on the simplest non-trivial example, that of a line defect in a two-dimensional conformal field theory. The conformal group of the Euclidean plane is G d = SO(3, 1) and the defect group is G d,p = SO(2, 1). Let g d = so(3, 1) be the complexified Lie algebra of G d . We choose its basis with the non-zero bracket relations written in the appendix A. The notation here is The representation on fields of conformal weight ∆ and spin l by differential operators reads We use the summation convention and raise and lower the indices with a flat Euclidean metric. The Levi-Civita symbol has ǫ 12 = 1. Differential operators satisfy the opposite brackets compared to the generators (2.39). The defect algebra is spanned by {P 1 , K 1 , D} and is isomorphic to the Lie algebra of the conformal group in one dimension. We write the differential operators explicitly These operators should be compared with the right-invariant vector fields on SL(2) in the coordinates specified by The vector fields are computed form the Maurer-Cartan form to givẽ If we look at scalar fields, the construction above instructs us to set ∂ µ = 0 and conjugate the operators (2.43) by |x 2 | −∆ in order to obtain (2.41) with l = 0. A simple calculation verifies that this is indeed the case.

Lifting Correlation Functions
In this section we will use the lifts of bulk and defect fields to write down a new representation of correlation functions as functions on a number of copies of the defect conformal group. A correlator of m bulk and n defect fields will be written in terms of a covariant function on G m+n d,p . Our goal is to eventually end up with functions on just one copy of G d,p which can be done if the number of insertion points is sufficiently small. As a first step in this direction, we will show in the second subsection how one can lift pairs of bulk and defect fields, a trick that will be useful when we come to analyse three-point functions later. The third subsection treats the example of two-point functions involving one bulk and one defect field as a simple illustration of the formalism.

Ward identities
In this subsection we study the form of correlation functions in a conformal theory on R d , in the presence of a p-dimensional defect. A correlation function involving m bulk and n defect fields is denoted by Notice that if x =x lies on the defect, k(x i , h) ∈ K p × SO(q), so it makes sense to evaluate the representationρ i at this element. We can reformulate eq. (3.2) by saying that G m,n is an invariant vector in the representation π 1 ⊗ ... ⊗π n of the defect conformal group Representations π i were defined in the previous section and the definition ofπ j is entirely analogous.
Let us now assume that we are given two sets of intertwiners (g d , S d,p , µ i , Φ i ) and (g p ,Ŝ d,p ,μ j ,Φ j ) as described in the last section (in particularΦ j = 1). They allow to lift any solution to the Ward identities G m,n to a function F m,n : G m+n d,p − → V (V is the tensor product of spaces of polarisations of the fields) which satisfies F m,n (g d (x 1 ), ..., g p (x n )) = Φ 1 (x 1 )...Φ n (x n )G m,n (x 1 , ...,x n ), (3.4) and is right covariant These two properties ensure F m,n is defined almost everywhere on G m+n d,p . Now, the invariance of G m,n , eq. (3.3), and the intertwining property of lifts imply that F m,n is invariant under the diagonal left regular action of G d,p F m,n (hg i ) = F m,n (g i ) . (3.7) The function F m,n is our new representation of the correlator and the starting point for several other representations that will be constructed below.

Pairing up bulk and defect fields
In considerations of correlation functions G m,n we will find it useful to pass from functions F m,n to functions on a smaller number of copies of the defect conformal group. We can efficiently achieve this by "pairing up bulk and defect points", thus effectively lifting pairs of fields, rather than individual ones. We now explain this process in more detail.
As we have mentioned, functions f,f belong to induced representations of the defect conformal group We have used the same notation π,π as for the representations on fields because our analysis indeed showed that these representations are isomorphic to one another. The tensor product π ⊗π is naturally realised in the space of functions under the diagonal left-regular action. We will be interested in another way of realising this representation: Proposition Let K = SO(p) × SO(q − 1) be the stabiliser of a pair of one bulk and one defect point in G d,p . The following is an isomorphism of G d,p -modules Thus, Q is essentially composing a function F with the coproduct map on the group algebra L 1 (G). 3 It is the properties of the coproduct that ensure Q respects the G d,p -action.
Proof: First, observe that the representation χ is well-defined. Indeed, both µ andμ are representations of K by restriction. Let us show that Q(F ) ∈ χ, that is, that is has the required covariant properties Thus, Q is well-defined. It is clearly a G d,p -module homomorphism It remains to prove that Q is a bijection. To this end, notice that almost any element g ∈ G d,p can be written as g =ŝs withŝ ∈Ŝ d,p and s ∈ S d,p . This is true by the following argument g = g p g q = n I (g p )a I (g p )k I (g p )g q = n I (g p )a I (g p )g q k I (g p ) . (3.13) In the first step, we have written g as a product of elements in SO(p + 1, 1) and SO(q). Then we have factorised the first term according to the Iwasawa decomposition and moved g q , past k I (g p ). The last expression is of the correct formŝs.
This completes the proof of the proposition.
As a consequence, we can lift a pair of primary fields, one bulk and one defect, by composing the individual lifts with the isomorphism Q. The constructions allows us to uplift correlation functions of m bulk and n defect fields to a product group with just max(m, n) − 1 factors G d,p . In particular, correlation functions of m = 2 bulk and n = 2 defect fields can be uplifted to functions on a single copy of the defect conformal group.

An example: bulk-defect two-point function
As a simple example of the above ideas, let us determine the form of a two-point function of one bulk and one defect field, G 1,1 (x i ). The function G 1,1 (x i ) lifts to a function F 1,1 : (3.14) Let us put F = Q(F 1,1 ) , that is F (g) = F 1,1 (g, g). Then F is a constant function To write the two-point function in terms of F we need to Iwasawa-decompose As explained in the previous section, s 12 andŝ 12 are essentially the Iwasawa factors of g 12 . We have Therefore, the factors arê (3.17) In terms of F , the two point function reads Let us evaluate this expression further in the case where the bulk field is a scalar. Then we should put µ 1 = 1, hence for some constant c (such that F ≡ c). We have written the conformal dimensions of two fields as ∆ 1 and ∆2 and used the shorthand notation ∆ 12 = ∆ 1 − ∆2. If one assumes the transverse (internal) spin of the second field to be trivial, i.e.ρ 2 (e ϕ i 1 M id ) = 1, one recognises the usual expression for the two-point function.

Conformal Blocks from Harmonic Analysis
This section is dedicated to the study of conformal blocks. Since the influential work of Dolan and Osborn, these are usually characterised as eigenfunctions of appropriate Casimir operators. Under a lift, the action of the defect conformal group on the bulk space or the defect is carried to the left regular action. Thus, the quadratic Casimir is carried to the Laplace-Beltrami operator on G d,p . In the previous section, we explained how to lift arbitrary correlation functions G m,n , involving m bulk and n defect fields, to covariant functions F m,n on m + n copies of the group G d,p . We have also seen how to lift pairs of bulk and boundary fields. These results allow to map a number of correlation functions with small values of m and n to functions on just one copy of the group G d,p by applying some further simple transformations. As a general rule, one of the Dolan-Osborn-like quadratic Casimirs is carried to the Laplacian under these transformations. As we will see in the first two subsections, for two-point functions of bulk fields as well as three-point functions of two defect and one bulk field, the eigenproblem of this operator together with appropriate boundary conditions completely characterise the conformal blocks. The latter can be constructed in terms of Gauss' hypergeometric function 2 F 1 and its special incarnation as a Gegenbauer polynomial. In the third subsection, we consider the three-point function of two bulk and one defect field. This leads us to the eigenvalue problem of two coupled second order operators. Upon closer inspection, the system is equivalent to the Appell system so that the conformal blocks can be expressed in terms of the Appell function F 4 (and Gegenbauer polynomials). Our results extend those of [20] and reduce to the findings of Lauria et al. upon restriction to a 2-dimensional subspace of cross ratios.
Therefore F can be regarded as a function on the double quotient M 2pt = S d,p \G d,p /S d,p . This space is two-dimensional as almost any element of G d,p can be written in the form with r p+1 l,r ∈ SO(p + 1) and r q−1 l,r ∈ SO(q − 1). We will refer to this factorisation as the a Cartan decomposition of g. The space M 2pt is the direct product of two double quotients of similar forms, SO(p + 1)\SO(p + 1, 1)/SO(p + 1) and SO(q − 1)\SO(q)/SO(q − 1), each of which is one-dimensional. The Cartan decomposition is of course not unique, but this fact has no bearing on our discussion. The function F satisfies 3) The restriction of F to the two-dimensional abelian subgroup generated by D and M d−1,d will be denoted by ψ(λ, κ) = F (e λD+κM d−1,d ). We can relate ψ and the two point function as soon as the Cartan decomposition of g d (x 1 ) −1 g d (x 2 ) is known Let us denote the argument of F by g 2pt (x i ). We determine its Cartan factors For a simple proof of eq. (4.5) , see the appendix B. The factors r p+1 l,r are computed similarly. Let us now turn to the SO(q)-part. Again, in the appendix B, it is shown that Hence, the correlation function becomes Let us evaluate this expression further in the case when the fields are scalar. Then we should put µ i = 1, so (4.8) The coordinates (λ, κ) are the two independent conformal invariants. They are related to coordinates (φ, χ) used in [9] by We recognise in eq. (4.8) the usual expression for the two point function.
Conformal blocks are eigenfunctions of the Laplace-Beltrami operator within the space of covariant functions (4.3) . Let us show how this comes about. Partial waves for the two-point function G 2,0 (x i ) can be characterised as eigenfunctions of the quadratic Casimir that is constructed out of the vector fields that represent the action of the defect conformal algebra g d,p on a scalar field. We may chose either the first or the second point for these differential operators. Let us choose the second one to be concrete. After the correlation function is lifted to F 2,0 , results of the previous section tell us that the action generated by these vector fields maps to the left-regular action on the second copy of G d,p . The corresponding geometric representation on F 2,0 reads (g · F 2,0 )(g 1 , g 2 ) = F 2,0 (g 1 , g −1 g 2 ) . (4.10) This is indeed a representation of G d,p on the space L 1 (G 2 d,p , V ), but clearly it does not respect the covariance properties satisfied by F 2,0 . However, the quadratic Casimir does respect the covariance properties and equals the Riemannian Laplace-Beltrami operator ∆ on the second copy of G d,p , denoted ∆ (2) . Furthermore, by the definition of F ∆F = ∆ (2) F 2,0 , (4.11) and hence the Casimir operator acting on F coincides with the Laplacian, as claimed. Conformal blocks factorise according to the direct product structure of G d,p . It is possible to write the restriction ψ∆ ,s (λ, κ) = ψ p,∆ (λ)ψ q,s (κ) using standard representation theory as in [27]. For scalar fields, conditions (4.3) tell us that ψ p,∆ , ψ q,s are zonal spherical functions Here C (q−2)/2 s is the Gegenbauer polynomial. The function ψ p,∆ can be expressed in terms of a Legendre function using a hypergeometric identity. In fact, the functions ψ p,∆ and ψ q,s are very similar to each other, which is clear from the fact that they come from quotients that are related by analytic continuation. See [27] for more details. Let us compare our conformal blocks to those of [9]. For the transverse part, we observe that the polynomials ψ q,s (κ) readily agree with the functions (4.9) from this paper. As for ψ p,∆ , notice that the functioñ solves the same hypergeometric equation as ψ p,∆ . Indeed, in our discussion above, we did not include the analysis of boundary conditions that supplement the Casimir differential equation. Once this is done, it turns out theψ p,∆ is the correct eigenfunction to use. Now from eq. (4.9) we can rewritẽ in agreement with eq. (4.7) of [9]. This concludes our analysis of two-point correlation functions of scalar bulk fields in the presence of a defect. Of course our results here are not new, but the well studied setup can illustrate nicely how the group theoretic approach works.

Bulk-defect-defect three-point function
In order to address the less studied example of a three-point function involving one bulk and two defect fields, we start with our familiar lift of the correlator G 1,2 (x i ) to a function F 1,2 : G 3 d,p − → V which satisfies To simplify the lift, we can pair up the two defect fields in the correlation function and set F (g) = F 1,2 (e, g, gw −1 p ). The function F 1,2 is now reconstructed from F as where the elementsŝ 2 ,ŝ 3 ∈Ŝ d,p solve the equation g 3ŝ3 = g 2ŝ2 w −1 p . The function F has left-right covariance properties with l ∈ L = SO(1, 1) × SO(p) × SO(q). The way we constructed F mimics the pairing up of points in a bulk conformal field theory without defect insertion that was done in [24]. Indeed, there one associates to a pair of fields in R d a K d -covariant function on the conformal group. The group K d naturally appears as the stabiliser of the pair (0, ∞). Here the same construction is performed along the defect, while transverse directions play no role. The function F can be regarded as a function on the coset space S d,p \G d,p /L. This space is one-dimensional X = S d,p \G d,p /L = SO(p + 1)\SO(p + 1, 1)/ (SO(1, 1) × SO(p)) .

(4.17)
We parametrise it by writing group elements as g = k I e yK1 r p e λD r q , (4.18) with k I ∈ SO(p + 1), r p ∈ SO(p) and r q ∈ SO(q). The function F is determined by its restriction to the group generated by K 1 We have denoted the restriction by ϕ(y) = F (e yK1 ). The correlation function is related to F by Group elementsŝ 2 andŝ 3 are determined in the non-defect theory on SO(p + 1, 1), [23], and read (4.21) Our notation here coincides with the one used in that paper. In particular t 32 stands for t(x 32 ). Therefore, the argument of F has the SO(p + 1, 1)-part In the first step we used the result (2.22). The coordinate y may be read off as where the cross ratio u 23,1 is defined as in [3] 4 .

(4.23)
For SO(p)-scalar fields, the correlation function (4.20) is further evaluated under the above mapping, it follows that these eigenfunctions are conformal blocks. Here, ∆ (23) is the quadratic Casimir constructed from the vector fields that generate the diagonal left-regular action on the last two copies of G d,p . We can first consider only the left quotient S d,p \G d,p and parametrise it according to g = k I e y a Ka e λD . (4.26) Since the SO(q)-factor will be trivialised by the right quotient we omitted writing it in the above equation. Later we will trade (y a ) for spherical polar coordinates (y, φ) on R p . We compute the Laplacian from the left-invariant vector fields -ones that generate the right regular action. The action of dilations, special conformal transformations and rotations is simple k I e y a Ka e λD e µD = k I e y a Ka e (λ+µ)D , k I e y a Ka e λD e z a Ka = k I e (y a +e −λ z a )Ka e λD , (4.27) k I e y a Ka e λD r p = k I r p e ((r p ) −1 y) a Ka e λD (4.28) Finally, the action of translations is found by the following calculation k I e y a Ka e λD e z b P b = k I w p e (spy)·P w p e e λ z·P e λD Group elements k ′ I , k ′′ I , k ′′′ I all belong to SO(p + 1) and their precise does not matter for the action on the coset. By linearising the above action, the Lie algebra is found to be represented by differential operators (4.29) The quadratic Casimir, restricted to functions of (λ, y) is computed To pass to the final quotient, we set ∂ λ − → ∆23. Therefore, conformal blocks satisfy the eigenvalue equation This equation is solved by hypergeometric functions (4.32) Let us compare our results with conformal blocks from [20]. The authors there take the limitx 3 − → ∞, in which their coordinateχ is related to y asχ = y 2 . They consider the three-point function p,s (χ) .
By expanding around zero instead of infinity, we can rewrite these as On the other hand, our expression for G 1,2 (x i ) becomes in thex 3 − → ∞ limit (4.36) Therefore, we should have the relation FÔ 2Ô3 p,s There is a number of ways to verify that this is true. Perhaps the simplest one is to conjugate the operator on the left hand side of eq. . Indeed, the eigenfunctions read . With this we end the discussion of three-point functions of two defect and one bulk field.

Bulk-bulk-defect three point function
We move to the three-point function that involves two fields in the bulk and one on the defect. Following the familiar strategy, we start by lifting the three point function of two bulk and a defect field, G 2,1 (x i ) to a function F 2,1 : Let us pair up the last two fields by setting F ′ (g 1 , g 2 ) = F 2,1 (g 1 , g 2 , g 2 ). Then F ′ obeys F ′ (hg i ) = F ′ (g i ) and we put F (g) = F ′ (e, g) = F 2,1 (e, g, g). In particular, this implies solutions to ∆F = cF will correspond to eigenfunctions of the quadratic Casimir acting at the point x 1 . One reconstructs F 2,1 from F by F 2,1 (g 1 , g 2 , g 3 ) = (µ 2 (s 2 ) ⊗μ 3 (ŝ 3 )) F 2,1 (g 1 , g 2 s 2 , g 2 s 2 ) = (µ 2 (s 2 ) ⊗μ 3 (ŝ 3 )) F g −1 1 g 2 s 2 , (4.38) where s 2 ,ŝ 3 solve the equation g 2 s 2 = g 3ŝ3 . The function F is right-covariant with respect to the group K and left-covariant with respect to S d,p F (sgk) = F 2,1 (e, sgk, sgk) = F 2,1 (s −1 , gk, gk) = µ 1 (s) ⊗ µ 2 (k −1 ) ⊗μ 3 (k −1 ) F (g) . with r p ∈ SO(p) and r q−1 l,r ∈ SO(q−1). The function F is determined in terms of its restriction ψ(λ, y, κ) = F (e yK1 e λD e κM d−1,d ) by F (g) = µ 1 (k I r q−1 l ) ⊗ µ 2 (r p r q−1 r ) −1 ⊗μ 3 (r p r q−1 r ) −1 ψ(λ, y, κ) . (4.42) The correlation function is related to F by Here s 23 andŝ 23 are given analogously to eq. (3.17) . We can evaluate the argument of F similarly as before using the Bruhat and Iwasawa decompositions. For the SO(p + 1)-part We read off the coordinate y Therefore, the Cartan coordinates (y, λ) are given by where u • 12 and u 3,12 are cross ratios of [3] u • 12 =x The coordinate κ was determined in eq. (4.6) . These results give the relation between the correlator G 2,1 (x i ) and ψ in the case the fields are scalars (it is possible to consider other representations as well, but we shall not do so) ψ(λ, y, κ) . (4.46) Eigenfunctions of the Laplacian correspond to eigenfunctions of the quadratic Casimir at the first insertion point x 1 . Clearly, it is possible to repeat the whole argument with points x 1 and x 2 interchanged. This would lead to another representation of the correlator withỹ,λ obtained from y, λ by swapping indices 1 and 2. One can parametrise the coset space Y by (y,ỹ) and it is not hard to establish thatỹ = e λ y ≡ x. The Laplacian (4.30) in these coordinates reads C If we performed and construction with x 1 and x 2 exchanged, the Laplacian would be given by the operator C (1) 2 that is obtained from C by exchanging x and y. We have to remember that the prefactors multiplying ψ andψ are different. Conformal blocks are therefore simultaneous eigenfunctions of C (2) 2 and (x/y) ∆3 C (1) 2 (x/y) −∆3 . These two operators are easily seen to commute. We will consider a more symmetric pair of differential operators and solve an equivalent eigenvalue problem To proceed, let us introduce variables v 1 = −x −2 , v 2 = −y −2 . Then the two operators can be written as The significance of this operator is that it appears in connection with Appell's hypergeometric function F 4 . Namely, this function carries four labels (a, b, c 1 , c 2 ) and satisfies the system of differential equations Our equations are not quite in the form of the Appell's system, but they become so once we introduce . Then, using formulas from the appendix C, the eigenvalue equations (4.49) can be written in terms of F as Therefore, the Appell function [28] F solves the eigenvalue problem. There are three more independent solutions, all expressible in terms of Appell functions, but the one we have written has the correct boundary behaviour and we will see that it reproduces the result of [20] in a special limit. Before doing that, let us give the final formula for Laplacian eigenfunctions that correspond to conformal blocks. They are labelled by three quantum numbers (∆,∆ ′ , s) and read 5 The authors of [20] consider the three-point function of two bulk and one defect field in the limitx 3 − → ∞ and in the special configuration x 1⊥ = x 2⊥ . In such a configuration, v 1 = v 2 and there are two independent cross ratios, ϕ = κ andχ = −v −1 1 . The correlator in [20] readŝ The conformal blocks factorise inχ and ϕ in the usual way and the transverse parts agree with ours by the same calculation as in the previous sections. Let us focus therefore on longitudinal parts, which are given in [20] by We can rewrite this using an identity due to Burchnall as The prefactor in the correlation function that multiplies FÔ 3 OÔ ′ (χ) is the same as the prefactor of f , so we need to show that f (v 1 , v 1 ) and FÔ 3 OÔ ′ (χ) agree, up to a multiplicative constant. But one readily observes that Therefore, the blocks from [20] follow from those written in eq. (4.32). The same is true for blocks of bulk-bulk-defect three point functions that were found in [21]. This is shown the appendix D.

Discussion and Outlook
In this work we have extended the group theoretic approach to conformal blocks to the defect channel of correlation functions with any number m and n of bulk and defect field insertions, respectively. In the most basic formulation, we obtained a new representation of correlation functions in defect conformal field theory through covariant functions on n + m copies of the defect conformal group. This representation was then reduced to one that involves only max(m, n) − 1 copies of G d,p by forming pairs of bulk and defect field insertions as well as implementing conformal invariance. The details for this representation were worked out for the case when the bulk fields are scalars. We then applied our lift to the construction of correlation functions with a small number of field insertions. Once the setup allows for non-trivial cross ratios, i.e. when there is more than one bulk-and one defect-field insertion, correlation functions can be expanded into blocks. We characterised these as eigenfunctions of conformal Laplace-Beltrami operators and constructed them explicitly for three different cases. The blocks for m = 2 bulk fields and n = 1 defect fields, which we expressed in terms of Appell's hypergeometric function F 4 , were not known before, except along a lower dimensional submanifold in the space of cross ratios.
There is a number of natural extensions of the present work that should be pursued in the future. To begin with, let us mention correlation functions of two bulk and two defect fields. Using the constructions we explained above these correlators can still be lifted to functions on a single copy of the defect conformal group. It would certainly be interesting to work out the Casimir equations and to construct the associated conformal blocks. The setup admits five cross ratios, at least for sufficiently generic dimensions d, p, and additional quantum numbers that label the weight and spin of an intermediate defect field. One nice aspect of these correlation functions is that they give rise to non-trivial (defect channel) crossing symmetry equations. The two sides of these equations are related by a simple exchange of the two bulk fields. It would be very interesting to study these constraints with either numerical or analytical bootstrap techniques.
Going to even higher number of points, the number or cross ratios keeps growing. Even though such correlators ultimately can no longer be lifted to a single copy of G d,p , much of the group theoretic technology remains at our disposal. An interesting direction would be to investigate what kind of special functions appear as one increases the number of bulk and defect field insertions, and how these depend on the dimensions d and p. For line defects, correlators with multiple insertions of defect fields (in addition to a few bulk fields) should be accessible with more or less know techniques, see [29] for a related study of multi-point blocks in 1-dimensional bulk theories. More generally, one may expect all such multi-point correlators to be wave functions of some integrable systems, in a similar way as multi-point correlators in ordinary conformal field theory were recently identified as wave functions of Gaudin integrable models [30], extending related observations in [10,31,32]. The relation of defect channel blocks with integrable quantum systems remains an interesting area to develop. A more specific question in this context arises from the observation that Appell's functions, though of type F 2 , have appeared in the literature on conformal blocks, as so called multichannel blocks for null heptagon Wilson loops, [33]. The framework there is not entirely dissimilar from ours, as multichannel blocks depend non-trivially on two variables and diagonalise two commuting quadratic Casimirs. On the other hand, ordinary four-point blocks satisfy a different kind of system -they diagonalise quadratic and fourth order Casimirs constructed from the same set of generators. It would be interesting to explore if there is a deeper connection between calculations of multichannel blocks and the ones considered here, perhaps in the framework of Gaudin models, [30]. For example, the system responsible for the integrability of five-point conformal blocks consists of five operators, two of second order and three of fourth order. In a certain lightcone-like limit, the system can be reduced to a three-variable problem with two quadratic and one quartic operator. The two quadratic operators bear close resemblance to the ones in [33].
In this work we have restricted ourselves to the discussion of scalar fields, most notably when we constructed the geometric lift of bulk fields to the defect conformal group in section 2.2. Following the general strategy we outlined above it is essentially clear how to remove this restriction. After lifting spinning correlators to the defect conformal group one could then construct and solve the associated matrix valued Casimir equations, see [24,34] for the corresponding analysis in bulk conformal field theory. For defect channel blocks such as the ones we discussed here, it should be possible without much difficulty to adapt the weight-shifting technology of [35] and thereby to solve the spinning Casimir equations by acting on scalar blocks with appropriate weight shifting operators. The study of defects becomes particularly rich in the context of superconformal theories. These can be studied with several non-perturbative techniques including the conformal bootstrap, see e.g. [36][37][38][39][40][41].
Assuming the successful extension of our work to spinning defect correlators, see previous paragraph, it seems likely that the approach to superconformal blocks we developed in [23,42,43] for bulk four-point functions can be extended to theories with defects. We plan to address this construction in the future.

A Conformal Group and Its Vector Representation
Here we spell out our conventions for the conformal group SO(d + 1, 1) and its Lie algebra and state some identities valid in the vector representation. The non-vanishing Lie brackets in so(d + 1, 1) read In the Lorentz-like notation, we write the generators as {L αβ }, α, β = 0, 1, ..., d. These obey the relations where η is the mostly-positive Minkowski metric. The relation between conformal and Lorentz generators reads The quadratic Casimir and its value in the representation (∆, l) of SO(d + 1, 1) are given by In the d + 2-dimensional vector representation, the Lorentz generators are where (E αβ ) ij = δ αi δ βj . Thus in particular We will write matrices in the vector representation in block form. For example The matrices representing translations and special conformal transformation are easily found using nilpotency of P µ and K µ . Namely (x µ P µ ) 3 = (x µ K µ ) 3 = 0 and x µ x ν P µ P ν = x µ x µ (E 00 − E 11 + E 01 − E 10 ), x µ x ν K µ K ν = x µ x µ (E 00 − E 11 − E 01 + E 10 ) . (A.10) Therefore The dilations are represented as The Iwasawa decomposition used in the main text follows from the matrix identity where e λ = 1 1 + x 2 , y µ = , which is cos κ. Thus, eq. (4.6) follows.

C Hypergeometric and Appell's Functions
In this appendix we collect some properties of Gauss' and Appell's hypergeometric functions. These are used in section 4 to arrive at conformal blocks. The hypergeometric differential operator depends on three parameters a, b, c and we can write it as To solve the eigenvalue problem H(a, b, c, x, ∂ x )f = λf , one observes that it takes again the form of a hypergeometric equation with parameters a ′ , b ′ , c such that a ′ b ′ = ab + λ and a ′ + b ′ = a + b.
(C.10) Analogous statements hold for H 2 . These are used to in section 4 to derive the system of equations for F in terms of the one for f .

D Comparison with conformal blocks from [21]
In this appendix, we show how our conformal blocks for the correlator G 2,1 (x i ) reproduce as a special case the blocks from [21]. The partial waves from that paper appear in the analysis of a free scalar bulk field in the presence of a boundary. Coordinates ξ and ζ used in [21] are in our notation ξ = u • 12 − 2 and ζ = u −1 3,12 . Therefore, the w ± of [21] read (D.1) To restrict our analysis to the boundary setup, notice first that for q = 1, the second factor in the cross ratio space (4.40) becomes trivial, so our blocks become We therefore have Using that in the limitx 3 − → ∞, we have v i = −x 2 i ∨ ⊥ , the last equation together with e.q. (4.46) gives the formula (B.6) from [21] with l = 0.