SLE martingales in coset conformal field theory

52 downloads 0 Views 144KB Size Report
Aug 8, 2012 - try, Knizhnik-Zamolodchikov equations, fusion algebra etc and provides numerous predictions, such as cele- brated Cardy formula [8, 9] which ...
Pis’ma v ZhETF

SLE martingales in coset conformal field theory Anton Nazarov+∗1) +

Department of High-Energy and Elementary Particle Physics, Faculty of Physics and Chebyshev Laboratory, Faculty of Mathematics and Mechanics, SPb State University 198904, Saint-Petersburg, Russia

arXiv:1205.6104v2 [math-ph] 8 Aug 2012

Submitted 12 May 2012

Scharmm-Loewner evolution (SLE) and conformal field theory (CFT) are popular and widely used instruments to study critical behavior of two-dimensional models, but they use different objects. While SLE has natural connection with lattice models and is suitable for strict proofs, it lacks computational and predictive power of conformal field theory. To provide a way for the concurrent use of SLE and CFT we consider CFT correlation functions which are martingales with respect to SLE. We establish connection between parameters of Schramm-Loewner evolution on coset space and algebraic data of coset conformal field theory. Then we check the consistency of our approach with the behaviour of parafermionic and minimal models. Coset models are connected with off-critical massive field theories and we discuss implications for SLE.

experimental study confirming this result attracted a lot of attention [15]. In conclusion we discuss possible connections of massive CFT perturbations with off-critical SLEs (containing additional drift term [16]).

1. INTRODUCTION

Schramm-Loewner evolution [1] is a stochastic process satisfying stochastic differential equation (1). A solution of equation (1) can be seen as probability measure on random curves (called SLE traces). SLE is useful for the study of critical behavior [2, 3], since for many lattice models the convergence of domain walls to SLE traces can be proved [4, 5]. Practical computations with SLE rely on Ito calculus while proofs use discrete complex analysis [6]. Conformal field theory [7] is formulated in terms of families of quantum fields which usually has no direct microscopic interpretation. On the other hand CFT has efficient computational tools such as Virasoro symmetry, Knizhnik-Zamolodchikov equations, fusion algebra etc and provides numerous predictions, such as celebrated Cardy formula [8, 9] which gives crossing probability for critical percolation. Combination of these two approaches is immensely powerful, so it is important to find objects which can be studied from both points of view. We present a new class of such observables in coset conformal field theory – correlation functions which are martingales with respect to Schramm-Loewner evolution with additional Brownian motion on factor-space of Lie group G by subgroup A [10]. We derive relations connecting SLE and CFT parameters. We then check the consistency of these results with the earlier results for parafermionic observables [11]. All minimal unitary models can be obtained by coset construction. Coset structure leads to specific offcritical behavior. Massive excitations of coset CFTs are given by affine Toda field theories [12, 13, 14]. Recent 1) e-mail:

2. MARTINGALE CONDITIONS

Consider some critical lattice model on the upper half-plane H with the cut along a critical interface γt (domain wall up to some length t). We denote this slit domain by Ht = H \ γt . Assume that γt satisfies restriction property and is conformally invariant [2]. Then conformal map gt : Ht → H satisfies stochastic differential equation [1]: ∂gt (z) 2 √ , = ∂t gt (z) − κξt

(1)

where ξt is the Brownian motion. The dynamic of the tip zt of critical curve γt (tip of SLE trace) is given by √ the law zt = gt−1 ( κξt ). For us it is convenient to use the map wt (z) = √ gt (z) − κξt , so the equation (1) becomes dwt =

2dt √ − κdξt wt

(2)

Consider N -point correlation function of boundary conformal field theory with boundary condition changing operators sitting at the tip of SLE trace and at the infinity: N

F ({zi , z¯i }i=1 )Ht = hϕ(zt )φ1 (z1 , z¯1 ) . . . φn (zn , z¯n )ϕ(∞)i , (3) where φi are bulk primary fields with conformal weights hi and ϕ(zt ) is boundary condition changing operator.

[email protected]

1

2

Anton Nazarov

Let g be a (semisimple) Lie algebra of a Lie group G and a – Lie algebra of a subgroup A ⊂ G. Denote by xe embedding index for a → g. Primary fields in coset models are labeled by pairs (λ, η) of weights for g- and a-representations. For each λ the set of possible weights η includes those which appear L (η) (µ) in the decomposition Lg = η Hηλ ⊗La . (Some pairs are equivalent, see [17, 18]). We assume that boundary field ϕ is also primary and is labeled by weights (µ, ν). We use the conformal map w(z) : H \ γt → H to rewrite expression (3) in the whole upper half plane: F ({zi , z¯i })Ht = h¯ Y  ∂w(zi ) hi Y  ∂ w(¯ ¯ zi ) i F ({wi , w ¯i })H = ∂zi ∂ z¯i

(4)

We can extend the definition of F to the whole plane by doubling the number of fields φi [19, 20] and by considering wi , w ¯i as independent variables. To simplify 2N notations we will write F ({wi }i=1 ). G/A-coset conformal field theory can be realized as a WZNW-model (with gauge group G) interacting with pure gauge fields of gauge group A ⊂ G [21, 22]. The action is written in terms of fields γ : C → G and α, α ¯ : C → A: Z k SG/A (γ, α) = − d2 x K(γ −1 ∂ µ γ, γ −1 ∂µ γ)− 8π S 2    Z ∂˜ γ ∂˜ γ ∂˜ γ k d3 y+ ǫijk K γ˜ −1 i , γ˜ −1 j γ˜ −1 k − 24π B ∂y ∂y ∂y Z k ¯ − K(¯ + α, (∂γ)γ −1 ) d2 z K(α, γ −1 ∂γ) 4π S 2  +K(α, γ −1 α ¯ γ) − K(α, α) ¯ . (5)

Here we denote by K the Killing form of a Lie algebra g corresponding to a Lie group G. If we fix A-gauge we have G/A gauge symmetry. Then we add random gauge transformations to Schramm-Loewner evolution [10] similar to the case of WZNW-models [23]. Denote by tai (t˜bi ) the generators of g-representation (a-representation) corresponding to the primary field φi . Now we need to consider the evolution of SLE trace γt from t to t + dt. First factor in the right-hand-side of equation (4) gives us h  2hi ∂wi i − 2 . wi ∂zi We denote by Gi the generator of infinitesimal transformation of primary field φi :dφi (wi ) = Gi φi (wi ). We normalizeadditional  (dim g)-dimensional Brownian motion as E dθa dθb = K(ta , tb )dt. We also introduce the

parameter τ , which is the variance of this stochastic process. The generator of field transformation is equal to     √ X τ 2dt √ − κdξt ∂wi + (dθa tai ) . Gi = wi wi a ˜b a:K(t ,t )=0

(6) So we have fixed A-gauge by allowing random walk only in direction orthogonal to subalgebra a. The differential of F should be zero due to martingale condition. Ito formula is used to calculate the differential [24]. We need to include second order terms in Gi since they contain squares of Brownian motion differentials dξt , dθa with the expectation values proportional to dt (E[dξt2 ] = dt):

dFHt =    h ! 2N  2N 2N Y ∂wi i  X 2hi dt X 1X Gi Gj  FH Gi + − 2 + ∂z w 2 i i i=1 i=1 i,j i=1 =0

(7)

b ˜b J˜−1 J−1

!!

Substituting definition (6) we get τ 1 −2L−2 + κL2−1 + 2 2

X a

a a J−1 J−1



X b

FH = 0,

(8)

with L−n = a J−n =−

X i

X  (n − 1)hi i

∂wi − (wi − z)n (wi − z)n−1



,

X t˜bi tai b ˜−n ; J = − . (wi − z)n (wi − z)n i

This equation is equivalent to the following algebraic condition on the boundary state ϕ(0) |0i: h0 |ϕ(∞)φ1 (w1 ) . . . φ2N (w2N ) 1 1 −2L−2 + κL2−1 + τ 2 2

dim Xg

a a J−1 J−1

a=1



dim Xa

b ˜b J˜−1 J−1

b=1

!!

ϕ(0)|0i = 0. (9)

Since the set {φi } consists of arbitrary primary fields we conclude that |ψ >=

1 1 −2L−2 + κL2−1 + τ 2 2

dim Xg a=1

a a J−1 J−1 −

dim Xa b=1

· ϕ(0)|0 > (10)

b ˜b J˜−1 J−1

!!

SLE martingales in coset conformal field theory is a null-state. Now we act on ψ by raising operators to get equations on κ, τ . Since in a coset theory commutation relations of full chiral algebra are Ln = Lgn − Lan ,

g a a h[Ln , Jm ]i= −mJn+m , b b = −mJ˜n+m , Lgn , J˜m

[Lgn , Lm ] = (n

(11)

[Lgn , Lgm ]

= − [Lgn , Lam ] = c − m)Lm+n + 12 (n3 − n)δm+n,0 ,

3

For N = 3 the parafermionic model central charge Conformal weights are h(0,0) = 0, is c = 54 . h(0,2) = h(0,−2) = 32 mod 1, h(2,0) = 52 , h(2,2) = 1 . The corresponding values of κ, τ are: h(2,−2) = 15 10 80 14 208 242 , 171 ). As it was mentioned in [11] ( 25 , 225 ), ( 3 , 0), ( 19 the field ϕ(2,0) with the conformal weight h(2,0) = 25 constitutes the Z3 -singlet, so an additional random walk does not appear and τ = 0. The form of equations (9) is similar to that of [11], but the normalization of τ differs. ˆ ˆ N ⊕su(2) 1 It is easy to see that for the su(2) -coset resu(2) ˆ N +1 alization of minimal unitary models with c = N3N +2 +

2 it is more convenient to act with Lg2 and Lg1 . Apply+1) 6 1 − 3(N g N +3 = 1 − (N +2)(N +3) the system of equations ing L2 we get (12,13) is always consistent for τ = 0 and we get a stan  dard connection between the SLE-parameter κ and the 1 Lg2 ψ = −8L0 − c + 3κL0 + τ (k dim g − xe k dim a) ϕ(µ,ν)central = 0 charge c = (6−κ)(3κ−8) . 2 2κ We use L0 ϕ(µ,ν) = h(µ,ν) ϕ(µ,ν) , with  the conformal (ν,ν+2ρa ) (µ,µ+2ρ) weight h(µ,ν) = 2(k+h∨ ) − 2(kxe +h∨ ) and the central g

charge c = on κ, τ :

k dim g k+h∨ g



xe k dim a . xe k+h∨ a

This leads to the relation

(3κ − 8)h(µ,ν) − c + τ (k dim g − xe k dim a) = 0. (12) The second relation appears as a result of the Lg1 -action: −12h(µ,ν) +2κh(µ,ν) (2h(µ,ν) +1)+τ (Cµ − C˜ν ) = 0, (13) where Cµ = (µ, µ + 2ρ) and C˜ν = (ν, ν + 2ρa ) are the P eigenvalues of the quadratic Casimir operators a ta ta P b b and b t˜ t˜ of Lie algebras g and a. Relations (12),(13) are the necessary conditions for CFT correlation functions to be SLE martingales. From equations (12),(13) we immediately get κ, τ for each pair (µ, ν) of g and a-weights. 2. .1

3. CONCLUSION AND OUTLOOK

a

Examples

ˆ N As an example consider su(2) u ˆ(1)N -coset models which are equivalent to ZN -parafermions. The central charge 2N −2 is c = N3N +2 − 1 = N +2 . Conformal weights of primary fields with Dynkin indeces (k, l) are h(k,l) = k(k+2) l2 4(N +2) − 4N . Case N = 2, c = 21 corresponds to the Ising model, we have two non-trivial primary fields with conformal weights h(2,0) = 1/2, h(1,1) = 1/16. Substituting the field ϕ(2,0) into equations (12,13) we get: 3κ − 9 + 4τ = 0; −3 + κ + 4τ = 0. The solution is κ = 3, τ = 0. For the field ϕ(1,1) the relations are 3κ−16+64τ = 0, −64+9κ+64τ = 0, κ = 16/3, τ = 0. So we have no additional motion for the Ising model and two possible values for SLE parameter κ coinciding with the well-known results [5].

In [23] a connection between WZNW-models and Schramm-Loewner evolution with additional Brownian motion on group manifold was established. The authors also stated a problem of a possible connection of SLE parameters for martingales in WZNW, coset and minimal models. In present letter we used the method proposed in [24] to obtain necessary conditions on SLE martingales. This method allowed us to compare our results with parafermionic results presented in [11, 25]. The coset structure of minimal models is manifest in field theory perturbed by an external magnetic field [12, 13, 14]. This theory is supported by experimental data [15]. Relations between correlation functions in coset theory and SLE observables can be a starting point in studies of domain walls in lattice models away from the critical point. Massive perturbations of G/A-coset theory are realized as an affine Toda field theory and are classified by simple roots of the Lie algebra g. Affine Toda field theory can be obtained by adding perturbation term to the action (5): Z kλ K(γT, γ −1 T¯), (14) Spert = SG/A (γ, α) − 2π where T, T¯ ∈ g are specially chosen Lie algebra elements [26, 27, 28]. The perturbation leads to an insertion of certain primary field in all the correlation functions [14]. It was shown that massive off-critical SLEs have additional drift term in driving Brownian motion [16, 29]. The question is whether the interaction of the perturbing primary field with the τ -term of the equation (8) leads to the same contribution as the addition of a massive drift to SLE.

4

Anton Nazarov

In the forthcoming studies we will address this question and compare massive perturbations of coset models with the numerical studies of domain walls in the Ising model perturbed by a random Gaussian external field [30].

ACKNOWLEDGEMENTS

I am grateful to A. Bytsko, K. Izyurov, D. Chelkak and R. Santachiara for the discussions on SLE and WZNW models and to V.D. Lyakhovsky for the careful reading of the text. This work is supported by the Chebyshev Laboratory (Department of Mathematics and Mechanics, Saint-Petersburg State University) under the grant 11.G34.31.0026 of the Government of the Russian Federation.

1. Schramm O 2000 Israel Journal of Mathematics 118 221–288 2. Cardy J L 2005 Annals Phys. 318 81–118 (Preprint cond-mat/0503313) 3. Rohde S and Schramm O 2005 Annals of mathematics 883–924 4. Bauer M and Bernard D 2006 Physics reports 432 115– 221 5. Schramm O 2006 Arxiv preprint math/0602151 6. Duminil-Copin H and Smirnov S 2011 Arxiv preprint arXiv:1109.1549 7. Belavin A, Polyakov A and Zamolodchikov A 1984 Nuclear Physics 241 333–380 8. Cardy J 1992 Journal of Physics A: Mathematical and General 25 L201 9. Smirnov S 2001 Comptes Rendus de l’Acad´emie des Sciences-Series I-Mathematics 333 239–244 10. Nazarov A 2012 Journal of Physics: Conference Series 343 012085 (Preprint 1112.4354) 11. Santachiara R 2008 Nuclear Physics B 793 396–424 12. Fateev V and Zamolodchikov A 1990 Physics and mathematics of strings: memorial volume for Vadim Knizhnik 245 13. Eguchi T and Yang S 1989 Physics Letters B 224 373– 378 14. Hollowood T and Mansfield P 1989 Physics Letters B 226 73–79 15. Coldea R, Tennant D, Wheeler E, Wawrzynska E, Prabhakaran D, Telling M, Habicht K, Smeibidl P and Kiefer K 2010 Science 327 177–180 16. Makarov N, Smirnov S et al. 2010 Off-critical lattice models and massive sles XVITH International Congress On Mathematical Physics, World Scientific Publishing 2010, vol 1 pp 362–371 (Preprint 0909.5377)

17. Fuchs J, Schellekens B and Schweigert C 1996 Nuclear Physics B 461 371–404 18. Schellekens A and Yankielowicz S 1990 Nuclear Physics B 334 67–102 19. Cardy J 2004 Arxiv preprint hep-th/0411189 20. Cardy J 1984 Nuclear Physics B 240 514–532 21. Gawdzki A et al. 1988 Physics Letters B 215 119–123 22. Figueroa-OFarrill J 1989 ITP Stony Brook preprint ITP-SB-89-41 23. Bettelheim E, Gruzberg I, Ludwig A and Wiegmann P 2005 Physical review letters 95 251601 24. Alekseev A, Bytsko A and Izyurov K 2011 Letters in Mathematical Physics 97(3) 243–261 (Preprint 1012.3113) 25. Picco M and Santachiara R 2008 Physical review letters 100 15704 26. Bakas I, Park Q and Shin H 1996 Physics Letters B 372 45–52 27. Hollowood T, Miramontes J and Park Q 1995 Nuclear Physics B 445 451–468 28. Park Q 1994 Physics Letters B 328 329–336 29. Bauer M, Bernard D and Cantini L 2009 Journal of Statistical Mechanics: Theory and Experiment 2009 P07037 30. Stevenson J and Weigel M 2011 EPL (Europhysics Letters) 95 40001