Aunque se trata de una teoría de interacción 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 en 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 llama constante de acoplamiento . En una teoría de campo libre, los vectores propios de energía son linealmente independientes y el impulso se conserva en las interacciones. En la teoría de Liouville, el impulso no se conserva.
Reflexión de un vector propio de energía con impulso frente al 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 está el cargo 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 impulso se transforma como 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 reflejos 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 impulso tome valores en una media línea, en lugar de una línea completa para una teoría libre.
En la teoría de Liouville, los campos primarios suelen estar parametrizados por su impulso en lugar de por su dimensión conforme , y se denotan . 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 no, 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 viene dada por 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 equivale a cruzar la simetría de la función de cuatro puntos, lo cual ha sido verificado 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 género de Riemann . Técnicamente, esto es equivalente a la invariancia modular de la función toroidal de un punto. Debido a las notables identidades de los bloques conformes y las constantes estructurales, 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]
Unicidad de la teoría de Liouville
Utilizando el enfoque de arranque 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 superiores a uno,
las funciones de correlación dependen analíticamente de y 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 sobre el cual 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 lleva a la relación
entre la carga de fondo y la constante de acoplamiento. Si se obedece esta relación, entonces en realidad es exactamente marginal y la teoría es conformemente invariante.
Integral de trayectoria
La representación integral de ruta 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 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 y obedezcan a la relación de reflexión. Sin embargo, la representación integral de trayectoria se puede utilizar para calcular los residuos de funciones de correlación en algunos de sus polos como integrales de Dotsenko-Fateev en el formalismo de gases de Coulomb , y así es como se adivinó por primera vez la fórmula DOZZ en la década de 1990. No fue hasta la década de 2010 que se encontró una construcción probabilística rigurosa de la integral de ruta, lo que condujo a una prueba de la fórmula DOZZ [8] y el bootstrap conforme. [6] [9]
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 de Virasoro diagonales (serie A) . [1]
Por otro lado, 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 conformes (CFT) no trivial con un espectro continuo cuya función de tres puntos no es analítica como función de los momentos. [10] 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] Así, 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) pueden expresarse en términos de funciones de correlación de la teoría de Liouville. [11] [12] Esto también se aplica a las funciones de correlación del modelo de clase lateral de agujero negro 2D. [11] Además, existen teorías que interpolan continuamente entre la teoría de Liouville y el modelo. [13]
Teoría conforme de Toda
La teoría de Liouville es el ejemplo más simple de una teoría de campos de Toda , asociada a la matriz de Cartan . Las teorías conformes de Toda más generales pueden verse 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. [14]
Relaciones con modelos integrables
Modelo de Sinh-Gordon
En el espacio plano, el modelo de Sinh-Gordon está definido por la acción local:
La ecuación clásica de movimiento correspondiente es la ecuación de Sinh-Gordon . El modelo puede verse 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 en el régimen de acoplamiento débil . Sin embargo, se ha argumentado que el modelo en sí no es invariante. [15]
La teoría de Liouville aparece en el contexto de la teoría de cuerdas al intentar formular una versión no crítica de la teoría en la formulación integral de trayectoria . [18] La teoría también aparece como la descripción de la teoría de cuerdas bosónicas en dos dimensiones del espacio-tiempo con un dilatón lineal y un fondo taquiónico . 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 contexto es entonces idéntica a la teoría de campos de Liouville, siendo el dilatón lineal responsable del término de carga de fondo mientras que el taquión aporta el potencial exponencial. [19]
Modelos de energía aleatorios
Existe un mapeo exacto entre la teoría de Liouville y ciertos modelos de energía aleatorios correlacionados logarítmicamente . [20] 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 para las estadísticas de valores extremos del campo libre gaussiano bidimensional y permite predecir ciertas propiedades universales de los modelos de energía aleatorios correlacionados logarítmicamente (en dos dimensiones y más allá).
Confusión de nombres para c ≤ 1 {\displaystyle c\leq 1}
La teoría de Liouville apareció por primera vez como modelo de teoría de cuerdas dependiente del tiempo bajo el nombre de teoría de Liouville temporal . [21]
También se le ha llamado modelo mínimo generalizado . [22] Se llamó por primera vez teoría de Liouville cuando se descubrió que realmente existía y que era más espacial que 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 avión". arXiv : 1406.4290 [hep-th].
^ Dorn, H.; Otto, H.-J. (1994). "Funciones de dos y tres puntos en la teoría de Liouville". Núcleo. Física. 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). "Arranque conforme en la teoría de campos de Liouville". Física Nuclear B. 477 (2): 577–605. arXiv : hep-th/9506136 . Código Bib : 1996NuPhB.477..577Z. doi :10.1016/0550-3213(96)00351-3. S2CID 204929527.
^ abcd Ribault, Sylvain; Santachiara, Raúl (2015). "Teoría de Liouville con una carga central menor que uno". Revista de Física de Altas Energías . 2015 (8): 109. arXiv : 1503.02067 . Código Bib : 2015JHEP...08..109R. doi :10.1007/JHEP08(2015)109. S2CID 54193340.
^ Teschner, J (2003). "Una conferencia sobre los operadores de vértices de Liouville". Revista Internacional de Física Moderna A. 19 (2): 436–458. arXiv : hep-th/0303150 . Código Bib : 2004IJMPA..19S.436T. doi :10.1142/S0217751X04020567. S2CID 14792780.
^ ab Guillarmou, C; Kupiainen, A; Rodas, R; V, Vargas (2020). "Bootstrap conformal en la teoría de Liouville". arXiv : 2005.11530 [matemáticas.PR].
^ Hadasz, Leszek; Jaskolski, Zbigniew; Suchanek, Paulina (2010). "Arranque modular en la teoría de campos de Liouville". Letras de Física B. 685 (1): 79–85. arXiv : 0911.4296 . Código Bib : 2010PhLB..685...79H. doi :10.1016/j.physletb.2010.01.036. S2CID 118625083.
^ 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, Jörg (2005). "Correlacionadores H (3) + de la teoría de Liouville". Revista de Física de Altas Energías . 2005 (6): 014. arXiv : hep-th/0502048 . Código Bib : 2005JHEP...06..014R. doi :10.1088/1126-6708/2005/06/014. S2CID 119441269.
^ Hikida, Yasuaki; Schomerus, Volker (2007). "Modelo H^+_3 WZNW de la teoría de campos de Liouville". Revista de Física de Altas Energías . 2007 (10): 064. arXiv : 0706.1030 . Código Bib : 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 con solución". Revista de Física de Altas Energías . 2008 (5): 073. arXiv : 0803.2099 . Código Bib : 2008JHEP...05..073R. doi :10.1088/1126-6708/2008/05/073. S2CID 2591498.
^ Nakayama, Yu (2004). "Teoría del campo 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 Bib : 2004IJMPA..19.2771N. CiteSeerX 10.1.1.266.6964 . doi :10.1142/S0217751X04019500. S2CID 119519820.
^ Bernardo, Denis; LeClair, André (10 de diciembre de 2021). "El modelo de Sinh-Gordon más allá del punto dual del yo y la transición congelada en sistemas desordenados". Revista de Física de Altas Energías . 2022 (5): 22. arXiv : 2112.05490v1 . Código Bib : 2022JHEP...05..022B. doi :10.1007/JHEP05(2022)022. S2CID 245117303.
^ Grumiller, Daniel; Kummer, Wolfgang; Vassilevich, Dmitri (octubre de 2002). "Dilaton Gravity en dos dimensiones". Informes de física (manuscrito enviado). 369 (4): 327–430. arXiv : hep-th/0204253 . Código Bib : 2002PhR...369..327G. doi :10.1016/S0370-1573(02)00267-3. S2CID 119497628.
^ Grumiller, Daniel; Meyer, René (2006). "Ramificaciones de Lineland". Revista Turca de Física . 30 (5): 349–378. arXiv : hep-th/0604049 . Código Bib : 2006TJPh...30..349G. Archivado desde el original el 22 de agosto de 2011.
^ Poliakov, AM (1981). "Geometría cuántica de cuerdas bosónicas". Letras de Física 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 . Prensa de la Universidad de Cambridge. págs. 323–325. ISBN978-0143113799.
^ Cao, Xiangyu; Doussal, Pierre Le; Rosso, Alberto; Santachiara, Raoul (30 de enero de 2018). "Expansión del producto del operador en la teoría de campos de Liouville y transiciones de tipo Seiberg en modelos de energía aleatorios correlacionados logarítmicamente". Revisión física E. 97 (4): 042111. arXiv : 1801.09991v1 . Código bibliográfico : 2018PhRvE..97d2111C. doi : 10.1103/PhysRevE.97.042111. PMID 29758633. S2CID 206258354.
^ Strominger, Andrés; Takayanagi, Tadashi (2003). "Correlacionadores en la teoría de Liouville a granel en el tiempo". Adv. Teor. Matemáticas. Física . 7 (2): 369–379. arXiv : hep-th/0303221 . Código Bib : 2003hep.th....3221S. doi :10.4310/atmp.2003.v7.n2.a6. SEÑOR 2015169. S2CID 15080926.
^ Zamolodchikov, Al (2005). "Sobre la función de tres puntos en gravedad mínima de Liouville". Física Teórica y Matemática . 142 (2): 183–196. arXiv : hep-th/0505063 . Código Bib : 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 a cargo de Antti Kupiainen , mayo de 2018.