Apéndice H　Cuantización BRST y sistema de fantasmas bc¶

← Apéndice G　Derivación de las …

Resumen de lo anterior: En Cap. 16 16.7「Rederivación de la dimensión crítica desde la CFT」, derivamos la dimensión crítica del bosón string $D = 26$ a partir de la condición "la suma de la carga central de los campos de materia $c_{\text{matter}} = D$ y la carga central de los campos fantasma $c_{\text{ghost}} = -26$ es cero". Sin embargo, $c_{\text{ghost}} = -26$ se presentó en el texto principal solo como resultado, indicando que "el cálculo es técnico". Este apéndice llena ese vacío.

Objetivo de este apéndice

Partiendo del procedimiento de Faddeev-Popov, derivar a un nivel en el que se puedan seguir las manipulaciones algebraicas: por qué los campos fantasma $b, c$ son necesarios para la cuantización de la teoría de cuerdas, cómo se determina su tensor de energía-momento, y por qué el coeficiente de $(z-w)^{-4}$ en el OPE $T_{\text{ghost}}\, T_{\text{ghost}}$ da $c_{\text{ghost}} = -26$

Sobre la dificultad: Este apéndice es la sección más técnica de todo el El Desafío de la Gravedad Cuántica. Aparecen varios conceptos nuevos: manejo de campos anticonmutantes (campos de Grassmann), la prescripción de Faddeev-Popov, el teorema de Wick para campos anticonmutantes, etc. En una primera lectura se recomienda "aceptar solo el resultado $c_{\text{ghost}} = -26$ y seguir leyendo Cap. 16 16.7「Rederivación de la dimensión crítica desde la CFT」". Vuelve cuando te surja el interés.

En Fig. H.1「Flujo lógico de la cuantización BRST y la carga central fantasma」 se muestra el flujo lógico de todo este apéndice. Lee comprobando a qué sección corresponde cada paso.

Fig. H.1: Flujo lógico de la cuantización BRST y la carga central fantasma. Partiendo de la simetría gauge de la acción de Polyakov, se sigue una secuencia de pasos: procedimiento de Faddeev-Popov → introducción de los campos fantasma bc → tensor de energía-momento → cálculo del OPE TT → determinación de c_ghost = -26.

H.1　Necesidad de la fijación de gauge — Motivación de Faddeev-Popov¶

🟡 Lina: La acción de Polyakov de la teoría de cuerdas (Cap. 13) tenía 3 simetrías gauge: invariancia bajo reparametrización (2) e invariancia de Weyl (1). Estas representan "diferencias aparentes del mismo estado" y no "estados físicamente distintos".

🔵 Kai: ¿Qué problema hay si existe simetría gauge?

🟡 Lina: En la integral de camino $Z = \int \mathcal{D}g\, \mathcal{D}X\, e^{iS}$, al sumar sobre todas las métricas $g_{ab}$, se cuentan infinitas veces configuraciones que están conectadas por transformaciones gauge —es decir, familias de métricas que son físicamente el mismo estado pero difieren solo en apariencia. A este "conjunto de configuraciones físicamente idénticas conectadas por transformaciones gauge" se le llama órbita gauge (gauge orbit). Para evitar esto se necesita la operación de "elegir un solo representante de cada órbita gauge" — la fijación de gauge.

Fijación de gauge y factor jacobiano¶

🟡 Lina: La prescripción estándar para la fijación de gauge es el método de Faddeev-Popov. Esencialmente es una generalización del cambio de variables (jacobiano) de las matemáticas de bachillerato.

Por ejemplo, cuando quieres integrar una función de 2 variables $F(x, y)$ a lo largo del eje $y$ ($x = 0$):

\[ \int dy\, F(0, y) = \int dx\, dy\, \delta(x)\, F(x, y) \]

La función delta "selecciona el representante con $x = 0$". Este es el prototipo de la fijación de gauge.

🔵 Kai: Ah, es "recoger solo los puntos que satisfacen la condición" con la función delta.

🟡 Lina: Exacto. En general, cuando quieres imponer la condición de fijación de gauge $G(g) = 0$, insertas la función delta $\delta[G(g)]$. Sin embargo, para asegurar que de cada órbita gauge se seleccione exactamente un representante, es necesario añadir correctamente el factor jacobiano.

Pensemos desde la analogía en dimensión finita. Veamos el caso de 1 variable. Al hacer el cambio de variable $u = f(x)$, tenemos $du = f'(x)\, dx$ así que $dx = du/|f'(x)|$. Usando la propiedad de la función delta $\int du\, \delta(u) = 1$:

\[ \int dx\, \delta(f(x))\, |f'(x)| = \int du\, \delta(u) = 1 \]

(cuando $f(x) = 0$ tiene una sola solución). Es decir, $|f'(x)|$ es el jacobiano (la "tasa de estiramiento/compresión" del cambio de variables), y al multiplicar por él, $\delta(f(x))$ queda correctamente normalizada para "seleccionar exactamente un representante con $f = 0$".

⚪ Mei: Es la idea de la sustitución de bachillerato $dx = du/f'(x)$, combinada con la función delta.

🟡 Lina: Al extender a varias variables, para $n$ condiciones $f_i(x_1, \ldots, x_n) = 0$ ($i = 1, \ldots, n$):

\[ \int d^n x\; \delta^{(n)}(\vec{f}(\vec{x}))\; \left|\det\left(\frac{\partial f_i}{\partial x_j}\right)\right| = 1 \]

El jacobiano se generaliza de $|f'|$ al determinante $|\det(\partial f_i/\partial x_j)|$. Al extender esto formalmente a dimensión infinita (variable $x_j$ → campo del parámetro gauge $\alpha(\sigma)$, condición $f_i$ → condición de fijación de gauge $G$):

\[ 1 = \int \mathcal{D}\alpha\; \delta[G(g^\alpha)]\; \det\left(\frac{\delta G(g^\alpha)}{\delta \alpha}\right) \]

Aquí $g^\alpha$ representa la transformación gauge con parámetro $\alpha$. En dimensión finita teníamos el valor absoluto $|\det|$, pero aquí escribimos $\det$ sin valor absoluto. La razón: como veremos en la siguiente subsección, este determinante se expresa como una integral gaussiana de campos anticonmutantes (campos fantasma). La integral gaussiana de campos anticonmutantes da automáticamente $\det M$ (con signo), por lo que no es necesario tomar el valor absoluto por separado — la información del signo queda correctamente incorporada en la integral de camino de los campos fantasma. Al insertar este "1" en la integral de camino, aparece el determinante de Faddeev-Popov $\det(\delta G/\delta\alpha)$.

Reescritura del determinante en términos de campos fantasma¶

🟡 Lina: La idea central de Faddeev-Popov es reescribir este determinante como una integral de camino sobre nuevas variables de integración.

🔵 Kai: ¿Reescribir un determinante como una integral...? ¿Cómo se hace eso?

🟡 Lina: Se usan las propiedades de las variables de Grassmann (anticonmutantes). Las variables de Grassmann son objetos matemáticos especiales que "cambian de signo al intercambiar dos de ellas", introducidos para describir fermiones (partículas de espín semi-entero como los electrones) (las reglas básicas de cálculo de campos anticonmutantes se resumen en la sección H.3. Para los detalles de la definición y derivación de las integrales de Grassmann, véase Teoría Cuántica de Campos Teoría Cuántica de Campos Cap. 12). La integral gaussiana de variables anticonmutantes $\theta_i$ ($\theta_i \theta_j = -\theta_j \theta_i$) da:

\[ \int \mathcal{D}\bar\theta\, \mathcal{D}\theta\; \exp\left(-\bar\theta_i M_{ij} \theta_j\right) = \det M \]

(Mientras que la integral gaussiana ordinaria con números reales da $(\det M)^{-1/2}$, con variables anticonmutantes sale $\det M$ directamente. ¿Por qué? Una variable anticonmutante $\theta$ satisface $\theta^2 = 0$, así que cualquier función de $\theta$ se reduce a $f(\theta) = a + b\theta$ (los términos de grado 2 o mayor se anulan). La integral de Grassmann se define como "la operación que extrae el coeficiente de primer grado en $\theta$": $\int d\theta\, \theta = 1$, $\int d\theta\, 1 = 0$. Mientras que la integral ordinaria "suma áreas", la integral de Grassmann se comporta como una "derivada", reduciendo la potencia. Por esto, el $\det M$ que aparece en el denominador en la integral gaussiana ordinaria, aparece en el numerador con variables anticonmutantes. Para más detalles véase Teoría Cuántica de Campos Teoría Cuántica de Campos Cap. 12.)

⚪ Mei: Con la integral ordinaria sale $(\det M)^{-1/2}$, pero con variables anticonmutantes sale $\det M$ — se invierte.

🟡 Lina: Por lo tanto, el determinante de Faddeev-Popov puede expresarse como una integral de camino de campos anticonmutantes (campos fantasma):

\[ \det\left(\frac{\delta G}{\delta \alpha}\right) = \int \mathcal{D}b\, \mathcal{D}c\; e^{-S_{\text{ghost}}[b, c]} \]

⚪ Mei: Los campos fantasma no son "partículas físicas" sino "campos auxiliares para expresar el determinante como integral de camino".

🟡 Lina: Exactamente. Por eso se llaman "fantasmas" — no existen realmente pero son necesarios para el cálculo.

✅ Verificación de comprensión: El determinante de Faddeev-Popov puede expresarse como integral de camino de campos fantasma. ¿Qué propiedad deben tener las variables de integración para que esto sea posible?

Respuesta

Las variables de integración deben ser anticonmutantes (variables de Grassmann). La integral gaussiana de variables anticonmutantes da $\det M$ (mientras que con variables reales ordinarias da $(\det M)^{-1/2}$), lo que permite expresar el determinante de Faddeev-Popov como una integral de camino sobre los campos anticonmutantes $b, c$.

H.2　Aplicación a la teoría de cuerdas — Aparición del sistema $bc$¶

🟡 Lina: En la acción de Polyakov de la teoría de cuerdas, las 3 simetrías gauge (2 reparametrizaciones + Weyl) se usan para fijar el gauge conforme $h_{ab} = \eta_{ab}$ (o en versión euclídea $h_{ab} = \delta_{ab}$). Los campos fantasma que aparecen para procesar el determinante de Faddeev-Popov necesario son el fantasma $b$ y el fantasma $c$.

Omitiendo los detalles, se disponen de la siguiente manera:

$c^a(z)$: campo anticonmutante que reemplaza al parámetro infinitesimal de reparametrización $\delta\sigma^a$ (vector de la hoja de mundo)
$b_{ab}(z)$: campo anticonmutante que aparece como multiplicador de Lagrange de la condición de Faddeev-Popov (tensor simétrico sin traza de la hoja de mundo)

En coordenadas complejas $z, \bar{z}$, las componentes independientes son:

$c(z)$ (componente holomorfa), $\bar{c}(\bar{z})$ (componente antiholomorfa)
$b(z)$ (componente holomorfa), $\bar{b}(\bar{z})$ (componente antiholomorfa)

En este apéndice tratamos solo el sector holomorfo $(b, c)$. El sector antiholomorfo se trata de manera completamente paralela.

Determinación de los pesos conformes¶

🟡 Lina: Los pesos conformes de los campos fantasma se determinan a partir de los objetos de los que se originan:

$c^a$: El parámetro de transformación de coordenadas $\delta\sigma^a$ es un vector (E.3「Coordenadas complejas $z, \bar{z}$ y derivadas」). Veamos cómo se transforma $\epsilon(z)$ bajo $z \to w = f(z)$ en coordenadas complejas.

Primero pensemos con un ejemplo concreto. Para $w = 2z$ (una transformación que estira las coordenadas al doble), $df/dz = 2$. El campo vectorial $v = \epsilon(z)\, \partial_z$ es un objeto geométrico independiente de las coordenadas — por ejemplo, el hecho de que "estás caminando hacia el norte a 5 km/h" no cambia al cambiar la escala del mapa (sistema de coordenadas). De manera similar, $v$ tiene "dirección y magnitud" que no dependen de la elección de coordenadas — así que en la nueva coordenada $w$ el mismo $v$ se escribe como $v = \tilde\epsilon(w)\, \partial_w$. Aquí $\partial_z$ es el vector base de coordenadas (véase Cap. 6 6.2「Resumen de los puntos clave de la relatividad general (lo que se usa en la teoría de cuerdas)」), y por la regla de la cadena se cumple $\partial_z = (df/dz)\, \partial_w$. Intuitivamente significa que "al mover $z$ en 1, $w$ se mueve en $df/dz$".

🔵 Kai: "Al mover $z$ en 1, $w$ se mueve en 2", así que para el mismo vector las componentes en la coordenada $w$ cambian... ¿verdad?

🟡 Lina: Exacto. Supongamos que en un punto hay un vector "con rapidez 3 en la coordenada $z$": $v = 3\, \partial_z$. En la coordenada $w$ el mismo vector se escribe $v = \tilde\epsilon\, \partial_w$. Como $\partial_z = (df/dz)\, \partial_w = 2\, \partial_w$, tenemos $v = 3 \cdot 2\, \partial_w = 6\, \partial_w$, es decir $\tilde\epsilon = 6 = 2 \cdot 3 = (df/dz) \cdot \epsilon$. En general, sustituyendo la regla de la cadena $\partial_z = (df/dz)\, \partial_w$ se obtiene $\epsilon(z)\, (df/dz)\, \partial_w = \tilde\epsilon(w)\, \partial_w$, y comparando los coeficientes de $\partial_w$: $\tilde\epsilon(w) = (df/dz)\, \epsilon(z)$. Despejando $\epsilon(z)$: $\epsilon(z) = (df/dz)^{-1}\, \tilde\epsilon(f(z))$.

Por otro lado, la ley de transformación de un campo primario de peso conforme $h$ introducida en [Cap. 16](../../content_string/chapters/ch16.md) [16.4「Expansión del producto de operadores (OPE)」](ch16.md#string-ch16-s4) era $\phi(z) = (df/dz)^h\, \tilde\phi(f(z))$. El significado de esta fórmula es: expresa la relación entre el valor del campo $\phi(z)$ en la coordenada $z$ y el valor del campo $\tilde\phi(w)$ en la nueva coordenada $w = f(z)$. Si $h > 0$, al estirar la coordenada ($df/dz > 1$) el valor del campo aumenta; si $h < 0$, disminuye. La expresión obtenida $\epsilon(z) = (df/dz)^{-1}\, \tilde\epsilon(f(z))$ tiene exactamente esta forma con $h = -1$. Por lo tanto, el peso conforme de $c(z)$ es $h_c = -1$.

⚪ Mei: El exponente es $-1$ así que el peso conforme es $-1$ — la forma de la ley de transformación nos da directamente la respuesta.

🟡 Lina: Ahora veamos el lado de $b$.

$b_{ab}$: La componente $b_{zz}(z) \equiv b(z)$ del tensor simétrico sin traza $b_{ab}$ es un tensor de peso $h_b = +2$. Veamos la razón. En la acción, $b_{zz}$ aparece como multiplicador de Lagrange para la condición de fijación de gauge $\delta g_{zz} = 0$ en la forma $\int d^2z\, b_{zz}\, \delta g_{zz}$. Para que esta integral sea invariante bajo transformaciones de coordenadas, $b_{zz}$ y $\delta g_{zz}$ deben tener el mismo peso conforme. El peso de $\delta g_{zz}$ se determina por la transformación de la componente $zz$ del tensor métrico: bajo $z \to w = f(z)$, $g_{zz} = (df/dz)^2\, \tilde g_{ww}$ (como hay dos índices $z$, $(df/dz)$ se multiplica dos veces). Esta es exactamente la ley de transformación de peso conforme $h = 2$. Por lo tanto $h_b = 2$.

🔵 Kai: Peso $h_b = 2$, $h_c = -1$, y la suma es $h_b + h_c = 1$.

🟡 Lina: Ese "1" será importante más adelante — escrito en forma diferencial, $b\, dc \cdot dz\, d\bar{z}$ es la forma de la acción, así que para que sea integrable la suma de pesos debe ser 1.

✅ Verificación de comprensión: En el sistema de fantasmas $bc$ de la teoría de cuerdas, ¿cuáles son los pesos conformes de $b(z)$ y $c(z)$ respectivamente? ¿De qué objetos físicos se derivan?

Respuesta

El peso conforme de $b(z)$ es $h_b = 2$ (se deriva del multiplicador de Lagrange de la variación métrica simétrica sin traza $\delta g_{zz}$), y el peso conforme de $c(z)$ es $h_c = -1$ (se deriva del parámetro de transformación de coordenadas $\delta z = \epsilon(z)$). La suma de ambos es $h_b + h_c = 1$.

H.3　Fundamentos de campos anticonmutantes (campos de Grassmann)¶

🟡 Lina: Los campos fantasma son campos anticonmutantes y se tratan con reglas diferentes a las de los campos bosónicos. Aquí resumimos los aspectos básicos. Para más detalles véase Teoría Cuántica de Campos capítulos 5 y 12.

Relaciones de anticonmutación¶

🟡 Lina: Los campos anticonmutantes $\psi(z), \chi(w)$ satisfacen:

\[ \psi(z)\, \chi(w) = -\chi(w)\, \psi(z) \]

En particular, el cuadrado del mismo campo es: $\psi(z)^2 = 0$.

Orden normal y contracción¶

🟡 Lina: En el orden normal de campos anticonmutantes $:bc:$, al intercambiar operadores aparece un signo menos:

\[ : b(z)\, c(w) : = b(z)\, c(w) - \langle b(z)\, c(w)\rangle \]

Valor de contracción básico (derivado en la siguiente sección):

\[ \langle b(z)\, c(w)\rangle = \frac{1}{z-w}, \qquad \langle c(z)\, b(w)\rangle = \frac{1}{z-w} \]

Aquí $\langle \cdots \rangle$ es el valor esperado en orden radial. El orden radial es una convención para definir el producto de campos en teoría de campos conforme bidimensional, que consiste en "colocar a la izquierda el campo con mayor distancia al origen $|z|$" (véase Cap. 16 16.4「Expansión del producto de operadores (OPE)」). Cuando $|z| > |w|$, tanto $b(z)c(w)$ como $c(z)b(w)$ satisfacen la condición de orden radial "el de mayor $|z|$ va a la izquierda", así que se evalúan en ese mismo orden.

La razón por la que ambos valores de contracción son el mismo $1/(z-w)$: $\langle b(z) c(w)\rangle$ es el propagador determinado por la acción $G_{bc}(z,w) = 1/(z-w)$. Por otro lado $\langle c(z) b(w)\rangle$ es $G_{cb}(z,w)$, y derivándolo independientemente en la sección H.4 también da $1/(z-w)$. Podrías pensar "¿no debería haber un signo menos por la anticonmutación?", pero el valor esperado en orden radial no implica la operación de intercambiar el orden de los campos — es simplemente el resultado de la integral de camino bajo la condición $|z| > |w|$. Los valores de contracción en sí son c-números (números ordinarios) y no se ven afectados por las relaciones de anticonmutación.

Teorema de Wick para campos anticonmutantes¶

🟡 Lina: El teorema de Wick para campos anticonmutantes es el mismo que para campos bosónicos pero con la adición de "un signo menos cada vez que las líneas de contracción se cruzan". Concretamente, el signo se determina por la paridad del número de veces que "un campo atraviesa otro para quedar adyacente al campo con el que se contrae".

Veamos un ejemplo. Supongamos que hay 4 campos anticonmutantes $A\, B\, C\, D$ alineados, y queremos contraer $A$ con $C$ y $B$ con $D$. El signo se determina por el "número de cruces de las líneas de contracción": si dibujamos arcos sobre el orden original para la contracción $A$-$C$ y la contracción $B$-$D$, los dos arcos se cruzan 1 vez. Como el número total de cruces es 1 (impar), el signo es $(-1)^1 = -1$.

Otra forma de verlo: para poner $A$ y $C$ adyacentes hay que saltar sobre $B$ una vez (anticonmutación da signo $-1$). Después $B$ y $D$ ya están adyacentes así que no hay signo adicional. Ambos métodos dan el mismo resultado.

🔵 Kai: Dibujar arcos y contar cruces parece más visual que reorganizar campos mentalmente.

🟡 Lina: Otro ejemplo: en $A\, B\, C\, D$, contraer $A$ con $D$ y $B$ con $C$. Dibujando los arcos $A$-$D$ y $B$-$C$, el arco $B$-$C$ queda dentro del arco $A$-$D$ sin cruzarlo. Número de cruces 0 (par), así que el signo es $(-1)^0 = +1$. El patrón $(1,4)(2,3)$ que aparece en el término (I) de la sección H.6 tiene exactamente esta forma "$A$ con $D$, $B$ con $C$": dibujando los arcos, el de $(2,3)$ queda dentro del de $(1,4)$ sin cruzarse. Número de cruces 0, signo $(-1)^0 = +1$.

Sin embargo, a partir de la sección H.5 trataremos contracciones entre el producto en orden normal $:\!b\partial c\!:(z)$ y un campo externo $c(w)$, y en la sección H.6 contracciones entre $:\!b\partial c\!:(z)\, :\!b\partial c\!:(w)$. En las contracciones entre productos en orden normal, el número de saltos necesarios para "extraer un campo del producto en orden normal" también afecta al signo. La prescripción concreta se mostrará con ejemplos en las secciones H.5 y H.6.

Para los cálculos de este apéndice, basta recordar las reglas que se usan frecuentemente:

Regla de signo para contracciones entre productos en orden normal: En $:\!A\, B\!:\, :\!C\, D\!:$, cuando quieres contraer $A$ con $D$, necesitas "sacar" $D$ del producto en orden normal derecho saltando sobre $C$ (1 salto → signo $-1$). En general, se cuenta el número de campos anticonmutantes que se saltan para mover el campo que se quiere contraer hasta el borde del producto en orden normal, y el signo es $(-1)^{\text{número de saltos}}$.

Enfoque en este apéndice: En la sección H.5 tratamos el OPE de $T$ con $c$ (contracción parcial), y la "regla nuclear" anterior es suficiente para rastrear completamente los signos. Sin embargo, en la sección H.6 para el OPE $TT$ (contracción total entre productos en orden normal) se necesitan reglas de signo adicionales que exceden el alcance de este apéndice (véase Polchinski Vol.1 §2.5, §3.3). Por ello, en la sección H.6 nos concentraremos en rastrear el valor absoluto de la contribución de cada término, y el signo global se determinará con el argumento físico de que "un loop de fermiones produce un $(-1)$", fijándolo en $-13$ (detalles en la sección H.6). 2. Contracción de $b$ dentro de $:bc:$ con un $c$ externo: Caso especial de la regla anterior. Si $b$ está en el extremo izquierdo del producto en orden normal, hay 0 saltos y el signo es $+$. 3. Términos tipo cuadrado del mismo campo: A menudo se pueden eliminar usando $\psi(z)^2 = 0$.

🔵 Kai: Es decir, en el cálculo de H.6, cuando hay 4 campos alineados, según "qué campo se contrae con cuál" cambia el número de saltos, y eso afecta al signo.

🟡 Lina: Exacto.

H.4　Acción del sistema $bc$ y OPE básico¶

Derivación de la acción¶

🟡 Lina: Siguiendo cuidadosamente el procedimiento de Faddeev-Popov, la acción fantasma de la teoría de cuerdas en gauge conforme toma la forma:

\[ \boxed{S_{\text{ghost}} = \frac{1}{2\pi}\int d^2z\; \left(b\, \bar\partial c + \bar{b}\, \partial \bar{c}\right)} \]

Extrayendo solo el sector holomorfo: $S^+ = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c$.

🔵 Kai: Si $\bar\partial c$ aparece en la acción, entonces la ecuación de movimiento es $\bar\partial c = 0$, ¿no?

🟡 Lina: Así es. Variando con respecto a $c(z)$ se obtiene la ecuación de movimiento de $b$, y variando con respecto a $b(z)$ la de $c$:

\[ \bar\partial c(z) = 0, \qquad \bar\partial b(z) = 0 \]

Es decir, tanto $c$ como $b$ son funciones holomorfas. Esto encaja naturalmente en el marco de la teoría de campos conforme.

Derivación del OPE básico¶

🟡 Lina: Busquemos la función de correlación (propagador, o también llamada función de Green) entre los dos campos. En la acción $S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c$, la ecuación de movimiento de $c$ obtenida al variar con respecto a $b$ es $\bar\partial c = 0$ (análogamente, variando con respecto a $c$ se obtiene $\bar\partial b = 0$).

El propagador $G(z,w) = \langle c(z)\, b(w)\rangle$ se define como la solución de la "ecuación de movimiento con fuente puntual". En el lenguaje de la integral de camino, $\langle c(z)\, b(w)\rangle$ representa "cómo responde $c$ cuando se inserta $b$ en $w$". Concretamente, usando la identidad de la integral de camino (ecuación de Schwinger-Dyson) bajo la acción $S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c$, $G(z,w)$ satisface la ecuación diferencial:

\[ \frac{1}{2\pi}\bar\partial_z G(z, w) = \delta^{(2)}(z-w) \]

Veamos de dónde viene esta ecuación. En la integral de camino $\langle c(z)\, b(w)\rangle = \int \mathcal{D}b\, \mathcal{D}c\; c(z)\, b(w)\, e^{-S}$, al hacer la derivada funcional con respecto a $b(z)$ (usando $\delta S/\delta b(z) = 0$ dentro de la integral de camino — esta es la versión cuántica de la ecuación de movimiento clásica, llamada ecuación de Schwinger-Dyson), se extrae el operador $\frac{1}{2\pi}\bar\partial_z$ que actúa sobre $c(z)$, y aparece la función delta en el lado derecho. Es decir, el $1/(2\pi)$ es el coeficiente del término cinético de la acción heredado directamente en la ecuación diferencial.

🔵 Kai: Esto tiene la misma estructura que en electromagnetismo, donde se resuelve $\nabla^2 \phi = -\rho$ para la ley de Coulomb. La función delta aparece donde está la carga puntual, y la solución es el potencial.

🟡 Lina: Buena analogía. Usamos la relación derivada en E.8「Función de Green del campo libre en 2D」. Para la normalización en coordenadas reales $(x,y)$ con $\int dx\, dy\, \delta_{xy}^{(2)}(z-w) = 1$, se cumple $\partial_{\bar{z}}(1/(z-w)) = \pi\delta_{xy}^{(2)}(z-w)$ (E.8「Función de Green del campo libre en 2D」).

La acción en este apéndice está escrita como $\frac{1}{2\pi}\int d^2z\, (\cdots)$. En la convención estándar de la teoría de cuerdas $d^2z \equiv 2\, dx\, dy$ (Polchinski Vol.1 (2.1.6)), y usando la función delta $\delta^{(2)}$ normalizada para esta medida ($\int d^2z\, \delta^{(2)} = 1$), el resultado de E.8「Función de Green del campo libre en 2D」 se reescribe como:

\[ \partial_{\bar{z}}\frac{1}{z-w} = 2\pi\delta^{(2)}(z-w) \]

(Derivación: $d^2z = 2\,dx\,dy$ así que $\int d^2z\, \delta^{(2)} = 1$ significa $\int 2\,dx\,dy\, \delta^{(2)} = 1$. Por otro lado $\int dx\,dy\, \delta_{xy}^{(2)} = 1$ así que $\delta^{(2)} = \frac{1}{2}\delta_{xy}^{(2)}$. Sustituyendo $\partial_{\bar{z}}(1/(z-w)) = \pi\delta_{xy}^{(2)} = 2\pi\delta^{(2)}$ de E.8「Función de Green del campo libre en 2D」 se obtiene la fórmula anterior.) Por lo tanto:

\[ \langle c(z)\, b(w)\rangle = \frac{1}{z-w} \]

Sustituyendo, el lado izquierdo $= \frac{1}{2\pi}\cdot 2\pi\delta^{(2)}(z-w) = \delta^{(2)}(z-w)$, que efectivamente se satisface.

⚪ Mei: Al ajustar correctamente la convención de la medida, el $2\pi$ se cancela limpiamente.

🟡 Lina: Aunque son campos anticonmutantes, en orden radial:

\[ \boxed{b(z)\, c(w) \sim \frac{1}{z-w}, \qquad c(z)\, b(w) \sim \frac{1}{z-w}} \]

($\sim$ denota igualdad en la parte singular del OPE. El resto son términos regulares.)

🔵 Kai: El OPE de $\partial X \partial X$ del campo bosónico era $1/(z-w)^2$, pero el de $bc$ es $1/(z-w)$ con un grado de singularidad menos. ¿Qué produce la diferencia?

🟡 Lina: La estructura de la acción es diferente. La acción del sistema $bc$ es $b\, \bar\partial c$, con solo una derivada entre $b$ y $c$. Por eso el propagador es $1/(z-w)$. En cambio, la acción del campo bosónico es $\partial X\, \bar\partial X$ con dos derivadas, así que el propagador de $X(z)X(w)$ es $\ln|z-w|^2$, y el OPE de $\partial X\, \partial X$ se obtiene derivando dos veces dando $1/(z-w)^2$.

✅ Verificación de comprensión: El OPE básico del sistema $bc$, $b(z)c(w) \sim 1/(z-w)$, ¿de qué estructura de la acción se deriva?

Respuesta

De la acción $S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c$ se obtiene la ecuación del propagador $\frac{1}{2\pi}\bar\partial_z G(z,w) = \delta^{(2)}(z-w)$, y usando la relación $\bar\partial_z(1/(z-w)) = 2\pi\delta^{(2)}(z-w)$ se deriva $G(z,w) = \langle c(z)b(w)\rangle = 1/(z-w)$.

H.5　Tensor de energía-momento del sistema $bc$¶

Determinación del tensor de energía-momento¶

🟡 Lina: El tensor de energía-momento de la acción del sistema $bc$, $S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c$, puede derivarse del teorema de Noether (simetría de traslación). Sin embargo, como el procedimiento de Noether para campos anticonmutantes es técnico, aquí entendemos el resultado desde otro enfoque — la condición de consistencia de que "el OPE de $T$ con cada campo reproduzca el peso conforme correcto".

El resultado es, denotando el peso conforme de $b$ como $\lambda$ (el peso de $c$ es $1-\lambda$):

\[ \boxed{T_{\text{ghost}}(z) = -\lambda\, :\! b(z)\, \partial c(z)\! : + (1-\lambda)\, :\! \partial b(z)\, c(z)\! :} \]

Se escribe para $\lambda$ general porque en la sección H.7 obtendremos de una sola vez la carga central para diversos sistemas (fermión libre, fantasmas de la supercuerda, etc.) variando $\lambda$.

🔵 Kai: Así que al cambiar el peso $\lambda$ cambia el contenido de $T$. Para la teoría de cuerdas con $\lambda = 2$, ¿cómo queda concretamente?

🟡 Lina: Correspondencia con las convenciones de signo de la literatura: En Polchinski Vol.1 (2.5.11) se escribe $T = -:(\partial b)c: + \lambda\, \partial(:bc:)$ (donde la $\lambda$ de Polchinski es el peso de $c$, que corresponde a $1-\lambda$ de este apéndice). Sustituyendo la $\lambda$ de Polchinski por $1-\lambda$ para ajustar a la convención de este apéndice, $T = -:(\partial b)c: + (1-\lambda)\, \partial(:bc:)$, y sustituyendo $\partial(:bc:) = :(\partial b)c: + :b(\partial c):$ se desarrolla como $T = -:(\partial b)c: + (1-\lambda):(\partial b)c: + (1-\lambda):b(\partial c): = -\lambda:(\partial b)c: + (1-\lambda):b(\partial c):$. Notando que dentro del producto en orden normal $:b(\partial c): = -:(\partial c)b:$, esto coincide con $T_{\text{ghost}} = -\lambda :b\,\partial c: + (1-\lambda) :\partial b\, c:$ de este apéndice ($:(\partial b)c: = :\partial b\, c:$). En este apéndice verificamos a continuación que el OPE reproduce los pesos conformes correctos con esta definición.

Para la teoría de cuerdas $\lambda = 2$ (peso de $b$), así que $-\lambda = -2$ y $(1-\lambda) = 1-2 = -1$. Sustituyendo en la fórmula general:

\[ T_{\text{ghost}}(z) = -2\, :\! b(z)\, \partial c(z)\! : \;+\; (-1)\, :\! \partial b(z)\, c(z)\! : \;=\; -2\, :\! b(z)\, \partial c(z)\! : \;-\; :\! \partial b(z)\, c(z)\! : \]

🔵 Kai: ¿Por qué tiene esa forma?

🟡 Lina: Se determina a partir de la condición de que los OPE de $T_\text{ghost}(z)$ con $b(w)$ y $c(w)$ hagan que "$b$ se comporte como campo primario de peso $\lambda$" y "$c$ se comporte como campo primario de peso $1-\lambda$". Es decir, se asume la forma de $T$, se calcula el OPE y se confirma que reproduce los pesos conformes correctos — esto coincide con el resultado del teorema de Noether.

Vamos a hacer una verificación. Los OPE que debe satisfacer el $T_{\text{ghost}}$ correcto son:

\[ T_{\text{ghost}}(z)\, b(w) \sim \frac{\lambda\, b(w)}{(z-w)^2} + \frac{\partial b(w)}{z-w} \]

\[ T_{\text{ghost}}(z)\, c(w) \sim \frac{(1-\lambda)\, c(w)}{(z-w)^2} + \frac{\partial c(w)}{z-w} \]

La expresión cuadrática más simple que satisface estas condiciones es el $T_{\text{ghost}}$ de arriba. Verifiquemos una. Calculamos el OPE $T_{\text{ghost}}(z)\, c(w)$. En el OPE del primer término $-\lambda\, :\!b\partial c\!:(z)$ con $c(w)$, solo contribuye la contracción de $b(z)$ con $c(w)$: $\langle b(z)c(w)\rangle = 1/(z-w)$ (la contracción $c(z)$ con $c(w)$ se anula por $\langle cc\rangle = 0$), y queda $\partial c(z)$. Expandiendo $\partial c(z) = \partial c(w) + (z-w)\partial^2 c(w) + \cdots$, del primer término sale $-\lambda\, \partial c(w)/(z-w)$. En el segundo término $(1-\lambda)\, :\!\partial b\, c\!:(z)$ consideramos la contracción de $\partial b(z)$ con el $c(w)$ externo.

Aquí dividimos el cálculo en 2 etapas. En la primera etapa calculamos ingenuamente "ignorando el $(-1)$ adicional al extraer un campo del producto en orden normal", y confirmamos que el resultado es incorrecto. En la segunda etapa introducimos la regla correcta y rehacemos el cálculo.

Lo que se "ignora" en la primera etapa es solo el signo proveniente de la reordenación de campos anticonmutantes; los signos que provienen de derivadas siempre se incluyen. Esta distinción es importante:

Signo del valor de contracción: signos que resultan de derivadas (ejemplo: $\partial_z(1/(z-w)) = -1/(z-w)^2$) → siempre se incluyen
Signo de reordenación: el $(-1)$ adicional al extraer un campo del producto en orden normal → se ignora en la primera etapa y se introduce en la segunda

Primera etapa: Usando $\langle \partial b(z)c(w)\rangle = \partial_z[1/(z-w)] = -1/(z-w)^2$, multiplicamos el $c(z)$ restante por coeficiente $+1$ y lo escribimos directamente. Expandiendo $c(z) = c(w) + (z-w)\partial c(w) + \cdots$, obtenemos $(1-\lambda)\cdot(-1/(z-w)^2)\cdot c(w) + (1-\lambda)\cdot(-1/(z-w)^2)\cdot(z-w)\partial c(w) + \cdots$; el término $(z-w)^{-2}$ es $-(1-\lambda)c(w)/(z-w)^2$, el término $(z-w)^{-1}$ es $-(1-\lambda)\partial c(w)/(z-w)$. En total:

\[ T_{\text{ghost}}(z)\, c(w) \sim \frac{-(1-\lambda)\, c(w)}{(z-w)^2} + \frac{-\lambda\, \partial c(w) - (1-\lambda)\partial c(w)}{z-w} = \frac{-(1-\lambda)\, c(w)}{(z-w)^2} + \frac{-\partial c(w)}{z-w} \]

🔵 Kai: Vaya, el coeficiente de $(z-w)^{-2}$ sale $-(1-\lambda)$. Debería ser $+(1-\lambda)$...

🟡 Lina: Sí, hasta aquí fue un "cálculo ingenuo ignorando el signo adicional", y a propósito obtuvimos un resultado incorrecto. ¿Ves que el signo no cuadra? Esto es evidencia de que "los productos en orden normal de campos anticonmutantes tienen una regla de signo adicional". Ahora viene lo importante — rehagámoslo con la regla correcta.

Regla nuclear: Cuando se contrae un campo $A$ dentro de un producto en orden normal $:\!AB\!:$ con un campo externo $C$, el campo restante $B$ lleva un factor adicional de $(-1)$.

Nota: Esta regla funciona perfectamente y da resultados correctos en la sección H.5 (OPE de $T$ con $c$, contracción parcial). Sin embargo, en la sección H.6 (OPE $TT$, contracción total entre productos en orden normal), al realizar múltiples contracciones simultáneamente entre dos productos en orden normal se necesitan reglas de signo adicionales, y la regla simple de arriba ya no es suficiente. En la sección H.6 se rastreará solo el valor absoluto de la contribución de cada término, y el signo global se determinará por el argumento físico.

¿Por qué aparece este $(-1)$? Para campos bosónicos teníamos $\phi(z)\chi(w) = \langle \phi(z)\chi(w)\rangle + :\!\phi(z)\chi(w)\!:$. Para campos anticonmutantes, la definición del producto en orden normal incluye la operación de "mover los operadores de aniquilación a la derecha", y al intercambiar $b$ y $c$ la relación de anticonmutación produce un $-1$:

\[ b(z)\, c(w) = \langle b(z)\, c(w)\rangle - :\!c(w)\, b(z)\!: \]

Este signo $-$ es el origen de la regla "el campo restante lleva $(-1)$".

⚪ Mei: El $+$ de campos bosónicos se convierte en $-$ para campos anticonmutantes — esa única diferencia es la fuente de todos los signos adicionales.

🟡 Lina: Usando esta regla, rehagamos el OPE del primer término $-\lambda\, :\!b\partial c\!:(z)$ con el $c(w)$ externo. Al contraer $b(z)$ con $c(w)$ sale $\langle b(z)c(w)\rangle = 1/(z-w)$, y el $\partial c(z)$ restante lleva un factor adicional de $(-1)$. Expandiendo $\partial c(z) = \partial c(w) + (z-w)\partial^2 c(w) + \cdots$, el término más singular es $\frac{1}{z-w} \cdot (-1) \cdot \partial c(w)$ de orden $(z-w)^{-1}$. Por lo tanto el término $(z-w)^{-1}$ es $-\lambda \cdot \frac{1}{z-w} \cdot (-1) \cdot \partial c(w) = +\frac{\lambda\, \partial c(w)}{z-w}$. No hay término $(z-w)^{-2}$ — la contracción da $1/(z-w)$ y el inicio de la expansión de Taylor es $(z-w)^0$, así que el orden más alto del producto es solo $(z-w)^{-1}$.

En el segundo término $(1-\lambda)\, :\!\partial b\, c\!:(z)$, contraemos $\partial b(z)$ con el $c(w)$ externo. Aquí aplicamos la regla nuclear: cuando se contrae un campo $A$ dentro de un producto en orden normal $:\!A\, B\!:$ con un campo externo $C$, el campo restante $B$ lleva un factor adicional de $(-1)$. Esto se origina en la relación $A(z)\, C(w) = \langle A(z)\, C(w)\rangle - :\!C(w)\, A(z)\!:$ (al intercambiar campos en la definición del producto en orden normal, la relación de anticonmutación produce $-1$).

Por lo tanto, sale el valor de contracción $\langle \partial b(z)\, c(w)\rangle = -1/(z-w)^2$, y el $c(z)$ restante lleva un factor adicional de $(-1)$. Expandiendo: $(1-\lambda)\cdot(-1/(z-w)^2)\cdot(-1)\cdot[c(w) + (z-w)\partial c(w) + \cdots]$.

🔵 Kai: ¡Oh, $(-1/(z-w)^2) \times (-1) = +1/(z-w)^2$, el signo se ha invertido!

🟡 Lina: Sumando todo (del primer término sale $+\lambda\, \partial c(w)/(z-w)$, del segundo $(1-\lambda)\, \partial c(w)/(z-w)$, y como $\lambda + (1-\lambda) = 1$):

\[ T_{\text{ghost}}(z)\, c(w) \sim \frac{(1-\lambda)\, c(w)}{(z-w)^2} + \frac{\partial c(w)}{z-w} \]

Con esto se reproduce el peso conforme correcto $(1-\lambda)$. El punto clave es la regla "al extraer un campo del producto en orden normal de campos anticonmutantes, el campo restante lleva $(-1)$". La verificación completa se deja como ejercicio.

📝 Ejercicios:

Verificación del OPE de $T_{\text{ghost}}$ con $b, c$ → Problema B-2. Tensor de energía-momento de los ghosts y verificación de la OPE

H.6　Cálculo del OPE $T_{\text{ghost}}\, T_{\text{ghost}}$¶

🟡 Lina: Llegamos al núcleo del asunto. Leemos la carga central $c_{\text{ghost}}$ del coeficiente de $(z-w)^{-4}$ en el OPE $T_{\text{ghost}}\, T_{\text{ghost}}$. Calculamos para el caso $\lambda = 2$.

Primero una visión general del cálculo. Como $T_{\text{ghost}}$ tiene 2 términos, al expandir el producto se obtienen 4 términos. A cada término se aplica el teorema de Wick. Las contribuciones a $(z-w)^{-4}$ provienen solo de las contracciones totales (patrones donde todos los campos se contraen) — las contracciones parciales (donde solo se contrae una parte) no contribuyen a $(z-w)^{-4}$ (la razón se explica después). Aquí mostramos en detalle la estructura del cálculo de las contracciones totales (qué campo se contrae con cuál, el orden del polo de cada contracción).

Objetivo y enfoque del cálculo: En el cálculo siguiente veremos de dónde viene el número "$13$". Concretamente:

Qué patrones de contracción contribuyen a $(z-w)^{-4}$ (muchos patrones se anulan por $\langle bb\rangle = \langle cc\rangle = 0$)
Cómo se combinan los órdenes de polo de cada contracción para producir $(z-w)^{-4}$ (estructura debida a la distribución de derivadas)
Los valores absolutos de la contribución de cada término ($4, 4, 4, 1$) y cómo se determinan

El signo global se fija en $-13$ por el argumento físico de que un loop de campos anticonmutantes siempre produce un $(-1)$ (el mismo origen que la regla de signo de los loops de fermiones en Teoría Cuántica de Campos Teoría Cuántica de Campos Cap. 12). El rastreo algebraico riguroso del signo requiere las reglas completas del teorema de Wick entre productos en orden normal y excede el alcance de este apéndice (véase Polchinski Vol.1 §2.5, §3.3). A continuación rastreamos solo el orden de polo y el valor absoluto del coeficiente de cada término. $$ T_{\text{ghost}}(z) = -2\, :! b(z)\, \partial c(z)! : -\, :! \partial b(z)\, c(z)! : $$

🔵 Kai: Hay 2 términos, así que al expandir el producto salen 4 términos.

🟡 Lina: Así es. Enumeramos cada término en forma $(\alpha)(\beta)$:

Término (I): $(-2)(-2)\, :\! b\partial c\!:(z) \cdot\, :\! b\partial c\!:(w) = 4\, :\! b\partial c\!:(z)\, :\! b\partial c\!:(w)$
Término (II): $(-2)(-1)\, :\! b\partial c\!:(z) \cdot\, :\! \partial b\, c\!:(w) = +2\, :\! b\partial c\!:(z)\, :\! \partial b\, c\!:(w)$
Término (III): $(-1)(-2)\, :\! \partial b\, c\!:(z) \cdot\, :\! b\partial c\!:(w) = +2\, :\! \partial b\, c\!:(z)\, :\! b\partial c\!:(w)$
Término (IV): $(-1)(-1)\, :\! \partial b\, c\!:(z) \cdot\, :\! \partial b\, c\!:(w) = +1\, :\! \partial b\, c\!:(z)\, :\! \partial b\, c\!:(w)$

A cada término se aplica el teorema de Wick y se recoge el coeficiente de $(z-w)^{-4}$. Lo que contribuye a la carga central es solo la contracción total de ambos lados (valor esperado del vacío de la función de correlación).

Cálculo del término (I)¶

🟡 Lina: Consideramos $:\!b\partial c\!:(z)\, :\!b\partial c\!:(w)$. Los patrones de contracción total son:

Patrón A: contracción de $b(z)$ con $\partial c(w)$, contracción de $\partial c(z)$ con $b(w)$

Del OPE básico:

\[ \langle b(z)\, c(w)\rangle = \frac{1}{z-w} \;\Longrightarrow\; \langle b(z)\, \partial c(w)\rangle = \partial_w \frac{1}{z-w} = \frac{1}{(z-w)^2} \]

\[ \langle \partial c(z)\, b(w)\rangle = \partial_z \frac{1}{z-w} = -\frac{1}{(z-w)^2} \]

🔵 Kai: Derivando respecto a $w$ da $+1/(z-w)^2$, y derivando respecto a $z$ da $-1/(z-w)^2$ — el signo se invierte según la variable que se derive.

🟡 Lina: Exacto. El producto de los valores de contracción del patrón A:

\[ \langle b(z)\partial c(w)\rangle \cdot \langle \partial c(z)\, b(w)\rangle = \frac{1}{(z-w)^2}\cdot\left(-\frac{1}{(z-w)^2}\right) = -\frac{1}{(z-w)^4} \]

Veamos a título de referencia el signo adicional por el número de saltos (aunque como se indicó al inicio de H.6, la determinación completa del signo de las contracciones totales requiere reglas adicionales, y el siguiente cálculo de saltos no fija el signo definitivo — solo registramos el valor absoluto de cada término, y el signo global se fija al final con el argumento del loop de fermiones).

Para el orden original de campos $b(z),\, \partial c(z),\, b(w),\, \partial c(w)$ (posiciones $1, 2, 3, 4$), el patrón de contracción es $(1,4)(2,3)$: se contrae $b(z)$ en posición 1 con $\partial c(w)$ en posición 4, y $\partial c(z)$ en posición 2 con $b(w)$ en posición 3. Para determinar el signo de la contracción total entre productos en orden normal, se cuenta "cuántos campos anticonmutantes hay que saltar al extraer cada campo del borde del producto en orden normal". Para extraer $\partial c(w)$ (posición 4) del producto en orden normal derecho $:\!b(w)\partial c(w)\!:$, hay que saltar sobre $b(w)$ una vez (signo $-1$). Para extraer $b(z)$ (posición 1) del producto en orden normal izquierdo $:\!b(z)\partial c(z)\!:$, está en el extremo izquierdo así que 0 saltos (signo $+1$). El número total de saltos es 1 (impar), así que el signo adicional por saltos es $(-1)$.

El producto de valores de contracción es $(-1/(z-w)^4)$, y multiplicando por el signo de salto $(-1)$ da $+1/(z-w)^4$. Sin embargo, como se indicó al inicio de H.6, la determinación completa del signo requiere reglas adicionales, así que a continuación registramos solo el valor absoluto $1/(z-w)^4$ de la contribución de cada término a $(z-w)^{-4}$.

Patrón B: contracción $b(z) \leftrightarrow b(w)$ y $\partial c(z) \leftrightarrow \partial c(w)$ → $\langle b(z)\, b(w)\rangle = 0$ (no existe propagador $b$-$b$) → no contribuye

🟡 Lina: Por lo tanto, la contribución del término (I) a $(z-w)^{-4}$ viene solo del patrón A. El valor absoluto del producto de contracciones es $1/(z-w)^4$. Multiplicando por el coeficiente del término (I), $(-2)^2 = 4$, el valor absoluto de la contribución total del término (I) es $4/(z-w)^4$. De hecho, en los demás términos también los patrones de contracción entre campos del mismo tipo ($b$-$b$ o $c$-$c$) siempre se anulan por $\langle bb\rangle = \langle cc\rangle = 0$. Es decir, los únicos patrones que sobreviven en cada término son los que "emparejan $b$ con $c$ (o sus derivadas)".

⚪ Mei: Ya veo, como $\langle bb\rangle = \langle cc\rangle = 0$, solo se pueden contraer campos de tipo diferente.

🔵 Kai: En el término (II) la derivada pasa al lado de $b$, así que el orden de polo de las contracciones cambia. Pero ¿al final sigue dando $(z-w)^{-4}$?

🟡 Lina: Exacto. Aunque el orden de polo de cada contracción individual cambia según a qué campo se aplica la derivada, el producto de la contracción total siempre contribuye a $(z-w)^{-4}$. Veámoslo.

⚪ Mei: La "regla de contar cruces de arcos" de H.3 y el "número de saltos" de aquí se parecen — ¿hay alguna relación?

🟡 Lina: Buena observación. Ambos cuentan "cuántas veces se intercambian campos anticonmutantes", así que la esencia es la misma. Sin productos en orden normal, el signo se determina solo con el número de cruces de arcos; con productos en orden normal hay que contar adicionalmente los "saltos al extraer campos". Pero el signo final coincide.

Cálculo de los términos (II) y (III)¶

🟡 Lina: El término (II) es $:\!b\partial c\!:(z)\, :\!\partial b\, c\!:(w)$. Patrón de contracción total:

Patrón A': $b(z) \leftrightarrow c(w)$ y $\partial c(z) \leftrightarrow \partial b(w)$

\[ \langle b(z)\, c(w)\rangle = \frac{1}{z-w} \]

\[ \langle \partial c(z)\, \partial b(w)\rangle = \partial_z \partial_w \langle c(z)\, b(w)\rangle = \partial_z \partial_w \frac{1}{z-w} = \partial_z\left(\frac{1}{(z-w)^2}\right) = -\frac{2}{(z-w)^3} \]

Aquí se usó $\langle c(z)\, b(w)\rangle = 1/(z-w)$ (sección H.4). La primera igualdad se debe a que "la función de correlación de las derivadas de campos = derivada de la función de correlación" (para $z \neq w$ la función de correlación es una función suave, así que se puede intercambiar el orden de derivación y valor esperado). Primero derivamos respecto a $w$: $\partial_w [1/(z-w)] = \partial_w [(z-w)^{-1}] = (-1)(z-w)^{-2} \cdot (\partial_w(z-w)) = (-1)(z-w)^{-2}\cdot(-1) = +1/(z-w)^2$. Luego derivamos respecto a $z$: $\partial_z [1/(z-w)^2] = (-2)(z-w)^{-3} \cdot (\partial_z(z-w)) = (-2)(z-w)^{-3}\cdot(+1) = -2/(z-w)^3$.

🔵 Kai: $1/(z-w)$ por $1/(z-w)^3$ da efectivamente $(z-w)^{-4}$. $1+3=4$ y el término (I) tenía $2+2=4$, el desglose es diferente pero el total es el mismo.

🟡 Lina: El producto de valores de contracción es $\frac{1}{z-w}\cdot\left(-\frac{2}{(z-w)^3}\right) = -\frac{2}{(z-w)^4}$. La determinación del signo global incluyendo el número de saltos no puede rastrearse con la prescripción simplificada de este apéndice (véase el enfoque al inicio de H.6), así que aquí registramos el valor absoluto $\frac{2}{(z-w)^4}$.

El coeficiente del término (II) es $(-2)(-1) = +2$, así que en valor absoluto: $2 \cdot \frac{2}{(z-w)^4} = \frac{4}{(z-w)^4}$.

🟡 Lina: En cada término la distribución de derivadas cambia, así que el orden de polo de cada contracción individual difiere, pero el producto de la contracción total siempre contribuye a $(z-w)^{-4}$. En el término (I) el resultado de la contracción ya era directamente $(z-w)^{-4}$, pero en el término (II) es el producto de $1/(z-w)$ por $1/(z-w)^3$ lo que da $(z-w)^{-4}$ — se combinan contracciones con diferente número de derivadas. En general, la suma de los órdenes de polo de las dos contracciones siempre es 4: en el término (I) es $2+2=4$, en el término (II) es $1+3=4$.

⚪ Mei: Ya veo, el término (I) tiene $2+2$ y el término (II) tiene $1+3$; la distribución de derivadas es diferente pero el total es siempre 4. ¿No es casualidad, hay alguna razón?

🟡 Lina: Buena observación. $T_\text{ghost}$ es un campo de peso conforme 2, así que en el OPE $T(z)T(w)$ el polo de orden más alto es $(z-w)^{-2\times 2} = (z-w)^{-4}$ — en general, para el OPE entre campos de peso $h$, el polo de orden más alto es $(z-w)^{-2h}$. Por eso la suma de los órdenes de polo en la contracción total siempre es 4.

🔵 Kai: El término (III) es $:\!\partial b\, c\!:(z)\, :\!b\partial c\!:(w)$, ¿verdad? Parece ser simplemente intercambiar $z$ y $w$ del término (II), pero ¿al ser campos anticonmutantes el signo cambia al intercambiar?

🟡 Lina: Buena pregunta. Cada término de $T_{\text{ghost}}$ es un producto de 2 campos anticonmutantes ($:b\partial c:$ o $:\partial b\, c:$), y el producto de un número par de campos anticonmutantes se comporta bosónicamente (al intercambiar $T$ con otro campo, se intercambian los campos anticonmutantes internos 2 veces y $(-1)^2 = +1$, el signo vuelve). Por lo tanto $T(z)T(w) = T(w)T(z)$. Es decir, en la expansión de $T(z)T(w)$, el término (II) es el producto del primer término de $T(z)$ con el segundo de $T(w)$, y el término (III) es el producto del segundo término de $T(z)$ con el primero de $T(w)$, así que se transforman uno en otro bajo $z \leftrightarrow w$.

⚪ Mei: Entiendo, los términos (II) y (III) están simplemente relacionados por intercambio de $z$ y $w$.

🟡 Lina: Además, como $(z-w)^{-4} = (w-z)^{-4}$ (potencia par), el coeficiente de $(z-w)^{-4}$ no cambia bajo el intercambio. Por lo tanto la contribución del término (III) es igual a la del término (II): $4/(z-w)^4$. Sumando, valor absoluto del término (II) + término (III) = $8/(z-w)^4$.

Cálculo del término (IV)¶

🟡 Lina: El término (IV) es $:\!\partial b\, c\!:(z)\, :\!\partial b\, c\!:(w)$. Patrón de contracción total:

Patrón A'': $\partial b(z) \leftrightarrow c(w)$ y $c(z) \leftrightarrow \partial b(w)$

\[ \langle \partial b(z)\, c(w)\rangle = \partial_z \frac{1}{z-w} = -\frac{1}{(z-w)^2} \]

\[ \langle c(z)\, \partial b(w)\rangle = \partial_w \frac{1}{z-w} = \frac{1}{(z-w)^2} \]

🔵 Kai: Esta vez ambos son $(z-w)^{-2}$, así que al multiplicar da $(z-w)^{-4}$. El mismo patrón que el término (I). Pero en el término (I) $\partial_z$ y $\partial_w$ entraban una vez cada uno en contracciones separadas dando $2+2=4$, y en el término (IV) también es $2+2=4$. ¿Es porque la derivada simplemente se movió al lado de $b$ pero la estructura es la misma?

🟡 Lina: Exacto. En el término (IV) la combinación es $\partial b(z)$ con $c(w)$, y $c(z)$ con $\partial b(w)$, con una derivada en el lado de $b$ en cada caso. Para los 4 campos $\partial b(z)\, c(z)\, \partial b(w)\, c(w)$ (posiciones $1, 2, 3, 4$) con pares de contracción $(1,4)(2,3)$, determinamos el signo con el mismo argumento que el término (I). Extraer $c(w)$ (extremo derecho del producto en orden normal derecho) requiere saltar sobre $\partial b(w)$ una vez, dando signo $(-1)$. Valor absoluto del producto de contracciones: $\frac{1}{(z-w)^2}\cdot\frac{1}{(z-w)^2} = \frac{1}{(z-w)^4}$

Multiplicando por el valor absoluto del coeficiente del término (IV), que es $1$: valor absoluto del término (IV) $= \frac{1}{(z-w)^4}$.

⚪ Mei: Organizando los 4 términos, el desglose de órdenes de polo es: término (I) $2+2$, término (II) $1+3$, término (III) $3+1$, término (IV) $2+2$. La distribución de derivadas es diferente pero el total siempre es 4 — esta es la manifestación concreta del resultado general "$T$ tiene peso 2 así que el polo más alto es $(z-w)^{-4}$".

🟡 Lina: En Fig. H.2「Patrones de contracción total del OPE T_ghost T_ghost」 se resumen los patrones de contracción total de los 4 términos y sus respectivas contribuciones. Verifica con los arcos qué campo se contrae con cuál en cada término.

Fig. H.2: Patrones de contracción total del OPE T_ghost T_ghost. Para cada uno de los 4 términos, se muestran con arcos los patrones de contracción posibles entre los campos del lado z y del lado w. A partir del signo de reordenación de los campos anticonmutantes y del orden de polo de cada contracción se determina la contribución a (z-w)⁻⁴.

Determinación de la carga central¶

🟡 Lina: Sumando los 4 términos:

Los valores absolutos de los coeficientes de $(z-w)^{-4}$ de cada término son:

Término (I): $4$
Término (II): $4$
Término (III): $4$
Término (IV): $1$

Total $4 + 4 + 4 + 1 = 13$.

🔵 Kai: $4+4+4+1$... se suma limpiamente a 13.

🟡 Lina: Sobre el signo global: El resultado final es $-13$. La razón física por la que el signo es negativo es clara: un loop de campos anticonmutantes (propagación cerrada) siempre produce un $(-1)$ global (el mismo origen que la regla de signo de loops de fermiones en Teoría Cuántica de Campos Teoría Cuántica de Campos Cap. 12). La contracción total del OPE $TT$ corresponde a la estructura de "campos fantasma dibujando un loop cerrado", y este $(-1)$ se multiplica globalmente. El rastreo riguroso del signo requiere seguir consistentemente las reglas de signo adicionales en la relación entre orden radial y orden normal de campos anticonmutantes para todos los patrones de contracción, lo cual excede el alcance de este apéndice. Para la derivación completa véase Polchinski Vol.1 §2.5, §3.3.

Lo que confirmamos en este apéndice es de dónde viene el número "$13$" — el desglose de los valores absolutos de las contribuciones de los 4 términos — que se determina unívocamente a partir del orden de polo y los coeficientes de las contracciones de cada término.

En el cálculo anterior mostramos solo un patrón de contracción para cada término. Existe otro patrón (por ejemplo, en el término (II): $b(z) \leftrightarrow \partial b(w)$, $\partial c(z) \leftrightarrow c(w)$), pero $\langle b(z)\, \partial b(w)\rangle = \partial_w\langle b(z)\, b(w)\rangle = 0$ y $\langle \partial c(z)\, c(w)\rangle = \partial_z\langle c(z)\, c(w)\rangle = 0$ (no hay propagador entre campos del mismo tipo), así que todos se anulan. Lo mismo ocurre en los términos (I) y (IV).

Con el cálculo anterior se ha confirmado de dónde viene el valor absoluto del coeficiente de $(z-w)^{-4}$: $13 = 4 + 4 + 4 + 1$. La determinación completa del signo global requiere rastrear rigurosamente las reglas de signo del teorema de Wick entre productos en orden normal de campos anticonmutantes (que dependen de la convención del orden de campos en el producto en orden normal), lo cual resulta insuficiente con la prescripción simplificada de este apéndice. Mediante la derivación completa (Polchinski Vol.1 §2.5, §3.3), el resultado final es:

\[ T_{\text{ghost}}(z)\, T_{\text{ghost}}(w)\Big|_{(z-w)^{-4}} = -\frac{13}{(z-w)^4} \]

Nótese que en el OPE $TT$ real también existen contracciones parciales (términos donde solo se contraen 2 de los 4 campos, dejando los otros 2 como producto en orden normal), pero estas no contribuyen a $(z-w)^{-4}$. Verifiquemos la razón.

El polo de orden más alto obtenido por contracción parcial es $(z-w)^{-3}$ (ejemplo: $\langle \partial c(z)\, \partial b(w)\rangle = -2/(z-w)^3$). Al expandir en Taylor alrededor de $w$ el campo restante $\phi(z)$ del producto en orden normal, $\phi(z) = \phi(w) + (z-w)\partial\phi(w) + \cdots$, los campos del producto en orden normal solo tienen términos de $(z-w)^0$ o superiores, así que al multiplicar con $(z-w)^{-3}$ solo se obtienen polos de $(z-w)^{-3}$ o menores. No se alcanza $(z-w)^{-4}$.

⚪ Mei: Es decir, "sin contraer todo no sale $(z-w)^{-4}$" — la carga central se determina solo por las contracciones totales.

🟡 Lina: Verifiquemos con un ejemplo concreto. En el término (I) $4\, :\!b\partial c\!:(z)\, :\!b\partial c\!:(w)$, si solo contraemos $\partial c(z)$ con $b(w)$, sale $\langle \partial c(z)\, b(w)\rangle = -1/(z-w)^2$, y el resto $:\!b(z)\, \partial c(w)\!:$ queda como producto en orden normal. Expandiendo $b(z) = b(w) + (z-w)\partial b(w) + \cdots$, el conjunto solo tiene polos de $(z-w)^{-2}$ o menores. En el término (II), si contraemos $\partial c(z)$ con $\partial b(w)$ sale $-2/(z-w)^3$, pero la expansión de Taylor de $b(z)\, c(w)$ restante empieza en $(z-w)^0$, así que el conjunto es $(z-w)^{-3}$ o menor. En ningún caso se alcanza $(z-w)^{-4}$.

Las contracciones parciales contribuyen al término $(z-w)^{-2}$ ($2T(w)/(z-w)^2$) y al término $(z-w)^{-1}$ ($\partial T(w)/(z-w)$). Como resultado:

\[ T_{\text{ghost}}(z)\, T_{\text{ghost}}(w) = -\frac{13}{(z-w)^4} + \frac{2 T_{\text{ghost}}(w)}{(z-w)^2} + \frac{\partial T_{\text{ghost}}(w)}{z-w} + \cdots \]

Comparando con la forma general del OPE $TT$ (Cap. 16 16.5「Tensor energía-momento y rederivación del álgebra de Virasoro」) $T T \sim \frac{c/2}{(z-w)^4} + \cdots$:

\[ \frac{c_{\text{ghost}}}{2} = -13 \;\Longrightarrow\; \boxed{c_{\text{ghost}} = -26} \]

🔵 Kai: Entiendo que sale $-26$, pero sinceramente me queda una sensación incómoda. En el cálculo que seguimos salía $+13$, y que nos digan "con las reglas de signo correctas es $-13$"... sin ver concretamente dónde se invierte el signo no puedo quedarme tranquilo.

🟡 Lina: En este apéndice rastreamos los signos con "el número de saltos al extraer campos del producto en orden normal", pero en realidad hay reglas de signo adicionales en la relación entre orden radial y orden normal de campos anticonmutantes — $\mathcal{R}[\psi(z)\chi(w)] = \langle \psi(z)\chi(w)\rangle + :\!\psi(z)\chi(w)\!:$ pero al intercambiar el orden de los campos $\mathcal{R}[\chi(w)\psi(z)] = \langle \chi(w)\psi(z)\rangle - :\!\psi(z)\chi(w)\!:$, aparece un signo menos delante del producto en orden normal. En el teorema de Wick entre productos en orden normal, el signo del producto en orden normal que queda después de las contracciones acumula este efecto. Al rastrear correctamente esto para todos los patrones de contracción, el total da $-13$. Para la derivación completa véase Polchinski Vol.1 §2.5, §3.3.

🔵 Kai: Entiendo... la determinación completa del signo está fuera del alcance de este apéndice, pero que "un loop de fermiones produce $(-1)$" como razón física para fijar el signo me resulta convincente. El desglose del valor absoluto $13$ ($4+4+4+1$) y de dónde viene lo pude seguir completamente, así que el núcleo lo entendí. Pero una cosa que me pregunto: $4+4+4+1 = 13$ es un número específico de $\lambda = 2$, ¿verdad? Si cambiamos $\lambda$, ¿cómo cambia el desglose?

🟡 Lina: Buena pregunta. Para $\lambda$ general, los coeficientes de cada término cambian a $\lambda^2$, $\lambda(1-\lambda)$, $(1-\lambda)\lambda$, $(1-\lambda)^2$, y el orden de polo de las contracciones también cambia según la distribución de derivadas. Sumando todo se obtiene $6\lambda^2 - 6\lambda + 1$ — que es exactamente el contenido de la fórmula general de la siguiente sección H.7.

✅ Verificación de comprensión: Al leer la carga central del coeficiente de $(z-w)^{-4}$ del OPE $T_{\text{ghost}}\, T_{\text{ghost}}$, comparando con la forma general $TT \sim \frac{c/2}{(z-w)^4} + \cdots$ se obtiene $c_{\text{ghost}} = -26$. El coeficiente de $(z-w)^{-4}$ resulta ser $-13$. ¿De qué operación surge esto?

Respuesta

Se expande el producto de $T_{\text{ghost}}(z) = -2:b\partial c: + :\partial b\, c:$ para obtener 4 términos, y a cada uno se aplica el teorema de Wick para campos anticonmutantes, enumerando los patrones que contraen todos los campos (valor esperado del vacío). Rastreando correctamente los signos del intercambio de orden de campos anticonmutantes y sumando todos los términos, el coeficiente de $(z-w)^{-4}$ resulta $-13$.

Nota de cálculo: Para seguir completamente el "signo de reordenación" en el cálculo término a término anterior, es necesaria una notación que explicite cada paso del intercambio de orden de campos anticonmutantes. En este apéndice solo mostramos la estructura de valores absolutos de cada término y la consecuencia del signo. Para la derivación completa véase Polchinski String Theory Vol.1 §3.3 o Blumenhagen-Lüst-Theisen Basic Concepts of String Theory §3.3.3.

H.7　Caso general de $\lambda$ — Fórmula $c = -2(6\lambda^2 - 6\lambda + 1)$¶

🟡 Lina: Realizando el cálculo anterior para $\lambda$ general, se obtiene una fórmula de carga central para una familia amplia que incluye el sistema de fantasmas $bc$ de la cuerda bosónica ($\lambda = 2$):

\[ \boxed{c_\lambda^{bc} = -2(6\lambda^2 - 6\lambda + 1)} \]

Verificación:

$\lambda = 2$: $c = -2(24 - 12 + 1) = -2 \cdot 13 = -26$ ✓ (fantasma de reparametrización de la teoría de cuerdas)
$\lambda = 1/2$: $c = -2(3/2 - 3 + 1) = -2 \cdot (-1/2) = 1$ (fermión libre)
$\lambda = 3/2$: Si el sistema con $\lambda = 3/2$ fuera un campo anticonmutante (sistema $bc$), sustituyendo en la fórmula daría $c = -2(6\cdot\frac{9}{4} - 6\cdot\frac{3}{2} + 1) = -2(\frac{27}{2} - 9 + 1) = -2 \cdot \frac{11}{2} = -11$. Sin embargo, el fantasma $\beta\gamma$ de la supercuerda es en realidad un campo conmutante (bosónico), y el signo de la carga central se invierte.

🔵 Kai: Espera un momento. ¿Por qué solo el fantasma de la supersimetría es un campo conmutante? En H.1 dijiste que "se necesitan campos anticonmutantes para obtener el determinante".

🟡 Lina: Buena pregunta. Repasemos la lógica de H.1. En el procedimiento de Faddeev-Popov se "reemplaza el parámetro gauge por un campo". La regla clave es:

Parámetro gauge conmutante (número ordinario) → el campo fantasma se hace anticonmutante (para obtener $\det M$ con la integral gaussiana de variables anticonmutantes)
Parámetro gauge anticonmutante (Grassmann impar) → el campo fantasma se hace conmutante (para obtener $(\det M)^{-1}$ con la integral gaussiana de variables conmutantes)

Es decir, la regla general es "introducir un campo con estadística opuesta a la del parámetro gauge".

⚪ Mei: Según el "carácter" del parámetro gauge, el tipo del campo fantasma se invierte.

🟡 Lina: El parámetro de la simetría gauge ordinaria (transformación de coordenadas $\delta\sigma^a$) es un número ordinario (conmutante), así que el fantasma $c$ se hace anticonmutante. En cambio, el parámetro gauge de la supersimetría ya es anticonmutante (Grassmann impar) — la supersimetría es una transformación que intercambia bosones y fermiones, y su parámetro tiene naturaleza fermiónica (véase Cap. 17). Por eso el fantasma supersimétrico es inversamente un campo conmutante (Grassmann par) — el sistema $\beta\gamma$. La integral gaussiana de campos conmutantes da $\int \mathcal{D}\bar\beta\, \mathcal{D}\gamma\, e^{-\bar\beta M \gamma} = (\det M)^{-1}$, proporcionando exactamente la inversa necesaria.

⚪ Mei: Es decir, según se necesite "$\det M$" o "$(\det M)^{-1}$" se decide si usar campo anticonmutante o conmutante.

🟡 Lina: Exacto. Y la razón por la que el signo de la carga central se invierte también es clara — el sistema $\beta\gamma$ es un campo conmutante, así que no produce el $(-1)$ del loop de fermiones. Como resultado, el signo del coeficiente de $(z-w)^{-4}$ en el OPE $TT$ se invierte respecto al sistema $bc$. Por lo tanto:

\[ c_{\beta\gamma} = +2(6\lambda^2 - 6\lambda + 1) = +11 \quad (\lambda = 3/2) \]

🔵 Kai: Oh, el $-11$ del sistema $bc$ se invierte directamente a $+11$. Qué limpio.

⚪ Mei: Es decir, $\lambda$ determina el peso conforme del campo, y del mismo cálculo de OPE con la misma estructura sale unívocamente la carga central — con $\lambda = 2$ el fantasma de la cuerda bosónica, con $\lambda = 1/2$ el fermión libre, una sola fórmula lo cubre todo.

🔵 Kai: Con $\lambda = 1/2$ da $c = 1$, pero eso es diferente de la carga central $c = 1/2$ del fermión libre de una componente que apareció en Cap. 16, ¿no? ¿Es porque el sistema $bc$ tiene 2 campos $b$ y $c$ y se duplica? Pero entonces, el fantasma con $\lambda = 2$ también tiene 2 campos $b$ y $c$, ¿por qué no se dice "el doble"?

🟡 Lina: Buena pregunta. El sistema $bc$ con $\lambda = 1/2$ corresponde a un "fermión complejo" ($b$ y $c$ son 2 componentes independientes), por eso $c = 1$. Un fermión real de 1 componente tiene $c = 1/2$, y con 2 componentes da $c = 1$. Lo mismo ocurre con el fantasma de $\lambda = 2$ — la carga central del sistema completo combinando $b$ y $c$ es $-26$. No se dice "por componente $-13$". La fórmula $c = -2(6\lambda^2 - 6\lambda + 1)$ da desde el principio la carga central del sistema $bc$ completo (incluyendo los 2 campos).

En Cap. 17 (teoría de supercuerdas), además de los fantasmas $bc$ ($\lambda = 2, c = -26$), aparece el sistema de fantasmas de la simetría superconforme $\beta\gamma$ ($\lambda = 3/2, c = +11$). De la condición de que la suma de la carga central de la materia ($D$ bosones (cada uno $c = 1$) + $D$ fermiones reales (cada uno $c = 1/2$) $= D + D/2 = 3D/2$) y los fantasmas sea cero:

\[ \frac{3D}{2} - 26 + 11 = \frac{3D}{2} - 15 = 0 \;\Longrightarrow\; D = 10 \]

La dimensión crítica de la supercuerda $D = 10$ sale exactamente con la misma lógica que la cuerda bosónica.

🔵 Kai: Tanto $D=26$ de la cuerda bosónica como $D=10$ de la supercuerda salen de una sola condición: "la suma de cargas centrales es cero". Es unificador.

✅ Verificación de comprensión: En la fórmula de carga central del sistema $bc$ para $\lambda$ general, $c = -2(6\lambda^2 - 6\lambda + 1)$, con $\lambda = 1/2$ se obtiene $c = 1$. ¿A cuántas componentes de fermión libre corresponde esto?

Respuesta

El sistema $bc$ con $\lambda = 1/2$ corresponde a un "fermión complejo" ($b$ y $c$ son 2 componentes independientes), dando $c = 1$. La carga central de un fermión real de 1 componente es $c = 1/2$, y con 2 componentes (fermión complejo) da $c = 1$, lo cual es consistente.

H.8　Carga BRST y selección de estados físicos (panorama general)¶

🟡 Lina: Para excluir estados que no son reales a través de los campos fantasma, se introduce una simetría global especial llamada simetría BRST (Becchi-Rouet-Stora-Tyutin). Concretamente:

Carga BRST $Q_B$: una combinación específica que incluye campos fantasma, satisfaciendo $Q_B^2 = 0$ (nilpotencia)
Estados físicos: de los estados que satisfacen $Q_B |\text{phys}\rangle = 0$, se eliminan los de la forma $|\text{phys}\rangle \sim |\text{phys}\rangle + Q_B|\chi\rangle$ (formas BRST-exactas)

🔵 Kai: $Q_B^2 = 0$ significa que al aplicarlo dos veces se anula. ¿Por qué eso sirve para seleccionar estados físicos?

🟡 Lina: $Q_B^2 = 0$ garantiza que entre los "estados anulados por $Q_B$" están contenidos los "estados que pueden ser creados por $Q_B$". Los estados físicos son aquellos que "son anulados por $Q_B$ pero no pueden ser creados por $Q_B$" — en matemáticas, a esta estructura de extraer elementos "cerrados pero no exactos" se la llama cohomología. Intuitivamente es como un "tamiz que selecciona solo los estados esencialmente nuevos".

⚪ Mei: "Anulados por $Q_B$" pero "no creados por $Q_B$" — esos son los verdaderos estados físicos, ese es el filtro.

🟡 Lina: Y al imponer la condición $Q_B^2 = 0$ en la teoría cuántica, sale automáticamente:

\[ c_{\text{matter}} + c_{\text{ghost}} = 0 \]

Este es el origen de la condición de determinación de la dimensión crítica usada en 16.7「Rederivación de la dimensión crítica desde la CFT」.

⚪ Mei: Los campos fantasma introducidos para la fijación de gauge se convierten inversamente en la herramienta que selecciona los estados físicos.

✅ Verificación de comprensión: La nilpotencia de la carga BRST $Q_B$, $Q_B^2 = 0$, ¿qué papel desempeña en la selección de estados físicos?

Respuesta

$Q_B^2 = 0$ garantiza que entre los "estados anulados por $Q_B$" ($Q_B|\text{phys}\rangle = 0$) están contenidos los "estados que pueden ser creados por $Q_B$" ($Q_B|\chi\rangle$). Los estados físicos se definen como aquellos que "son anulados por $Q_B$ pero no pueden ser creados por $Q_B$", formando una estructura de cohomología. Además, al requerir $Q_B^2 = 0$ en la teoría cuántica se deriva $c_{\text{matter}} + c_{\text{ghost}} = 0$, lo que determina la dimensión crítica.

🟡 Lina: Para más detalles véase Polchinski Vol.1 §4.2 o Kiritsis §3.11.

H.9　Resumen¶

Tabla H.1: Resumen de los principales resultados del Apéndice H

Concepto	Resultado
Acción del sistema $bc$	$S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c$
OPE básico	$b(z)c(w) \sim 1/(z-w)$
Tensor de energía-momento	$T = -\lambda\, :b\,\partial c:+(1-\lambda)\, :\partial b\, c:$ (dentro del producto en orden normal, intercambiar campos anticonmutantes cambia el signo: $:\partial b\, c: = -:c\,\partial b:$)
Carga central (fórmula general)	$c = -2(6\lambda^2 - 6\lambda + 1)$
Fantasma de la teoría de cuerdas ($\lambda=2$)	$c_{\text{ghost}} = -26$
Sistema $\beta\gamma$ de la supercuerda (campo conmutante, $\lambda=3/2$)	$c_{\beta\gamma} = +11$ (inversión de signo respecto a la fórmula $bc$)
Determinación de la dimensión crítica	$c_{\text{matter}} + c_{\text{ghost}} = 0$

🟡 Lina: Con esto se ve de dónde viene el $c_{\text{ghost}} = -26$ que "se usó como resultado" en Cap. 16 16.7「Rederivación de la dimensión crítica desde la CFT」. El teorema de Wick para campos anticonmutantes y el cálculo del OPE son técnicos, pero en principio tienen la misma estructura que el cálculo de campos bosónicos tratado en Cap. 16.

🔵 Kai: "La estadística del campo" y "la distribución de derivadas" determinan la carga central — es técnico, pero al final es la misma repetición del OPE.

⚪ Mei: Desde Faddeev-Popov hasta $c_{\text{ghost}} = -26$, todo conectado por un solo hilo lógico — es muy satisfactorio.

Referencias¶

J. Polchinski, String Theory Vol.1, §3.2-3.3, §4.1-4.2
R. Blumenhagen, D. Lüst, S. Theisen, Basic Concepts of String Theory, §3.3
E. Kiritsis, String Theory in a Nutshell, §3.10-3.11
M. Peskin, D. Schroeder, An Introduction to Quantum Field Theory, §16.2 (implementación de Faddeev-Popov en teorías gauge no abelianas)

← Apéndice G　Derivación de las …

Feedback on this page

Let us know if something was unclear, incorrect, or could be improved.

Concepto	Resultado
Acción del sistema \(bc\)	\(S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c\)
OPE básico	\(b(z)c(w) \sim 1/(z-w)\)
Tensor de energía-momento	\(T = -\lambda\, :b\,\partial c:+(1-\lambda)\, :\partial b\, c:\) (dentro del producto en orden normal, intercambiar campos anticonmutantes cambia el signo: \(:\partial b\, c: = -:c\,\partial b:\))
Carga central (fórmula general)	\(c = -2(6\lambda^2 - 6\lambda + 1)\)
Fantasma de la teoría de cuerdas (\(\lambda=2\))	\(c_{\text{ghost}} = -26\)
Sistema \(\beta\gamma\) de la supercuerda (campo conmutante, \(\lambda=3/2\))	\(c_{\beta\gamma} = +11\) (inversión de signo respecto a la fórmula \(bc\))
Determinación de la dimensión crítica	\(c_{\text{matter}} + c_{\text{ghost}} = 0\)

Apéndice H　Cuantización BRST y sistema de fantasmas bc¶

H.1　Necesidad de la fijación de gauge — Motivación de Faddeev-Popov¶

Fijación de gauge y factor jacobiano¶

Reescritura del determinante en términos de campos fantasma¶

H.2　Aplicación a la teoría de cuerdas — Aparición del sistema \(bc\)¶

Determinación de los pesos conformes¶

H.3　Fundamentos de campos anticonmutantes (campos de Grassmann)¶

Relaciones de anticonmutación¶

Orden normal y contracción¶

Teorema de Wick para campos anticonmutantes¶

H.4　Acción del sistema \(bc\) y OPE básico¶

Derivación de la acción¶

Derivación del OPE básico¶

H.5　Tensor de energía-momento del sistema \(bc\)¶

Determinación del tensor de energía-momento¶

H.6　Cálculo del OPE \(T_{\text{ghost}}\, T_{\text{ghost}}\)¶

Cálculo del término (I)¶

Cálculo de los términos (II) y (III)¶

Cálculo del término (IV)¶

Determinación de la carga central¶

H.7　Caso general de \(\lambda\) — Fórmula \(c = -2(6\lambda^2 - 6\lambda + 1)\)¶

H.8　Carga BRST y selección de estados físicos (panorama general)¶

H.9　Resumen¶

Referencias¶

Feedback on this page

Apéndice H Cuantización BRST y sistema de fantasmas bc¶

H.1 Necesidad de la fijación de gauge — Motivación de Faddeev-Popov¶

Fijación de gauge y factor jacobiano¶

Reescritura del determinante en términos de campos fantasma¶

H.2 Aplicación a la teoría de cuerdas — Aparición del sistema \(bc\)¶

Determinación de los pesos conformes¶

H.3 Fundamentos de campos anticonmutantes (campos de Grassmann)¶

Relaciones de anticonmutación¶

Orden normal y contracción¶

Teorema de Wick para campos anticonmutantes¶

H.4 Acción del sistema \(bc\) y OPE básico¶

Derivación de la acción¶

Derivación del OPE básico¶

H.5 Tensor de energía-momento del sistema \(bc\)¶

Determinación del tensor de energía-momento¶

H.6 Cálculo del OPE \(T_{\text{ghost}}\, T_{\text{ghost}}\)¶

Cálculo del término (I)¶

Cálculo de los términos (II) y (III)¶

Cálculo del término (IV)¶

Determinación de la carga central¶

H.7 Caso general de \(\lambda\) — Fórmula \(c = -2(6\lambda^2 - 6\lambda + 1)\)¶

H.8 Carga BRST y selección de estados físicos (panorama general)¶

H.9 Resumen¶

Referencias¶

Feedback on this page

Apéndice H　Cuantización BRST y sistema de fantasmas bc¶

H.1　Necesidad de la fijación de gauge — Motivación de Faddeev-Popov¶

H.2　Aplicación a la teoría de cuerdas — Aparición del sistema \(bc\)¶

H.3　Fundamentos de campos anticonmutantes (campos de Grassmann)¶

H.4　Acción del sistema \(bc\) y OPE básico¶

H.5　Tensor de energía-momento del sistema \(bc\)¶

H.6　Cálculo del OPE \(T_{\text{ghost}}\, T_{\text{ghost}}\)¶

H.7　Caso general de \(\lambda\) — Fórmula \(c = -2(6\lambda^2 - 6\lambda + 1)\)¶

H.8　Carga BRST y selección de estados físicos (panorama general)¶

H.9　Resumen¶