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.
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.
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.
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] ),
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]
El espectro es un continuo, sin multiplicidades mayores que uno,
Las funciones de correlación dependen analíticamente de y de los momentos,
Existen campos degenerados.
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
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]
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]
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á).
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
^ abcd Ribault, Sylvain (2014). "Teoría de campos conforme en el plano". arXiv : 1406.4290 [hep-th].
^ 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.
^ 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.
^ 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.
^ 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.
^ ab Guillarmou, C; Kupiainen, A; Rhodes, R; V, Vargas (2020). "Bootstrap conforme en la teoría de Liouville". arXiv : 2005.11530 [math.PR].
^ 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.
^ 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 .
^ 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].
^ 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].
^ 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.
^ 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.
^ 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.
^ 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.
^ 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.
^ 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.
^ 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.
^ 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.
^ 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.
^ Polchinski, J. (1998). "9". Teoría de cuerdas, volumen I: Introducción a la cuerda bosónica . Cambridge University Press. págs. 323–325. ISBN978-0143113799.
^ 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.
^ 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.
^ 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
Los matemáticos demuestran que la versión 2D de la gravedad cuántica realmente funciona, artículo de la revista Quanta de Charlie Wood, junio de 2021.
Introducción a la teoría de Liouville, charla en el Instituto de Estudios Avanzados por Antti Kupiainen , mayo de 2018.