arxiv: v3 [math-ph] 5 Nov 2018

Transcription

1 arxiv: v3 [math-ph] 5 Nov 208 Conformal blocks, q-combinatorics, and quantum group symmetry Alex Karrila alex.karrila@aalto.fi Department of Mathematics and Systems Analysis P.O. Box 00, FI Aalto University, Finland Kalle Kytölä kalle.kytola@aalto.fi Department of Mathematics and Systems Analysis P.O. Box 00, FI Aalto University, Finland Eveliina Peltola eveliina.peltola@unige.ch Section de Mathématiques, Université de Genève, 2 4 rue du Lièvre, Case Postale 64, 2 Genève 4, Switzerland Abstract. In this article, we find a q-analogue for Fomin s formulas. The original Fomin s formulas relate determinants of random walk excursion kernels to loop-erased random walk partition functions, and our formulas analogously relate conformal block functions of conformal field theories to pure partition functions of multiple SLE random curves. We also provide a construction of the conformal block functions by a method based on a quantum group, the q-deformation of sl 2. The construction both highlights the representation theoretic origin of conformal block functions and explains the appearance of q-combinatorial formulas.. Introduction Conformal blocks are fundamental building blocks of correlation functions of conformal field theories. In this article, we study the combinatorics of conformal block functions associated to the simplest nontrivial primary fields in conformal field theories (CFT. Following the conventions in the literature about random conformally invariant curves of SLE type, we parameterize the central charge of the CFT via a parameter > 0, as (3 8(6 (. c =. 2 We assume (0, 8 \ Q. The primary fields whose conformal blocks we study are of conformal weight h = 6 2.

2 2 Figure.. Examples of Dyck paths. This is the first non-trivial conformal weight in the Kac table [Kac78], and fields of this type appear in particular as the boundary changing fields that create the tip of an SLE type curve [BB03a, BB03b, FW03, BBK05, Dub07, Kyt07, KM3, Dub5]. We cover some background on conformal blocks in CFT in Section 3. For all other parts of the article, a few key properties of conformal block functions can be taken as their definition. Namely, the partial differential equations, Möbius covariance, and asymptotics given precisely in Section 3.4 serve as their defining properties. The starting point for the combinatorics is the observation that the conformal block functions are functions U (x,..., x 2N of an even number n = 2N of variables, which are indexed by Dyck paths of length 2N, that is, sequences = ((0, (,..., (2N of non-negative integers with (j (j = for all j and (0 = (2N = 0. Figure. depicts examples of Dyck paths. Our first main result, Theorem A given in Section 4, relates the conformal block functions via explicit q-combinatorial formulas to another family of functions: the pure partition functions of multiple SLEs [KP6], whose precise definition we recall in Section 4.. The pure partition functions are a key ingredient in the construction of joint laws of N curves of SLE type, with deterministic connectivity [BBK05, KP6, KKP7, PW7]. They are indexed by the planar connectivities, or equivalently, by Dyck paths. In the case = 2, a similar relation between the conformal block functions and the pure partition functions arises as a consequence of Fomin s formulas [Fom0] for loop-erased random walks, as explained in [KKP7], and our result can be seen as a q-analogue of Fomin s formulas. Specifically, we show that for fixed N, the conformal block functions and the multiple SLE pure partition functions form two bases of the same function space of dimension given by the N:th Catalan number C N = N+( 2N N, and we give an explicit combinatorial formula for the change of basis matrix M from the latter basis to the former, as well as for the inverse M. The rows and columns of both M and M are indexed by Dyck paths, and the entries are rational functions of q = e i4π/. The non-zero entries of M appear where a binary relation introduced in [KWb, SZ2] holds between the two Dyck paths, whereas the non-zero entries of M appear where the two Dyck paths are in the natural partial order. Combinatorial formulas for the matrices are given in Section 4.2, but for small values of N their forms are already illustrated in Figures.2 and.3. The second main result of this article, Theorem B given in Section 5, is a construction of the conformal block functions via the quantum group based method of [KP8]. Our construction expresses the conformal block functions as concrete linear combinations of integrals of Coulomb gas type, similar to [DF84]. It also reflects the underlying idea of conformal blocks, according to which the Dyck path serves to label a sequence of intermediate representations.

3 3 q+q q+q (q+q 2 q+q q+q q+q q+q (q+q q 2 ++q 2 Figure.2. The rows and columns of the matrix M are indexed by Dyck paths of 2N steps. The non-zero entries appear where a certain binary relation the parenthesis reversal relation holds between the two Dyck paths. This figure gives the explicit matrix elements of M in terms of q = e i4π/ for N = 2 and N = 3. q+q q+q (q+q 2 q+q q 2 ++q 2 q+q q 2 ++q 2 q+q q+q q 2 ++q 2 q+q q 2 ++q 2 Figure.3. The rows and columns of the matrix M are indexed by Dyck paths of 2N steps. The non-zero entries appear where the natural partial order relation holds between the two Dyck paths: in particular, the matrix is upper triangular. This figure gives the explicit matrix elements of M in terms of q = e i4π/ for N = 2 and N = 3. Acknowledgments. We thank Steven Flores and David Radnell for interesting discussions. A.K. and K.K. are supported by the Academy of Finland project Algebraic structures and random geometry of stochastic lattice models. A.K. is also supported by the Vilho, Yrjö and Kalle Väisälä Foundation. E.P. is supported by the ERC AG COMPASP, the NCCR SwissMAP, and the Swiss NSF. 2. Combinatorial preliminaries In this section, we recall some combinatorial definitions and results. A complete account can be found in our previous article [KKP7, Section 2], whose notations and conventions we follow. 2.. Dyck paths, skew Young diagrams, and Dyck tiles. We denote by DP N the set of Dyck paths of 2N steps, i.e., sequences = ((0, (,..., (2N such that (j Z 0 and (j (j =

4 4 for all j {,..., 2N}, and (0 = (2N = 0. The number of such Dyck paths is a Catalan number, #DP N = C N = å 2N. N + N We also denote by DP := N Z 0 DP N the set of Dyck paths of arbitrary length. For each N, the set of Dyck paths of 2N steps has a natural partial ordering: for, β DP N we denote β if and only if (j β(j for all j {0,,..., 2N}. When β, the area between the Dyck paths and β forms a skew Young diagram, denoted by /β. The main combinatorial objects for the present article are certain tilings of skew Young diagrams, called Dyck tilings. The tiles t in these tilings are skew Young diagrams of a particular type: namely t = /β such that for some 0 < x t x t < 2N and h t Z >0 we have (j = β(j for 0 j < x t (j = β(j 2 for x t j x t (j = β(j for x t < j 2N and (x t = β(x t = (x t + = β(x t + = h t. Such tiles t = /β are called Dyck tiles, the number h t is called the height of t, and the intervals [x t, x t] and (x t, x t + are called the horizontal extent and shadow of t, respectively. Figure 2. illustrates these notions. We say that a Dyck tile t 2 = 2 /β 2 covers another Dyck tile t = /β if there exists a j such that j [x t, x t ] [x t2, x t 2 ] and (j < 2 (j. h t x t x t x t x t + Figure 2.. The vertical position of a Dyck tile t is described by the integer height h t. The horizontal extent [x t, x t] (in red and shadow (x t, x t + (in blue are intervals that describe the horizontal position. The shape of a Dyck tile is essentially that of a Dyck path, as illustrated by the black path drawn inside the tile. In general, a Dyck tiling T of a skew Young diagram /β is a collection of Dyck tiles t which cover the area of the skew Young diagram, t T t = /β, and which have no overlap. Specifically, we consider so called nested Dyck tilings and cover-inclusive Dyck tilings illustrated in Figures 2.2 and 2.3 and defined below in Sections 2.2 and 2.3, respectively Nested Dyck tilings and the parenthesis reversal relation. A Dyck tiling T of a skew Young diagram /β is said to be a nested Dyck tiling if the shadows of any two distinct tiles of T are either disjoint or one contained in the other, and in the latter case the tile with the larger shadow covers the other. Figure 2.2 exemplifies nested Dyck tilings. It is not difficult to see that if a skew Young diagram /β admits a nested Dyck tiling, such a tiling is necessarily unique. In this case, we write ( β,

5 5 Figure 2.2. Examples of nested Dyck tilings of skew Young diagrams. Figure 2.3. Examples of cover-inclusive Dyck tilings of skew Young diagrams. and we denote the nested Dyck tiling of /β by T 0 (/β. This binary relation ( on DP N was first introduced in [KWb, SZ2], and we call it the parenthesis reversal relation, because of a convenient characterization it has in terms of balanced parenthesis expressions, see [KKP7, Lemma 2.7] Cover-inclusive Dyck tilings. A Dyck tiling T of a skew Young diagram /β is said to be a cover-inclusive Dyck tiling if for any two distinct tiles of T, either the horizontal extents are disjoint, or the tile that covers the other has horizontal extent contained in the horizontal extent of the other. Figure 2.3 exemplifies cover-inclusive Dyck tilings. In contrast with nested Dyck tilings, any skew Young diagram has cover-inclusive Dyck tilings. For β, the set of cover-inclusive Dyck tilings of /β is denoted by C(/β Weighted incidence matrices and their inversion. The incidence matrix of the binary relation ( on the set DP N of Dyck paths plays a role in the combinatorics of dimers and groves [KWb], and of uniform spanning tree boundary branches [KKP7]. The rows and columns of this incidence matrix are indexed by Dyck paths, and its entries are or 0 according to whether or not the relation ( holds between the two paths. It turns out that an appropriately weighted incidence matrix is relevant for the combinatorics of conformal blocks. Suppose that a weight w(t C has been assigned to each Dyck tile t. We define the weighted incidence matrix by setting for all, β DP N (2. M,β := ( t T 0(/β ( w(t if β 0 otherwise, where T 0 (/β denotes the unique nested tiling of the skew Young diagram /β when ( β. We rely on the following combinatorial result, which gives a formula for the inverse of the weighted incidence matrix (2. in terms of cover-inclusive Dyck tilings. Such formulas for the inverses appear in [KWb, SZ2, KKP7].

6 6 (a up-wedge (b down-wedge (c up-slope (d down-slope Figure 2.4. Wedges and slopes. Proposition. The weighted incidence matrix M C DP N DP N with entries (2. is invertible, and the entries of the inverse matrix M are given by the weighted sums M,β = T C(/β t T w(t if β 0 otherwise over the sets C(/β of cover-inclusive Dyck tilings of the skew Young diagrams /β. Proof. In this form, the assertion is proved in [KKP7, Theorem 2.9] Slopes and wedges in Dyck paths and a recursion for incidence matrices. Any two consecutive steps of a Dyck path are said to form either a slope or a wedge, according to the cases illustrated in Figure 2.4: we say that has a wedge at j if (j = (j +, and that has a slope at j otherwise. A slope at j is called an up-slope if (j + = (j + 2 and a down-slope if (j + = (j 2. Without specifying the type of the slope, we denote the presence of a slope at j by j. A wedge at j is called an up-wedge if (j = (j ±+, and a down-wedge if (j = (j ±, and in these two cases we respectively write j and j. Without specifying the type of the wedge, we denote the presence of a wedge at j by j. By removing a wedge at j from a Dyck path DP N we obtain a shorter Dyck path ˆ DP N, namely ˆ = ((0, (,..., (j, (j + 2,..., (2N. According to whether the removed wedge is an up-wedge or a down-wedge, we write ˆ = \ j or ˆ = \ j, or without specifying the type of the removed wedge, we may write ˆ = \ j. Suppose that the weights w(t of Dyck tiles t are chosen to only depend on the height h t of the tile. Then, wedge removals allow for a characterization of weighted incidence matrices of the parenthesis reversal relation by the following recursion. Proposition 2. Let f : Z >0 C be a given function. Then the collection (M (N N N of weighted incidence matrices (2. with weights of tiles determined by tile heights via w(t = f(h t is the unique collection of matrices M (N C DP N DP N satisfying the following recursion: we have M (0 =, and for any N Z >0, and, β DP N, and j {,..., 2N } such that j β, we have 0 if j M (N,β = M (N ˆ, ˆβ if j f((j + M (N ˆ, ˆβ if j, where we denote by ˆ = \ j DP N and ˆβ = β \ j DP N. Proof. See [KKP7, Lemmas 2.3 and 2.4].

7 7 3. Conformal block functions In the operator formalism of quantum field theories, fields correspond to linear operators on the state space of the theory, and correlation functions are written as vacuum expected values. Somewhat more concretely, n-point correlation functions are particular matrix elements of a composition of n linear operators on the state space. Since the state space carries representations of the symmetries of the quantum field theory and can be split into a direct sum of subrepresentations, it is natural to split these linear operators into corresponding blocks. In conformal field theory (CFT, the state space is a representation of the Virasoro algebra by virtue of conformal symmetry. The term conformal block refers to the idea of splitting the field operators into pieces that go from one Virasoro subrepresentation of the state space to another, and compositions of field operators to pieces that pass through a given sequence of subrepresentations, see [BPZ84, Fel89, DMS97, Rib4]. The main purpose of this section is to provide background for the definition of conformal block functions that we use in the rest of the article. This definition is given in Section 3.4. The background is included to provide sufficient context and main ideas, but its presentation here is not intended to be fully rigorous. We believe that a complete mathematical derivation of our defining properties is possible using the formalism of vertex operator algebras [LL04], but it is beyond the present work, and seems not to be readily contained in the existing literature. 3.. Highest weight representations of Virasoro algebra. Usually, in conformal field theory the state space is assumed to split into a direct sum of highest weight representations of the Virasoro algebra [Kac78, FF90, IK], with a common central charge c R and various highest weights h R. We parametrize the central charges c by > 0 via (., as is relevant to the theory of SLE type random curves. A special role is played by a primary field of conformal weight h = h,2 = 6 2, which through fusion generates the so called first row of the Kac table with conformal weights h(λ = h,λ+ = λ2 + 2λ λ for λ Z 0. 2 In this article, we consider the generic case / Q. Then, the irreducible highest weight representation with highest weight h(λ and central charge c is a quotient of the corresponding Verma module by a submodule that itself is a Verma module. We denote this irreducible quotient by Q λ and a highest weight vector in it by w λ. The contragredient (graded dual representation Q λ (see, e.g., [IK] is isomorphic to Q λ, and we choose a highest weight vector wλ for it so that the normalization w λ, w λ = holds Conformal blocks Intertwining relation for primary field operators. A primary field ψ of conformal weight h is characterized by its transformation property ψ(x φ (x h ψ(φ(x under conformal transformations φ. According to the seminal work [BPZ84], more general fields can be understood in terms of these primary fields. In the operator formalism, a primary field ψ(x is realized by a primary field operator Ψ(x. We wish to split Ψ(x into conformal blocks between various highest weight representations Q λ and Q µ, with λ, µ Z 0. The intertwining relation (3. L n Ψ(x Ψ(x L n = x +n x Ψ(x + ( + nxn h Ψ(x with the Virasoro generators L n, n Z, is the infinitesimal form of the primary field transformation property under a conformal transformation φ obtained by varying the identity transformation to the direction of the holomorphic vector field l n = x +n x. At rational values of, the structure of highest weight representations can be more involved, see, e.g., [IK].

8 Matrix elements characterizing conformal blocks. The single matrix element between highest weight vectors, (3.2 U µ λ (x = w µ, Ψ µ λ (x w λ, contains sufficient information to completely determine Ψ µ λ (x. More generally, a composition of primary field operators splits into conformal blocks indexed by a sequence σ = (σ 0, σ,..., σ n with σ j Z 0 labeling the intermediate representations Q σ0, Q σ,..., Q σn. Now, the matrix element U σ (x, x 2,..., x n = w (3.3 σ n, Ψ σn σ n (x n Ψ σ2 σ (x 2 Ψ σ σ 0 (x w σ0 contains sufficient information to uniquely determine the block of the composition. Note that U µ λ (x is a special case of U σ (x, x 2,..., x n with n =, σ 0 = λ, and σ = µ. We furthermore point out that U σ (x, x 2,..., x n appears in an actual vacuum expected value of n fields if the highest weight states on the right and left are the absolute vacua, i.e., if σ 0 = 0 and σ n = 0. In the vertex operator algebra axiomatization of conformal field theory [LL04], the block Ψ µ λ (x is a formal power series in x with coefficients that are linear operators, and the matrix elements U µ λ (x and U σ (x, x 2,..., x n are formal power series with complex coefficients. For radially ordered variables 0 < x < x 2 < < x n, the series are in fact convergent, so we may view (3.2 and (3.3 as actual functions. The fact that they determine the operators and their compositions justifies calling them conformal block functions Properties of conformal block functions. We now review properties of the conformal block functions U σ (x,..., x n, which in particular completely fix the form of the matrix elements U µ λ (x, and characterize for which λ and µ the block Ψ µ λ (x can be non-vanishing in the first place Covariance properties. The intertwining relation (3. for L 0 combined with the eigenvalues L 0 w σ0 = h(σ 0 w σ0 and L 0 w σ n = h(σ n w σ n of the highest weight vectors gives ( h(σn h(σ 0 U σ (x,..., x n = n ( j= x j + h U σ (x,..., x n, x j with h = h( = 6 2. This infinitesimal relation can be integrated to obtain the homogeneity property (3.4 U σ (rx,..., rx n = r h(σn h(σ0 nh U σ (x,..., x n, for r > 0, of the conformal block functions. For the simplest conformal block function U µ λ (x, this homogeneity fixes its form up to a multiplicative constant C µ λ : U µ λ (x = wµ, Ψ µ λ (x w λ = C µ (3.5 λ xh(µ h(λ h. Next, if we have σ 0 = 0, then L w σ0 = 0 is a null vector in the quotient representation Q 0. Together with the intertwining relation (3. for L, and the property L wσ n = 0, this gives the infinitesimal form of the translation invariance U σ (x + t,..., x n + t = U σ (x,..., x n, for t R. Likewise, if σ n = 0, then L wσ n = 0 is a null vector in the contragredient representation Q 0. Together with the intertwining relation (3. for L, and the property L w σ0 = 0, this gives the infinitesimal form of the following covariance under special conformal transformations: ( x x n n U σ,..., = ( sx j 2h U σ (x,..., x n, for s R. sx sx n j=

9 9 For the conformal blocks that contribute to the vacuum expected value, we have σ 0 = 0 and σ n = 0. These conformal block functions satisfy the covariance n U σ (x,..., x n = µ (x j 2h ( U σ µ(x,..., µ(x n j= under general Möbius transformations µ(x = ax+b cx+d with a, b, c, d R and ad bc > Partial differential equations. Suppose now that the primary field Ψ(x of conformal weight h = h( = 6 2 has the same degeneracy at grade two as the quotient representation Q of highest weight h(. Then the conformal block functions satisfy partial differential equations of second order. These PDEs obtain a more symmetric expression in terms of the shifted versions of the conformal block functions defined by U σ (x 0, x,..., x n := U σ (x x 0,..., x n x 0. The partial differential equation arising from the degeneracy of Ψ(x j at grade two takes the form given in [BPZ84], { ( x 2 j 2 + x 0 x j + i=,...,n i j 2 h(σ 0 x 0 (x 0 x j 2 2 x i x j x i i=,...,n i j } 2 h (x i x j 2 U σ (x 0, x,..., x n = Selection rules. The PDEs above in particular imply selection rules for when non-vanishing conformal blocks can exist. Namely, for U µ λ (x = Cµ λ x, with = h(µ h(λ h as in Equation (3.5, the requirement of the PDE (3.6 amounts to ( 2 ( + 2 2h(λ x 2 = 0, C µ λ which implies either the vanishing of C µ λ and therefore of the entire conformal block, or a quadratic equation relating the conformal weights h(µ and h(λ. For fixed λ, the two solutions of this quadratic equation are obtained at µ = λ ±. One can therefore conclude that the conformal blocks take the form (3.7 U µ λ (x = C ± λ xh(µ h(λ h if µ = λ ± 0 if µ λ. The normalizations C ± λ are not canonically fixed; in fact, the space of intertwining operators forms a vector space (in the present cases always of dimension one or zero depending on whether the selection rules are fulfilled. One can make any convenient choice, and we will fix our choice later. In the case λ = 0, there is one further selection rule: by translation invariance, U µ 0 (x is constant. This further restricts the possibilities in (3.5 to h(µ = h = h(, i.e., µ =. In conclusion, a non-vanishing intertwining operator from Q λ to Q µ can only exist if µ λ = and µ 0. Consequently, the composition of intertwining operators as in the conformal block function (3.3 can only be non-trivial if the sequence σ = (σ 0, σ,..., σ n satisfies σ j Z 0 and σ j σ j = for all j. This means that non-trivial conformal block functions are indexed by nearest neighbor walks on non-negative integers. The conformal block functions that contribute to the actual vacuum expected value of n fields must furthermore have σ 0 = 0 and σ n = 0, so they are in fact indexed by Dyck paths, and in particular, n must be even.

10 Asymptotics. Above, in Equation (3.7, we completely fixed the form of the simplest conformal block function U µ λ (x, i.e., the case n =. Now we consider the next case n = 2 with σ = (σ 0, σ, σ 2, and the corresponding conformal block function U σ (x, x 2 = w σ 2, Ψ σ2 σ (x 2 Ψ σ σ 0 (x w σ0. If x is kept fixed, then the vector Ψ σ σ 0 (x w σ0 can be expanded in the usual basis of Q σ as Ψ σ σ 0 (x w σ0 = a n,...,n k (x L nk L n w σ, k N n,...,n k >0 where in particular the coefficient of the highest weight vector w σ is picked by the projection to w σ, a (x = w σ, Ψ σ σ 0 (x w σ0 = U σ σ 0 (x = C σ σ 0 x h(σ h(σ0 h. Using this expansion, the conformal block function becomes U σ (x, x 2 = a n,...,n k (x w σ 2, Ψ σ2 σ (x 2 L nk L n w σ. k N n,...,n k >0 With the generic form (3.5 of the conformal blocks Uσ σ2 (x 2, the intertwining relation (3. implies w σ2, Ψ σ2 h(σ σ (x 2 L nk L n w σ x 2 h(σ h n n k 2. The leading contribution in the limit x 2 comes from the highest weight vector w σ, since n j > 0. Thus, for fixed x and as x 2, the leading asymptotics of the conformal block function is U σ (x, x 2 a (x wσ 2, Ψ σ2 σ (x 2 w σ (3.8 = a (x U σ2 σ (x 2 = C σ σ 0 x h(σ h(σ0 h C σ2 σ x h(σ2 h(σ h 2. = Cσ σ 0 Cσ σ2 x h(σ h(σ0 h x h(σ2 h(σ h 2. By a similar argument, for fixed x 2 and as x 0, the leading asymptotics of the conformal block function is (3.9 U σ (x, x 2 Cσ σ 0 Cσ σ2 x h(σ2 h(σ h 2 x h(σ h(σ0 h. The remaining interesting asymptotics of U σ (x, x 2 concerns the limit x x 2 0. To analyze these, we resort to direct solutions of the PDEs (3.6 in the following. The homogeneity (3.4 can be used to cast the n = 2 conformal block function into the form Å ã U σ (x, x 2 = x h(σ2 h(σ0 2h x 2 g σ, x 2 and the PDEs (3.6 for U σ (x 0, x, x 2 = (x 2 x 0 h(σ2 h(σ0 2h g σ ( x x 0 x 2 x 0 then translate to the following second order ODEs for g σ (z: (3.0 (3. 0 = z 2 (z 2 g σ(z + 8 z(z (z 2 g σ(z ( + 4 z(z 2h z(z h(σ 2 + (z h(σ 0 g σ (z ( 0 = z 2 (z 2 g σ(z 2z(z ( (z + 2(z 2 g (z [( + ( + 4 ] 4h(σ 0 (z 2 4h g(z, where we denoted the scaling exponent in U σ by = h(σ 2 h(σ 0 2h. The two ODEs (3.0 (3. coincide if σ 0 = σ 2. We analyze below separately the different σ allowed by the selection rules (3.7, finding that the asymptotics (3.2 g σ (z C σ σ 0 C σ2 σ z h(σ h(σ0 h as z 0

11 obtained from (3.8 (3.9 specify a unique solution to the first ODE (3.0 in all cases. These solutions are explicit, and can be verified to also satisfy the second ODE (3.. Denote σ 0 = λ. By the selection rules, there are four possibilities when n = 2, which we label as follows: up-wedge down-wedge up-slope down-slope σ (λ, λ +, λ (λ, λ, λ (λ, λ +, λ + 2 (λ, λ, λ 2 abbreviation Figure 4(a 4(b 4(c 4(d In the case of an up-slope, the only solution of the ODE (3.0 with the correct asymptotics (3.2 is g (z = C + λ C+ λ+ ( z 2 z h(λ+ h(λ h. This also satisfies the ODE (3.. A similar conclusion holds in the case of a down-slope: g (z = C λ C λ ( z 2 z h(λ h(λ h. In the case of an up-wedge, the two ODEs coincide. The unique solution with the asymptotics (3.2 is a slightly more complicated, non-degenerate hypergeometric function ( g (z = C + λ C λ+ z 2λ 6 4 ( z 2F, 4λ ; 4λ + 4 ; z. Similarly, in the case of a down-wedge, the solution is ( g (z = C λ C+ λ z 2λ 4 ( z λ 2 4λ 4 2F, ; ; z. The asymptotics as z of such hypergeometric functions can be obtained from the identities 2F (a, b; c; 0 = and [AS64, Equation (5.3.6]: c a b Γ(c Γ(a + b c 2F (a, b; c; z = ( z 2F (c a, c b; c a b + ; z Γ(a Γ(b Γ(c Γ(c a b + Γ(c a Γ(c b 2 F (a, b; a + b c + ; z. Because we assume 0 < < 8, the parameters a, b, c of the hypergeometric functions in both g (z and g (z satisfy c a b = 8 > 0. Thus, in the limit z of the hypergeometric function, the first Γ(c Γ(c a b term above vanishes and the second term tends to Γ(c a Γ(c b. This shows that we have ( z 6 g (z C + Γ ( ( 4+4λ λ C Γ 8 λ+ Γ ( ( 8 +4λ Γ 4 ( z 6 g (z C Γ ( ( 2 4 4λ λ C+ Γ 8 λ Γ ( ( 4 Γ 4λ, and we can write down explicit asymptotics of the conformal block functions U σ (x, x 2 as x, x 2 ξ: (3.3 (3.4 (3.5 (3.6 U (x, x 2 (x 2 x 2h C + λ C λ+ U (x, x 2 (x 2 x 2h C λ C+ λ Γ ( 4+4λ Γ ( 8 +4λ Γ ( 2 4 4λ Γ ( 4 ( Γ 8 ( Γ 4 ( Γ 8, Γ ( 4λ U (x, x 2 (x 2 x h(2 2h C + λ C+ λ+ ξh(λ+2 h(λ h(2 U (x, x 2 (x 2 x h(2 2h C λ C λ ξh(λ 2 h(λ h(2. The last two expressions above, (3.5 and (3.6, are proportional to one-point conformal block functions from Q λ to Q λ±2 of a primary field operator of conformal weight h(2 = 8, whereas the first two,

12 2 (3.3 and (3.4, are proportional to an one-point conformal block function from Q λ to itself of a primary field operator of conformal weight h(0 = 0. The latter is the identity operator, whose onepoint conformal block function is just the constant. We now choose the normalization constants C ± λ so that the coefficient of the identity operator in (3.3 equals one, i.e., we set C λ = C + Γ( ( 4 +4λ Γ 4 λ Γ ( ( 4λ Γ 8 for all λ > 0. Then, the coefficients C + λ are the remaining free parameters. The coefficient of the identity operator in (3.4 then becomes a ratio of gamma-functions, which can be further simplified to C λ C+ λ Γ ( ( 2 4 4λ Γ 8 Γ ( ( 4 Γ 4λ = Γ( ( 2 4 4λ Γ 4 +4λ Γ ( ( 4λ Γ 4λ sin ( π 4λ = sin ( π( 4λ+4 = sin ( π 4λ sin (, π 4λ+4 using the identity Γ(wΓ( w = π/ sin(πw twice. Introducing the parameter q = e iπ4/ and q-integers [n] = qn q n q q = sin(4πn/ sin(4π/, this takes the simple form C λ C+ λ Γ ( ( 2 4 4λ Γ 8 Γ ( ( 4 Γ 4λ = [λ] [λ + ]. With the chosen normalization convention and when 0 < < 8, the leading asymptotics (3.3 (3.6 as x, x 2 ξ (0, of the conformal block functions can thus be summarized as U σ (x, x 2 (x 2 x 2h if σ = [λ] [λ+] if σ = 0 if σ = or σ =. In the case of general n and σ = (σ 0, σ,..., σ n, the leading asymptotics on pairwise diagonals can be inferred recursively from the above calculation. Specifically, we get U σ (x,..., x n (x j+ x j 2h Uˆ σ(x,..., x j, x j+2,..., x n if σ j = σ j+ = σ j [σj+] [σ j+2] Uˆ σ(x,..., x j, x j+2,..., x n if σ j = σ j+ = σ j + 0 if σ j σ j+, as x j, x j+ ξ (x j, x j+2, where we denote ˆ σ = (σ 0, σ,..., σ j, σ j+2,..., σ 2N Defining properties of conformal block functions. So far in this section we have provided background on conformal block functions, so as to have a self-contained justification of their properties that we use as their definition in the rest of this article. We only consider the conformal block functions that contribute to vacuum expected values, in which case σ 0 = 0 and σ n = 0, and n is necessarily even: n = 2N. The sequence (σ 0, σ,..., σ n then forms a Dyck path of n = 2N steps, see Figure.. Instead of the notation σ, we use the notation DP N for this Dyck path, and for the corresponding conformal block function. U (x,..., x 2N

13 3 We next list the defining properties of ( 6 U in the form that they will be used. Denote h = DP 2 as before. The required properties of U for DP N are the partial differential equations (PDE 2 2 x 2 j the Möbius covariance (COV + U (x,..., x 2N = i=,...,2n i j 2N i= ( 2 x i x j x i µ (x i h U (µ(x,..., µ(x 2N 2h (x i x j 2 U (x,..., x 2N = 0 for all j {,..., 2N}, for all µ(z = az + b cz + d, with a, b, c, d R, ad bc > 0, such that µ(x < < µ(x 2N, and the recursive asymptotics properties (U-ASY U (x,..., x 2N lim x j,x j+ ξ (x j+ x j 2h = 0 if j U \ j (x,..., x j, x j+2,..., x 2N if j [(j+] [(j+2] U \ j (x,..., x j, x j+2,..., x 2N if j, for any j {,..., 2N } and ξ (x j, x j+2, where the square bracket expressions are the q-integers [n] = qn q n q q with the parameter q = e iπ4/ depending on. Finally, the case N = 0 fixes an overall normalization when we require that U (0 = for the Dyck path (0 DP 0. In one of the main results of this article, Theorem A in Section 4.2, we in particular prove that the conformal block functions U are uniquely determined by the properties above. 4. Change of basis between conformal block functions and pure partition functions This section contains our first main result. It states first of all that the conformal block functions and the multiple SLE pure partition functions, whose definition will be recalled below in Section 4., both form a basis of the same solution space of the system (PDE of partial differential equations. Moreover, it gives an explicit q-combinatorial formula for the change of basis matrix. We begin by discussing the space of functions. Fix N N, and consider the system of 2N second order partial differential equations and Möbius covariance conditions as in Section 3.4, 2 + Å ã 2 2h (PDE 2 x i x j x i (x i x j 2 F (x,..., x 2N = 0 (COV x 2 j i=,...,2n i j F (x,..., x 2N = 2N i= for all j {,..., 2N}, µ (x i h F (µ(x,..., µ(x 2N for all µ(z = az + b cz + d, with a, b, c, d R, ad bc > 0, such that µ(x < < µ(x 2N, for complex valued functions F defined on the set } X 2N := {(x, x 2,..., x 2N R n x < x 2 < < x 2N

14 4 of 2N-tuples of real variables in increasing order. Require moreover that F has at most polynomial growth on pairwise diagonals and at infinity in the sense that there exist positive constants C, p > 0 such that we have F (x,..., x 2N (GROW C max ( (x j x i p, (x j x i p for all (x,..., x 2N X 2N. i<j We consider the following space of solutions: S N := { F : X 2N C F satisfies (PDE, (COV, and (GROW }. The dimension of this space is known to be the N:th Catalan number, dims N = C N, and the multiple SLE pure partition functions form a basis for S N, as we recall precisely in Section Multiple SLE pure partition functions. In many situations in planar statistical physics, boundary conditions force the existence of multiple macroscopic interfaces. In the scaling limit at criticality, such interfaces are described by multiple SLE curves with depending on the model. Contrary to, e.g., a single chordal SLE curve, the law of a multiple SLE with fixed number N of curves is not unique instead, the possible laws form a non-trivial convex set. It is thus natural to express any multiple SLE as a convex combination of the extremal points of this convex set: the pure geometries, in which the curves connect the starting points of the interfaces pairwise in a deterministic planar pair partition. The pure geometries are thus indexed by planar pair partitions, which in turn are in bijection with Dyck paths. For background on multiple SLEs, we refer to [BBK05, Dub07, KL07, KP6], and for results on their role as scaling limits, to [CS2, Izy7, KKP7, PW7, Wu7, BPW8, KS8]. For the purposes of this article, the important aspect of multiple SLEs is their partition functions Z, which essentially define the multiple SLE by giving the Radon-Nikodym density of its law with respect to independent chordal SLE laws, see [Dub07, KP6]. In particular, each pure geometry with connectivity encoded by a Dyck path has a partition function denoted by Z. These functions satisfy the partial differential equations (PDE and Möbius covariance (COV as before, and the following recursive asymptotics: (Z-ASY Z (x,..., x 2N lim x j,x j+ ξ (x j+ x j 2h = Z\ j (x,..., x j, x j+2,..., x 2N if j 0 if j / for any j {,..., 2N }, and ξ (x j, x j+2. As stated in the following proposition, these requirements together with the normalization condition Z (0 = uniquely determine the functions Z, called the multiple SLE pure partition functions. Proposition 3. Let (0, 8 \ Q. There exists a unique collection of functions ( Z, such that DP Z S N when DP N, Z (0 =, and (Z-ASY holds for all. Moreover, for any N Z 0, the functions ( Z form a basis of the solution space S DP N. N Proof. By [FK5c, Theorem 8], we have dims N = C N. On the other hand, [KP6, Theorem 4.] shows that the pure partition functions ( Z form a linearly independent set in this space (the powerlaw bound (GROW can be verified from the explicit form of the functions as Coulomb gas integrals, DP N see [KP6, KP8]. The assertion follows, since #DP N = C N The change of basis result. We now show how to express the conformal block functions U in the basis of the multiple SLE pure partition functions Z using weighted incidence matrices of the parenthesis reversal relation. From this, it follows that the conformal block functions are well-defined and also form a basis. We take the weight of a Dyck tile t at height h t to be (4. w(t := [h t] [h t + ],

15 5 where [n] = qn q n q q and q = e iπ4/ as before. Denote by M = (M,β the correspondingly weighted incidence matrix (2.: its non-zero elements are (4.2 M,β = t T 0(/β ( w(t, for ( β, where T 0 (/β is the nested Dyck tiling of the skew Young diagram /β. Proposition shows that the matrix M is invertible and the non-zero matrix elements of its inverse are M,β = (4.3 w(t, for β, T C(/β t T with C(/β the family of cover-inclusive Dyck tilings of the skew Young diagram /β. Examples of these matrices are shown in Figures.2 and.3. Theorem A. There exists a unique collection ( U DP such that U S N when DP N, U (0 =, and the asymptotics (U-ASY hold. For any DP N, the function U of this collection can be written in the basis ( Z β of Proposition 3 as β DP N U = M,β Z β, β DP N where M is the weighted incidence matrix of the parenthesis reversal relation with weights (4.. Moreover, for any N Z 0, the functions ( U form a basis of the solution space S DP N and N Z =,β U β. β DP N M Remark 4. The above change of basis formulas can be regarded as analogues of Fomin s formulas in the following sense. In a special planar case, general Fomin s formulas [Fom0] yield linear relationships between determinants of discrete Green s functions and probabilities of certain planar connectivity events for the uniform spanning tree [KKP7, Section 3.4]. This linear system is encoded in an invertible matrix (M,β indexed by Dyck paths, whose non-zero entries are of the form (4.2 with unit tile weights w =, instead of the q-dependent weights (4.. Thus, the structure of the non-zero entries is encoded in the same combinatorial relation ( β. In the scaling limit as the mesh of the graph tends to zero, these planar connectivity probabilities tend to the pure partition functions of multiple SLE for = 2, and the determinants tend to a distinguished basis of the solution space S N with = 2, closely related to the conformal blocks see [KWa, Section 5] and [KKP7, Theorems 3.2 and 4. and Proposition 4.6]. Proof of Theorem A. Let ( U DP be any collection of functions such that U S N for DP N and the asymptotics (U-ASY hold with U (0 =. Write U in the basis ( Z β of S β DP N as N U =,β Z β, β DP N M (N which, for each N N, defines a matrix M (N C DP N DP N. The recursive asymptotics (U-ASY then equivalently require that the matrices M (N,β satisfy the initial condition M (0 = and the recursion lim x j,x j+ ξ (x j+ x j 2h M (N,β Z β(x,..., x 2N β DP N (4.4 0 if j = ˆβ DP N M (N ˆ, ˆβ Z ˆβ(x,..., x j, x j+2,..., x 2N if j [(j+] [(j+2] M (N Z ˆβ DPN ˆβ(x,..., x j, x j+2,..., x 2N if j ˆ, ˆβ

16 6 where we denote \ j = ˆ. Now recall the asymptotics properties (Z-ASY of pure partition functions, and note that each ˆβ DP N determines a unique β DP N with j β such that β \ j = ˆβ. The left-hand side of (4.4 then becomes lim x j,x j+ ξ (x j+ x j 2h β DP N M (N,β Z β(x,..., x 2N = M (N,β Z ˆβ(x,..., x j, x j+2,..., x 2N. ˆβ DP N is a basis, the recursion (4.4 is equivalent to the following: for any j {,..., 2N } ˆβ DP N Since ( Z ˆβ and any β DP N such that j β, we have 0 if j (4.5 M (N,β = M (N ˆ, ˆβ if j [(j+] [(j+2] M (N if j, where we denote by ˆ = \ j DP N and ˆβ = β \ j DP N. Finally, Proposition 2 states that the recursion (4.5 holds if and only if the matrices M (N are, for any N, the weighted incidence matrices of the parenthesis reversal relation, M = M. The rest follows since the matrix M is, for any N, invertible by Proposition. ˆ, ˆβ 5. Direct construction of conformal block functions by a quantum group method In the preceding section, we expressed the conformal block function U as linear combinations of multiple SLE pure partition functions Z and vice versa, generalizing Fomin s formula [Fom0, KKP7]. These expressions can also be viewed as a construction of the conformal block functions, which however relies on an earlier construction of the multiple SLE pure partition functions and detailed information about the solution space [FK5a, FK5b, FK5c, KP6]. In this section, we provide an alternative, more direct construction of the conformal block functions U based on a quantum group method developed in [KP8]. In analogy with the core underlying idea of conformal blocks as discussed in Section 3, the present construction employs the Dyck path as labeling a sequence of representations of the quantum group U q (sl 2. This quantum group construction furthermore sheds some light on why q-combinatorial formulas for conformal blocks appear in the first place. Generalizations of this construction for conformal blocks in representations of the quantum group U q (sl 2 and in relation to CFT correlation functions are used and studied in [FP8a, FP8b +, FP8c + ]. 5.. The quantum group and its representations. We begin by introducing the needed definitions and notation about the quantum group U q (sl 2 and its representations. For more background, see, e.g., [Kas95] and references therein. Let q = e iπ4/ as before. As a C-algebra, U q (sl 2 is generated by the elements K, K, E, F subject to the relations (5. KK = = K K, KE = q 2 EK, KF = q 2 F K, EF F E = q q ( K K. It has a Hopf algebra structure, with coproduct : U q (sl 2 U q (sl 2 U q (sl 2 given on its generators by (5.2 (E = E K + E, (K = K K, (F = F + K F.

17 7 The coproduct is used to define the action of the Hopf algebra U q (sl 2 on tensor products of representations as follows. If the coproduct of an element X U q (sl 2 reads (X = i X i X i, and if V and V are two representations, then X acts on a tensor v v V V by the formula X.(v v = i X i.v X i.v. Tensor product representations with n tensor components are defined using the (n -fold coproduct ( n. (n = ( id (n 2 ( id (n 3 ( id, (n : U q (sl 2 U q (sl 2 By the coassociativity property (id = ( id the tensor products of representations thus defined are associative, i.e., there is no need to specify the order in which the tensor products are formed. For each d N, the quantum group U q (sl 2 has an irreducible representation M d of dimension d, obtained by suitably q-deforming the d-dimensional irreducible representation of the simple Lie algebra sl 2. Of primary importance to us is the two-dimensional irreducible representation M 2 : it has a basis {e 0, e } on which the generators act by K.e 0 = q e 0, K.e = q e, E.e 0 = 0, E.e = e 0, F.e 0 = e, F.e = 0. A similar explicit definition of the d-dimensional irreducible M d can be found in, e.g., [KP8]. The tensor product of two two-dimensional irreducibles decomposes as a direct sum of subrepresentations, M 2 M 2 = M M 3, where M is a one-dimensional subrepresentation spanned by the vector (5.3 s = q q (e e 0 q e 0 e, and M 3 is a three-dimensional irreducible subrepresentation with basis t + = e 0 e 0, t 0 = q e 0 e + e e 0, t = [2] e e. We denote the projection onto the one-dimensional subrepresentation M M 2 M 2 by π : M 2 M 2 M 2 M 2, π(s = s and π(t + = π(t 0 = π(t = 0. The one-dimensional representation M is trivial in the sense that it is the neutral element for tensor products of representations: for any representation V, we have M V = V = V M, and M can thus simply be identified with the scalars C. Using the identification s C, we denote the projection from M 2 M 2 to M = C by (5.4 ˆπ : M 2 M 2 C, ˆπ(s = and ˆπ(t + = ˆπ(t 0 = ˆπ(t = 0. More generally, we have the q-clebsch-gordan formula (5.5 M d2 M d = Md+d 2 M d+d 2 3 M d d 2 +3 M d d 2 + for the direct sum decomposition of the tensor product of the irreducible representations of dimensions d and d 2, see, e.g. [KP8, Lemma 2.4]. Repeated application of the decomposition (5.5 gives (5.6 M n 2 = d m (n d M d, where the irreducible M d of dimension d appears with multiplicity m (n d, see, e.g. [KP6, Lemma 2.2]. When n = 2N, the trivial subrepresentation { } H (0 2N := v M 2N (5.7 2 E.v = 0, K.v = v

18 8 coincides with the sum of all copies of M, and has dimension equal to a Catalan number dimh (0 2N = m(2n = C N. Finally, in the tensor product M n 2, we denote by π j and ˆπ j the projections π and ˆπ acting on the j:th and (j + :st tensor components counting from the right, i.e., π j := id (n j π id (j : M n 2 M n 2 ˆπ j := id (n j ˆπ id (j : M n 2 M (n Constructing conformal blocks. The purpose of this section is to give a construction of the conformal block functions. Our construction relies on the method introduced in [KP8], called spin chain - Coulomb gas correspondence, which is allows to solve conformal field theory PDEs with given boundary conditions by quantum group calculations. We use the correspondence in the following form, which combines a special case of a more general theorem in [KP8] with additional information available in that special case [KP6]. Proposition 5. Let (0, 8 \ Q and q = e iπ4/. There exist explicit linear isomorphisms F : H (0 2N S N, for all N Z 0, with the following property. Let v H (0 2N, and j {, 2,..., 2N }, and denote ˆv = ˆπ j (v H (0 2(N. Then, for any ξ (x j, x j+2, the function F[v]: X 2N C has the asymptotics where B = Γ( 4/2 Γ(2 8/. F[v](x,..., x 2N lim x j,x j+ ξ (x j+ x j 2h = B F[ˆv](x,..., x j, x j+2,..., x 2N, Proof. Such a map F was constructed in [KP8] and it follows from the explicit expressions of the functions F[v] as Coulomb gas integrals that F[v] S N for all v H (0 2N. That F is injective is proven in [KP6], and comparison of dimensions then shows that F is a linear isomorphism. Finally, the asymptotics property follows immediately from [KP8, Theorem 4.7(ASY]. With the help of the correspondence F of Proposition 5, the task of constructing the conformal block functions is reduced to the task of constructing suitable vectors in the trivial subrepresentation H (0 2N of a tensor product M 2N 2 of two-dimensional irreducible representations of the quantum group. This is achieved in the following proposition, which we prove in the end of this section. Proposition 6. There exists a unique collection of vectors (u DP, with u H (0 2N when DP N, such that u (0 = and the following projection properties hold: 0 if j (5.8 ˆπ j (u = u \ j if j for all j {,..., 2N }. [(j+] [(j+2] u \ j if j Moreover, for any N Z 0, the collection (u DPN is a basis of H (0 2N. Once Proposition 6 is established, the construction is immediate: Theorem B. Let (u DP be the collection of vectors in Proposition 6, and let F : H (0 2N S N be the linear isomorphisms of Proposition 5. Then the functions U := B N F[u ], for DP N, satisfy the defining properties (PDE, (COV, and (U-ASY of conformal block functions.

19 9 Proof. This follows by combining Propositions 6 and Proof of Proposition 6. The rest of this section constitutes the proof of Proposition 6, divided in four parts: uniqueness, construction, linear independence, and verification of projection properties. The uniqueness is routine by considering the corresponding homogeneous problem. The explicit construction of the vectors u is the essence of the proof. In the construction, each Dyck path DP N specifies a sequence of representations of the quantum group, and we recursively assemble the vector u proceeding along this sequence. Linear independence is transparent in the construction. Finally, for the projection properties we just have to inspect a number of cases explicitly Uniqueness. Uniqueness of the collection (u DP of vectors satisfying the projection properties (5.8 follows from arguments exploited in similar contexts in the articles [KP6, Pel6]. The crucial observation is the following lemma about the homogeneous problem. Lemma 7. If a vector v H (0 2N satisfies the property ˆπ( j (v = 0 for all j {,..., 2N }, then v = 0. Proof. See, e.g., [KP6, Corollary 2.5]. As a corollary, the solution space of the recursive projection properties (5.8 is one-dimensional, with initial condition u (0 M 0 2 = C determining the solution. Corollary 8. Let (u DP and (u DP be two collections of vectors u, u H (0 2N projection properties (5.8, and having same initial condition u (0 = u (0. Then we have satisfying the u = u for all DP. Proof. Let N and suppose the condition u β = u β holds for all β DP N. Then, for any DP N, the difference v = u u satisfies ˆπ j (v = 0 for all j {,..., 2N }, so v = 0 by Lemma 7. The assertion follows by induction on N Construction. We now construct the vectors u of Proposition 6 and show that they lie in the correct subspaces H (0 2N. In the intermediate steps of the construction, we encounter vectors in the highest weight vector spaces { } H (s n = v M n (5.9 2 E.v = 0, K.v = q s v. These spaces consist of generators of the M d -isotypic components in the tensor product (5.6 with d = s + : for any non-zero v H (s n, the collection (F k.v s k=0 obtained from v by the action of the generator F spans a subrepresentation isomorphic to M d in M n 2. For each d, the dimension of the linear space (5.9 equals m (n d. When s 0, the spaces (5.9 themselves are not representations of U q(sl 2. For k =, 2,..., 2N, we will first construct vectors u (k H ((k k, which can be thought of as being indexed by the first k steps of the walk. From these vectors we will then construct the vectors u see Equation (5.2 below. Let u (0 (5.0 := C = M 0 2. Define recursively u(k+ M (k+ 2 in terms of u (k M k 2 by { e0 u (k u (k+ if (k + = (k + := ( q q e u (k q(k [(k] e 0 F.u (k if (k + = (k. Lemma 9. For k = 0,,..., 2N, the vectors u (k (5. M k 2 satisfy u (k E.u (k = 0 and K.u (k = q (k u (k. H ((k k, that is, we have

20 20 Proof. We prove the assertion by induction on k relying on a direct calculation. The base case k = 0 is clear. Assuming that the claim holds for u (k, we verify it for u (k+. Recall that the actions of E and K on M 2 M k 2 are given by the coproduct (5.2. We use the identities E.e 0 = 0, E.e = e 0, K.e 0 = q e 0, K.e = q e, E.u (k = 0, K.u (k = q (k u (k. If (k + = (k +, we have u (k+ E.u (k+ K.u (k+ = e 0 u (k = E.e 0 K.u (k = K.e 0 K.u (k If (k + = (k, then we have u (k+ = E.u (k+ = = = q q E.e K.u (k q q q q = q(k q q E.e K.u (k q (k e 0 u (k and we easily calculate +.e 0 E.u (k = 0 = q +(k u (k+ q q ( e u (k q (k E.e0 KF.u (k [(k] q(k Å e 0 u (k [(k] [(k] e 0 u (k = q (k+ u (k+. q(k [(k] e 0 F.u (k +.e E.u (k [(k] e 0 (K K.u (k å q q å q(k [(k] e 0 q(k q (k q q u (k ã where we also used the commutation relation EF F E = q q ( K K from (5.. = 0,, and we similarly get q (k.e 0 EF.u (k å [(k] Finally, using the commutation relation KF = q 2 F K from (5., we get (still with (k + = (k K.u (k+ = q q K.e K.u (k q (k K.e 0 KF.u (k å [(k] This concludes the proof. = q q = q (k u (k+ q +(k e u (k = q (k+ u (k+. q 2+2(k e 0 F.u (k [(k] The vectors u corresponding to the conformal block functions U are obtained by taking the last of the recursively defined vectors above, u (2N, and normalizing it appropriately. Specifically, for DP N, we set ( u := [2] N c u (2N ( (5.2, where c := [(i + ]. [(i + ] i We finish this subsection by noting that these vectors indeed belong to the trivial subrepresentation (5.7. Corollary 0. We have u H (0 2N for all DP N. Proof. This follows immediately from the properties (5. of u (k with k = 2N Linear independence. We now quickly verify the linear independence of the vectors u constructed in (5.0 and (5.2. Since we have dimh (0 2N = C N = #DP N, linear independence also implies that the collection (u DPN is a basis of H (0 2N. i By the recursive construction (5.0, the first k steps of determine a vector u (k å M k 2. Inductively on k, it is clear that all different initial segments of k steps define linearly independent vectors. The linear independence of (u DPN follows from the case k = 2N.