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 g ^ k {\displaystyle {\hat {\mathfrak {g}}}_{k}} denote the affine Lie algebra with level k and dual Coxeter number h. Let v be a vector from a zero mode representation of g ^ k {\displaystyle {\hat {\mathfrak {g}}}_{k}} and Φ ( v , z ) {\displaystyle \Phi (v,z)} the primary field associated with it. Let t a {\displaystyle t^{a}} be a basis of the underlying Lie algebra g {\displaystyle {\mathfrak {g}}} , t i a {\displaystyle t_{i}^{a}} their representation on the primary field Φ ( v i , z ) {\displaystyle \Phi (v_{i},z)} and η the Killing form. Then for i , j = 1 , 2 , … , N {\displaystyle i,j=1,2,\ldots ,N} the Knizhnik–Zamolodchikov equations read
( ( k + h ) ∂ z i + ∑ j ≠ i ∑ a , b η a b t i a ⊗ t j b z i − z j ) ⟨ Φ ( v N , z N ) … Φ ( v 1 , z 1 ) ⟩ = 0. {\displaystyle \left((k+h)\partial _{z_{i}}+\sum _{j\neq i}{\frac {\sum _{a,b}\eta _{ab}t_{i}^{a}\otimes t_{j}^{b}}{z_{i}-z_{j}}}\right)\left\langle \Phi (v_{N},z_{N})\dots \Phi (v_{1},z_{1})\right\rangle =0.}
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
… excerpt ends here. Continue reading the full article.
