stringtranslate.com

Bosones escalares libres sin masa en dos dimensiones

Los bosones escalares libres sin masa son una familia de teorías de campos conformes bidimensionales , cuya simetría se describe mediante un álgebra de Lie afín abeliana .

Dado que son libres, es decir, no interactúan, los CFT bosónicos libres se resuelven con exactitud y con facilidad. A través del formalismo de los gases de Coulomb, conducen a resultados exactos en los CFT interactivos, como los modelos mínimos . Además, desempeñan un papel importante en el enfoque de la hoja del mundo para la teoría de cuerdas .

En una CFT bosónica libre, la carga central del álgebra de Virasoro puede tomar cualquier valor complejo. Sin embargo, a veces se asume el valor de manera implícita. Para , existen CFT bosónicas libres compactificadas con valores arbitrarios del radio de compactificación.

Formulación lagrangiana

La acción de una teoría bosónica libre en dos dimensiones es una funcional del bosón libre ,

donde es la métrica del espacio bidimensional en el que se formula la teoría, es el escalar de Ricci de ese espacio. El parámetro se denomina carga de fondo .

Lo especial de las dos dimensiones es que la dimensión de escala del bosón libre se anula, lo que permite la presencia de una carga de fondo que no se anula y es el origen de la simetría conforme de la teoría .

En teoría de probabilidad , el bosón libre puede construirse como un campo libre gaussiano . Esto permite realizar funciones de correlación como valores esperados de variables aleatorias.

Simetrías

Álgebra de Lie afín abeliana

El álgebra de simetría se genera mediante dos corrientes quirales conservadas : una corriente que se mueve hacia la izquierda y una corriente que se mueve hacia la derecha, respectivamente.

que obedecen a . Cada corriente genera un álgebra de Lie afín abeliana . La estructura del álgebra de Lie afín que se mueve hacia la izquierda está codificada en el OPE propio de la corriente que se mueve hacia la izquierda ,

De manera equivalente, si la corriente se escribe como una serie de Laurent alrededor del punto , el álgebra de Lie afín abeliana se caracteriza por el corchete de Lie

El centro del álgebra se genera por , y el álgebra es una suma directa de subálgebras conmutativas entre sí de dimensión 1 o 2:

Simetría conforme

Para cualquier valor de , el álgebra envolvente universal del álgebra de Lie afín abeliana tiene una subálgebra de Virasoro con los generadores [1]

La carga central de esta subálgebra de Virasoro es

y las relaciones de conmutación de los generadores de Virasoro con los generadores del álgebra de Lie afines son

Si el parámetro coincide con la carga de fondo del bosón libre, entonces el campo coincide con el tensor de energía-momento del bosón libre . Por lo tanto, el álgebra de Virasoro correspondiente tiene una interpretación geométrica como el álgebra de aplicaciones conformes infinitesimales y codifica la simetría conforme local de la teoría .

Simetrías extra

Para valores especiales de la carga central y/o del radio de compactificación, las teorías bosónicas libres pueden tener no sólo su simetría, sino también simetrías adicionales. En particular, en , para valores especiales del radio de compactificación, pueden aparecer álgebras de Lie afines no abelianas, supersimetrías , etc. [2]

Campos primarios afines

En una CFT bosónica libre, todos los campos son campos primarios afines o descendientes afines de ellos. Gracias a la simetría afín, las funciones de correlación de los campos descendientes afines pueden, en principio, deducirse a partir de las funciones de correlación de los campos primarios afines.

Definición

Un campo primario afín con las cargas izquierda y derecha se define por sus OPE con las corrientes, [1]

Estos OPE son equivalentes a las relaciones

Las cargas también se denominan momentos de movimiento hacia la izquierda y hacia la derecha . Si coinciden, el campo primario afín se denomina diagonal y se escribe como .

Las exponenciales de orden normal del bosón libre son campos primarios afines. En particular, el campo es un campo primario afín diagonal con momento . Este campo, y los campos primarios afines en general, a veces se denominan operadores de vértice . [3]

Un campo primario afín es también un campo primario de Virasoro con la dimensión conforme

Los dos campos tienen las mismas dimensiones conformes izquierda y derecha, aunque sus momentos son diferentes.

OPE y conservación del momento

Debido a la simetría afín, el momento se conserva en los campos de campo de fusión bosónicos libres. A nivel de reglas de fusión, esto significa que solo puede aparecer un campo primario afín en la fusión de dos campos primarios afines cualesquiera.

Por lo tanto, las expansiones del producto operador de campos primarios afines toman la forma

donde es el coeficiente OPE y el término es la contribución de los campos descendientes afines. Los OPE no tienen una dependencia manifiesta de la carga de fondo.

Funciones de correlación

De acuerdo con las identidades de Ward afines para funciones de punto en la esfera, [1]

Además, la simetría afín determina completamente la dependencia de las funciones esfera-punto de las posiciones,

El carácter univalente de las funciones de correlación conduce a restricciones en los momentos,

Modelos

Bosones libres no compactos

Un CFT bosónico libre se denomina no compacto si el momento puede tomar valores continuos.

Las CFT bosónicas libres no compactas se utilizan para describir la teoría de cuerdas no crítica . En este contexto, una CFT bosónica libre no compacta se denomina teoría de dilatón lineal .

Un CFT bosónico libre con ie es un modelo sigma con un espacio objetivo unidimensional.

Bosones libres compactificados

El bosón libre compactificado con radio es el CFT bosónico libre donde los momentos izquierdo y derecho toman los valores

Los números enteros se denominan entonces número de momento y número de bobinado . Los valores permitidos del radio de compactación son if y else. [1]

Si , los bosones libres con radios y describen la misma CFT. Desde el punto de vista del modelo sigma , esta equivalencia se denomina T-dualidad .

Si , la CFT de bosón libre compactificado existe en cualquier superficie de Riemann . Su función de partición en el toro es [3]

donde , y es la función eta de Dedekind . Esta función de partición es la suma de caracteres del álgebra de Virasoro sobre el espectro de dimensiones conformes de la teoría.

Como en todos los CFT bosónicos libres, las funciones de correlación de los campos primarios afines tienen una dependencia de las posiciones de los campos que está determinada por la simetría afín. Los factores constantes restantes son signos que dependen de los momentos y números de bobinado de los campos. [4]

Condiciones de contorno en el caso c=1

Condiciones de contorno de Neumann y Dirichlet

Debido al automorfismo del álgebra de Lie afín abeliana hay dos tipos de condiciones de contorno que preservan la simetría afín, a saber:

Si el límite es la línea , estas condiciones corresponden respectivamente a la condición de límite de Neumann y a la condición de límite de Dirichlet para el bosón libre .

Estados fronterizos

En el caso de un bosón libre compactificado, cada tipo de condición de contorno conduce a una familia de estados de contorno, parametrizados por . Las funciones de un punto correspondientes en el semiplano superior son [5]

En el caso de un bosón libre no compacto, sólo hay un estado límite de Neumann, mientras que los estados límite de Dirichlet están parametrizados por un parámetro real. Las funciones de un punto correspondientes son

donde y para un bosón euclidiano.

Condiciones de contorno conformes

Los límites de Neumann y Dirichlet son los únicos que preservan la simetría afín del bosón libre. Sin embargo, existen límites adicionales que preservan únicamente la simetría conforme.

Si el radio es irracional, los estados de contorno adicionales están parametrizados por un número . Las funciones de un punto de los campos primarios afines con se anulan. Sin embargo, los campos primarios de Virasoro que son descendientes afines del campo primario afín con tienen funciones de un punto no triviales. [5]

Si el radio es racional , los estados límite adicionales están parametrizados por la variedad . [6]

Las condiciones de contorno conformes en condiciones arbitrarias también se estudiaron bajo la denominación errónea de " teoría de Liouville de contorno ". [7]

Teorías y generalizaciones relacionadas

Bosones múltiples y orbifolds

A partir de bosones escalares libres sin masa, es posible construir un producto CFT con el álgebra de simetría . Algunos o todos los bosones pueden compactificarse.

En particular, la compactificación de bosones sin carga de fondo en un toro de dimensión 1 (con campo B de Neveu–Schwarz ) da lugar a una familia de CFT llamadas compactificaciones de Narain . Estas CFT existen en cualquier superficie de Riemann y desempeñan un papel importante en la teoría de cuerdas perturbativa . [8] [9]

Debido a la existencia del automorfismo del álgebra de Lie afín , y de automorfismos más generales de , existen orbifolds de CFT bosónicos libres. [10] Por ejemplo, el orbifold del bosón libre compactificado con es el modelo crítico bidimensional de Ashkin-Teller . [4]

Formalismo de los gases de Coulomb

El formalismo de gas de Coulomb es una técnica para construir CFT interactuantes, o algunas de sus funciones de correlación, a partir de CFT bosónicos libres. La idea es perturbar el CFT libre utilizando operadores de cribado de la forma , donde es un campo primario afín de dimensiones conformes . A pesar de su definición perturbativa, la técnica conduce a resultados exactos, gracias a la conservación del momento. [3]

En el caso de un único bosón libre con carga de fondo , existen dos operadores de apantallamiento diagonal , donde . Las funciones de correlación en modelos mínimos se pueden calcular utilizando estos operadores de apantallamiento, dando lugar a las integrales de Dotsenko-Fateev . [11] También se pueden calcular los residuos de las funciones de correlación en la teoría de Liouville , y esto condujo a la derivación original de la fórmula DOZZ para la constante de estructura de tres puntos. [12] [13]

En el caso de los bosones libres, la introducción de cargas de apantallamiento se puede utilizar para definir CFT no triviales, incluida la teoría de Toda conforme . Las simetrías de estas CFT no triviales se describen mediante subálgebras del álgebra de Lie afín abeliana. Dependiendo de los apantallamientos, estas subálgebras pueden ser o no W-álgebras . [14]

El formalismo del gas de Coulomb también se puede utilizar en CFT bidimensionales, como el modelo de Potts de estado q y el modelo. [15]

Varias generalizaciones

En dimensiones arbitrarias, existen teorías de campos conformes llamadas teorías libres generalizadas . Sin embargo, no son generalizaciones de las teorías de campos conformes bosónicas libres en dos dimensiones. En las primeras, es la dimensión conforme la que se conserva (módulo enteros). En las segundas, es el momento.

En dos dimensiones, las generalizaciones incluyen:

Referencias

  1. ^ abcd Ribault, Sylvain (17 de junio de 2014). "Teoría de campos conforme en el plano". arXiv : 1406.4290v5 [hep-th].
  2. ^ Ginsparg, Paul (11 de noviembre de 1988). "Teoría de campos conforme aplicada". arXiv : hep-th/9108028 .
  3. ^ abcd Di Francesco, Philippe; Mathieu, Pedro; Sénéchal, David (1997). "Teoría de campos conformes". Textos de Posgrado en Física Contemporánea . Nueva York, Nueva York: Springer Nueva York. doi :10.1007/978-1-4612-2256-9. ISBN 978-1-4612-7475-9. ISSN  0938-037X.
  4. ^ ab Nemkov, Nikita; Ribault, Sylvain (29 de junio de 2021). "Bootstrap analítico conforme y campos primarios de Virasoro en el modelo Ashkin-Teller". arXiv : 2106.15132v1 [hep-th].
  5. ^ ab Janik, Romuald A. (4 de septiembre de 2001). "Estados límite excepcionales en c=1". Física nuclear B. 618 ( 3): 675–688. arXiv : hep-th/0109021 . doi :10.1016/S0550-3213(01)00486-2. S2CID  9079750.
  6. ^ Gaberdiel, MR; Recknagel, A. (31 de agosto de 2001). "Estados límite conformes para bosones libres y fermiones". Journal of High Energy Physics . 2001 (11): 016. arXiv : hep-th/0108238 . doi :10.1088/1126-6708/2001/11/016. S2CID  5444861.
  7. ^ Remy, Guillaume; Zhu, Tunan (23 de agosto de 2022). "Integrabilidad de la teoría de campos conformes de Liouville en el límite". Comunicaciones en física matemática . 395 (1). Springer: 179–268. arXiv : 2002.05625 . doi :10.1007/s00220-022-04455-1. ISSN  0010-3616.
  8. ^ Maloney, Alexander; Witten, Edward (8 de junio de 2020). "Promedio sobre el espacio de módulos de Narain". Revista de física de altas energías . 2020 (10). arXiv : 2006.04855v2 . doi :10.1007/JHEP10(2020)187. S2CID  219558763.
  9. ^ Polchinski, Joseph (13 de octubre de 1998). Teoría de cuerdas . Vol. 95. Cambridge University Press. págs. 11039-11040. doi :10.1017/cbo9780511816079. ISBN . 978-0-521-67227-6. PMC  33894 . PMID  9736684. {{cite book}}: |journal=ignorado ( ayuda )
  10. ^ Dijkgraaf, Robbert; Vafa, Cumrún; Verlinde, Erik; Verlinde, Herman (1989). "El álgebra de operadores de modelos orbifold". Comunicaciones en Física Matemática . 123 (3). Springer Science y Business Media LLC: 485–526. doi :10.1007/bf01238812. ISSN  0010-3616. S2CID  120111368.
  11. ^ Dotsenko, Vl.S.; Fateev, VA (1984). "Álgebra conforme y funciones de correlación multipunto en modelos estadísticos 2D". Física nuclear B . 240 (3). Elsevier BV: 312–348. doi :10.1016/0550-3213(84)90269-4. ISSN  0550-3213.
  12. ^ 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.
  13. ^ Dorn, H.; Otto, H.-J. (1992). "Sobre funciones de correlación para cuerdas no críticas con c⩽1 pero d⩾1". Physics Letters B . 291 (1–2): 39–43. arXiv : hep-th/9206053 . Código Bibliográfico :1992PhLB..291...39D. doi :10.1016/0370-2693(92)90116-L. S2CID  15413971.
  14. ^ Litvinov, Alexey; Spodyneiko, Lev (20 de septiembre de 2016). "Sobre álgebras de W que conmutan con un conjunto de apantallamientos". Journal of High Energy Physics . 2016 (11). arXiv : 1609.06271v1 . doi :10.1007/JHEP11(2016)138. S2CID  29261029.
  15. ^ di Francesco, P.; Saleur, H.; Zuber, JB (1987). "Relaciones entre la imagen de gas de Coulomb y la invariancia conforme de modelos críticos bidimensionales". Revista de Física Estadística . 49 (1–2). Springer: 57–79. doi :10.1007/bf01009954. ISSN  0022-4715. S2CID  56053143.