Ecuaciones de Knízhnik–Zamolódchikov

En física matemática las ecuaciones de Knízhnik–Zamolódchikov o ecuaciones KZ satisfacen un conjunto de restricciones adicionales para las funciones de correlación de la teoría conforme de campos asociados con un álgebra de Lie afín a un nivel fijo. Forman un sistema de ecuaciones en derivadas parciales complejas con puntos singulares regulares satisfechos por las N-funciones de campo principal y puede obtenerse utilizando ya sea el formalismo del álgebra de Lie o del álgebra de vértice. La estructura de la parte género cero de la teoría conforme de campos está codificada en las propiedades de monodromía de estas ecuaciones. En particular la trenza y la fusión de los campos principales (o sus representaciones asociadas) pueden deducirse de las propiedades de las funciones de cuatro puntos, para que las ecuaciones se reduzcan a una sola matriz valorada de primer orden compleja ecuación diferencial de tipo Fuchsiano. Originalmente los físicos rusos Vadim Knízhnik y Aleksandr Zamolódchikov dedujeron la teoría de SU(2) usando las fórmulas clásicas de Gauss para los coeficientes de la conexión de la ecuación diferencial hipergeométrica.

Definición

Sea que ${\hat {\mathfrak {g}}}_{k}$ denote el álgebra de Lie afín con nivel $k$ y número de Coxeter dual $h$ . Deje que $v$ sea un vector de una representación de modo cero de ${\hat {\mathfrak {g}}}_{k}$ y $\Phi (v,z)$ el campo principal asociado. Deje que $t^{a}$ sea una base de la subyacente álgebra de Lie ${\mathfrak {g}}$ , $t_{i}^{a}$ su representación en el campo principal $\Phi (v_{i},z)$ y $\eta$ la forma asesina. Entonces para $i,j=1,2,\ldots ,N$ las ecuaciones de Knízhnik–Zamolódchikov se leen

\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)\langle \Phi (v_{N},z_{N})\dots \Phi (v_{1},z_{1})\rangle =0.

Derivación informal

Las ecuaciones de Knízhnik–Zamolódchikov resultan de la existencia de vectores nulos en el módulo ${\hat {\mathfrak {g}}}_{k}$ . Esto es muy similar al caso en modelos mínimos, donde la existencia de vectores nulos resultan en restricciones adicionales sobre las funciones de correlación.

Los vectores nulos de un módulo ${\hat {\mathfrak {g}}}_{k}$ son de la forma

\left(L_{-1}-{\frac {1}{2(k+h)}}\sum _{k\in \mathbf {Z} }\sum _{a,b}\eta _{ab}J_{-k}^{a}J_{k-1}^{b}\right)v=0,

donde $v$ es un vector de peso más alto y $J_{k}^{a}$ corriente asociada con el generador afín $t^{a}$ . Ya que $v$ es de mayor peso, la acción de la mayoría de $J_{k}^{a}$ en él se anulan y sólo $J_{-1}^{a}J_{0}^{b}$ permanecen. La correspondencia de operador-estado entonces conduce directamente a las ecuaciones de Knízhnik–Zamolódchikov tal como se indica arriba.

Formulación matemática

Artículo principal: Vertex algebra

Desde el tratamiento en Tsuchiya y Kanie (1988), la ecuación de Knízhnik–Zamolódchikov ha sido formulada matemáticamente en el idioma del álgebra de vértices debido a Borcherds (1986) y Frenkel, Lepowsky y Meurman (1988). Este enfoque se popularizó entre los físicos teóricos por Goddard (1988) y entre los matemáticos por Kac (1996).

La representación de vacío H₀ de un álgebra afín de Kac–Moody a un nivel fijo puede ser codificado en un álgebra de vértice. La derivación d actúa como el operador de energía L₀ en h₀, que puede escribirse como una suma directa de los eigenespacios enteros no negativos de L₀, el espacio de cero energía generada por el vector vacío Ω. El valor propio de un vector propio de L₀ se llama energía. Para cada estado a en L hay un operador de vértice V (a,z) que crea a del vector vacío Ω, en el sentido que

V(a,0)\Omega =a.\,

Los operadores de vértice de energía 1 corresponden a los generadores de la álgebra afín

X(z)=\sum X(n)z^{-n-1}

donde X corre sobre los elementos de la subyacente álgebra de Lie simplemente compleja de dimensión finita ${\mathfrak {g}}$ .

Hay un vector propio de energía 2 L₋₂Ω que los generadores de L_n del álgebra de Virasoro asociada al álgebra Kac–Moody por la construcción de Segal–Sugawara

T(z)=\sum L_{n}z^{-n-2}.

Si a tiene energía α, entonces el operador vértice correspondiente tiene la forma

V(a,z)\sum V(a,n)z^{-n-\alpha }.

Los operadores de vértice satisfacen

{d \over dz}V(a,z)=[L_{-1},V(a,z)]=V(L_{-1}a,z),\,\,[L_{0},V(a,z)]=(z^{-1}{d \over dz}+\alpha )V(a,z)

así como las relaciones de localidad y asociatividad

V(a,z)V(b,w)=V(b,w)V(a,z)=V(V(a,z-w)b,w).\,

Estas dos últimas relaciones son entendidas como continuaciones analíticas: los productos interno con vectores de energía finita de las tres expresiones definen los mismos polinomios en z^±1, w^{± 1} y (z – w)⁻¹ en los dominios |z| < |w|, |z| > |w| y |z – w| < |w. Todas las relaciones estructurales del álgebra Kac–Moody y Virasoro pueden recuperarse de estas relaciones, incluyendo la construcción de Segal–Sugawara.

Cada otra representación integral de H_i al mismo nivel, se convierte en un módulo para el álgebra de vértice, en el sentido de que para cada es un operador de vértice V_i(a,z) en H_i que

V_{i}(a,z)V_{i}(b,w)=V_{i}(b,w)V_{i}(a,z)=V_{i}(V(a,z-w)b,w).\,

Los operadores más generales de vértice en un nivel determinado son operadores de entrelazamiento Φ(v,z) entre representaciones H_i y H_j donde se encuentra que la v yace en H_k. Estos operadores también pueden escribirse como

\Phi (v,z)=\sum \Phi (v,n)z^{-n-\delta }\,

pero δ puede ser ahora número racional. Nuevamente estos operadores de entrelazamiento se caracterizan por propiedades

V_{j}(a,z)\Phi (v,w)=\Phi (v,w)V_{i}(a,w)=\Phi (V_{k}(a,z-w)v,w)\,

y las relaciones con L₀ y L_{– 1} similares a los de arriba.

Cuando v es en el subespacio de energía más bajo para L₀ h_k, una representación irreducible de ${\mathfrak {g}}$ , el operador Φ(v,w) se llama campo primario de carga k.

Dada una cadena de n campos primarios empezando y terminando en H₀, su correlación n-punto de función se define por

\langle \Phi (v_{1},z_{1})\Phi (v_{2},z_{2})\dots \Phi (v_{n},z_{n})\rangle =(\Phi (v_{1},z_{1})\Phi (v_{2},z_{2})\dots \Phi (v_{n},z_{n})\Omega ,\Omega ).

En la literatura física la v_i se suprime a menudo y el campo principal escrito Φ_i(z_i), con el entendimiento que es etiquetado como por la representación irreducible correspondiente de ${\mathfrak {g}}$ .

Derivación de álgebra de vértice

Si (X_s) es una base ortonormal de ${\mathfrak {g}}$ para la forma asesina, se puede deducir las ecuaciones de Knízhnik–Zamolódchikov mediante integración de la función de correlación

\sum _{s}\langle X_{s}(w)X_{s}(z)\Phi (v_{1},z_{1})\cdots \Phi (v_{n},z_{n})\rangle (w-z)^{-1}

en primer lugar en la variable w alrededor de un pequeño círculo centrado en z; por el teorema de Cauchy, el resultado puede expresarse como suma de integrales alrededor de n pequeños círculos centrados en la z_j' s:

{1 \over 2}(k+h)\langle T(z)\Phi (v_{1},z_{1})\cdots \Phi (v_{n},z_{n})\rangle =-\sum _{j,s}\langle X_{s}(z)\Phi (v_{1},z_{1})\cdots \Phi (X_{s}v_{j},z_{j})\Phi (X_{n},z_{n})\rangle (z-z_{j})^{-1}.

Integrando ambos lados en la variable z sobre un pequeño círculo centrado en z_i produce la ecuación i^th Knízhnik–Zamolódchikov.

Derivación de álgebra de Lie

También es posible deducir las ecuaciones de Knízhnik–Zamolódchikov sin uso explícito de álgebras de vértice. El término Φ (v_i,z_i) puede cambiarse en la función de correlación por su conmutador con L_r donde r = 0 o ±1. El resultado puede expresarse en términos de la derivada con respecto a z_i. Por otro lado L_r también viene dada por la fórmula de Segal–Sugawara:

L_{0}=(k+h)^{-1}\sum _{s}\left[{1 \over 2}X_{s}(0)^{2}+\sum _{m>0}X_{s}(-m)X_{s}(m)\right],\,\,\,L_{\pm 1}=(k+h)^{-1}\sum _{s}\sum _{m\geq 0}X_{s}(-m\pm 1)X_{s}(m).

Después de sustituir estas fórmulas para L_r, las expresiones resultantes pueden simplificarse utilizando las fórmulas de conmutador

[X(m),\Phi (a,n)]=\Phi (Xa,m+n).\,

Derivación original

La prueba original de Knizhnik y Zamolodchikov (1984), reproducido en Tsuchiya y Kanie (1988), utiliza una combinación de dos de los métodos anteriores. En primer lugar tenga en cuenta que para X en ${\mathfrak {g}}$

\langle X(z)\Phi (v_{1},z_{1})\cdots \Phi (v_{n},z_{n})\rangle =\sum _{j}\langle \Phi (v_{1},z_{1})\cdots \Phi (Xv_{j},z_{j})\cdots \Phi (v_{n},z_{n})\rangle (z-z_{j})^{-1}.

Por lo tanto

\sum _{s}\langle X_{s}(z)\Phi (z_{1},v_{1})\cdots \Phi (X_{s}v_{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}.

Por otro lado

\sum _{s}X_{s}(z)\Phi (X_{s}v_{i},z_{i})=(z-z_{i})^{-1}\Phi (\sum _{s}X_{s}^{2}v_{i},z_{i})+(k+g){\partial  \over \partial z_{i}}\Phi (v_{i},z_{i})+O(z-z_{i})

Para

(k+g){\partial  \over \partial z_{i}}\Phi (v_{i},z_{i})=\lim _{z\rightarrow z_{i}}\left[\sum _{s}X_{s}(z)\Phi (X_{s}v_{i},z_{i})-(z-z_{i})^{-1}\Phi (\sum _{s}X_{s}^{2}v_{i},z_{i})\right].

El resultado se sigue utilizando este límite en la igualdad anterior.

Aplicaciones

Véase también

Referencias

Baik, Jinho; Deift, Percy, and Johansson, Kurt (junio de 1999). «On the distribution of the length of the longest increasing subsequence of random permutations». J. Amer. Math. Soc. 12 (4): 1119-1178. Consultado el 5 de diciembre de 2012.
Knizhnik, V.G.; Zamolodchikov, A.B. (1984), «Current Algebra and Wess–Zumino Model in Two-Dimensions», Nucl. Phys. B 247: 83-103, doi:10.1016/0550-3213(84)90374-2 .
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 . (Errata en volumen 19, pp. 675–682).
Borcherds, Richard (1986), «Vertex algebras, Kac–Moody algebras, and the Monster», Proc. Natl. Acad. Sci. USA. 83: 3068-3071, PMC 323452, PMID 16593694, doi:10.1073/pnas.83.10.3068 .
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, Adv. Series in Mathematical Physics 7, World Scientific, pp. 556-587 . (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última).
Kac, Victor (1998), 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 .

Datos: Q6422663