SciPost Phys. 5, 051 (2018)
The geometry of Casimir W-algebras
Raphaël Belliard1?, Bertrand Eynard1,2† and Sylvain Ribault1‡
1 Institut de physique théorique, CEA, CNRS, Université Paris-Saclay 2 CRM Montréal, QC, Canada
? [email protected],† [email protected],‡ [email protected]
Abstract
Let g be a simply laced Lie algebra, bg1 the corresponding affine Lie algebra at level one, and W(g) the corresponding Casimir W-algebra. We consider W(g)-symmetric conformal field theory on the Riemann sphere. To a number of W(g)-primary fields, we associate a Fuchsian differential system. We compute correlation functions of bg1-currents in terms of solutions of that system, and construct the bundle where these objects live. We argue that cycles on that bundle correspond to parameters of the conformal blocks of the W- algebra, equivalently to moduli of the Fuchsian system.
Copyright R. Belliard et al. Received 18-01-2018 This work is licensed under the Creative Commons Accepted 23-10-2018 Check for Attribution 4.0 International License. Published 23-11-2018 updates Published by the SciPost Foundation. doi:10.21468/SciPostPhys.5.5.051
Contents
1 Introduction2
2 The bundle and its amplitudes3 2.1 Definition of the bundle3 2.2 Amplitudes3 2.3 Casimir elements and meromorphic amplitudes5
3 The Casimir W-algebra and its correlation functions7 3.1 Casimir W-algebras and affine Lie algebras7 3.2 Free boson realization8 3.3 Correlation functions as amplitudes9
4 Cycles of the bundle 10 4.1 Definition of cycles 10 4.2 Integrals of W1 on cycles 12
5 Conclusion 13
References 14
1 SciPost Phys. 5, 051 (2018)
1 Introduction
In recent years, it has been found that two-dimensional conformal field theory with the central charge c = 1 can be formulated in terms of Fuchsian differential systems. In particular, this has led to the expression of Virasoro conformal blocks in terms of solutions of Painlevé equations [1], and to a new derivation of the three-point structure constant of Liouville theory [2]. A natural generalization would be that Fuchsian differential systems associated to a Lie al- gebra g provide a formulation of conformal field theory based on the corresponding W-algebra W(g) with the central charge c = rank g. The Virasoro algebra with c = 1 would then be the special case g = sl2. We call a W-algebra with the central charge c = rank g a Casimir W-algebra, because it coincides with the Casimir subalgebra of the affine Lie algebra bg1 at level one [3]. (For generic central charges, that Casimir subalgebra is much larger than W(g), except in the special case g = sl2.) This natural generalization has been illustrated by the analysis of conformal blocks in the case g = slN [4]. And if Fuchsian systems describe W(g) conformal blocks, then presumably they can also describe the corresponding generalizations of Liouville theory, namely conformal Toda theories. Our motivation for investigating this natural generalization is to gain a structural under- standing of two-dimensional CFT, which could be the basis for new computational techniques and for finding non-trivial duality relations. Of course, the interesting applications would mostly be confined to the case g = sl2 of the Virasoro algebra, since most interesting CFTs have no larger W-algebra symmetry. But the generalization to W-algebras is essential for under- standing geometrical structures, which were not discovered in previous work on the Virasoro case [2]. That previous work nevertheless gave us our starting point: the idea that the relation between Fuchsian systems and conformal field theory is naturally expressed in terms of objects that we will call amplitudes. Following [5], we will define amplitudes in terms of solutions of a differential system
∂ M A, M , (1) ∂ x = [ ] where A and M are g-valued functions of a complex variable x. In particular, by definition of a Fuchsian system, A is a meromorphic function of x with finitely many simple poles z1,..., zN , 1 and such that A x O 2 . In conformal field theory, the amplitudes correspond to cor- ( )x = ( x ) relation functions of→∞N primary fields at z1,..., zN , with additional insertions of chiral fields that we will call currents. Our main aim in this work is to explore the intrinsic geometry of amplitudes. We will show that the relevant object is neither the Riemann sphere minus the singularities ¯ Σ = C z1,..., zN , nor even its universal cover Σe, but a bundle Σb that depends on the Lie algebra− { g and on} the function A. We will study cycles of Σb, and conjecture a relation between correlation functions and integrals of a certain form over certain cycles. On the conformal field theory side, we will provide an interpretation of amplitudes and currents in terms of the affine Lie algebra bg1 at level one. In contrast to W(g), the algebra bg1 is not a symmetry algebra of the theory, and our fields are not primary with respect to bg1. This is the reason why the amplitudes are not single-valued on Σ, and actually live on Σb.
2 SciPost Phys. 5, 051 (2018)
2 The bundle and its amplitudes
2.1 Definition of the bundle Assuming we know the g-valued function A, we first consider the Fuchsian differential system
∂ Ψ AΨ , (2) ∂ x = where Ψ is a function that takes values in a reductive complex Lie group G whose Lie algebra is g. In other words, Ψ is a section of a principal G-bundle over Σ with the connection d Ad x. As a G-valued function, Ψ has nontrivial monodromies, and therefore lives on the universal− ¯ cover Σe of Σ = C z1,..., zN . Given a closed path γ Σ that begins and ends at a point − { } ⊂ x0 γ, the monodromy ∈ 1 Sγ = Ψ(x0)− Ψ(x0 + γ) G , (3) ∈ of Ψ along γ is in general nontrivial, and it is invariant under homotopic deformations of γ. The monodromy depends neither on the choice of x0 γ, nor on the positions of the poles zj, ∈ so x0 and zj are isomonodromic parameters. The monodromy only depends on the residues of A at its poles. In terms of a given solution Ψ of eq. (2), the solutions of the equation (1) can be written 1 g ∂ E 1 as M = ΨEΨ− , where E is constant ∂ x = 0, and ΨEΨ− denotes the adjoint action of Ψ ∈ on E. The idea is now to consider M as a function not only of x Σe, but also of E, ∈ 1 M(x.E) = Ψ(x)EΨ(x)− . (4)
While the pair x.E apparently belongs to Σe g, the monodromy of Ψ along a closed path γ can be compensated by a conjugation of E, so× that
1 M((x + γ).(Sγ− ESγ)) = M(x.E) . (5)
Therefore, M actually lives on the manifold
Σe g Σb = × , (6) π1(Σ) ¯ where the fundamental group of Σ = C z1,..., zN acts on Σe g by (5). For X = [x.E] Σb, we call π(X ) = π(x) its projection on Σ−. { } × ∈ Although our bundle Σb has complex dimension 1 + dim g, we will only consider func- tions of X = [x.E] that depend linearly on E, and the space of linear functions on g is finite- dimensional. So the space of functions on Σb that we will consider has the same dimension as the space of functions on a discrete cover of Σ. When viewed as bundles over Σ, the main dif- ference between Σb and a discrete cover such as Σe is that the fibers of Σb have a linear structure: they are like discrete sets whose elements could be linearly combined.
2.2 Amplitudes
g We assume that is semisimple, and write its Killing form as E, E0 = Tr EE0, where the trace is taken in the adjoint representation. (Taking traces in an arbitrary faithful representation would not change the properties of amplitudes, but would kill the relation with conformal field theory that we will see in Section3.)
3 SciPost Phys. 5, 051 (2018)
For X1,..., Xn Σb whose projections π(Xi) are all distinct, let us define the connected and ∈ disconnected n-point amplitudes Wn(X1,... Xn) and Wcn(X1,... Xn) as [5] X Y M X W X ,..., X 1 n+1 Tr ( i) , (7) n( 1 n) = ( ) π X π X − circular ( i) ( σ(i)) σ Sn i 1,...,n ∈ ∈{ } − X σ Y Y M(Xi) Wcn(X1,..., Xn) = ( 1) Tr , (8) π Xi π Xσ i σ Sn − c cycle of σ i c ( ) ( ( )) ∈ ∈ − circular where Sn is the set of permutations that have only one cycle of length n, and the factors 2 in the products over i are ordered as (i0, σ(i0), σ (i0),... ). For cycles of length one, we define Tr M(X ) Tr A π X M X , so that in particular π(X ) π(X ) = ( ( )) ( ) −
W1(X1) = Wc1(X1) = Tr A(π(X1))M(X1) . (9)
Writing for short W i ,..., i W X ,..., X , the disconnected amplitudes are expressed ( 1 k ) = k( i1 ik ) in terms of connected{ amplitudes} as X Y Wc( 1, . . . , n ) = W(Ik) , (10) { } partitions k Ik= 1,...,n k t { } for example Wc2(X1, X2) = W2(X1, X2) + W1(X1)W1(X2). Let us study the behaviour of amplitudes near their singularities at coinciding points. To do this, it is convenient to rewrite the amplitudes in terms of the kernel
1 Ψ(x)− Ψ(y) K(x, y) = , (11) π(y)=π(x) π(y) π(x) 6 − where x, y Σe. For two points whose projections on Σ coincide, we define the regularized kernel ∈
1 1 Ψ(x)− Ψ(y) K(x, y) = Ψ(x)− A(π(x))Ψ(y) = lim K(x, y0) . (12) π x π y y y π y π x ( )= ( ) 0 − ( ) ( ) → 0 − For Xi = [xi.Ei], the amplitudes can then be written as X Y n+1 Wn(X1,..., Xn) = ( 1) Tr Ei K(xi, xσ(i)) , (13) − circular σ Sn i 1,...,n ∈ ∈{ } X σ Y Y Wcn(X1,..., Xn) = ( 1) Tr Ei K(xi, xσ(i)) . (14) σ Sn − c cycle of σ i c ∈ ∈
Using our regularization (12), these expressions actually make sense even if some points Xi have coinciding projections π(Xi) on Σ, and we take these expressions as definitions of am- plitudes at coinciding points. We can now write the behaviour of amplitudes in the limit π(X1) π(X2). Choosing representatives Xi = [xi.Ei] such that x1 x2, we find → → E1, E2 1 Wn x1.E1, x2.E2,... Wn 2 ... Wn 1 x2. E1, E2 ,... O 1 , (15) c ( )x =x 〈 2 〉 c ( ) + c ( [ ] ) + ( ) 1 2 x − x12 − → 12 where we used the notation x12 = π(x1) π(x2). −
4 SciPost Phys. 5, 051 (2018)
Let us study how amplitudes behave near the poles of A(x). To the pole zj, we associate Aj g and Ψj G such that ∈ ∈ Aj A(x) = + O(1) , (16) x zj x zj → − Aj Ψ(x) = Id +O(x zj) (x zj) Ψj , (17) x zj → − − Aj 1 Aj M(x.E) (x zj) Ψj EΨ−j (x zj)− , (18) x zj →∼ − − and the monodromy of Ψ(x) around zj is
1 2πiAj Sj = Ψ−j e Ψj . (19)
Assuming that Aj is a generic element of g, its commutant is a Cartan subalgebra that we call h . Let R be the corresponding set of roots of g h L g , and let us write the j j = j r R j r 1 ⊕ ∈ corresponding decomposition of Ψj EΨ−j as
1 X Ψj EΨ−j = Ej + Er . (20) r R j ∈ This allows us to rewrite the behaviour of M(x.E) as X r(Aj ) M(x.E) Ej + (x zj) Er . (21) x zj →∼ r R j − ∈
Using Aj, Er = 0, we deduce
Aj, Ej X r(Aj ) W1(x.E) = 1 + O(x zj) + (x zj) O(1) , (22) x zj x zj → − r R j − × − ∈ and more generally
Aj, Ej X r(Aj ) Wn x.E,... Wn 1 ... O x zj x zj O 1 . (23) c ( ) x z c ( ) + ( ) + ( ) ( ) j x zj − →∼ − r R j − × − ∈ 2.3 Casimir elements and meromorphic amplitudes
a b b Let ea be a basis of g and e the dual basis such that ea, e = δa . The center of the universal{ } enveloping algebra {U(g}) is generated by Casimir elements of the type X C c ea1 eai , (24) i = a1,...,ai a1,...,ai ⊗ · · · ⊗ where the rank i of the invariant tensor c is called the degree of C . In particular, the a1,...,ai i quadratic Casimir element is
X a C2 = ea e . (25) a ⊗
For x Σe, we define an amplitude that involves the Casimir element Ci by ∈ X W C x , X ,..., X c W x.ea1 ,..., x.eai , X ,..., X . (26) ci+n( i( ) 1 n) = a1,...,ai ci+n( 1 n) a1,...,ai
5 SciPost Phys. 5, 051 (2018)
Amplitudes involving several Casimir elements can be defined analogously. Let us study how such amplitudes depend on x. We first consider the simple example
X 1 a 1 1 a 1 Wc2(C2(x)) = Tr eaΨ− AΨe Ψ− AΨ (x) + Tr eaΨ− AΨ (x) Tr e Ψ− AΨ (x) . a − (27)
The Casimir element, and the corresponding amplitudes, do not depend on the choice of the g 1 basis ea of . Let us use the x-dependent basis ea = Ψ(x)− faΨ(x), where fa is an arbitrary x-independent{ } basis. This leads to { }
X a a Wc2(C2(x)) = Tr (faA(x)f A(x)) + Tr (faA(x)) Tr (f A(x)) . (28) a −
This now depends on x only through A(x). Similarly, Wci+n(Ci(x), X1,..., Xn) depends on Ψ(x) 1 and ea only through the combinations M(x.ea) = Ψ(x)eaΨ(x)− , although these combina- { } tions may hide in expressions such as K(x, x)eaK(x, xi). Therefore, using our x-dependent basis eliminates all dependence of Wci+n(Ci(x), X1,..., Xn) on Ψ(x). The only remaining de- pendence on x is through the rational function A(x). Therefore, amplitudes that involve Casimir elements are rational functions of the corre- sponding variables. In particular they are functions on Σ rather than on Σe as their definition would suggest, more specifically they are meromorphic functions with the same poles as A(x). This is equivalent to the loop equations of matrix models [6], if we identify our amplitudes with the matrix models’ correlation functions. For generalizations of this important result, see [7]. In order to ease the later comparison with conformal field theory, we will now tweak this result by changing the regularization of amplitudes at coinciding points. Instead of the regu- larization (12), let us use normal ordering, and define
1 X Wci n Ci x , X1,..., Xn ca ,...,a + ( ( ) ) = 2πi n 1 1 i ( ) − a1,...,ai i 1 I Y− d xi a a a 0 W x .e 1 ,..., x .e i 1 , x.e i , X ,..., X . (29) x x ci+n( 1 i 1 − 1 n) × i 1 x i − 0= 0 −
For example, let us compute Wc2(C2(x)). From the definition, we have
1 I d y W C x W x.e W x.ea Tr M y.e M x.ea . (30) c2( 2( )) = 1( a) 1( ) + 3 ( a) ( ) 2πi x (y x) −
We expand M(y.ea) near y = x using M 0 = [A, M] and M 00 = [A0, M] + [A, [A, M]], and we find
X 1 a 1 1 2 a Wc2(C2(x)) = Tr eaΨ− AΨe Ψ− AΨ (x) + Tr Ψ− A Ψeae (x) a − 1 a 1 + Tr eaΨ− AΨ (x) Tr e Ψ− AΨ (x) . (31)
This differs from Wc2(C2(x)) (27) by one term. However, this difference does not affect the proof that the dependence on x is rational, because the extra term still depends on Ψ(x) and a ea only through M(x.e ). More generally, amplitudes that involve the Casimir elements { } Ci(x) are rational functions of their positions.
6 SciPost Phys. 5, 051 (2018)
3 The Casimir W-algebra and its correlation functions
3.1 Casimir W-algebras and affine Lie algebras
For any Lie algebra g and central charge c C, there exists a W-algebra Wc(g). If g is simply ∈ laced and c = rank g, this algebra is a subalgebra of the universal enveloping algebra U(bg1) of the level one affine Lie algebra bg1. The elements of U(bg1) that corresponds to the gener- ators of Wrank g(g) can actually be written using the Casimir elements of U(g), and we call Wrank g(g) = W(g) the Casimir W-algebra associated to g. (See [3] for a review.) The generators of the affine Lie algebra bg1 can be written as currents, i.e. as spin one chiral fields on Σ. Then the commutation relations of bg1 are equivalent to the operator product a expansions (OPEs) of these currents. The currents are usually denoted as J (x) where x is a complex coordinate on the Riemann sphere and a labels the elements of a basis ea of g, and their OPEs are { }
a b P a b c e , e c [e , e ], ec J (x2) J a x J b x O 1 . (32) ( 1) ( 2) = 2 + x + ( ) x12 12
a a Let us introduce the notation J(x.e ) = J (x). The OPEs then read 1 1 J x1.E1 J x2.E2 E1, E2 J x2. E1, E2 O 1 . (33) ( ) ( )x =x 2 + ( [ ]) + ( ) 1 2 x x12 → 12 〈 〉 i The Casimir subalgebra of U(bg1) is generated by fields W that correspond to the Casimir elements Ci (24) of U(g), X W i x c J x.ea1 J x.ea2 J x.eai , (34) ( ) = a1,...,ai ( ) ( ) ( ) a1,...,ai ···