# Modelo de Wess-Zumino-Witten

En física teórica y matemáticas, un modelo de Wess-Zumino-Witten (WZW), también llamado modelo de Wess-Zumino-Novikov-Witten, es un tipo de teoría de campos conforme bidimensional que lleva el nombre de Julius Wess, Bruno Zumino, Sergei Novikov y Eduardo Witten. Un modelo WZW está asociado a un grupo de Lie (o supergrupo), y su álgebra de simetría es el álgebra de Lie afín construida a partir del álgebra de Lie correspondiente (o superálgebra de Lie). Por extensión, el nombre modelo WZW se utiliza a veces para cualquier teoría de campos conforme cuya álgebra de simetría sea un álgebra de Lie afín.

## Acción
### Definición

Para $\Sigma$ una superficie de Riemann, $G$ un grupo de mentiras, y $k$ un número (generalmente complejo), definamos el $G$ -Modelo WZW encendido $\Sigma$ en el nivel $k$ . El modelo es un modelo sigma no lineal cuya acción es funcional de un campo. $\gamma :\Sigma \to G$ :
    $S_{k}(\gamma )=-{\frac {k}{8\pi }}\int _{\Sigma }d^{2}x\,{\mathcal {K}}\left(\gamma ^{-1}\partial ^{\mu }\gamma ,\gamma ^{-1}\partial _{\mu }\gamma \right)+2\pi kS^{\mathrm {W} Z}(\gamma ).$
Aquí, $\Sigma$ está equipado con una métrica euclidiana plana, $\partial _{\mu }$ es la derivada parcial, y ${\mathcal {K}}$ es la forma Killing en el álgebra de Lie de $G$. El término Wess-Zumino de la acción es
    $S^{\mathrm {W} Z}(\gamma )=-{\frac {1}{48\pi ^{2}}}\int _{\mathbf {B} ^{3}}d^{3}y\,\epsilon ^{ijk}{\mathcal {K}}\left(\gamma ^{-1}\partial _{i}\gamma ,\left[\gamma ^{-1}\partial _{j}\gamma ,\gamma ^{-1}\partial _{k}\gamma \right]\right).$
Aquí $\epsilon ^{ijk}$ es el tensor completamente antisimétrico, y $[.,.]$ es el soporte de mentira. El término de Wess-Zumino es una integral sobre una variedad tridimensional $\mathbf {B} ^{3}$ cuyo límite es $\partial \mathbf {B} ^{3}=\Sigma$.

### Propiedades topológicas del término Wess-Zumino

Para que el término Wess-Zumino tenga sentido, necesitamos el campo $\gamma$ tener una extensión para $\mathbf {B} ^{3}$. Esto requiere el grupo de homotopía $\pi _{2}(G)$ ser trivial, como es el caso en particular de cualquier grupo compacto de Lie $G$.
La extensión de un determinado $\gamma :\Sigma \to G$ a $\mathbf {B} ^{3}$ en general no es único. Para que el modelo WZW esté bien definido, $e^{iS_{k}(\gamma )}$ no debería depender de la elección de la extensión. El término de Wess-Zumino es invariante bajo pequeñas deformaciones de $\gamma$, y sólo depende de su clase de homotopía. Las posibles clases de homotopía están controladas por el grupo de homotopía $\pi _{3}(G)$.
Para cualquier grupo Lie simple, compacto y conectado $G$, tenemos $\pi _{3}(G)=\mathbb {Z}$ y diferentes extensiones de $\gamma$ conducir a valores de $S^{\mathrm {W} Z}(\gamma )$ que difieren por números enteros. Por lo tanto, conducen al mismo valor de $e^{iS_{k}(\gamma )}$ siempre que el nivel obedezca
    $k\in \mathbb {Z} .$
Los valores enteros del nivel también juegan un papel importante en la teoría de la representación del álgebra de simetría del modelo, que es un álgebra de Lie afín. Si el nivel es un número entero positivo, el álgebra de Lie afín tiene representaciones unitarias de mayor peso con pesos más altos que son integrales dominantes. Tales representaciones se descomponen en subrepresentaciones de dimensión finita con respecto a las subálgebras abarcadas por cada raíz simple, la raíz negativa correspondiente y su conmutador, que es un generador de Cartan.
En el caso del grupo de Lie simple no compacto $\mathrm {SL} (2,\mathbb {R} )$, el grupo de homotopía $\pi _{3}(\mathrm {SL} (2,\mathbb {R} ))$ es trivial y el nivel no está obligado a ser un número entero.

### Interpretación geométrica del término Wess-Zumino

Si e $_a$ son los vectores base del álgebra de Lie, entonces ${\mathcal {K}}(e_{a},[e_{b},e_{c}])$ son las constantes de estructura del álgebra de Lie. Las constantes de estructura son completamente antisimétricas y, por lo tanto, definen una forma 3 en la variedad de grupo de G. Por lo tanto, el integrando anterior es solo el retroceso de la forma armónica 3 hacia la bola. $\mathbf {B} ^{3}.$ Denotando la forma armónica 3 por c y el retroceso por $\gamma ^{*},$ uno entonces tiene
    $S^{\mathrm {W} Z}(\gamma )=\int _{\mathbf {B} ^{3}}\gamma ^{*}c.$
Esta forma conduce directamente a un análisis topológico del término WZ.
Geométricamente, este término describe la torsión del respectivo colector. La presencia de esta torsión obliga al teleparalelismo de la variedad y, por tanto, a la trivialización del tensor de curvatura torsional; y por tanto la detención del flujo de renormalización, un punto fijo infrarrojo del grupo de renormalización, un fenómeno denominado geometrostasis.

## Álgebra de simetría
### Simetría de grupo generalizada

El modelo Wess-Zumino-Witten no sólo es simétrico bajo transformaciones globales por un elemento de grupo en $G$, pero también tiene una simetría mucho más rica. Esta simetría a menudo se llama $G(z)\times G({\bar {z}})$ simetría. Es decir, dada cualquier holomorfa $G$ función valorada $\Omega (z)$, y cualquier otro (completamente independiente de $\Omega (z)$ ) antiholomórfico $G$ función valorada ${\bar {\Omega }}({\bar {z}})$, donde hemos identificado $z=x+iy$ y ${\bar {z}}=x-iy$ en términos de las coordenadas del espacio euclidiano $x,y$, se cumple la siguiente simetría:
    $S_{k}(\gamma )=S_{k}(\Omega \gamma {\bar {\Omega }}^{-1})$
Una forma de demostrar la existencia de esta simetría es mediante la aplicación repetida de la identidad Polyakov-Wiegmann respecto de productos de $G$ -campos valorados:
    $S_{k}(\alpha \beta ^{-1})=S_{k}(\alpha )+S_{k}(\beta )+{\frac {k}{16\pi ^{2}}}\int d^{2}x{\textrm {Tr}}(\alpha ^{-1}\partial _{\bar {z}}\alpha \beta ^{-1}\partial _{z}\beta )$
Las corrientes holomorfas y antiholomórficas $J(z)=-{\frac {1}{2}}k(\partial _{z}\gamma )\gamma ^{-1}$ y ${\bar {J}}({\bar {z}})=-{\frac {1}{2}}k\gamma ^{-1}\partial _{\bar {z}}\gamma$ son las corrientes conservadas asociadas con esta simetría. El comportamiento singular de los productos de estas corrientes con otros campos cuánticos determina cómo esos campos se transforman bajo acciones infinitesimales del $G(z)\times G({\bar {z}})$ grupo.

### Álgebra de Lie afín

Dejar $z$ ser una coordenada compleja local en $\Sigma$, $\{t^{a}\}$ una base ortonormal (con respecto a la forma Killing) del álgebra de Lie de $G$, y $J^{a}(z)$ la cuantificación del campo ${\mathcal {K}}(t^{a},\partial _{z}gg^{-1})$. Contamos con la siguiente expansión de producto de operador:
    $J^{a}(z)J^{b}(w)={\frac {k\delta ^{ab}}{(z-w)^{2}}}+{\frac {if_{c}^{ab}J^{c}(w)}{z-w}}+{\mathcal {O}}(1),$
dónde $f_{c}^{ab}$ son los coeficientes tales que $[t^{a},t^{b}]=f_{c}^{ab}t^{c}$. De manera equivalente, si $J^{a}(z)$ se expande en modos
    $J^{a}(z)=\sum _{n\in \mathbb {Z} }J_{n}^{a}z^{-n-1},$
entonces el álgebra actual generada por $\{J_{n}^{a}\}$ es el álgebra de Lie afín asociada al álgebra de Lie de $G$, con un nivel que coincide con el nivel $k$ del modelo WZW. Si ${\mathfrak {g}}=\mathrm {Lie} (G)$, la notación para el álgebra de Lie afín es ${\hat {\mathfrak {g}}}_{k}$ . Las relaciones de conmutación del álgebra de Lie afín son
    $[J_{n}^{a},J_{m}^{b}]=f_{c}^{ab}J_{m+n}^{c}+kn\delta ^{ab}\delta _{n+m,0}.$
Esta álgebra de Lie afín es el álgebra de simetría quiral asociada a las corrientes que se mueven hacia la izquierda. ${\mathcal {K}}(t^{a},\partial _{z}gg^{-1})$. Una segunda copia de la misma álgebra de Lie afín está asociada a las corrientes que se mueven hacia la derecha. ${\mathcal {K}}(t^{a},g^{-1}\partial _{\bar {z}}g)$ . los generadores ${\bar {J}}^{a}(z)$ de esa segunda copia son antiholomórficos. El álgebra de simetría completa del modelo WZW es el producto de las dos copias del álgebra de Lie afín.

### Construcción sugawara

La construcción de Sugawara es una incorporación del álgebra de Virasoro en el álgebra envolvente universal del álgebra de Lie afín. La existencia de la incrustación muestra que los modelos WZW son teorías de campos conformes. Además, conduce a ecuaciones de Knizhnik-Zamolodchikov para funciones de correlación.
La construcción de Sugawara está escrita de manera más concisa al nivel de las corrientes: $J^{a}(z)$ para el álgebra de Lie afín y el tensor de energía-momento $T(z)$ para el álgebra de Virasoro:
    $T(z)={\frac {1}{2(k+h^{\vee })}}\sum _{a}:J^{a}J^{a}:(z),$
donde el $:$ denota orden normal, y $h^{\vee }$ es el número dual de Coxeter. Utilizando el OPE de las corrientes y una versión del teorema de Wick se puede deducir que el OPE de $T(z)$ consigo mismo está dado por
    $T(y)T(z)={\frac {\frac {c}{2}}{(y-z)^{4}}}+{\frac {2T(z)}{(y-z)^{2}}}+{\frac {\partial T(z)}{y-z}}+{\mathcal {O}}(1),$
lo que equivale a las relaciones de conmutación del álgebra de Virasoro. La carga central del álgebra de Virasoro está dada en términos del nivel $k$ del álgebra de Lie afín por
    $c={\frac {k\mathrm {dim} ({\mathfrak {g}})}{k+h^{\vee }}}.$
Al nivel de los generadores del álgebra de Lie afín, la construcción de Sugawara dice
    $L_{n\neq 0}={\frac {1}{2(k+h^{\vee })}}\sum _{a}\sum _{m\in \mathbb {Z} }J_{n-m}^{a}J_{m}^{a},$
    $L_{0}={\frac {1}{2(k+h^{\vee })}}\left(2\sum _{a}\sum _{m=1}^{\infty }J_{-m}^{a}J_{m}^{a}+J_{a}^{0}J_{a}^{0}\right).$
donde los generadores $L_{n}$ del álgebra de Virasoro son los modos del tensor de energía-momento, $T(z)=\sum _{n\in \mathbb {Z} }L_{n}z^{-n-2}$.

## Espectro
### Modelos WZW con grupos compactos y conectados de forma sencilla

Si el grupo de mentiras $G$ es compacto y simplemente conexo, entonces el modelo WZW es racional y diagonal: racional porque el espectro se construye a partir de un conjunto finito (dependiente del nivel) de representaciones irreducibles del álgebra de Lie afín llamada representaciones integrables de mayor peso, y diagonal porque una representación del álgebra que se mueve hacia la izquierda se combina con la misma representación del álgebra que se mueve hacia la derecha.
Por ejemplo, el espectro de la $SU(2)$ Modelo WZW a nivel. $k\in \mathbb {N}$ es
    ${\mathcal {S}}_{k}=\bigoplus _{j=0,{\frac {1}{2}},1,\dots ,{\frac {k}{2}}}{\mathcal {R}}_{j}\otimes {\bar {\mathcal {R}}}_{j}\ ,$
dónde ${\mathcal {R}}_{j}$ es la representación afín de mayor peso del espín $j$ : una representación generada por un estado $|v\rangle$ tal que
    $J_{n<0}^{a}|v\rangle =J_{0}^{-}|v\rangle =0\ ,$
dónde $J^{-}$ es la corriente que corresponde a un generador $t^{-}$ del álgebra de Lie de $SU(2)$.

### Modelos WZW con otro tipo de grupos

Si el grupo $G$ es compacto, pero no simplemente conectado, el modelo WZW es racional pero no necesariamente diagonal. Por ejemplo, el $SO(3)$ El modelo WZW existe para niveles enteros pares $k\in 2\mathbb {N}$, y su espectro es una combinación no diagonal de un número finito de representaciones integrables de mayor peso.
Si el grupo $G$ no es compacto, el modelo WZW no es racional. Además, su espectro puede incluir representaciones que no tengan el mayor peso. Por ejemplo, el espectro de la $SL(2,\mathbb {R} )$ El modelo WZW se construye a partir de representaciones de mayor peso, más sus imágenes bajo los automorfismos de flujo espectral del álgebra de Lie afín.
Si $G$ es un supergrupo, el espectro puede involucrar representaciones que no se factorizan como productos tensoriales de representaciones de las álgebras de simetría que se mueven hacia la izquierda y hacia la derecha. Esto ocurre por ejemplo en el caso $G=GL(1|1)$, y también en supergrupos más complicados como $G=PSU(1,1|2)$. Las representaciones no factorizables son responsables del hecho de que los modelos WZW correspondientes sean teorías de campos conformes logarítmicas.

### Otras teorías basadas en álgebras de Lie afines

Las teorías de campos conformes conocidas basadas en álgebras de Lie afines no se limitan a los modelos WZW. Por ejemplo, en el caso del álgebra de Lie afín de la $SU(2)$ En el modelo WZW, las funciones de partición toroidal invariantes modulares obedecen a una clasificación ADE, donde las $SU(2)$ El modelo WZW representa únicamente la serie A. La serie D corresponde a la $SO(3)$ Modelo WZW, y la serie E no se corresponde con ningún modelo WZW.
Otro ejemplo es el $H_{3}^{+}$ modelo. Este modelo se basa en la misma álgebra de simetría que el $SL(2,\mathbb {R} )$ Modelo WZW, con el que se relaciona mediante rotación de Wick. sin embargo, el $H_{3}^{+}$ no es estrictamente un modelo WZW, ya que $H_{3}^{+}=SL(2,\mathbb {C} )/SU(2)$ No es un grupo, sino una clase.

## Campos y funciones de correlación
### Campos

Dada una representación simple $\rho$ del álgebra de Lie de $G$, un campo primario afín $\Phi ^{\rho }(z)$ es un campo que toma valores en el espacio de representación de $\rho$, tal que
    $J^{a}(y)\Phi ^{\rho }(z)=-{\frac {\rho (t^{a})\Phi ^{\rho }(z)}{y-z}}+O(1)\ .$
Un campo primario afín también es un campo primario para el álgebra de Virasoro que resulta de la construcción de Sugawara. La dimensión conforme del campo primario afín está dada en términos del Casimir cuadrático $C_{2}(\rho )$ de la representación $\rho$ (es decir, el valor propio del elemento cuadrático de Casimir $K_{ab}t^{a}t^{b}$ dónde $K_{ab}$ es la inversa de la matriz ${\mathcal {K}}(t^{a},t^{b})$ de la forma de Matar) por
    $\Delta _{\rho }={\frac {C_{2}(\rho )}{2(k+h^{\vee })}}\ .$
Por ejemplo, en el $SU(2)$ Modelo WZW, la dimensión conforme de un campo primario de espín $j$ es
    $\Delta _{j}={\frac {j(j+1)}{k+2}}\ .$
Según la correspondencia estado-campo, los campos primarios afines corresponden a estados primarios afines, que son los estados de mayor peso de las representaciones de mayor peso del álgebra de Lie afín.

### Funciones de correlación

Si el grupo $G$ es compacto, el espectro del modelo WZW está formado por representaciones de mayor peso y todas las funciones de correlación se pueden deducir de funciones de correlación de campos primarios afines a través de identidades de Ward.
Si la superficie de Riemann $\Sigma$ es la esfera de Riemann, las funciones de correlación de campos primarios afines obedecen a las ecuaciones de Knizhnik-Zamolodchikov. En superficies de Riemann de género superior, las funciones de correlación obedecen a las ecuaciones de Knizhnik-Zamolodchikov-Bernard, que implican derivadas no sólo de las posiciones de los campos, sino también de los módulos de la superficie.

## Modelos WZW calibrados

Dado un subgrupo de mentiras $H\subset G$, el $G/H$ El modelo WZW calibrado (o modelo coset) es un modelo sigma no lineal cuyo espacio objetivo es el cociente $G/H$ por la acción conjunta de $H$ en $G$. Este modelo WZW calibrado es una teoría de campos conforme, cuya álgebra de simetría es un cociente de las dos álgebras de Lie afines de la $G$ y $H$ Modelos WZW, y cuya carga central es la diferencia de sus cargas centrales.

## Aplicaciones

El modelo WZW cuyo grupo Lie es la cobertura universal del grupo. $\mathrm {SL} (2,\mathbb {R} )$ ha sido utilizado por Juan Maldacena e Hirosi Ooguri para describir la teoría de cuerdas bosónicas en el espacio tridimensional anti-de Sitter $AdS_{3}$. Supercuerdas en $AdS_{3}\times S^{3}$ están descritos por el modelo WZW en el supergrupo $PSU(1,1|2)$, o una deformación del mismo si se activa el flujo Ramond-Ramond.
Se han propuesto modelos WZW y sus deformaciones para describir la transición de meseta en el efecto Hall cuántico entero.
El $SL(2,\mathbb {R} )/U(1)$ El modelo WZW medido tiene una interpretación en la teoría de cuerdas como el agujero negro euclidiano bidimensional de Witten. El mismo modelo también describe ciertos sistemas estadísticos bidimensionales en criticidad, como el modelo antiferromagnético crítico de Potts.