stringtranslate.com

Teoría del campo 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 está definida para todos los valores complejos de la carga central de su álgebra de simetría de Virasoro , pero es unitaria sólo si

y su límite clásico es

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.

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 impulso tome valores en una media línea, en lugar de una línea completa para una teoría libre.

La teoría de Liouville es unitaria si y sólo 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 del operador .

Campos y relación de reflexión.

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] ),

donde la función especial es una especie 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 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]

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

¿Dónde está el operador de Laplace-Beltrami ? Si es la métrica euclidiana , esta ecuación se reduce a

que es equivalente a la ecuación de Liouville .

simetría conforme

Usando 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 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]

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 [16] [17] con el modelo CGHS o la gravedad de Jackiw-Teitelboim .

Teoria de las cuerdas

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á).

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 curvados negativamente , el problema de uniformización de superficies de Riemann y otros problemas de mapeo conforme . También está relacionado con las funciones de partición instantónicas en ciertas teorías de calibre superconformes de cuatro dimensiones mediante la correspondencia AGT .

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

  1. ^ abcd Ribault, Sylvain (2014). "Teoría de campos conforme en el avión". arXiv : 1406.4290 [hep-th].
  2. ^ 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.
  3. ^ 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.
  4. ^ 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.
  5. ^ 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.
  6. ^ ab Guillarmou, C; Kupiainen, A; Rodas, R; V, Vargas (2020). "Bootstrap conformal en la teoría de Liouville". arXiv : 2005.11530 [matemáticas.PR].
  7. ^ 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.
  8. ^ 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].
  9. ^ 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].
  10. ^ 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.
  11. ^ 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.
  12. ^ 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.
  13. ^ 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.
  14. ^ 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. 
  15. ^ 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.
  16. ^ 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.
  17. ^ 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.
  18. ^ 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.
  19. ^ 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. ISBN 978-0143113799.
  20. ^ 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.
  21. ^ 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.
  22. ^ 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