Expansión del producto del operador en CFT

Estoy en la p39 de Polchinski.

  1. ¿Puede alguien decirme los pasos en la equivalencia a continuación?

    Exp [ α 4 d 2 z 4 d 2 z 5 en | z 5 z 4 | 2 d d X m ( z 4 , z ¯ 4 ) d d X m ( z 5 , z ¯ 5 ) ]
    × X m 1 ( z 1 , z ¯ 1 ) X m 2 ( z 2 , z ¯ 2 ) X m 3 ( z 3 , z ¯ 3 )
    = X m 1 ( z 1 , z ¯ 1 ) X m 2 ( z 2 , z ¯ 2 ) X m 3 ( z 3 , z ¯ 3 ) + α 2 η m 1 m 2 en | z 2 z 1 | 2 X m 3 ( z 3 , z ¯ 3 ) + ( 2  permutaciones )   ?

  2. ¿Por qué las variaciones en la exponencial actúan sobre X m 1 ( z 1 , z ¯ 1 ) X m 2 ( z 2 , z ¯ 2 ) X m 3 ( z 3 , z ¯ 3 ) ?

  3. Exactamente, ¿cómo va la integración en la exponencial y cómo da la exponenciación RHS?

  4. Las permutaciones parecen razonables pero el primer término en RHS viene de cuando Exp [ . . . ] = 1 ?

Pista: en tu caso, la exponencial se reduce prácticamente a los dos primeros términos mi X = 1 + X
Gracias - esto es exactamente lo que necesitaba. ¡Muy estúpido de mi parte!

Respuestas (1)

En primer lugar, tenga en cuenta que el operador radial que ordena R está implícitamente implícito en muchos libros de texto de CFT (por ejemplo, Ref. 1). Por ejemplo, la ec. (2.2.7) en la pág. 39 en ref. 1 está discutiendo el teorema de Wick entre dos operadores que ordenan recetas. En este caso entre pedidos normales :   : y orden radial R . Véase también, por ejemplo, esta publicación de Phys.SE. La relación básica de 2 puntos del teorema de Wick es

(1) : X ^ i X ^ j :   =   R ( X ^ i X ^ j ) + C i j ,

donde la llamada contracción C i j se supone que es un C -número. [Más precisamente: C i j se supone que es un elemento central.] Aquí los índices i , j , k , son una forma abreviada de todas las posibles etiquetas discretas y continuas de los operadores X ^ i , X ^ j , X ^ k , , cf. Notación condensada de DeWitt .

La relación de 3 puntos buscada por OP del teorema de Wick es 1

(2) : X ^ i X ^ j X ^ k :   =   R ( X ^ i X ^ j X ^ k ) + C i j R ( X ^ k ) + C i k R ( X ^ j ) + R ( X ^ i ) C j k .

ecuaciones (1) y (2) pueden generalizarse formalmente a la ec. (2.2.7) de la Ref. 1

(3) : F :   =   Exp ( 1 2 i , j C i j X ^ i X ^ j ) R ( F ) ,

donde el operador F es una función de los operadores X ^ i . Tenga en cuenta que los operadores se tratan como objetos conmutativos bajo los dos símbolos de orden :   : y R . ecuación (3) es una taquigrafía formal conveniente/nemotécnica de los diversos norte -relaciones puntuales del teorema de Wick.

Referencias:

  1. J. Polchinski, Teoría de cuerdas, vol. 1; p.39.

--

1 En esta respuesta hemos asumido por simplicidad que todos los operadores X ^ i son Grassmann-incluso. Si algunos de los operadores X ^ i son impares de Grassmann, habrá factores de signo adicionales en las ecs. (2) y (3).