arxiv: v2 [hep-th] 4 Aug 2013

Transcription

1 Coset construction of logarithmic minimal models: branching rules and branching functions Paul A. Pearce and Jørgen Rasmussen Department of Mathematics and Statistics, University of Melbourne Parkville, Victoria 3010, Australia arxiv: v2 [hep-th] 4 Aug 2013 School of Mathematics and Physics, University of Queensland St Lucia, Brisbane, Queensland 4072, Australia p.pearce@ ms.unimelb.edu.au Abstract j.rasmussen@ uq.edu.au Working in the Virasoro picture, it is argued that the logarithmic minimal models LM(p,p ) = LM(p,p ;1)canbeextendedtoaninfinitehierarchyoflogarithmicconformalfieldtheoriesLM(p,p ;n) at higher fusion levels n N. From the lattice, these theories are constructed by fusing together n n elementary faces of the appropriate LM(p,p ) models. It is further argued that all of these logarithmic theories are realized as diagonal cosets (A (1) 1 ) k (A (1) 1 ) n/(a (1) 1 ) k+n where n is the integer fusion level and k = np p p 2 is a fractional level. These cosets mirror the cosets of the higher fusion level minimal models of the form M(M,M ;n), but are associated with certain reducible representations. We present explicit branching rules for characters in the form of multiplication formulas arising in the logarithmic limit of the usual Goddard-Kent-Olive coset construction of the non-unitary minimal models M(M,M ;n). The limiting branching functions play the role of Kac characters for the LM(p,p ;n) theories. Contents 1 Introduction 2 2 Coset construction Admissible affine characters Rational branching rules for minimal su(2) coset models Logarithmic limit Kac characters Affine Kac characters Logarithmic branching rules and branching functions Conclusion 11 1

2 1 Introduction Logarithmic conformal field theories (CFTs) [1, 2] are relevant in describing a variety of physical systems with nonlocal degrees of freedom. Arguably, the simplest and most studied logarithmic CFTs are logarithmic extensions [3 5] of the minimal models M(M,M ) [6]. These logarithmic theories came into sharper focus as a result of their realization as a family of exactly solvable lattice models LM(p,p ) [7]. For the minimal models, M,M must satisfy gcd(m,m ) = 1 with 2 M < M whereas these constraints are relaxed to gcd(p,p ) = 1 with 1 p < p for the logarithmic counterparts. The first two members of the LM(p,p ) family are critical dense polymers LM(1,2) and critical percolation LM(2,3). Many of the properties of the logarithmic minimal models LM(p,p ) mirror the properties of minimal models M(M,M ). It is well known that the rational minimal models M(M,M ) = M(M,M ;1) admit a generalization[8 10]M(M,M ;n)tohigherintegerfusionlevels n > 1withgcd(M, M M n ) = 1and2 M < M. From within CFT, these theories are realized as su(2) cosets via the construction of Goddard-Kent- Olive (GKO) [11,12]. From the lattice, the exactly solvable models associated with these rational CFTs are constructed by fusing together n n elementary faces of the RSOS models [13,14]. In this paper, we introduce generalizations LM(p,p ;n) of the logarithmic minimal models LM(p,p ) = LM(p,p ;1) to higher integer fusion levels n > 1 with gcd(p, p p n ) = 1 and 1 p < p. In analogy to the rational case, these new exactly solvable models are constructed on the lattice by fusing together n n elementary faces of appropriate LM(p,p ) models. For n = 2, this yields the family of logarithmic superconformal minimal models [15] LSM(p,p ) = LM(p,p ;2) which includes superconformal polymers LSM(1,3) and superconformal percolation LSM(2,4) as its first members. The general LM(p,p ;n) CFTs are expected to be logarithmic in the sense that they admit indecomposable representations of rank greater than 1. This is known for the case n = 1 and will be established for n = 2 in [15]. Perhaps more importantly, this paper initiates a study of the coset construction of the logarithmic su(2) coset models LM(p,p ;n) in the Virasoro picture 1. Coset constructions use knowledge of affine current algebra building blocks to gain insight into large families of CFTs. Due to the broad applicability of these constructions, they have been studied extensively [17 32] and used in various classification schemes of rational CFTs [33 35] placing due emphasis on the Lie algebraic building blocks. In particular, while the Kac determinant [36, 37] gives necessary conditions for a minimal model representation to be unitary [38], the existence of these representations was provided by coset constructions [12]. A myriad of coset constructions exist, but here we only consider diagonal cosets of the form COSET(k, n) : (A (1) 1 ) k (A (1) (A (1) 1 ) k+n 1 ) n, k = ˆpˆp 2, gcd(ˆp, ˆp ) = 1, n,ˆp, ˆp N (1.1) where N denotes the set of positive integers and the subscripts on the affine su(2) current algebra A (1) 1 denote the respective levels k, n and k+n. We assume that the fusion level n is a positive integer and that k is a fractional level with k > 2. The level k is called admissible if ˆp 2, but in the logarithmic setting we move beyond admissible levels and allow ˆp = 1. An integral part of the coset construction (1.1) is the set of branching rules determining the decompositions of products of affine characters back into affine characters. The coefficients in these decompositions are called branching functions. They are characters of the coset model. Although the branching functions are properly associated with CFT and critical lattice models, it is of interest to observe that they also appear in the study of off-critical lattice models (up to their leading powers of q) as the one-dimensional configurational sums in Baxter s 1 We use the term Virasoro picture to indicate that the conformal symmetry algebra is just the Virasoro algebra. Similarly, we refer to the W-extended picture when the conformal symmetry algebra is enlarged to the W p,p algebra of [16]. 2

3 corner transfer matrix method. This is true for both off-critical rational minimal models [9, 10] and off-critical logarithmic models [39]. By considering admissible representations [40, 41] of the affine current algebras, the construction (1.1) gives rise to the infinite family of minimal su(2) coset models [42,43] ( nm ) ( M(M,M ;n) COSET M M 2,n, gcd M, M M n ) = 1, 2 M < M, n,m,m N (1.2) The usual minimal models M(M,M ) = M(M,M ;1) correspond to n = 1 while the superconformal minimal models SM(M,M ) = M(M,M ;2) are given by n = 2. To obtain the logarithmic branching rules and branching functions of LM(p,p ;n), we apply a logarithmic limit to the GKO coset (1.1) of the minimal su(2) coset models M(M,M ;n). Formally, this general procedure is described by LM(p,p ;n) = lim M(M,M ;n), gcd(p,p ) = 1, 1 p < p, p,p N (1.3) M,M M/M p/p where the limit is taken through a sequence of M,M values satisfying ( gcd M, M M n ) = 1, 2 M < M, M,M N (1.4) This limiting procedure was developed [44, 45] as a means to describe and analyze non-rational logarithmic CFTs using knowledge of a suitable infinite series of rational CFTs. The logarithmic limit has been successfully applied to gain insight into the LM(p,p ;1) models at criticality [44,45] and to construct off-critical loagrithmic minimal models [39]. In particular, as recalled in Section 3.1, the infinite family of Kac characters of LM(p,p ;1) arise as limits of non-unitary minimal Virasoro characters. The logarithmic limit has also been used to compute correlation functions and anomalies in gravity duals to logarithmic CFTs [46, 47]. There are some subtleties [44, 45] regarding the emergence of Jordan-block structures and indecomposability properties of the representations in the logarithimic limit. Nevertheless, it appears that the logarithmic limit is robust and independent of the choice of the sequence of M,M values (1.4) when its application is restricted to the spectra of chiral theories as in this paper. The logarithmic limit may require modification to apply to bulk theories on a torus. In this paper, we focus on the branching rules and branching functions arising from the coset construction (1.2) in the logarithmic limit (1.3). In a forthcoming paper [48], we adopt a constructive approach by interpreting the logarithmic limit as a coset of the form (1.1) in its own right ( np ) ( LM(p,p ;n) COSET p p 2,n, gcd p, p p ) = 1, 1 p < p, n,p,p N (1.5) n but based primarily on reducible representations of the affine current algebras. Specifically, we have in mind the affine Kac characters (3.10). We refer to them as affine Kac characters since, for n = 1, they are reminiscent of the Kac characters of the models LM(p,p ;1). In the corresponding branching rules, the Kac characters of the coset theory appear as branching functions. Alternatively, in the W-extended picture, the LM(p,p ) models can be viewed [16] with an extended W p,p chiral symmetry algebra instead of just thevirasoro algebra. From thelattice perspective, the corresponding W-extended CFTs WLM(p,p ) are described [49 51] by the same LM(p,p ) lattice models but with a special class of restricted boundary conditions which, in the continuum scaling limit, respect the W-extended symmetry. Construction of other cosets of logarithmic CFTs with W- symmetry first appeared in [52,53], whereas the first hints of the existence of a W diagonal coset 3

4 construction of the WLM(p,p ) models, of an analogous form to (1.1), appeared in [54]. Specifically, it was found that the Grothendieck ring associated with W-projective representations leads to a Verlindelike formula involving coset graphs A (2) p A (2) p /Z 2 based on twisted affine Dynkin diagrams, and that modular invariants of the models are encoded by the same coset graphs. Concrete coset constructions of the logarithmic minimal models, however, have remained elusive. The layout of this paper is as follows. In Section 2, we recall the rational GKO construction of the minimal su(2) coset models M(M,M ;n) using admissible representations and review the corresponding branching rules and branching functions. In Section 3, we take the logarithmic limit of the minimal branching rules. The ensuing logarithmic branching functions are identified as (Virasoro) Kac characters of the logarithmic LM(p,p ;n) models. Section 4 contains some concluding remarks. 2 Coset construction Let h denote an affine current subalgebra of the affine current algebra g, and let L h n and Lg n denote the generators of the corresponding Segal-Sugawara constructions of central charge c g and c h, respectively. In the seminal papers [11,12] by Goddard, Kent and Olive, it was found that generate a Virasoro algebra of central charge L g/h n := L g n Lh n, n Z (2.1) c g/h = c g c h (2.2) and that this GKO coset Virasoro algebra commutes with the Virasoro algebra generated by L h n, that is, [L g/h n,l h m] = 0, n,m Z (2.3) More generally, one has In a decomposition of a g-module M g λ in terms of h-modules Mh µ [L g/h n,j a m] = 0, J a m h (2.4) M g λ µ B µ λ Mh µ (2.5) it is therefore natural to interpret B µ λ as a module over the coset Virasoro algebra generated by Lg/h n. At the level of characters, one thus has the branching rules χ[m g λ ](q,z) = µ χ[b µ λ ](q) χ[m h µ](q,z) (2.6) where the branching functions χ[b µ λ ](q) are interpreted as Virasoro characters of the coset conformal field theory described by g/h. Certain linear combinations of these branching functions may subsequently form extended characters, such as superconformal characters, in the coset model. Here we are interested in the coset construction (1.1) where h = (A (1) 1 ) k+n is the diagonal subalgebra of g = (A (1) 1 ) k (A (1) 1 ) n. The central charge of the coset Virasoro algebra is thus given by c = c k +c n c k+n = 3kn(k +n+4) (k +2)(n+2)(k +n+2) (2.7) 4

5 where the central charge of the affine current algebra (A (1) 1 ) k is given by c k = 3k k +2 A primary objective of this work is to examine the branching rules and branching functions based on certain classes of (A (1) 1 ) k and (A (1) 1 ) n characters for n, ˆp, ˆp N, where the fractional level is k = ˆpˆp 2. Hence, we are not concerned with so-called field identifications [55 58], for example, which are applied when a branching function occurs in more than one branching rule in a given coset construction. 2.1 Admissible affine characters The character of an (A (1) 1 ) k module L is defined by (2.8) χ[l](q,z) := Tr L q L 0 c k 24 z J3 0 (2.9) where L 0 and J0 3 are zero modes of the affine current algebra (A(1) 1 ) k and the modular nome q satisfies q < 1. To describe such characters, we introduce the standard Jacobi-Riemann theta functions ϑ n,m (q,z) := q ml2 z ml, n Z, m N (2.10) l Z+ n 2m In this paper, we are interested in the affine current algebra (A (1) 1 ) k at fractional (or integer) level and will focus on the cases for which the shifted level is positive. From (1.1), we thus have the parameterization t := k+2 > 0 (2.11) t = ˆpˆp, gcd(ˆp, ˆp ) = 1, ˆp, ˆp N (2.12) where the notation ˆp, ˆp is used to distinguish these parameters from the ones in LM(p,p ). Such a level is said to be admissible if ˆp 2 (2.13) in which case the associated weights j r,s of the form 2j r,s +1 = r st, 1 r ˆp 1, 0 s ˆp 1 (2.14) are called admissible weights. In most applications, one works with the corresponding irreducible highest-weight representations, also known as admissible representations [40, 41]. Their characters are called admissible characters and are given by ĉhˆp,ˆp r,s (q,z) = ϑ 1 λ + (q,z r,s,ˆpˆp ˆp ) ϑ λ r,s,ˆpˆp (q,z 1ˆp ), λ ± r,s η(q, z) = ±rˆp ˆps 1 = qˆpˆp (l+ λ + r,s 2ˆpˆp ) 2 zˆp(l+λ+ r,s 2ˆpˆp ) ( (2.15) 1 q r(2lˆp s) z r) η(q, z) where the affine Dedekind eta function η(q,z) is defined by η(q,z) := q 1 8z 1 2 l Z (1 q n z)(1 q n 1 z 1 )(1 q n ) = ϑ 1,2 (q,z) ϑ 1,2 (q,z) (2.16) n=1 5

6 In the coset expression (1.1), one of the constituent current algebras has the integer level n, in which case the admissible characters can be written as ĉh n+2,1 ρ,0 (q,z) = 1 q (n+2)(l+ ρ 2(n+2) )2 z 2( (n+2)l+ρ 1 q 2lρ z ρ), ρ = 1,2,...,n+1 (2.17) η(q, z) l Z For n = 1, in particular, there are two such characters, and they admit the simplifications ĉh 3,1 ρ,0(q,z) = ϑ ρ,3(q,z) ϑ ρ,3 (q,z) = ϑ ρ 1,1(q,z) = 1 η(q, z) η(q) η(q) l Z+ ρ 1 2 q l2 z l, ρ = 1,2 (2.18) where the usual Dedekind eta function η(q) is defined in terms of the Euler product (q) by η(q) := q 1 24 (q), (q) := 2.2 Rational branching rules for minimal su(2) coset models (1 q j ) (2.19) Here we recall the coset construction of the minimal su(2) coset models (1.2) and the structure of the corresponding rational branching rules and branching functions [42,43]. The cosets are of the form(1.1) and based on admissible characters of the three affine current algebras (A (1) 1 ) k, (A (1) 1 ) n and (A (1) 1 ) k+n. Recalling the parameterization k+2 = ˆpˆp, the minimal su(2) coset model (1.2) given by the coset construction (1.1) is M(M,M ;n), M = ˆp, M = ˆp+nˆp (2.20) Its central charge is given by j=1 c M,M ;n = 3n (1 2(n+2)(M M ) 2 ) n+2 n 2 MM (2.21) Since the underlying affine characters are admissible, it follows that (2.20) implies the familiar constraints gcd ( M, M M) = 1, 2 M < M (2.22) n The rational branching functions of the minimal su(2) coset models are expressible in terms of the string functions [59 63] of Z n parafermions with central charge c = 2n 2 n+2. For the fundamental domain these string functions are given by 0 m l n, l m 2Z, m,l = 0,1,...,n, n N (2.23) c l m(q) = q 1 2n 2 24 n+2 + l(l+2) 4(n+2) m2 4n (q) 3 ( 1) i+j q ij(n+1)+1 2 i(i+1)+1 2 j(j+1) i,j=0 [ q i 2 (l+m)+j 2 (l m) q n l+1+ i 2 (2n+2 l m)+j 2 (2n+2 l+m)] (2.24) where the dependence on n has been suppressed. The notation for the string functions should not be confused with the notation for the central charges. The fundamental domain (2.23) of definition of the string functions is extended to the domain l = 0,1,...,n, m Z, n N (2.25) 6

7 by setting c l m(q) = 0 for l m / 2Z and using the symmetries c l m (q) = cl m (q) = cn l n m (q) = cl m+2n (q) (2.26) so that c l m (q) is even and periodic in m with period 2n. In terms of string functions, the minimal branching functions are given by [42, 43] where b M,M ;n r,s;l ;n (q) = q M,M r,s cm,m ;n + n (n+2) [ 0 m n/2 m=l/2 mod 1 c l 2m(q) j Z m r s (j)=±m mod n q j n (jmm +rm sm) j Z m r+s (j)=±m mod n ] q 1 n (jm +s)(jm+r) (2.27) M,M ;n r,s = (rm sm) 2 (M M) 2 4nMM, 1 r M 1, 1 s M 1 (2.28) r,s and l are bounded as in (2.28) and (2.25), respectively, and m a (j) := a/2+jm (2.29) Thefirstsumin(2.27)runsoverintegersmiflisevenandhalfoddintegersmiflisodd. Therestriction in the sum over j indicates that the sum is only over those values of j for which m a (j) = ±m mod n. Thelasttermintheleadingpowerofq in(2.27)isassociated withthecentral chargeofz n parafermions. The branching functions b M,M ;n r,s;l (q) and their associated conformal weights M,M ;n r,s;l are restricted to the checkerboard r+s = l mod 2, l = 0,1,...,n (2.30) We have not been able to find general expressions for the minimal coset conformal weights of these branching functions in the literature. However, an analysis of (2.27) yields the explicit formula M,M ;n r,s,l = M,M ;n r,s + l;n r s +Max[1 2 2( (l+2 r s),0]+max[1 l +2 (M r) (M s) ),0] (2.31) where, setting m = m mod 2n, l;n m = Max[ (m,l,n), (2n m,l,n), (n m,n l,n)], (m,l,n) = l(l+2) 4(n+2) m2 4n (2.32) is the conformal weight of the string function c l m (q) folded into the fundamental domain (2.23) and l = { l, M M n M n l, M n even odd (2.33) The third term on the right side of (2.31) arises when there is cancellation in the leading power of q between the two sums in square brackets in (2.27). This term only gives a nonzero contribution for r +s l n. The fourth term is the counterpart of the third term under the Kac table symmetry. It only contributes for r + s M + M l M + M n. The conformal weights (2.31) are thus conveniently organized into n + 1 layered Kac tables each displaying the checkerboard pattern (2.30) and satisfying the Kac table symmetry M,M ;n r,s;l = M,M ;n M r,m s;l (2.34) 7

8 For n = 1, the two checkerboards can be combined to form the usual single layer Kac table with the usual Kac table symmetry. In this case, only the first of the four terms in (2.31) survives. The branching functions (2.27) satisfy [42, 43] the minimal branching rules ĉhˆp,ˆp ch n+2,1 r,s (q,z) ρ,0 (q,z) = ˆp+nˆp 1 σ = 1 σ = r+l mod 2 b ˆp,ˆp+nˆp ;n r,σ;l (q)ĉhˆp+nˆp,ˆp σ,s (q, z) (2.35) relating admissible characters of the affine current algebras (A (1) 1 ) k, (A (1) 1 ) n and (A (1) 1 ) k+n where { n+1 ρ, s odd l = (2.36) ρ 1, s even 3 Logarithmic limit Logarithmic limits of rational CFTs were developed in [44, 45] as a means to describe and analyze logarithmic CFTs. In this way, the Kac characters of the logarithmic minimal models arise as limits of minimal Virasoro characters. Here we apply the limiting procedure to the branching rules and branching functions of the GKO construction discussed in Section 2.2. Before discussing the logarithmic limit of affine characters in Section 3.2, we recall in Section 3.1 how the Kac characters of the logarithmic minimal model LM(p,p ) are obtained by taking the appropriate logarithmic limit of irreducible minimal Virasoro characters. 3.1 Kac characters The irreducible characters associated with the rational Kac table of the minimal model M(M,M ) are given by where r,s (q) = ϑ Λ + (q) ϑ r,s,mm Λ r,s,mm (q), Λ ± r,s η(q) = ±rm Ms M,M ;1 + M,M ;1 24 r,s [ q k(kmm +rm sm) q (km+r)(km +s) ] (3.1) ch M,M = q c (q) k= 1 r M 1, 1 s M 1 (3.2) and where the specialized Jacobi-Riemann theta functions are defined as ϑ n,m (q) := ϑ n,m (q,1) = q ml2, n,m Z (3.3) Using the fact that q < 1, it follows that l Z+ n 2m where the limit is taken through a sequence as in (1.4) and where lim ch M,M M,M r,s (q) = χ p,p r,s (q) (3.4) M/M p/p p,p r,s (q) = q r,s cp,p 24 (1 q rs ) (q) χ p,p c p,p = 1 6(p p ) 2 pp, p,p r,s = (rp ps) 2 (p p) 2 4pp, r,s N 8 (3.5)

9 These formulas for the logarithmic central charge and conformal weights are exactly as in the minimal formulas (2.21) and (2.28), for n = 1, but with an extended range for r,s. The character χ p,p r,s (q) is recognized as a Kac character [7] of the logarithmic minimal model LM(p,p ) and is the character of a so-called Kac module [64, 65]. These characters are associated with an infinitely extended Kac table as the Kac labels r and s are unbounded from above. 3.2 Affine Kac characters For constants x 1 and x 2, we note the simple limit formula lim n,m,n ϑ n,m(q,z 1 n ) = lim n,m,n l Z q ml2 +nl+ n2 4m z ml n + n 2n = q x 1 z x 2 (3.6) where the limit is taken such that lim n,m n 2 4m = x 1, n lim n,n 2n = x 2 (3.7) It follows that the logarithmic limit of the admissible characters (2.15) is given by ˆρ,ˆρ lim ĉh ˆρ,ˆρ ˆρ/ˆρ ˆp/ˆp r,s(q,z) = χ ˆp,ˆp r,s (q, z) (3.8) where the limit is subject to The resulting character gcd(ˆp, ˆp ) = 1, ˆp, ˆp N (3.9) χ ˆp,ˆp r,s c k qhr,s z jr,s+1 2 ( (q,z) = 1 q rs z r), r,s N (3.10) η(q, z) is expressed here in terms of the central charge (2.8) and weights j r,s and h r,s given by 2j r,s +1 = r st, h r,s = (r st)2 1, t = k+2 = ˆpˆp 4t (3.11) We shall refer to these characters as affine Kac characters, and it is stressed that the corresponding affine Kac labels r and s are unbounded from above. This is in stark contrast to the situation for the labels of admissible weights (2.14), but similar to the labelling of the Kac characters in (3.5). A detailed discussion of these characters and the underlying affine Kac modules will appear in [48]. 3.3 Logarithmic branching rules and branching functions A key result of this work is the determination of the logarithmic branching functions arising in the logarithmic limit of the minimal branching rules (2.35). The corresponding central charges are c p,p ;n = 3n (1 2(n+2)(p p) 2 ) n+2 n 2 pp = 3n n+2 6(p p) 2 npp, 1 p < p (3.12) where the integers n,p,p parameterize the logarithmic coset construction as in (1.5). Curiously, we observe that for each n there is exactly one logarithmic coset model with c = 0 LM(2,n+2;n) : c 2,n+2;n = 0, n N (3.13) 9

10 The first two members of this infinite sequence are critical percolation LM(2, 3; 1) and superconformal percolation LM(2, 4; 2) [15]. The logarithmic branching functions are obtained by taking the logarithmic limit of (2.27) directly, subject to (1.4), χ p,p ;n r,s;l (q) = lim b M,M ;n M,M r,s;l M/M p/p ;n = q p,p r,s cp,p ;n 24 [ ;n (q) = q p,p r,s cp,p ;n + n (n+2) + n 1 [ 12(n+2) c l r s (q) q rs 0 m n/2 m=l/2 mod 1 m=±(r s)/2 mod n c l 2m(q) 0 m n/2 m=l/2 mod 1 m=±(r+s)/2 mod n ] q rs n c l 2m (q) (3.14) n c l r+s (q) ], r +s = l mod 2, r,s N, 0 l n By definition of the string functions, these branching functions vanish if r +s+l is odd. Explicitly, taking the logarithmic limit of (2.31), or by an analysis of (3.14), the logarithmic coset conformal weights are given by p,p ;n r,s;l = p,p ;n r,s + l;n r s +Max[1 2 (l+2 r s),0], r +s = l mod 2, r,s = 1,2,... (3.15) The first term on the right side is given by (2.28) with the range of the replaced arguments p,p extended as in (1.5) while the Kac labels r,s N become unbounded. The second term is given by (2.32). The third term only gives a nonzero contribution for r+s l n. These conformal weights are thus organized into n + 1 layered and infinitely extended Kac tables each displaying the checkerboard pattern (2.30). In accord with the fact that these theories are non-unitary, the minimal conformal weight is p,p ;n min = p,p ;n np,np ;0, p p even p,p ;n np,np ;n, p p odd = p,p ;n np,np = (p p) 2 4npp < 0 (3.16) It follows that the effective central charge is independent of p,p and given by the central charge of the affine current algebra (A (1) 1 ) n c p,p ;n eff = c p,p ;n 24 p,p ;n min = 3n n+2 = c n (3.17) As discussed in [35], for example, for small n, the string functions appearing in the branching functions can alternatively be written in terms of more familiar Virasoro minimal characters. For n = 1, there is only one independent string function c 0 0 (q) = c1 1 (q) = 1 (q) (3.18) It readily follows that the logarithmic branching functions (3.14) can be identified with the Kac characters (3.5), that is, (q) = χ p,p (q), l = r+s mod 2 (3.19) χ p,p ;n=1 r,s;l r,s since l is uniquely determined. For n = 2, there are three independent string functions which are related to the three irreducible Virasoro characters ch (q), {0, 1 16, 1 2 }, of the rational Ising model with central charge c = c 3,4;1 = 1 2 by c 0 0(q) = c 2 2(q) = ch 0(q), c 1 (q) 1(q) = ch 1 (q) 16, c 2 (q) 0(q) = ch1 (q) 2 (3.20) (q) 10

11 The simplified expressions for the logarithmic branching functions that follow will be discussed in [15, 48]. For n = 3, the four independent string functions are related to irreducible Virasoro characters of the rational 3-state Potts model with central charge c = c 5,6;1 = 4 5 by c 0 0(q) = ch 0(q)+ch 3 (q), c 1 (q) 1(q) = ch 1 (q) 15, c 2 (q) 0(q) = ch2 (q)+ch7(q) 5 5, c 3 (q) 1(q) = ch2 (q) 3 (3.21) (q) Simplifications of the logarithmic branching functions for n = 3 likewise follow from these expressions. Finally, the logarithmic limit of the minimal branching rules (2.35) follows from lim ĉhˆρ,ˆρ ˆρ,ˆρ r,s (q,z)ĉhn+2,1 ˆρ/ˆρ ˆp/ˆp ρ,0 (q, z) = lim and yields the logarithmic branching rules χ ˆp,ˆp ch n+2,1 r,s (q,z) ρ,0 (q,z) = ˆρ,ˆρ ˆρ/ˆρ ˆp/ˆp ˆρ+nˆρ 1 σ = 1 σ = r+l mod 2 σ N σ = r+l mod 2 b ˆρ,ˆρ+nˆρ ;n r,σ;l (q)ĉhˆρ+nˆρ,ˆρ σ,s (q, z) (3.22) χ ˆp,ˆp+nˆp ;n r,σ;l (q) χ ˆp+nˆp,ˆp σ,s (q, z) (3.23) In [48], we present an independent algebraic analysis of the multiplication formula (3.23) from a constructive approach using representation theory. 4 Conclusion In this paper, we have generalized the logarithmic minimal models LM(p,p ) = LM(p,p ;1) [7] to the higher fusion level logarithmic minimal models LM(p,p ;n) with n N. From the lattice [15], these new models are constructed by fusing together n n blocks of the elementary face weights of appropriate LM(p,p ) models. The associated CFTs are expected to be logarithmic in the sense that they admit indecomposable representations of rank greater than 1. We argue that the complete family of associated logarithmic CFTs LM(p,p ;n) can be realized by a Virasoro coset construction (1.5) in analogy tothefractional level su(2) coset construction [11,12,42] of theminimal models M(p,p ;n). By applying a logarithmic limit [44, 45] to the known minimal branching rules, we obtain explicit formulas for the logarithmic branching rules (3.23) expressing the decomposition of the relevant affine characters. The logarithmic branching functions χ p,p ;n r,s;l (q), which appear as coefficients in these branching rules and are given explicitly by (3.14), play the role of Kac characters [7,64,65] for the logarithmic su(2) coset theories. Our results constitute the first logarithmic coset construction in the Virasoro picture, without resource to a W-symmetry. Algebraic proofs of some of the ensuing character relations will be presented in [48]. There we also discuss the structure of the affine Kac modules associated with the affine Kac characters. A further analysis of the representation theory of the logarithmic coset models will rely on the detailed representation theory of affine current algebras at fractional level including the Jordan-block structures of higher-rank indecomposable representations [66 68], see also [69 71]. We stress that our logarithmic coset construction and logarithmic branching functions are completely general applying to the LM(p,p ;n) models for all integer fusion levels n N and all fractional levels k = np p p 2 with gcd(p, p p n ) = 1, 1 p < p and p,p N. The su(2) coset realization of these theories takes us some way towards fitting logarithmic theories [72] into the usual Lie algebraic classification schemes that are applied to rational theories. This paper opens several avenues for further research. Since they represent building blocks, it would be of interest to systematically study the affine logarithmic models associated with (A (1) 1 ) k 11

12 directly from the lattice. Clearly, it is of interest to extend the coset construction of the logarithmic su(2) models to the W-extended picture and to obtain in this way general expressions for the W branching functions. Without employing coset constructions, extensions of fractional-level su(2) current algebras to logarithmic W-algebra structures have recently been obtained in [73]. Since fractional levels play a key role, a related question is to see if a logarithmic coset construction makes sense when both n and k are fractional levels. Coset constructions of rational models with W-extended symmetries based on higher-rank su(n) Lie algebras with N > 2 were studied in [33,74,75]. It would also be worthwhile to see if similar coset constructions exist for logarithmic theories based [76] on higher-rank su(n) Lie algebras. While completing the writing up of the present work, the preprint [77] appeared in which a different logarithmic coset construction is studied. It pertains to n = 1 and p = 1 and details of the corresponding branching functions are provided for (p,p ) = (1,2) and (1,3) only, but unlike the present work, it also considers certain W-extensions. It is not immediately clear if the construction in [77] is related to ours. Acknowledgments JR is supported by the Australian Research Council (ARC) under the ARC Future Fellowship scheme, project number FT We thank Changrim Ahn for helpful discussions on fractional level branching rules and Alexi Morin-Duchesne for reading and commenting on the manuscript. References [1] L. Rozansky, H. Saleur, Quantum field theory for the multivariable Alexander-Conway polynomial, Nucl. Phys. B376 (1992) [2] V. Gurarie, Logarithmic operators in conformal field theory, Nucl. Phys. B410 (1993) , arxiv:hep-th/ [3] M. Flohr, On modular invariant partition functions of conformal field theories with logarithmic operators, Int. J. Mod. Phys. A11 (1996) , arxiv:hep-th/ [4] M.R. Gaberdiel, H.G. Kausch, A rational logarithmic conformal field theory, Phys. Lett. B386 (1996) , arxiv:hep-th/ [5] M. Flohr, On fusion rules in logarithmic conformal field theories, Int. J. Mod. Phys. A12 (1997) , arxiv:hep-th/ [6] A.A. Belavin, A.M. Polyakov, A.B. Zamolodchikov, Infinite conformal symmetry in twodimensional quantum field theory, Nucl. Phys. B241 (1984) [7] P.A. Pearce, J. Rasmussen, J.-B. Zuber, Logarithmic minimal models, J. Stat. Mech. (2006) P11017, arxiv:hep-th/ [8] E. Date, M. Jimbo, T. Miwa, M. Okado, Fusion of the eight vertex SOS model, Lett. Math. Phys. 12 (1986) [9] E. Date, M. Jimbo, T. Miwa, M. Okado, Automorphic properties of local height probabilities for integrable solid-on-solid models, Phys. Rev. B35 (1987)

13 [10] E. Date, M. Jimbo, A. Kuniba, T. Miwa, M. Okado, Exactly solvable SOS models: local height probabilities and theta functions identities, Nucl. Phys. B290 (1987) [11] P. Goddard, A. Kent, D. Olive, Virasoro algebras and coset space models, Phys. Lett. B152 (1985) [12] P. Goddard, A. Kent, D. Olive, Unitary representations of the Virasoro and super-virasoro algebras, Commun. Math. Phys. 103 (1986) [13] G.E. Andrews, R.J. Baxter, P.J. Forrester, Eight-vertex SOS model and generalized Rogers- Ramanujan-type identities, J. Stat. Phys. 35 (1984) [14] P.J. Forrester, R.J. Baxter, Further exact solutions of the eight-vertex SOS model and generalizations of the Rogers-Ramanujan identities, J. Stat. Phys. 38 (1985) [15] P.A. Pearce, J. Rasmussen, E. Tartaglia, Logarithmic superconformal minimal models, in preparation (2013). [16] B.L. Feigin, A.M. Geinutdinov, A.M. Semikhatov, I.Yu. Tipunin, Logarithmic extensions of minimal models: characters and modular transformations, Nucl. Phys. B757 (2006) , arxiv:hep-th/ [17] P. Bowcock, P. Goddard, Virasoro algebras with central charge c < 1, Nucl. Phys. B285 (1987) [18] K. Gawedzki, A. Kupiainen, G/H conformal field theory from gauged WZW model, Phys. Lett. B215 (1988) [19] S. Mukhi, S. Panda, Fractional-level current algebras and the classification of characters, Nucl. Phys. B338 (1990) [20] P. Mathieu, M.A. Walton, Fractional-level Kac-Moody algebras and nonunitary coset conformal theories, Prog. Theor. Phys. Suppl. 102 (1990) [21] P. Bouwknegt, J. McCarthy, K. Pilch, On the free field resolutions for coset conformal field theories, Nucl. Phys. B352 (1991) [22] P. Mathieu, D. Sénéchal, M. Walton, Field identification in non-unitary diagonal cosets, Int. J. Mod. Phys. 7 Suppl. 1B (1992) , arxiv:hep-th/ [23] D. Dunbar, K.G. Joshi, Characters for coset conformal field theories and maverick examples, Int. J. Mod. Phys. A8 (1993) , arxiv:hep-th/ [24] T. Gannon, M.A. Walton, On the classification of diagonal coset modular invariants, Commun. Math. Phys. 173 (1995) , arxiv:hep-th/ [25] S. Hwang, H. Rhedin, General branching functions of affine Lie algebras, Mod Phys. Lett. A10 (1995) , arxiv:hep-th/ [26] A. Schilling, Polynomial fermionic forms for the branching functions of the rational coset conformal field theories ŝu(2) M ŝu(2) N /ŝu(2) M+N, Nucl. Phys. B459 (1996) , arxiv:hepth/

14 [27] P. Mathieu, J. Rasmussen, M.A. Walton, Fusion in coset CFT from admissible singular-vector decoupling, Nucl. Phys. B595 (2001) , arxiv:hep-th/ [28] S. Fredenhagen, V. Schomerus, D-branes in coset models, JHEP 0202 (2002) 005, arxiv:hepth/ [29] H. Ishikawa, Boundary states in coset conformal field theories, Nucl. Phys. B629 (2002) , arxiv:hep-th/ [30] J. Fröhlich, J. Fuchs, I. Runkel, C, Schweigert, Algebras in tensor categories and coset conformal field theories, Fortsch. Phys. 52 (2004) , arxiv:hep-th/ [31] M.R. Gaberdiel, R. Gopakumar, An AdS 3 dual for minimal model CFTs, Phys. Rev. D83 (2011) , arxiv: [hep-th]. [32] C. Ahn, The large N t Hooft limit of coset minimal models, JHEP 1110 (2011) 125, arxiv: [hep-th]. [33] P. Bouwknegt, K. Schoutens, W symmetry in conformal field theory, Phys. Rep. 223 (1993) , arxiv:hep-th/ [34] R. Blumenhagen, W. Eholzer, A. Honecker, K. Hornfeck, R. Hübel, Coset realisation of unifying W-algebras, Int. J. Mod. Phys. A10 (1995) , arxiv:hep-th/ [35] P. Di Francesco, P. Mathieu, D. Sénéchal, Conformal Field Theory, Springer (1996). [36] V.G. Kac, Contravariant form for infinite-dimensional Lie algebras and superalgebras, Lect. Notes in Phys. 94 (1979) [37] B.L. Feigin, D.B. Fuchs, Verma modules over the Virasoro algebra, Lect. Notes in Math (1984) [38] D. Friedan, Z. Qiu, S. Shenker, Conformal invariance, unitarity, and critical exponents in two dimensions, Phys. Rev. Lett. 52 (1984) [39] P.A. Pearce, K.A. Seaton, Off-critical logarithmic minimal models, J. Stat. Mech. (2012) P09014, arxiv: [hep-th]. [40] V.G. Kac, M. Wakimoto, Modular invariant representations of infinite-dimensional Lie algebras and superalgebras, Proc. Natl. Acad. Sci. USA 85 (1988) [41] V.G. Kac, M. Wakimoto, Classification of modular invariant representations of affine algebras, Adv. Ser. Math. Phys. 7 (1989) [42] C. Ahn, S.-W. Chung, S.-H. Tye, New parafermion, SU(2) coset and N = 2 superconformal field theories, Nucl. Phys. B365 (1991) [43] A. Berkovich, B.M. McCoy, A. Schilling, S.O. Warnaar, Bailey flows and Bose-Fermi identities for the conformal coset models (A (1) 1 ) N (A (1) 1 ) N /(A(1) 1 ) N+N, Nucl. Phys. B499 (1997) , arxiv:hep-th/ [44] J. Rasmussen, Logarithmic limits of minimal models, Nucl. Phys. B701 (2004) , arxiv:hepth/

15 [45] J. Rasmussen, Jordan cells in logarithmic limits of conformal field theories, Int. J. Mod. Phys. A22 (2007) 67 82, arxiv:hep-th/ [46] D. Grumiller, N. Johansson, T. Zojer, Short-cut to new anomalies in gravity duals to logarithmic conformal field theories, JHEP 1101 (2011) 090, arxiv: [hep-th]. [47] D. Grumiller, W. Riedler, J. Rosseel, T. Zojer, Holographic applications of logarithmic conformal field theories, arxiv: [hep-th]. [48] P.A. Pearce, J. Rasmussen, Coset construction of logarithmic minimal models: representation theory, in preparation (2013). [49] P.A. Pearce, J. Rasmussen, P. Ruelle, Integrable boundary conditions and W-extended fusion in the logarithmic minimal models LM(1, p), J. Phys. A: Math. Theor. 41 (2008) , arxiv: [hep-th]. [50] J. Rasmussen, P.A. Pearce, W-extended fusion algebra of critical percolation, J. Phys. A: Math. Theor. 41 (2008) , arxiv: [hep-th]. [51] J. Rasmussen, W-extended logarithmic minimal models, Nucl. Phys. B807 (2009) , arxiv: [hep-th]. [52] A.M. Semikhatov, Higher string functions, higher-level Appell functions and the logarithmic ŝl(2) k /u(1) CFT model, Commun. Math. Phys. 286 (2009) , arxiv: [math.qa]. [53] A.M. Semikhatov, Virasoro central charges for Nichols algebras, arxiv: [math.qa]. [54] P.A. Pearce, J. Rasmussen, Coset graphs in bulk and boundary logarithmic minimal models, Nucl. Phys. B846 (2011) , arxiv: [hep-th]. [55] D. Gepner, Field identification in coset conformal field theories, Phys. Lett. B222 (1989) [56] C. Ahn, M.A. Walton, Field identifications in coset conformal theories from projection matrices, Phys. Rev. D41 (1990) [57] A.N. Schellekens, S. Yankielowicz, Field identification fixed points in the coset construction, Nucl. Phys. B334 (1990) [58] J. Fuchs, B. Schellekens, C. Schweigert, The resolution of field identification fixed points in diagonal coset theories, Nucl. Phys. B461 (1996) , arxiv:hep-th/ [59] V.G. Kac, D.H. Peterson, Infinite-dimensional Lie algebras, theta functions and modular forms, Adv. in Math. 53 (1984) [60] M. Jimbo, T. Miwa, Irreducible decomposition of fundamental modules for A (1) l and C (1) l and Hecke modular forms, Adv. Stud. Pure Math. 4 (1984) [61] D. Gepner, Z. Qiu, Modular invariant partition functions for parafermionic field theories, Nucl. Phys. B285 (1987) [62] J. Distler, Z. Qiu, BRS cohomology and a Feigin-Fuchs representation of Kac-Moody and parafermionic theories, Nucl. Phys. B336 (1990)

16 [63] K. Huitu, D. Nemeschansky, S. Yankielowicz, N = 2 supersymmetry, coset models and characters, Phys. Lett. B246 (1990) [64] J. Rasmussen, Classification of Kac representations in the logarithmic minimal models LM(1, p), Nucl. Phys. B853 (2011) , arxiv: [hep-th]. [65] P.V. Bushlanov, A.M. Gainutdinov, I. Yu. Tipunin, Kazhdan-Lusztig equivalence and fusion of Kac modules in Virasoro logarithmic models, Nucl. Phys. B862 (2012) , arxiv: [hep-th]. [66] M.R. Gaberdiel, Fusion rules and logarithmic representations of a WZW model at fractional level, Nucl. Phys. B618 (2001) , arxiv:hep-th/ [67] F. Lesage, P. Mathieu, J. Rasmussen, H. Saleur, Logarithmic lift of the affine ŝu(2) 1/2 model, Nucl. Phys. B686 (2004) , arxiv:hep-th/ [68] T. Creutzig, D. Ridout, Modular data and Verlinde formulae for fractional level WZW models I, Nucl. Phys. B865 (2012) , arxiv: [hep-th]. [69] I.I. Kogan, A. Nichols, Stress energy tensor in LCFT and logarithmic Sugawara construction, JHEP 0201 (2002) 029, arxiv:hep-th/ [70] A. Nichols, SU(2) k logarithmic conformal field theories, arxiv:hep-th/ [71] J. Rasmussen, Affine Jordan cells, logarithmic correlators, and Hamiltonian reduction, Nucl. Phys. B736 (2006) , arxiv:hep-th/ [72] B.L. Feigin, I.Yu. Tipunin, Logarithmic CFTs connected with simple Lie algebras, arxiv: [math.qa]. [73] A.M. Semikhatov, I.Yu. Tipunin, Logarithmic arxiv: [math.qa]. ŝl(2) CFT models from Nichols algebras. 1, [74] V.A. Fateev, S.L. Lykyanov, The models of two-dimensional conformal quantum field theory with Z n symmetry, Int. J. Mod. Phys. A3 (1988) [75] F.A. Bais, P. Bouwknegt, K. Schoutens, M. Surridge, Coset construction for extended Virasoro algebras, Nucl. Phys. B304 (1988) [76] K. Shigechi, M. Uchiyama, The A k generalization of the O(1) loop model on a cylinder: affine Hecke algebra, q-kz equation and the sum rule, J. Phys. A: Math. Theor. 40 (2007) arxiv:math-ph/ [77] T. Creutzig, D. Ridout, S. Wood, Coset constructions of logarithmic (1, p)-models, arxiv:1305:2665 [math.qa]. 16