Una pregunta sobre el término superficial de los campos fantasma

(saltar descargo de responsabilidad)

Hola, tengo una pregunta en la teoría de cuerdas de Polchinski vol I p 90, después de introducir los campos fantasma b a b y C a , es reclamado

Entonces, las ecuaciones de movimiento proporcionan una condición de contorno en b a b . Tienen un término superficial

(3.3.28) METRO d s norte a b a b d C b = 0

Simplemente no sé de dónde viene. Hay alguna condición de contorno norte a C a = 0 ( 3.3.26 ) pero con diferentes índices. Cómo ver la Ec. (3.3.28) se mantiene?

Respuestas (2)

Respuesta parcial:

Creo que el problema, en el libro de Polchinski, es que los términos gramo z z ¯ ( = 2 ) , se escriben sistemáticamente de forma no explícita, es decir, en lugar de : 1 4 π gramo z z ¯ , Polchinkski escribe: 1 2 π

Así, por ejemplo, la expresión correcta en ( 3.3.24 ) es :

S = 1 4 π d 2 z ( gramo z ¯ z b z z z ¯ C z + gramo z z ¯ b z ¯ z ¯ z C z ¯ )

Ahora porque b z z ¯ = 0 , porque b es sin rastro, y gramo z z = gramo z ¯ z ¯ = 0 , esto es realmente un invariante, es decir:

S = 1 4 π d 2 z ( gramo i j b j k i C k )
, dónde ( i , j = z , z ¯ )

Ahora, un invariante es un invariante, por lo que podrías escribirlo con ( i , j = σ 1 , σ 2 ), si lo desea, entonces, con notaciones de Polchinski:

S = 1 2 π d 2 σ ( gramo C a b a b C C b )
,

Entonces el término límite aparece como:

d B d s   gramo C a norte C   b a b   d C b = d s   norte a   b a b   d C b

¡Muchas gracias! Cómo lo sabes b z z ¯ = 0 ?
b z z ¯ = 1 z   1 z ¯ b 11 + 1 z   2 z ¯ b 12 + 2 z   1 z ¯ b 21 + 2 z   2 z ¯ b 22 = 1 4 ( b 11 + i b 12 i b 21 + b 22 ) . b es sin rastro y simétrico, por lo tanto, en la métrica euclidiana gramo a b , esto significa que : b 12 = b 21 y b 11 + b 22 = 0 . Así que finalmente , b z z ¯ = 0 . Con una demostración analógica, obtenemos b z ¯ z = 0 .
Llegar b z z ¯ o b z ¯ z , simplemente aplicamos la métrica gramo z z ¯ 2 veces a las cantidades b z z ¯ , b z ¯ z . Entonces b z z ¯ y b z ¯ z son cero también;

Para obtener este término, debe aplicar la integración parcial con respecto a una de las coordenadas de la acción. Esto te deja con una integral sobre dos dimensiones (con la derivada cambiada de C a b ) y una integral sobre una dimensión. Si ahora varías el segundo término con respecto a C y adquieres la Ec. 3.3.28.

Perdona, ¿a qué acción de "to the action" te refieres?
La acción (de calibre fijo) de los campos fantasmas, dada por la ecuación. 3.3.24.
En (3.3.28), hay un término METRO d s norte z b z z ¯ d C z ¯ no proviene de (3.3.24)(?), ¿por qué no afecta la validez de (3.3.28)?
3.3.28 se sigue de 3.3.24 por integración parcial y el principio variacional, como ya he explicado.
Lo siento, de la variación de z en (3.3.24), después de integrar la derivada total de z y z ¯ de la integración por partes, obtuve
1 2 π d z z ¯ b z z d C z + 1 2 π d z ¯ z b z ¯ z ¯ d C z ¯
, no recuperar (3.3.28)...
Algo está mal en tu notación, no puedes tener dos signos integrales y solo un elemento infinitesimal d z .
Quiero decir
d S gramo = 1 2 π d 2 z b z z z ¯ d C z + 1 2 π d 2 z b z ¯ z ¯ z d C z ¯ = 1 2 π d 2 z ¯ ( b z z d C z ) ( z ¯ b z z ) d C z + 1 2 π d 2 z z ( b z ¯ z ¯ d C z ¯ ) z ( b z ¯ z ¯ ) d C z ¯ = 1 2 π d 2 z z ¯ ( b z z d C z ) + 1 2 π d 2 z z ( b z ¯ z ¯ d C z ¯ )
= 1 2 π d z b z z d C z | + 1 2 π d z ¯ b z ¯ z ¯ d C z ¯ |
, aquí | es el valor superior resta el valor inferior del rango de integración. (Solo considero variación para C z y C z ¯ , hay algunos errores tipográficos en los índices covariantes/concovariantes) En realidad, ¿podría proporcionar algunos pasos de derivación en su respuesta?...
Bueno, todavía hay algunas fallas, por ejemplo, que eliminó los términos que no son de límite, pero, sin embargo, lo que tiene al final son las expresiones correctas para los términos de límite. Ahora solo tienes que convertirlos a la notación de Polchinski haciendo uso de sus consideraciones sobre los vectores tangenciales y normales.
¿Quieres decir dejar norte ^ = ( d z ¯ , d z ) (de aesop.phys.utk.edu/strings/str02.pdf p28), (3.3.28) significa d z ¯ viene de
norte 1 b 11 d C 1 + norte 1 b 12 d C 2 +
. En firma euclidiana, b 11 = b 11 , b 12 = b 12 y de σ 1 = z + z ¯ 2 y σ 2 = z z ¯ 2 i , nosotros (o yo) tenemos
b 11 = 1 4 ( b z z + 2 b z z ¯ + b z ¯ z ¯ )
y
b 12 = 1 4 i ( b z z b z ¯ z ¯ )
, pero hay una contribución de b z z ¯