(Anti)conmutación de fantasmas y fermiones

Me gustaría preguntar si los campos fermiónicos de Grassmann en una integral de ruta de teoría de calibre (digamos en QCD) deben elegirse para conmutar o anticonmutar con campos fantasma y anti-fantasma. La forma en que la mayoría de los libros de texto lo presentan sugiere que se debe elegir la anticonmutación, pero no conozco ningún argumento para esto. También está la cuestión de las relaciones de (anti)conmutación para los operadores correspondientes en el espacio de Kerin .

Me preguntaron en los comentarios dónde surgió este problema. Fue en derivación de la corriente BRS conservada en QCD. Permítanme explicar primero que en muchos libros se afirma que el operador BRS s satisface la regla graduada de Leibniz con respecto al número de fermiones, por ejemplo s ( ψ ¯ ψ ) = ( s ψ ¯ ) ψ ψ ¯ s ψ . En una conferencia sobre anomalías a la que asistí recientemente, se afirmó que la regla de Leibniz graduada con respecto al número fantasma debería usarse en su lugar (o al menos puede usarse), por lo que s ( ψ ¯ ψ ) = ( s ψ ¯ ) ψ + ψ ¯ s ψ pero s ( C a C b ) = ( s C a ) C b C a ( s C b ) . Por lo tanto, estoy naturalmente llevado a considerar variaciones de campos de la forma ϕ ϕ + ϵ s ϕ , dónde ϵ es un parámetro de Grassmann que conmuta con A , ψ , ψ ¯ pero anticonmutación con C a y C ¯ a . Encontré que bajo estas transformaciones, la variación de la acción toma la forma

d S = d 4 X ( m ϵ ) [ F a m v D v C a + gramo ψ ¯ γ m C a t a ψ + b a D m C a 1 2 gramo F a b C ( m C ¯ a ) C b C C ] .
Vemos que dentro del paréntesis [ ] tenemos una corriente conservada, a partir de ahora denotada j B R S m . Después de manipular esta corriente usando las ecuaciones de movimiento, encontré un término gramo [ ψ ¯ , C a ] γ m t a ψ . Resulta que la evaluación explícita de la divergencia de j B R S m el uso de ecuaciones de movimiento da cero solo si este conmutador se toma como cero. Por lo tanto, me parece que esta es la única opción consistente con mi elección de la definición del operador BRS.

Observa que usé el Lagrangiano

L = 1 4 F 2 + ψ ¯ ( i γ D METRO ) ψ + m C ¯ a D m C a A m a m b a + 1 2 ξ b 2 ,
con derivada covariante D = + i gramo A .

¿Puedes escribir un término en el que esto importe?
Estimado @marmot en algunos cálculos (relacionados con el operador BRST) que hice en QCD encontré un término ψ ¯ C a t a ψ C a ψ ¯ t a ψ . Se desvanece si el campo fantasma se conmuta con los campos espinores, pero no de otro modo.
¡Gracias! Me pregunto si desea agregar la derivación del término a la pregunta.
@Blazej, ¿podría explicar cómo este término ingresa a su cálculo y por qué es necesario? Físicamente, los fantasmas y los fermiones no se acoplan entre sí. De hecho, los fantasmas son simplemente una forma perturbadora de adaptarse a la corrección de la medida integral de la ruta de Yang-Mills que proviene de la fijación de indicadores. ¿Está utilizando una condición de fijación de calibre que implica fermiones?
Estimados @marmot y Solenodon Paradoxus, Edité mi pregunta para especificar dónde surge mi problema.
La simple mención de los espacios de Kerin me interesó, sin embargo, veo que esto no se persigue, por lo que estoy decepcionado.
¿ Qué página en Anomalías en QFT de Bertlmann?
@DanielC, se mencionan los espacios Kerin porque, en última instancia, a uno también le gustaría convertir todos los campos en operadores, que actúan en un espacio con firma indefinida. Según tengo entendido, la estructura matemática adecuada para estos espacios es el espacio de Kerin, pero corríjame si me equivoco.
Estimado @Qmechanic, lo siento, revisé ahora y parece que me confundí con alguna oración en Bertlmann. Esto significa que no tengo una referencia escrita confiable para el enfoque que estoy tratando de aplicar. Lo aprendí en una conferencia y le pediré a nuestro profesor algunas referencias.
Para cualquier persona potencialmente interesada en esto en el futuro, observo que si se supone que el operador BRS satisface la regla graduada de Leibniz con respecto al número de fermión, entonces se obtiene la misma corriente BRS hasta la modificación del signo en el término fermiónico. Así después de aplicar los MOE vemos que para la conservación se requiere que ψ ¯ y C a anticonmutación

Respuestas (1)

No está completamente claro qué está buscando OP, pero aquí hay algunos comentarios útiles:

  1. Clásicamente (es decir, cuando la constante de Planck 0 ), dos campos A y B son superconmutativos

    A B   =   ( 1 ) | A | | B | B A ,
    dónde | A | y | B | denote la correspondiente paridad de Grassmann. En otras palabras, el superconmutador clásico
    [ A , B ]     A B ( 1 ) | A | | B | B A   =   0
    desaparece

  2. El superconmutador en la teoría cuántica es típicamente una deformación cuántica del superconmutador clásico.

  3. Tenga en cuenta que los campos fantasma pueden ser pares de Grassmann e impares de Grassmann, según la teoría.

  4. En principio, uno puede considerar superálgebras con varios independientes Z 2 - o Z -calificaciones

    | | 1 , , | | norte .
    El superconmutador en tal superálgebra se define entonces como
    [ A , B ]     A B ( 1 ) i = 1 norte | A | i | B | i B A .
    (Por ejemplo, uno podría considerar el grado de forma exterior y la calificación de Grassmann habitual como dos calificaciones independientes).

  5. Una teoría puede permitir diferentes convenciones. El punto principal es que uno debe ser consistente.

  6. Específicamente, en relación con los campos de materia de fermiones ψ , campo fantasma de Faddeev-Popov C y campos antifantasma C ¯ en la teoría de Yang-Mills, es posible establecer consistentemente la formulación BRST utilizando solo un tipo de clasificación de Grassmann, en el que ψ , C y C ¯ son todos impares de Grassmann y anti-conmutación por parejas.

Estimado @Qmechanic matemáticamente podemos tener una situación en la que tenemos dos álgebras de Grassmann independientes, generadas por η i y ξ i , de modo que { ξ i , ξ j } = { η i , η j } = 0 pero [ η i , ξ j ] = 0 . La pregunta es si tal construcción se implementa en las teorías cuánticas de campos.
Estimado @Qmechanic, tenga en cuenta que edité mi pregunta para especificar dónde surge exactamente el problema y qué me llevó a creer eso. [ C a , ψ ] = 0 (en el nivel de las variables de integración) es la definición consistente en el enfoque que estoy usando.
Acepto esta respuesta, aunque la cuestión de si la convención con el operador BRS tomado como calificado con respecto al número fantasma es aceptable todavía está abierta para mí. Sin embargo, no es estrictamente hablando la pregunta que hice originalmente, y puede ser muy difícil dar una respuesta definitiva.