En física teórica , un campo primario , también llamado operador primario , o simplemente primario , es un operador local en una teoría de campos conforme que es aniquilado por la parte del álgebra conforme que consiste en los generadores descendentes. Desde el punto de vista de la teoría de la representación , un primario es el operador de dimensión más baja en una representación dada del álgebra conforme . Todos los demás operadores de una representación se denominan descendientes ; se pueden obtener actuando sobre el primario con los generadores elevadores.
Los campos primarios en una teoría de campos conformes D -dimensionales fueron introducidos en 1969 por Mack y Salam [1], donde se los llamó campos de interpolación . Luego fueron estudiados por Ferrara, Gatto y Grillo [2], quienes los llamaron tensores conformes irreducibles , y por Mack [3], quien los llamó pesos más bajos . Polyakov [4] utilizó una definición equivalente a la de campos que no pueden representarse como derivados de otros campos.
Los términos modernos campos primarios y descendientes fueron introducidos por Belavin, Polyakov y Zamolodchikov [5] en el contexto de la teoría de campos conformes bidimensionales . Esta terminología se utiliza ahora tanto para D =2 como para D >2.
Los generadores reductores del álgebra conforme en D >2 dimensiones son los generadores de transformación conforme especiales . Los operadores primarios insertados en son aniquilados por estos generadores: . Los descendientes se obtienen actuando sobre los primarios con los generadores de traducción ; estos son sólo los derivados de las primarias.
En dos dimensiones, las teorías de campos conformes son invariantes bajo un álgebra de Virasoro de dimensión infinita con generadores . Los primarios se definen como los operadores aniquilados por todos con n >0, que son los generadores decrecientes. Los descendientes se obtienen de los primarios actuando con n < 0.
El álgebra de Virasoro tiene una subálgebra de dimensión finita generada por . Los operadores aniquilados por se denominan cuasiprimarios. Cada campo primario es cuasi primario, pero lo contrario no es cierto; de hecho, cada primario tiene infinitos descendientes cuasi primarios. Los campos cuasi primarios en la teoría de campos conformes bidimensionales son los análogos directos de los campos primarios en el caso D > 2 dimensiones.
En dimensiones, el álgebra conforme permite extensiones graduadas que contienen generadores fermiónicos. Las teorías cuánticas de campos invariantes con respecto a tales álgebras extendidas se denominan superconformales. En las teorías de campos superconformes, se consideran operadores primarios superconformes.
En dimensiones, los primarios superconformes son aniquilados por y por los generadores fermiónicos (uno por cada generador de supersimetría). Generalmente, cada representación primaria superconforme incluirá varias primarias del álgebra conforme, que surgen al actuar con las supercargas sobre la primaria superconforme. También existen operadores primarios superconformales quirales especiales , que son operadores primarios aniquilados por alguna combinación de supercargas. [6]
En dimensiones, las teorías de campos superconformes son invariantes bajo las álgebras de super Virasoro , que incluyen una infinidad de operadores fermiónicos. Los primarios superconformales son aniquilados por todos los operadores reductores, bosónicos y fermiónicos.
En las teorías de campos unitarios (super)conformes, las dimensiones de los operadores primarios satisfacen límites inferiores llamados límites de unitaridad. [7] [8] En términos generales, estos límites dicen que la dimensión de un operador no debe ser menor que la dimensión de un operador similar en la teoría de campo libre. En la teoría de campos conforme de cuatro dimensiones, los límites de unitaridad fueron derivados por primera vez por Ferrara, Gatto y Grillo [9] y por Mack. [3]