stringtranslate.com

Teoría de campos de Liouville

En física , la teoría de campos de Liouville (o simplemente teoría de Liouville ) es una teoría de campos conforme bidimensional cuya ecuación clásica de movimiento es una generalización de la ecuación de Liouville .

La teoría de Liouville se define para todos los valores complejos de la carga central de su álgebra de simetría de Virasoro , pero es unitaria solo si

y su límite clásico es

Aunque se trata de una teoría interactuante con un espectro continuo , la teoría de Liouville ha sido resuelta. En particular, se ha determinado analíticamente su función de tres puntos sobre la esfera .

Introducción

La teoría de Liouville describe la dinámica de un campo llamado campo de Liouville, que se define en un espacio bidimensional. Este campo no es un campo libre debido a la presencia de un potencial exponencial.

donde el parámetro se denomina constante de acoplamiento . En una teoría de campo libre, los vectores propios de energía son linealmente independientes y el momento se conserva en las interacciones. En la teoría de Liouville, el momento no se conserva.

Reflexión de un vector propio de energía con momento a partir del potencial exponencial de la teoría de Liouville

Además, el potencial refleja los vectores propios de energía antes de que alcancen , y dos vectores propios son linealmente dependientes si sus momentos están relacionados por la reflexión

donde esta la carga de fondo

Si bien el potencial exponencial rompe la conservación del momento, no rompe la simetría conforme, y la teoría de Liouville es una teoría de campo conforme con la carga central.

Bajo transformaciones conformes, un vector propio de energía con momento se transforma en un campo primario con la dimensión conforme por

La carga central y las dimensiones conformes son invariantes bajo la dualidad.

Las funciones de correlación de la teoría de Liouville son covariantes bajo esta dualidad y bajo las reflexiones de los momentos. Sin embargo, estas simetrías cuánticas de la teoría de Liouville no se manifiestan en la formulación lagrangiana ; en particular, el potencial exponencial no es invariante bajo la dualidad.

Funciones de espectro y correlación

Espectro

El espectro de la teoría de Liouville es una combinación diagonal de los módulos de Verma del álgebra de Virasoro ,

donde y denotan el mismo módulo de Verma, visto como una representación del álgebra de Virasoro que se mueve hacia la izquierda y hacia la derecha respectivamente. En términos de momentos ,

corresponde a

La relación de reflexión es responsable de que el momento tome valores en una semilínea, en lugar de una línea completa para una teoría libre.

La teoría de Liouville es unitaria si y solo si . El espectro de la teoría de Liouville no incluye un estado de vacío . Se puede definir un estado de vacío, pero no contribuye a las expansiones del producto de operadores .

Relación entre campos y reflexión

En la teoría de Liouville, los campos primarios suelen parametrizarse por su momento en lugar de por su dimensión conforme y se denotan como . Ambos campos y corresponden al estado primario de la representación y están relacionados por la relación de reflexión

donde el coeficiente de reflexión es [1]

(El signo es si y en caso contrario, y el parámetro de normalización es arbitrario).

Funciones de correlación y fórmula DOZZ

Para , la constante de estructura de tres puntos se da mediante la fórmula DOZZ (para Dorn–Otto [2] y Zamolodchikov–Zamolodchikov [3] ),

donde la función especial es un tipo de función gamma múltiple .

Para , la constante de estructura de tres puntos es [1]

dónde

Las funciones de puntos en la esfera se pueden expresar en términos de constantes de estructura de tres puntos y bloques conformes . Una función de puntos puede tener varias expresiones diferentes: que concuerden es equivalente a la simetría cruzada de la función de cuatro puntos, lo que se ha comprobado numéricamente [3] [4] y demostrado analíticamente. [5] [6]

La teoría de Liouville existe no sólo en la esfera, sino también en cualquier superficie de Riemann de género . Técnicamente, esto es equivalente a la invariancia modular de la función de un punto del toro . Debido a las notables identidades de los bloques conformes y las constantes de estructura, esta propiedad de invariancia modular se puede deducir de la simetría cruzada de la función de cuatro puntos de la esfera. [7] [4]

Singularidad de la teoría de Liouville

Utilizando el enfoque bootstrap conforme , se puede demostrar que la teoría de Liouville es la única teoría de campo conforme tal que [1]

Formulación lagrangiana

Acción y ecuación de movimiento

La teoría de Liouville se define por la acción local

donde es la métrica del espacio bidimensional en el que se formula la teoría, es el escalar de Ricci de ese espacio y es el campo de Liouville. El parámetro , que a veces se denomina constante cosmológica, está relacionado con el parámetro que aparece en las funciones de correlación por

La ecuación de movimiento asociada a esta acción es

donde es el operador de Laplace-Beltrami . Si es la métrica euclidiana , esta ecuación se reduce a

lo que es equivalente a la ecuación de Liouville .

Una vez compactada en un cilindro, la teoría de campos de Liouville puede formularse de manera equivalente como una teoría de línea de mundo. [8]

Simetría conforme

Utilizando un sistema de coordenadas complejo y una métrica euclidiana

Los componentes del tensor de energía-momento obedecen

Los componentes que no desaparecen son

Cada uno de estos dos componentes genera un álgebra de Virasoro con la carga central

Para ambas álgebras de Virasoro, un campo es un campo primario con la dimensión conforme

Para que la teoría tenga invariancia conforme , el campo que aparece en la acción debe ser marginal , es decir, tener la dimensión conforme.

Esto nos lleva a la relación

entre la carga de fondo y la constante de acoplamiento. Si se respeta esta relación, entonces es exactamente marginal y la teoría es conformemente invariante.

Integral de trayectoria

La representación integral de trayectoria de una función de correlación de puntos de campos primarios es

Ha sido difícil definir y calcular esta integral de trayectoria. En la representación de la integral de trayectoria, no es obvio que la teoría de Liouville tenga una invariancia conforme exacta , y no es manifiesto que las funciones de correlación sean invariantes bajo la relación de reflexión y obedezcan la misma. Sin embargo, la representación de la integral de trayectoria se puede utilizar para calcular los residuos de las funciones de correlación en algunos de sus polos como integrales de Dotsenko-Fateev en el formalismo de los gases de Coulomb , y así es como se adivinó por primera vez la fórmula DOZZ en la década de 1990. Recién en la década de 2010 se encontró una construcción probabilística rigurosa de la integral de trayectoria, que condujo a una prueba de la fórmula DOZZ [9] y al bootstrap conforme. [6] [10]

Relaciones con otras teorías de campos conformes

Algunos límites de la teoría de Liouville

Cuando la carga central y las dimensiones conformes se envían a los valores discretos relevantes, las funciones de correlación de la teoría de Liouville se reducen a funciones de correlación de los modelos mínimos diagonales (serie A) de Virasoro . [1]

Por otra parte, cuando la carga central se envía a uno mientras las dimensiones conformes permanecen continuas, la teoría de Liouville tiende a la teoría de Runkel-Watts, una teoría de campos conforme (CFT) no trivial con un espectro continuo cuya función de tres puntos no es analítica como una función de los momentos. [11] Las generalizaciones de la teoría de Runkel-Watts se obtienen a partir de la teoría de Liouville tomando límites del tipo . [4] Entonces, para , se conocen dos CFT distintas con el mismo espectro: la teoría de Liouville, cuya función de tres puntos es analítica, y otra CFT con una función de tres puntos no analítica.

Modelos WZW

La teoría de Liouville se puede obtener a partir del modelo de Wess-Zumino-Witten mediante una reducción cuántica de Drinfeld-Sokolov . Además, las funciones de correlación del modelo (la versión euclidiana del modelo WZW) se pueden expresar en términos de funciones de correlación de la teoría de Liouville. [12] [13] Esto también es cierto para las funciones de correlación del modelo de coset de agujero negro 2d. [12] Además, existen teorías que interpolan continuamente entre la teoría de Liouville y el modelo. [14]

Teoría de Toda conforme

La teoría de Liouville es el ejemplo más simple de una teoría de campo de Toda , asociada a la matriz de Cartan . Las teorías de Toda conformes más generales pueden considerarse como generalizaciones de la teoría de Liouville, cuyos lagrangianos involucran varios bosones en lugar de un bosón , y cuyas álgebras de simetría son álgebras W en lugar del álgebra de Virasoro.

Teoría supersimétrica de Liouville

La teoría de Liouville admite dos extensiones supersimétricas diferentes llamadas teoría de Liouville supersimétrica y teoría de Liouville supersimétrica. [15]

Relaciones con modelos integrables

Modelo Sinh-Gordon

En el espacio plano, el modelo sinh-Gordon está definido por la acción local:

La ecuación clásica de movimiento correspondiente es la ecuación sinh-Gordon . El modelo puede considerarse como una perturbación de la teoría de Liouville. La matriz S exacta del modelo se conoce en el régimen de acoplamiento débil y es formalmente invariante bajo . Sin embargo, se ha argumentado que el modelo en sí no es invariante. [16]

Aplicaciones

Gravedad de Liouville

En dos dimensiones, las ecuaciones de Einstein se reducen a la ecuación de Liouville , por lo que la teoría de Liouville proporciona una teoría cuántica de la gravedad que se denomina gravedad de Liouville. No debe confundirse [17] [18] con el modelo CGHS o la gravedad de Jackiw–Teitelboim .

Teoría de cuerdas

La teoría de Liouville aparece en el contexto de la teoría de cuerdas cuando se intenta formular una versión no crítica de la teoría en la formulación de la integral de trayectorias . [19] La teoría también aparece como la descripción de la teoría de cuerdas bosónica en dos dimensiones espacio-temporales con un dilatón lineal y un fondo de taquiones . La ecuación de movimiento del campo de taquiones en el fondo de dilatón lineal requiere que tome una solución exponencial. La acción de Polyakov en este fondo es entonces idéntica a la teoría del campo de Liouville, siendo el dilatón lineal responsable del término de carga de fondo mientras que el taquión contribuye con el potencial exponencial. [20]

Modelos de energía aleatorios

Existe una correspondencia exacta entre la teoría de Liouville con , y ciertos modelos de energía aleatoria log-correlacionada . [21] Estos modelos describen una partícula térmica en un potencial aleatorio que está correlacionado logarítmicamente. En dos dimensiones, dicho potencial coincide con el campo libre gaussiano . En ese caso, ciertas funciones de correlación entre campos primarios en la teoría de Liouville se asignan a funciones de correlación de la medida de Gibbs de la partícula. Esto tiene aplicaciones a las estadísticas de valores extremos del campo libre gaussiano bidimensional, y permite predecir ciertas propiedades universales de los modelos de energía aleatoria log-correlacionada (en dos dimensiones y más allá).

Otras aplicaciones

La teoría de Liouville está relacionada con otros temas de física y matemáticas, como la relatividad general tridimensional en espacios de curvatura negativa , el problema de uniformización de superficies de Riemann y otros problemas de mapeo conforme . También está relacionada con las funciones de partición de instantones en ciertas teorías de calibración superconformes de cuatro dimensiones mediante la correspondencia AGT .

Confusión de nombres parac ≤ 1

La teoría de Liouville apareció por primera vez como un modelo de teoría de cuerdas dependiente del tiempo bajo el nombre de teoría de Liouville temporal . [22] También se la ha llamado modelo mínimo generalizado . [23] Se la llamó por primera vez teoría de Liouville cuando se descubrió que realmente existía y que era espacial en lugar de temporal. [4] A partir de 2022, ninguno de estos tres nombres es universalmente aceptado.

Referencias

  1. ^ abcd Ribault, Sylvain (2014). "Teoría de campos conforme en el plano". arXiv : 1406.4290 [hep-th].
  2. ^ Dorn, H.; Otto, H.-J. (1994). "Funciones de dos y tres puntos en la teoría de Liouville". Nucl. Phys. B . 429 : 375–388. arXiv : hep-th/9403141 . Código Bibliográfico :1994NuPhB......375D. doi :10.1016/0550-3213(94)00352-1. S2CID  15413971.
  3. ^ ab Zamolodchikov, A.; Zamolodchikov, Al. (1996). "Bootstrap conforme en la teoría de campos de Liouville". Física nuclear B . 477 (2): 577–605. arXiv : hep-th/9506136 . Código Bibliográfico :1996NuPhB.477..577Z. doi :10.1016/0550-3213(96)00351-3. S2CID  204929527.
  4. ^ abcd Ribault, Sylvain; Santachiara, Raoul (2015). "Teoría de Liouville con una carga central menor que uno". Journal of High Energy Physics . 2015 (8): 109. arXiv : 1503.02067 . Bibcode :2015JHEP...08..109R. doi :10.1007/JHEP08(2015)109. S2CID  54193340.
  5. ^ Teschner, J (2003). "Una conferencia sobre los operadores de vértice de Liouville". Revista Internacional de Física Moderna A . 19 (2): 436–458. arXiv : hep-th/0303150 . Código Bibliográfico :2004IJMPA..19S.436T. doi :10.1142/S0217751X04020567. S2CID  14792780.
  6. ^ ab Guillarmou, C; Kupiainen, A; Rhodes, R; V, Vargas (2020). "Bootstrap conforme en la teoría de Liouville". arXiv : 2005.11530 [math.PR].
  7. ^ Hadasz, Leszek; Jaskolski, Zbigniew; Suchanek, Paulina (2010). "Bootstrap modular en la teoría de campos de Liouville". Physics Letters B . 685 (1): 79–85. arXiv : 0911.4296 . Código Bibliográfico :2010PhLB..685...79H. doi :10.1016/j.physletb.2010.01.036. S2CID  118625083.
  8. ^ Andrei Ioan, Dogaru; Campos Delgado, Ruben (2022). "Teorías de campos cuánticos de cilindros en acoplamiento pequeño". J. High Energy Phys . 2022 (10): 110. arXiv : 2205.07363 . doi : 10.1007/JHEP10(2022)110 .
  9. ^ Kupiainen, Antti; Rodas, Rémi; Vargas, Vicente (2017). "Integrabilidad de la teoría de Liouville: prueba de la fórmula DOZZ". arXiv : 1707.08785 [matemáticas.PR].
  10. ^ Guillarmou, Colin; Kupiainen, Antti; Rodas, Rémi; Vargas, Vicente (29 de diciembre de 2021). "Axiomas de Segal y arranque de la teoría de Liouville". arXiv : 2112.14859v1 [matemáticas.PR].
  11. ^ Schomerus, Volker (2003). "Taquiones rodantes de la teoría de Liouville". Revista de Física de Altas Energías . 2003 (11): 043. arXiv : hep-th/0306026 . Código Bib : 2003JHEP...11..043S. doi :10.1088/1126-6708/2003/11/043. S2CID  15608105.
  12. ^ ab Ribault, Sylvain; Teschner, Joerg (2005). "Correladores H(3)+ de la teoría de Liouville". Journal of High Energy Physics . 2005 (6): 014. arXiv : hep-th/0502048 . Bibcode :2005JHEP...06..014R. doi :10.1088/1126-6708/2005/06/014. S2CID  119441269.
  13. ^ Hikida, Yasuaki; Schomerus, Volker (2007). "Modelo WZNW de H^+_3 a partir de la teoría de campos de Liouville". Journal of High Energy Physics . 2007 (10): 064. arXiv : 0706.1030 . Bibcode :2007JHEP...10..064H. doi :10.1088/1126-6708/2007/10/064. S2CID  1807250.
  14. ^ Ribault, Sylvain (2008). "Una familia de teorías de campos conformes no racionales solucionables". Journal of High Energy Physics . 2008 (5): 073. arXiv : 0803.2099 . Bibcode :2008JHEP...05..073R. doi :10.1088/1126-6708/2008/05/073. S2CID  2591498.
  15. ^ Nakayama, Yu (2004). "Teoría de campos de Liouville: una década después de la revolución". Revista internacional de física moderna A . 19 (17n18): 2771–2930. arXiv : hep-th/0402009 . Código Bibliográfico :2004IJMPA..19.2771N. CiteSeerX 10.1.1.266.6964 . doi :10.1142/S0217751X04019500. S2CID  119519820. 
  16. ^ Bernard, Denis; LeClair, André (10 de diciembre de 2021). "El modelo sinh-Gordon más allá del punto autodual y la transición de congelación en sistemas desordenados". Journal of High Energy Physics . 2022 (5): 22. arXiv : 2112.05490v1 . Código Bibliográfico :2022JHEP...05..022B. doi :10.1007/JHEP05(2022)022. S2CID  245117303.
  17. ^ Grumiller, Daniel; Kummer, Wolfgang; Vassilevich, Dmitri (octubre de 2002). "Gravedad de dilatón en dos dimensiones". Physics Reports (manuscrito enviado). 369 (4): 327–430. arXiv : hep-th/0204253 . Código Bibliográfico :2002PhR...369..327G. doi :10.1016/S0370-1573(02)00267-3. S2CID  119497628.
  18. ^ Grumiller, Daniel; Meyer, Rene (2006). "Ramificaciones de Lineland". Revista Turca de Física . 30 (5): 349–378. arXiv : hep-th/0604049 . Código Bibliográfico :2006TJPh...30..349G. Archivado desde el original el 22 de agosto de 2011.
  19. ^ Polyakov, AM (1981). "Geometría cuántica de cuerdas bosónicas". Physics Letters B . 103 (3): 207–210. Código Bibliográfico :1981PhLB..103..207P. doi :10.1016/0370-2693(81)90743-7.
  20. ^ Polchinski, J. (1998). "9". Teoría de cuerdas, volumen I: Introducción a la cuerda bosónica . Cambridge University Press. págs. 323–325. ISBN 978-0143113799.
  21. ^ Cao, Xiangyu; Doussal, Pierre Le; Rosso, Alberto; Santachiara, Raoul (30 de enero de 2018). "Expansión del producto operador en la teoría de campos de Liouville y transiciones de tipo Seiberg en modelos de energía aleatoria log-correlacionados". Physical Review E . 97 (4): 042111. arXiv : 1801.09991v1 . Código Bibliográfico :2018PhRvE..97d2111C. doi :10.1103/PhysRevE.97.042111. PMID  29758633. S2CID  206258354.
  22. ^ Strominger, Andrew; Takayanagi, Tadashi (2003). "Correladores en la teoría de Liouville de volumen temporal". Adv. Theor. Math. Phys . 7 (2): 369–379. arXiv : hep-th/0303221 . Bibcode :2003hep.th....3221S. doi :10.4310/atmp.2003.v7.n2.a6. MR  2015169. S2CID  15080926.
  23. ^ Zamolodchikov, Al (2005). "Sobre la función de tres puntos en la gravedad mínima de Liouville". Física teórica y matemática . 142 (2): 183–196. arXiv : hep-th/0505063 . Código Bibliográfico :2005TMP...142..183Z. doi :10.1007/s11232-005-0048-3. S2CID  55961140.

Enlaces externos