Espinores de Dirac bajo transformación de Paridad o ¿qué significan realmente los espinores de Weyl en un espinor de Dirac?

Mi problema es comprender el comportamiento de transformación de un espinor de Dirac (en la base de Weyl) bajo transformaciones de paridad. La respuesta estándar de los libros de texto es

Ψ PAGS = γ 0 Ψ = ( 0 1 1 0 ) ( x L ξ R ) = ( ξ R x L ) ,
que estoy tratando de entender usando el comportamiento de transformación de los espinores de Weyl x L y ξ R . Entendería el operador de transformación anterior si por alguna razón x ξ bajo transformaciones de paridad, pero no sé si esto se puede justificar y cómo. ¿Hay alguna interpretación de x y ξ que justifica tal comportamiento?

Algunos antecedentes:

Un espinor de Dirac en la base de Weyl se define comúnmente como

Ψ = ( x L ξ R ) ,
donde los índices L y R indican que los dos espinores de Weyl x L y ξ R , transformar según el ( 1 2 , 0 ) y ( 0 , 1 2 ) representación del grupo Lorentz respectivamente. Un espinor de la forma

Ψ = ( x L x R ) ,
es un caso especial, llamado Majorana spinor (que describe partículas que son sus propias antipartículas), pero en general x ξ .

Podemos derivar fácilmente cómo se comportan los espinores de Weyl bajo transformaciones de paridad. Si actuamos con una transformación de paridad en un espinor zurdo x L :

x L x L PAGS
podemos deducir que x L PAGS se transforma bajo impulsos como un espinor diestro

x L x L = mi θ 2 σ x L

x L PAGS ( x L PAGS ) = ( mi θ 2 σ x L ) PAGS = mi θ 2 σ x L PAGS ,
porque debemos tener bajo la transformación de paridad σ σ . Podemos concluir x L PAGS = x R Por lo tanto, un espinor de Dirac se comporta bajo transformaciones de paridad
Ψ = ( x L ξ R ) Ψ PAGS = ( x R ξ L ) ,
Cuál está mal. En los libros de texto, la transformación de paridad de un espinor de Dirac viene dada por

Ψ PAGS = γ 0 Ψ = ( 0 1 1 0 ) ( x L ξ R ) = ( ξ R x L ) .

Esto es sólo equivalente a la transformación descrita anteriormente de x = ξ , que a mi entender solo es cierto para Majorana spinors, o si por alguna razón bajo transformaciones de paridad x ξ . Creo que esto último es cierto, pero no sé por qué debería ser así. Tal vez esto se pueda entender tan pronto como uno tenga una interpretación para esos dos espinores. x y ξ ...

Actualización : aparece un problema similar para la conjugación de carga: considerando los espinores de Weyl, uno puede mostrar fácilmente que i σ 2 x L se transforma como un espinor diestro, es decir i σ 2 x L = x R . Nuevamente, esto no puede ser completamente correcto porque significaría que un espinor de Dirac se transforma bajo la conjugación de carga como

Ψ = ( x L ξ R ) Ψ C = ( x R ξ L ) ,
lo cual es incorrecto (y significaría que una transformación de paridad es lo mismo que una conjugación de carga). Sin embargo, podríamos argumentar que para obtener el mismo tipo de objeto, es decir, nuevamente un espinor de Dirac, debemos tener

Ψ = ( x L ξ R ) Ψ C = ( ξ L x R ) ,

porque solo entonces Ψ C se transforma como Ψ . En otras palabras: Escribimos la componente derecha siempre debajo de la componente izquierda, porque solo entonces el espinor se transforma como el espinor de Dirac con el que comenzamos.

De hecho, esta es la conjugación estándar de carga de los libros de texto, que se puede escribir como

Ψ C = i γ 2 Ψ = i ( 0 σ 2 σ 2 0 ) Ψ = i ( 0 σ 2 σ 2 0 ) ( x L ξ R ) = ( i σ 2 ξ R i σ 2 x L ) = ( ξ L x R ) .
En la última línea usé eso, i σ 2 x L se transforma como un espinor diestro, es decir i σ 2 x L = x R . La posible conjugación de carga del libro de texto nos sugiere una interpretación, como x y ξ tienen carga opuesta (como está escrito por ejemplo aquí ), porque esta transformación está dada básicamente por x ξ .

Respuestas (2)

Está buscando una representación unitaria de la paridad en espinores. Que debería ser unitario se puede ver por el hecho de que la paridad conmuta con el hamiltoniano. Compare esto con la inversión de tiempo y la conjugación de carga, que anticonmutan con PAGS 0 y por lo tanto necesita ser antiunitario y antilineal. Implican una conjugación compleja.

Como se demostró, la paridad transforma un ( 1 2 , 0 ) en un ( 0 , 1 2 ) representación. Por lo tanto, no puede actuar sobre ninguna de esas representaciones por sí sola de manera significativa. Los espinores de Dirac en la base de Weyl, por otro lado, contienen un componente de mano izquierda y derecha

Ψ = ( x L ξ R )

Como operador lineal en esos espinores, una matriz en una base elegida, mezcla los componentes del espinor. Después de lo que se ha dicho antes, los componentes para zurdos y para diestros deberían transformarse entre sí. La única matriz que se puede escribir que hace esto es γ 0 . En principio, podría haber un factor de fase. En una teoría con global tu ( 1 ) -simetría esto se puede establecer en uno sin embargo.

Editar : Declaraciones como x L PAGS x L = x R para un Weyl-Spinor x L no son sensatos. Los espinores de Weyl son repeticiones. de S pags i norte ( 1 , 3 ) , mientras PAGS PAGS i norte ( 1 , 3 ) . No se puede esperar que alguna representación sea también una representación de un grupo más grande . Los Dirac-spinors, por otro lado, son precisamente irreps. de S pags i norte ( 1 , 3 ) incluyendo la paridad, que no puede actuar de otra manera sensata que intercambiando los componentes quirales.

Piensa en lo que significa representación. Es un homomorfismo de un grupo a los mapas lineales invertibles en un espacio vectorial.

ρ : GRAMO GRAMO L ( V )
En particular, para cualquier gramo GRAMO y v V , ρ ( gramo ) v V . Ahora configura V ser el espacio de, digamos, Weyl-spinors zurdos y gramo = PAGS PAGS i norte ( 1 , 3 ) la operación de paridad. Como ha mostrado arriba, la imagen de un potencial ρ ( PAGS ) no es un Weyl-spinor zurdo, por lo que no está representado.

¡Gracias por tu respuesta! Entiendo que bajo transformaciones de paridad ( 1 2 , 0 ) ( 0 , 1 2 ) . Por lo tanto, el espinor transformado por paridad tendrá un espinor dextrógiro como componente superior y un espinor dextrógiro como componente inferior. Sin embargo, no sería igualmente viable una paridad transformada en espinor de Dirac Ψ = ( x L ξ R ) Ψ PAGS = ( x R ξ L ) ?
@JacobH: amplié mi respuesta para aclararla en respuesta a sus comentarios.
@JakobH He actualizado la respuesta. Tal vez esto ayude. Vuelva a preguntar en cualquier momento.

Encuentro que las cosas son más claras usando la notación de espinor con puntos y sin puntos. Los espinores L x L Vectores de dot dot x A ˙ y los espinores R ξ R son vectores sin puntos ξ A con índice A = 1 , 2 . El operador de paridad tiene que ser un tensor. PAGS B A ˙ y otro tensor PAGS B ˙ A para cambiar la forma en que se transforma cada tipo de espinor. La acción de la paridad sobre x A ˙ Es hacer PAGS B ˙ A x B ˙ que se transforma en un espinor sin puntos. Del mismo modo, la acción de la paridad sobre ξ A Es hacer PAGS B A ˙ ξ B que se transforma en un espinor punteado. Resulta que (presumiblemente en el marco de reposo de las partículas) los tensores de paridad son PAGS B A ˙ = i d B A ˙ y PAGS B ˙ A = i d B ˙ A . La acción de la paridad es entonces,

x A ˙ PAGS B ˙ A x B ˙ = i d B ˙ A x B ˙ = i x A
ξ A PAGS B A ˙ ξ B = i d B A ˙ ξ B = i ξ A ˙
y esto significa que los componentes de los espinores obtienen una fase y la forma en que se transforman los componentes cambia. Los puntos son un recordatorio de cómo se transforma cada componente. La acción de la paridad en un espinor de Dirac se obtiene de las transformaciones anteriores apilando los espinores de Weyl.

[ x 1 ˙ x 2 ˙ ξ 1 ξ 2 ] i [ ξ 1 ˙ ξ 2 ˙ x 1 x 2 ]

Edito: Aclaración. El espinor de Dirac tiene cuatro componentes. Los componentes uno y dos se transforman como los dos componentes de un espinor de Weyl punteado y los componentes tres y cuatro se transforman como los componentes de un espinor de Weyl sin punto. Si recordamos que así es como los espinores de Weyl se apilan en un espinor de Dirac, entonces podemos eliminar los puntos y las etiquetas L y R y luego la última ecuación sobre la acción de la paridad en un espinor de Dirac es,

[ x 1 x 2 ξ 1 ξ 2 ] i [ ξ 1 ξ 2 x 1 x 2 ]
En notación matricial esto es,
[ i 0 0 i ] [ x ξ ] = i [ ξ x ]
Módulo el factor de fase i (porque creo que el operador de paridad en espinores tiene que ser PP=-1), esto concuerda con la acción de paridad dada por la matriz gamma γ 0 como en los textos estándar como la ecuación (1.4.42) en la página 19 de la "Teoría de campo" de Ramond, segunda edición.