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 denote el álgebra de Lie afín con nivel y número de Coxeter dual . Deje que sea un vector de una representación de modo cero de y el campo principal asociado. Deje que sea una base de la subyacente álgebra de Lie , su representación en el campo principal y la forma asesina. Entonces para las ecuaciones de Knízhnik–Zamolódchikov se leen
![{\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)\langle \Phi (v_{N},z_{N})\dots \Phi (v_{1},z_{1})\rangle =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2839839581a0448cb68f9d2fc3531e52b30bb1df)
Las ecuaciones de Knízhnik–Zamolódchikov resultan de la existencia de vectores nulos en el módulo . 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 son de la forma
![{\displaystyle \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,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bcd01af7092b1c5ad7e9168fded40630fd6ae19)
donde es un vector de peso más alto y corriente asociada con el generador afín . Ya que es de mayor peso, la acción de la mayoría de en él se anulan y sólo permanecen. La correspondencia de operador-estado entonces conduce directamente a las ecuaciones de Knízhnik–Zamolódchikov tal como se indica arriba.
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 H0 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 L0 en h0, que puede escribirse como una suma directa de los eigenespacios enteros no negativos de L0, el espacio de cero energía generada por el vector vacío Ω. El valor propio de un vector propio de L0 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
![{\displaystyle V(a,0)\Omega =a.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3e51b8bfadb4c43c3da5af9856aebea17587d88)
Los operadores de vértice de energía 1 corresponden a los generadores de la álgebra afín
![{\displaystyle X(z)=\sum X(n)z^{-n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bf841868405fee6fabfba8ffc98027988d0bbd9)
donde X corre sobre los elementos de la subyacente álgebra de Lie simplemente compleja de dimensión finita .
Hay un vector propio de energía 2 L−2Ω que los generadores de Ln del álgebra de Virasoro asociada al álgebra Kac–Moody por la construcción de Segal–Sugawara
![{\displaystyle T(z)=\sum L_{n}z^{-n-2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/329d629108a0a816e151b861c4bc6c140ffa854b)
Si a tiene energía α, entonces el operador vértice correspondiente tiene la forma
![{\displaystyle V(a,z)\sum V(a,n)z^{-n-\alpha }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/121a9d74277269e24e48d1d6d6d07b96d95a73b1)
Los operadores de vértice satisfacen
![{\displaystyle {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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ccf1bdd04fb2bbcf026e4306aae084ccd71fa07)
así como las relaciones de localidad y asociatividad
![{\displaystyle V(a,z)V(b,w)=V(b,w)V(a,z)=V(V(a,z-w)b,w).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc7f123887e673443a35a5279bfd0b3a92f56ac7)
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)−1 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 Hi 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 Vi(a,z) en Hi que
![{\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).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fe8fa8efffdb2fa83d9afd57ac422f28697776e)
Los operadores más generales de vértice en un nivel determinado son operadores de entrelazamiento Φ(v,z) entre representaciones Hi y Hj donde se encuentra que la v yace en Hk. Estos operadores también pueden escribirse como
![{\displaystyle \Phi (v,z)=\sum \Phi (v,n)z^{-n-\delta }\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51fe45a2c47b6ad650851b821bc704ff3a12a9f0)
pero δ puede ser ahora número racional. Nuevamente estos operadores de entrelazamiento se caracterizan por propiedades
![{\displaystyle V_{j}(a,z)\Phi (v,w)=\Phi (v,w)V_{i}(a,w)=\Phi (V_{k}(a,z-w)v,w)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/319842d5c21fbdd5ae8acd099e8c124e8fdba7ed)
y las relaciones con L0 y L– 1 similares a los de arriba.
Cuando v es en el subespacio de energía más bajo para L0 hk, una representación irreducible de , el operador Φ(v,w) se llama campo primario de carga k.
Dada una cadena de n campos primarios empezando y terminando en H0, su correlación n-punto de función se define por
![{\displaystyle \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 ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/428eedbe869b408ebc1d2df32d58215d6a39dd9f)
En la literatura física la vi se suprime a menudo y el campo principal escrito Φi(zi), con el entendimiento que es etiquetado como por la representación irreducible correspondiente de .
Derivación de álgebra de vértice
Si (Xs) es una base ortonormal de para la forma asesina, se puede deducir las ecuaciones de Knízhnik–Zamolódchikov mediante integración de la función de correlación
![{\displaystyle \sum _{s}\langle X_{s}(w)X_{s}(z)\Phi (v_{1},z_{1})\cdots \Phi (v_{n},z_{n})\rangle (w-z)^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08af4619458208a63f9de0ef6b4e546712800c55)
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 zj' s:
![{\displaystyle {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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/892bd85165c3c8ba0ca98cc2154b6a87279303fa)
Integrando ambos lados en la variable z sobre un pequeño círculo centrado en zi produce la ecuación ith 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 Φ (vi,zi) puede cambiarse en la función de correlación por su conmutador con Lr donde r = 0 o ±1. El resultado puede expresarse en términos de la derivada con respecto a zi. Por otro lado Lr también viene dada por la fórmula de Segal–Sugawara:
![{\displaystyle 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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1f40ae30112b4c7dd26a906fe5d5b484ad0e820)
Después de sustituir estas fórmulas para Lr, las expresiones resultantes pueden simplificarse utilizando las fórmulas de conmutador
![{\displaystyle [X(m),\Phi (a,n)]=\Phi (Xa,m+n).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b652ce4c9a70932f4abf33a6bf4f065ecbc9df4)
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
![{\displaystyle \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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50ee90e21947071b2cdd581ba2513ab785de60e9)
Por lo tanto
![{\displaystyle \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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0664b745440e08539c2b0895a102f18b45c0c41)
Por otro lado
![{\displaystyle \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})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b031214112f3f21a53ca102e673e9f2d11a06f4c)
Para
![{\displaystyle (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].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e61ffc2e58179e486caf715d7fab1b8b282f9cb1)
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 .
|
|