Coeficientes OPE de primarios en un CFT 2D

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 V Δ 1 y V Δ 2 Yo sé eso

V Δ 1 ( z 1 ) V Δ 2 ( z 2 ) = Δ C 12 Δ ( z 1 , z 2 ) V Δ ( z 2 )

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é

V Δ 1 ( z 1 ) V Δ 2 ( z 2 ) = Δ C 12 Δ ( z 1 , z 2 ) V Δ ( z 2 )

Ahora sé por las identidades de los barrios globales que

V Δ 1 ( z 1 ) V Δ 2 ( z 2 ) = d Δ 1 Δ 2 | z 12 | 2 Δ 1

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

d Δ 1 Δ 2 | z 12 | 2 Δ 1 = Δ C 12 Δ ( z 1 , z 2 ) V Δ ( z 2 )

Entonces para calcular C 12 Δ ( z 1 , z 2 ) necesito saber que es eso V Δ ( z ) puede ser. Nuevamente, usando identidades de barrios globales, sé que para las primarias V Δ ( z ) = 0 a menos que Δ = 0 en cuyo caso es una constante. asi que eso ya lo se C 12 Δ ( z 1 , z 2 ) = 0 para cualquier primaria Δ 0 . Ahora pasamos a los descendientes. Yo sé eso

L norte V Δ ( z ) = [ z z norte 1 + ( norte 1 Δ ) z norte ] V Δ ( z )

Si Δ = 0 entonces V Δ ( z ) es una constante entonces V Δ ( z ) = 0 y desde Δ = 0 yo tambien se que Δ V Δ ( z ) = 0 . Si Δ 0 entonces V Δ ( z ) = 0 , así que no recibo contribuciones.

Parece entonces que el único no cero C 12 Δ ( z 1 , z 2 ) es C 11 0 ( z 1 , z 2 ) que puedo pasar

d Δ 1 Δ 2 | z 12 | 2 Δ 1 = C 11 0 ( z 1 , z 2 ) V 0 ( z 2 )

y entonces C 11 0 ( z 1 , z 2 ) = | z 12 | 2 Δ 1 (hasta una constante), pero esto es incorrecto, de hecho sé que hay aportes de L 1 V Δ ( z ) , pero donde esta mi error?

OPE en realidad no converge realmente como una ecuación de operador (pero esto probablemente sea irrelevante para su pregunta).
"Así que ya sé que C 12 Δ ( z 1 , z 2 ) = 0 para cualquier primaria Δ 0 " -- esto está mal. No es C 12 Δ ( z 1 , z 2 ) que se desvanece, es V Δ ( z ) . valoras por C 11 0 ( z 1 , z 2 ) es, de hecho, correcto.
@PeterKravchuk ¿Por qué dice que la OPE no converge? Pensé que sí, con un radio de convergencia dado por el otro operador más cercano.
@Wakabaloola lo hace, pero precisamente porque esto depende de dónde estén los otros operadores, solo converge como una ecuación de operador. Específicamente, es fácil exhibir estados entre los cuales OPE no converge.

Respuestas (1)

Ya casi llega, pero le faltan algunos datos importantes sobre el Δ = 0 multiplete Dices "de hecho sé que hay aportes de L 1 V Δ ( z ) ". Esto es cierto en general, es decir para Δ > 0 (excepto para algunos valores especiales de Δ que dependen de C ). Sin embargo, en un CFT unitario solo puede haber un operador con Δ = 0 , el operador de la unidad, y este operador obedece L 1 V Δ = 0 = 0 como una ecuación de operador. (Para probar esto, simplemente puede calcular que el estado | L 1 V Δ = 0 tiene norma cero, y dado que la teoría es unitaria implica que el estado se desvanece). En consecuencia, su conclusión de que

C 11 0 ( z 1 , z 2 ) = | z 12 | 2 Δ 1

es completamente correcto