Cuantificación BRST de la cuerda bosónica: nilpotencia de la transformación BRST (Polchinski)

Actualmente estoy estudiando teoría de cuerdas y me encontré con un montón de problemas interrelacionados en el contexto de la cuantificación BRST que no puedo resolver por mí mismo, aunque me esforcé durante algunos días.

Mi pregunta se refiere a la transformación BRST de la cuerda bosónica en la ecuación. (4.3.1) del libro de Polchinski. En el párrafo que sigue a estas transformaciones, Polchinski dice que "el lector puede comprobar la nilpotencia hasta las ecuaciones de movimiento" . Lo intenté pero no pude completar la prueba. Aquí mis cálculos:

d B d B X m = d B [ i ε ( C X m + C ¯ ¯ X m ) ] = i ε [ ( d B C ) X m + C ( d B X m ) + ( d B C ¯ ) X m + C ¯ ( d B ¯ X m ) ] = i ε [ ( i ε C C ) X m + C ( i ε ( C X m + C ¯ ¯ X m = 0 ) ) + ( i ε C ¯ ¯ C ¯ ) ¯ X m + C ¯ ( i ε ( C ¯ X m = 0 + C ¯ ¯ ¯ X m ) ) ] = ε [ ε C C X m + C ε C X m + ε C ¯ ¯ C ¯ ¯ X m + C ¯ ε C ¯ ¯ ¯ X m ] = ε ε [ C C X m C C = 0 X m + C ¯ ¯ C ¯ ¯ X m C ¯ C ¯ = 0 ¯ ¯ X m ] = ε ε [ C C X m + C ¯ ¯ C ¯ ¯ X m ] = ?

Aquí usé la ecuación de movimiento para el campo. X m y explotado C 2 = 0 = C ¯ 2 . En este punto, sin embargo, no veo por qué los términos restantes deberían desaparecer.

Respuestas (1)

Sugerencia: la transformación BRST infinitesimal

(A) d B ( F [ X , C , ] )   :=   F [ X + d B X , C + d B C , ] F [ X , C , ]
actúa "debajo" de los derivados del espacio-tiempo marcados en rojo, es decir, la segunda línea de OP debe leer
d B d B X m = ( 4.3.1 a ) d B [ i ε ( C X m + C ¯ ¯ X m ) ]       = ( A )       i ε [ ( C + d B C ) ( X m + d B X m ) + ( C ¯ + d B C ¯ ) ¯ ( X m + d B X m ) C X m C ¯ ¯ X m ]       =       i ε [ ( d B C ) X m + C ( d B X m ) + ( d B C ¯ ) ¯ X m + C ¯ ¯ ( d B X m ) ] (B)       =      

1. ¿Cuál es la explicación de que d B actúa bajo los derivados del espacio-tiempo? Considerando la transformación BRST general (4.2.6a), el campo ϕ i puede ser cualquier campo no fantasma. 2. Sin embargo, en (4.2.22a), este comportamiento de transformación muy general colapsa en la transformación de X m y mi (¡sin derivados!). ¿Por qué es este el caso?
1. Actualicé la respuesta. 2. Hay una escritura derivada. τ en ecs. (4.2.22a) y (4.2.22a) si miras en el libro de Polchinski. Se denota con un punto.