Knizhnik–Zamolodchikov equations

Short description: Partial differential equations of correlation functions

In mathematical physics the Knizhnik–Zamolodchikov equations, or KZ equations, are linear differential equations satisfied by the correlation functions (on the Riemann sphere) of two-dimensional conformal field theories associated with an affine Lie algebra at a fixed level. They form a system of complex partial differential equations with regular singular points satisfied by the N-point functions of affine primary fields and can be derived using either the formalism of Lie algebras or that of vertex algebras.

The structure of the genus-zero part of the conformal field theory is encoded in the monodromy properties of these equations. In particular, the braiding and fusion of the primary fields (or their associated representations) can be deduced from the properties of the four-point functions, for which the equations reduce to a single matrix-valued first-order complex ordinary differential equation of Fuchsian type.

Originally the Russian physicists Vadim Knizhnik and Alexander Zamolodchikov derived the equations for the SU(2) Wess–Zumino–Witten model using the classical formulas of Gauss for the connection coefficients of the hypergeometric differential equation.

Definition

Let [math]\displaystyle{ \hat{\mathfrak{g}}_k }[/math] denote the affine Lie algebra with level k and dual Coxeter number h. Let v be a vector from a zero mode representation of [math]\displaystyle{ \hat{\mathfrak{g}}_k }[/math] and [math]\displaystyle{ \Phi(v,z) }[/math] the primary field associated with it. Let [math]\displaystyle{ t^a }[/math] be a basis of the underlying Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math], [math]\displaystyle{ t^a_i }[/math] their representation on the primary field [math]\displaystyle{ \Phi(v_i,z) }[/math] and η the Killing form. Then for [math]\displaystyle{ i,j=1,2,\ldots,N }[/math] the Knizhnik–Zamolodchikov equations read

[math]\displaystyle{ \left( (k+h)\partial_{z_i} + \sum_{j \neq i} \frac{\sum_{a,b} \eta_{ab} t^a_i \otimes t^b_j}{z_i-z_j} \right) \left \langle \Phi(v_N,z_N)\dots\Phi(v_1,z_1) \right \rangle = 0. }[/math]

Informal derivation

The Knizhnik–Zamolodchikov equations result from the Sugawara construction of the Virasoro algebra from the affine Lie algebra. More specifically, they result from applying the identity

[math]\displaystyle{ L_{-1} = \frac{1}{2(k+h)} \sum_{k \in \mathbf{Z}} \sum_{a, b} \eta_{ab}J^a_{-k}J^b_{k-1} }[/math]

to the affine primary field [math]\displaystyle{ \Phi(v_i,z_i) }[/math] in a correlation function of affine primary fields. In this context, only the terms [math]\displaystyle{ k=0,1 }[/math] are non-vanishing. The action of [math]\displaystyle{ J^a_{-1} }[/math] can then be rewritten using global Ward identities,

[math]\displaystyle{ \left( \left(J^a_{-1}\right)_i + \sum_{j\neq i} \frac{t^a_j}{z_i-z_j} \right) \left\langle \Phi(v_N,z_N)\dots \Phi(v_1,z_1)\right\rangle = 0, }[/math]

and [math]\displaystyle{ L_{-1} }[/math] can be identified with the infinitesimal translation operator [math]\displaystyle{ \frac{\partial}{\partial z} }[/math].

Mathematical formulation

Since the treatment in (Tsuchiya Kanie), the Knizhnik–Zamolodchikov equation has been formulated mathematically in the language of vertex algebras due to (Borcherds 1986) and (Frenkel Lepowsky). This approach was popularized amongst theoretical physicists by (Goddard 1989) and amongst mathematicians by (Kac 1997).

The vacuum representation H₀ of an affine Kac–Moody algebra at a fixed level can be encoded in a vertex algebra. The derivation d acts as the energy operator L₀ on H₀, which can be written as a direct sum of the non-negative integer eigenspaces of L₀, the zero energy space being generated by the vacuum vector Ω. The eigenvalue of an eigenvector of L₀ is called its energy. For every state a in L there is a vertex operator V(a,z) which creates a from the vacuum vector Ω, in the sense that

[math]\displaystyle{ V(a,0)\Omega = a. }[/math]

The vertex operators of energy 1 correspond to the generators of the affine algebra

[math]\displaystyle{ X(z)=\sum X(n) z^{-n-1} }[/math]

where X ranges over the elements of the underlying finite-dimensional simple complex Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math].

There is an energy 2 eigenvector L₋₂Ω which give the generators L_n of the Virasoro algebra associated to the Kac–Moody algebra by the Segal–Sugawara construction

[math]\displaystyle{ T(z) = \sum L_n z^{-n-2}. }[/math]

If a has energy α, then the corresponding vertex operator has the form

[math]\displaystyle{ V(a,z) = \sum V(a,n)z^{-n-\alpha}. }[/math]

The vertex operators satisfy

[math]\displaystyle{ \begin{align} \frac{d}{dz} V(a,z) &= \left [L_{-1},V(a,z) \right ]= V \left (L_{-1}a,z \right ) \\ \left [L_0,V(a,z) \right ] &= \left (z^{-1} \frac{d}{dz} + \alpha \right )V(a,z) \end{align} }[/math]

as well as the locality and associativity relations

[math]\displaystyle{ V(a,z)V(b,w) = V(b,w) V(a,z) = V(V(a,z-w)b,w). }[/math]

These last two relations are understood as analytic continuations: the inner products with finite energy vectors of the three expressions define the same polynomials in z^±1, w^±1 and (z − w)⁻¹ in the domains |z| < |w|, |z| > |w| and |z – w| < |w|. All the structural relations of the Kac–Moody and Virasoro algebra can be recovered from these relations, including the Segal–Sugawara construction.

Every other integral representation H_i at the same level becomes a module for the vertex algebra, in the sense that for each a there is a vertex operator V_i(a, z) on H_i such that

[math]\displaystyle{ V_i(a,z)V_i(b,w) = V_i(b,w) V_i(a,z)=V_i(V(a,z-w)b,w). }[/math]

The most general vertex operators at a given level are intertwining operators Φ(v, z) between representations H_i and H_j where v lies in H_k. These operators can also be written as

[math]\displaystyle{ \Phi(v,z)=\sum \Phi(v,n) z^{-n-\delta} }[/math]

but δ can now be rational numbers. Again these intertwining operators are characterized by properties

[math]\displaystyle{ V_j(a,z) \Phi(v,w)= \Phi(v,w) V_i(a,w) = \Phi \left (V_k(a,z-w)v,w \right) }[/math]

and relations with L₀ and L₋₁ similar to those above.

When v is in the lowest energy subspace for L₀ on H_k, an irreducible representation of [math]\displaystyle{ \mathfrak{g} }[/math], the operator Φ(v, w) is called a primary field of charge k.

Given a chain of n primary fields starting and ending at H₀, their correlation or n-point function is defined by

[math]\displaystyle{ \left \langle \Phi(v_1,z_1) \Phi(v_2,z_2) \cdots \Phi(v_n,z_n) \right \rangle = \left(\Phi \left (v_1,z_1 \right ) \Phi \left (v_2,z_2 \right ) \cdots \Phi \left (v_n,z_n \right ) \Omega, \Omega \right ). }[/math]

In the physics literature the v_i are often suppressed and the primary field written Φ_i(z_i), with the understanding that it is labelled by the corresponding irreducible representation of [math]\displaystyle{ \mathfrak{g} }[/math].

Vertex algebra derivation

If (X_s) is an orthonormal basis of [math]\displaystyle{ \mathfrak{g} }[/math] for the Killing form, the Knizhnik–Zamolodchikov equations may be deduced by integrating the correlation function

[math]\displaystyle{ \sum_s \left \langle X_s(w)X_s(z)\Phi(v_1,z_1) \cdots \Phi(v_n,z_n) \right \rangle (w-z)^{-1} }[/math]

first in the w variable around a small circle centred at z; by Cauchy's theorem the result can be expressed as sum of integrals around n small circles centred at the z_j's:

[math]\displaystyle{ {1\over 2}(k+h) \left \langle T(z)\Phi(v_1,z_1)\cdots \Phi(v_n,z_n) \right \rangle = - \sum_{j,s} \left \langle X_s(z)\Phi(v_1,z_1) \cdots \Phi(X_s v_j,z_j) \cdots \Phi(v_n,z_n) \right \rangle (z-z_j)^{-1}. }[/math]

Integrating both sides in the z variable about a small circle centred on z_i yields the i^th Knizhnik–Zamolodchikov equation.

Lie algebra derivation

It is also possible to deduce the Knizhnik–Zamodchikov equations without explicit use of vertex algebras. The termΦ(v_i, z_i) may be replaced in the correlation function by its commutator with L_r where r = 0, ±1. The result can be expressed in terms of the derivative with respect to z_i. On the other hand, L_r is also given by the Segal–Sugawara formula:

[math]\displaystyle{ \begin{align} L_0 &= (k+h)^{-1}\sum_s\left[ \frac{1}{2}X_s(0)^2 + \sum_{m\gt 0} X_s(-m)X_s(m)\right] \\ L_{\pm 1 } &=(k+h)^{-1} \sum_s\sum_{ m\ge 0} X_s(-m\pm 1)X_s(m) \end{align} }[/math]

After substituting these formulas for L_r, the resulting expressions can be simplified using the commutator formulas

[math]\displaystyle{ [X(m),\Phi(a,n)]= \Phi(Xa,m+n). }[/math]

Original derivation

The original proof of (Knizhnik Zamolodchikov), reproduced in (Tsuchiya Kanie), uses a combination of both of the above methods. First note that for X in [math]\displaystyle{ \mathfrak{g} }[/math]

[math]\displaystyle{ \left \langle X(z)\Phi(v_1,z_1) \cdots \Phi(v_n,z_n) \right \rangle = \sum_j \left \langle \Phi(v_1,z_1)\cdots \Phi(Xv_j,z_j) \cdots \Phi(v_n,z_n) \right \rangle (z-z_j)^{-1}. }[/math]

Hence

[math]\displaystyle{ \sum_s \langle X_s(z)\Phi(z_1,v_1) \cdots \Phi(X_sv_i,z_i) \cdots \Phi(v_n,z_n)\rangle = \sum_j\sum_s \langle\cdots \Phi(X_s v_j, z_j) \cdots \Phi(X_s v_i,z_i) \cdots\rangle (z-z_j)^{-1}. }[/math]

On the other hand,

[math]\displaystyle{ \sum_s X_s(z)\Phi \left (X_sv_i,z_i \right ) = (z-z_i)^{-1} \Phi \left (\sum_s X_s^2v_i,z_i \right ) + (k+g){\partial\over \partial z_i} \Phi(v_i,z_i) +O(z-z_i) }[/math]

so that

[math]\displaystyle{ (k+g)\frac{\partial}{\partial z_i} \Phi(v_i,z_i) = \lim_{z\to z_i} \left[\sum_s X_s(z)\Phi \left (X_sv_i,z_i \right ) -(z-z_i)^{-1}\Phi \left (\sum_s X_s^2 v_i,z_i \right )\right]. }[/math]

The result follows by using this limit in the previous equality.

Monodromy representation of KZ equation

In conformal field theory along the above definition the n-point correlation function of the primary field satisfies KZ equation. In particular, for [math]\displaystyle{ \mathfrak{sl}_2 }[/math] and non negative integers k there are [math]\displaystyle{ k + 1 }[/math] primary fields [math]\displaystyle{ \Phi_j(z_j) }[/math] 's corresponding to spin _j representation ([math]\displaystyle{ j = 0, 1/2, 1, 3/2,\ldots , k/2 }[/math]). The correlation function [math]\displaystyle{ \Psi(z_1,\dots,z_n) }[/math] of the primary fields [math]\displaystyle{ \Phi_j(z_j) }[/math] 's for the representation [math]\displaystyle{ (\rho,V_i) }[/math] takes values in the tensor product [math]\displaystyle{ V_1\otimes\cdots\otimes V_n }[/math] and its KZ equation is

[math]\displaystyle{ (k+2)\frac{\partial}{\partial z_i}\Psi=\sum_{i,j\ne i}\frac{\Omega_{ij}}{z_i-z_j}\Psi }[/math],

where [math]\displaystyle{ \Omega_{ij}=\sum_a\rho_i(J^a)\otimes\rho_j(J_a) }[/math] as the above informal derivation.

This n-point correlation function can be analytically continued as multi-valued holomorphic function to the domain [math]\displaystyle{ X_n \subset \Complex^n }[/math] with [math]\displaystyle{ z_i\ne z_j }[/math] for [math]\displaystyle{ i\ne j }[/math]. Due to this analytic continuation, the holonomy of the KZ equation can be described by the braid group [math]\displaystyle{ B_n }[/math] introduced by Emil Artin. In general, A complex semi-simple Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] and its representations [math]\displaystyle{ (\rho,V_i) }[/math] give the linear representation of braid group

[math]\displaystyle{ \theta \colon B_n \rightarrow V_1\otimes\cdots\otimes V_n }[/math]

as the holonomy of KZ equation. Oppositely, a KZ equation gives the linear representation of braid groups as its holonomy.

The action on [math]\displaystyle{ V_1\otimes\dots\otimes V_n }[/math] by the analytic continuation of KZ equation is called monodromy representation of KZ equation. In particular, if all [math]\displaystyle{ V_i }[/math] 's have spin _1/2 representation then the linear representation obtained from KZ equation agrees with the representation constructed from operator algebra theory by Vaughan Jones. It is known that the monodromy representation of KZ equation with a general semi-simple Lie algebra agrees with the linear representation of braid group given by R-matrix of the corresponding quantum group.

KZ-BPZ relation

In the case when the underlying Lie algebra is [math]\displaystyle{ \mathfrak{g}=\mathfrak{sl}(2) }[/math], the KZ equations are mapped to BPZ equations by Sklyanin's separation of variables for the [math]\displaystyle{ \mathfrak{sl}(2) }[/math] Gaudin model.

Applications

• Representation theory of affine Lie algebra and quantum groups
• Braid groups
• Topology of hyperplane complements
• Knot theory and 3-folds

See also

• Quantum KZ equations

References

• Baik, Jinho; Deift, Percy; Johansson, Kurt (June 1999), "On the distribution of the length of the longest increasing subsequence of random permutations", J. Amer. Math. Soc. 12 (4): 1119–78, doi:10.1090/S0894-0347-99-00307-0, https://www.ams.org/journals/bull/2000-37-02/S0273-0979-00-00853-3/S0273-0979-00-00853-3.pdf 
• Knizhnik, V.G.; Zamolodchikov, A.B. (1984), "Current Algebra and Wess–Zumino Model in Two-Dimensions", Nucl. Phys. B 247 (1): 83–103, doi:10.1016/0550-3213(84)90374-2, Bibcode: 1984NuPhB.247...83K 
• Tsuchiya, A.; Kanie, Y. (1988), Vertex operators in conformal field theory on P(1) and monodromy representations of braid group, Adv. Stud. Pure Math., 16, pp. 297–372  (Erratum in volume 19, pp. 675–682.)
• Borcherds, Richard (1986), "Vertex algebras, Kac–Moody algebras, and the Monster", Proc. Natl. Acad. Sci. USA 83 (10): 3068–3071, doi:10.1073/pnas.83.10.3068, PMID 16593694, Bibcode: 1986PNAS...83.3068B 
• Frenkel, Igor; Lepowsky, James; Meurman, Arne (1988), Vertex operator algebras and the Monster, Pure and Applied Mathematics, 134, Academic Press, ISBN 0-12-267065-5 
• Goddard, Peter (1989), "Meromorphic conformal field theory", in Kac, Victor G., Infinite Dimensional Lie Algebras And Groups, Advanced Series In Mathematical Physics, 7, World Scientific, pp. 556–587, ISBN 978-981-4663-17-5, https://books.google.com/books?id=uo0GCwAAQBAJ&pg=PA557 
• Kac, Victor (1997), Vertex algebras for beginners, University Lecture Series, 10, American Mathematical Society, ISBN 0-8218-0643-2 
• Etingof, Pavel I.; Frenkel, Igor; Kirillov, Alexander A. (1998), Lectures on Representation Theory and Knizhnik–Zamolodchikov Equations, Mathematical Surveys and Monographs, 58, American Mathematical Society, ISBN 0821804960 
• Frenkel, Edward; Ben-Zvi, David (2001), Vertex algebras and Algebraic Curves, Mathematical Surveys and Monographs, 88, American Mathematical Society, ISBN 0-8218-2894-0 
• Kohno, Toshitake (2002), Conformal Field Theory and Topology, Translation of Mathematical Monographs, 210, American Mathematical Society, ISBN 978-0821821305