Estoy tratando de calcular los coeficientes OPE en un CFT 2D y me estoy convenciendo de algo que sé que no es cierto pero no puedo encontrar mi error.
Dadas las primarias y Yo sé eso
Dónde recorre todos los campos de mi álgebra, primarios y descendientes. Hasta aquí lo sé, aquí comienza mi conjetura. Dado que esto es válido como una ecuación de operador, también debería serlo para los valores esperados. Así que sé
Ahora sé por las identidades de los barrios globales que
Donde he normalizado mis campos para que el coeficiente general en la función de 2 puntos sea 1. Todo esto combinado me dice que
Entonces para calcular necesito saber que es eso puede ser. Nuevamente, usando identidades de barrios globales, sé que para las primarias a menos que en cuyo caso es una constante. asi que eso ya lo se para cualquier primaria . Ahora pasamos a los descendientes. Yo sé eso
Si entonces es una constante entonces y desde yo tambien se que . Si entonces , así que no recibo contribuciones.
Parece entonces que el único no cero es que puedo pasar
y entonces (hasta una constante), pero esto es incorrecto, de hecho sé que hay aportes de , pero donde esta mi error?
Ya casi llega, pero le faltan algunos datos importantes sobre el multiplete Dices "de hecho sé que hay aportes de ". Esto es cierto en general, es decir para (excepto para algunos valores especiales de que dependen de ). Sin embargo, en un CFT unitario solo puede haber un operador con , el operador de la unidad, y este operador obedece como una ecuación de operador. (Para probar esto, simplemente puede calcular que el estado tiene norma cero, y dado que la teoría es unitaria implica que el estado se desvanece). En consecuencia, su conclusión de que
es completamente correcto
Pedro Kravchuk
Pedro Kravchuk
Wakabaloola
Pedro Kravchuk