¿Cómo se definen las transformaciones de supersimetría?

Estoy empezando a leer sobre la supersimetría por primera vez y hay algo que me preocupa. Las transformaciones de supersimetría se transforman entre campos bosónicos y campos fermiónicos, pero no veo cómo se puede definir esto. Tome el siguiente ejemplo simple que aparece al principio de las notas que estoy leyendo. En cuatro dimensiones, digamos S es un campo escalar real, PAG es un pseudo campo escalar real, y ψ es un espinor de Majorana. Tome el Lagrangiano para ser simplemente

L = 1 2 ( S ) 2 1 2 ( PAG ) 2 1 2 ψ ¯ / ψ .

Ahora, S y PAG son solo campos reales. (Y realmente son campos clásicos, porque los lagrangianos siempre son funciones de variables clásicas, incluso cuando estamos interesados ​​en QFT). Sin embargo, ψ está hecho de variables de Grassmann anticonmutantes. Entonces podemos ver que el ψ campo no está hecho del mismo "tipo" de objeto que el S y PAG campos. En otras palabras, S es una funcion

S : R 4 R
mientras creo ψ es una funcion
ψ : R 4 orden 1 elementos de  GRAMO r ( 4 , R )
dónde GRAMO r ( 4 , R ) denota el álgebra real de Grassmann con 4 generadores. (Corríjame si me equivoco). Por elementos de orden 1, me refiero a combinaciones lineales de los cuatro generadores de GRAMO r ( 4 , R ) . Como espacio vectorial, esto es igual a R 4 .

¿Cómo podemos entonces considerar transformaciones de "supersimetría" de la siguiente forma?

d ε S = ε ¯ ψ d ε PAG = ε ¯ γ 5 ψ d ε ψ = / ( S + PAG γ 5 ) ε
( ε es un espinor de Majorana constante.) ε ¯ ψ es ahora un número de Grassmann de orden 2, que simplemente no es el mismo "tipo" de cosa que S , que es solo un número real! Entonces, ¿cómo se define esta "transformación"?

Quizás no entiendo cómo se supone que funciona realmente un campo de fermiones "clásico", o cómo se utilizan estos números de Grassmann.

Respuestas (2)

En realidad, esta es una pregunta bastante sutil, que en realidad no se explica en demasiados libros de texto. Como dice Qmechanic, las variables de Grassmann, es decir, los elementos del álgebra de Grassmann de dimensión infinita Λ , tienen en general cuerpo y alma. Ahora, por supuesto, puedes decir: espera, ¿no es la acción solo

S = d 4 X L ,
y como puedo S tener alma? La respuesta es que en este contexto la acción aquí es simplemente algo que entra en la integral de trayectoria a través de
correlador = D ψ D ψ ¯ D ϕ D PAG Exp ( i S ) ,
donde cambié el nombre de tu campo S a ϕ para distinguirla de la acción S . El punto importante a notar es que el correlador en el lado izquierdo es solo un número complejo ordinario, y no un elemento de Λ , porque en la integral de trayectoria nos deshicimos de todos los objetos algebraicos. Esto es porque d θ θ = 1 para números a. Así que el resultado es que en este contexto L y todos los campos son realmente elementos de Λ , y por lo tanto ε ¯ ψ es algo por lo que uno puede desplazar un campo escalar.

Veo. Entonces, la integral de trayectoria total es tanto una integral de trayectoria regular como una integral de trayectoria de Berezin. La acción S toma supernúmeros como su entrada, y nuestra transformación se lleva a cabo dentro de las entradas de S , por lo que la integral de trayectoria total aún está definida.
@ user1379857 Sí, así es más o menos. En este contexto, la acción es solo un objeto que nos permite calcular correladores.

Las variables pares de Grassmann S y PAG Son supernúmeros , que pueden tener tanto cuerpo como alma, no solo cuerpo. Ver, por ejemplo, esta publicación Phys.SE relacionada.