¿Por qué es 4=3⊕14=3⊕14=3\oplus 1? ¿Qué son los modos de propagación? Etc

En el libro QFT de Schwartz, dijo que la representación vectorial del grupo de Lorentz, V m que es tetradimensional, es la suma directa de dos representaciones irreducibles de S O ( 3 ) : una representación de espín 0, que es unidimensional, y una representación de espín 1, que es tridimensional. es decir 4 = 3 1 .

Pregunta 1:

¿Hay una razón explícita por la que es así? Busco tanto una razón matemática que también sea física. El libro simplemente lo indica sin decir exactamente cómo.

¿Es porque el componente 0 del vector es el espín-0 y los otros componentes son el espín-1? Si es así, esto no tiene sentido para mí ya que el campo vectorial A m en sí mismo es espín-1.

Luego, el libro continúa adivinando un Lagrangiano para un campo de espín 1 masivo y se le ocurrió

(8.17) L = 1 2 v A m m A v + 1 2 metro 2 A m 2
que tiene las ecuaciones de movimiento
(8.18) ( 2 + metro 2 ) A m = 0
Y luego dice que tiene "4 modos de propagación" y A m es en realidad 4 campos escalares y, por lo tanto, el Lagrangiano no es para un campo vectorial. En este caso esto es 4 = 1 1 1 1 .

Pregunta 2:

¿Qué quiere decir con modos de propagación? ¿Los campos son simplemente escalares porque la ecuación de movimiento es para cada índice de A m o hay un significado mucho mejor de por qué?

En realidad, nunca definió los "modos de propagación" en absoluto. De todos modos, el libro continúa con otra conjetura que es la Proca Lagrangiana.

(8.20) L = a 2 A m 2 A m + b 2 A m metro tu v A v + 1 2 metro 2 A m A m
Donde dice que el m A m fuerzas de contracción A m ser un cuadrivector ya que si cada componente A m se transforma como escalar entonces m A m no es invariante de Lorentz.

Pregunta 3:

Parece que no entiendo lo que el libro quiso decir con eso. ¿Por qué no es Invariante de Lorentz?

Respuestas (1)

respuesta 1

Cada representación del grupo de Lorentz es equivalente a una representación de un S tu ( 2 ) S tu ( 2 ) . La representación vectorial en particular es una ( 1 / 2 , 1 / 2 ) representación. Los generadores de la S tu ( 2 ) S tu ( 2 ) grupo son j i ± = j i ± i k i ; por lo que para las rotaciones los generadores de los dos grupos son iguales y están dados por el habitual S tu ( 2 ) generadores Entonces, si solo agregas los dos 1 / 2 con las reglas de adición usuales se encuentra el 0 1 descomposición bajo rotaciones.

Para una interpretación más física de esto, vaya al marco del centro de masa: tiene un grado de libertad A 0 que se deja sin cambios por rotaciones, es decir, es un escalar, y tres grados de libertad A que forman un S O ( 3 ) vector.

No es 100% cierto que " A m es en sí mismo un espín-1". Lo que es cierto es que contiene una representación de espín-1 y es por eso que puede usar este campo para describir partículas de espín-1. Del teorema de Wigner-Eckart, esta es una condición necesaria para tener un valor distinto de cero elementos de matriz entre el estado de partícula y el operador de campo

0 | A m ( X ) | pag , λ

Respuesta 2 y 3

Como también se explica en la respuesta vinculada en el comentario, ese Lagrangiano es equivalente a la suma de 4 Lagrangianos independientes para cuatro campos escalares independientes y uno de estos escalares aparece con el signo "incorrecto" en el Lagrangiano y tienes estados con energías negativas. Como también se escribe un poco más adelante en el libro, con solo mirar las ecuaciones de movimiento que tienen cuatro escalares o un vector de 4 es exactamente lo mismo. Nada te dice eso A m debe transformarse de una manera particular bajo una transformación de Lorentz. El tercer problema es que tienes demasiados grados de libertad.

La situación es diferente cuando sumas el otro término con las dos derivadas mixtas

A m m v A v

Bajo una transformación de Lorentz obtienes dos Λ 1 matrices de las dos derivadas parciales. Si el campo luego se transforma como A Λ A luego esas dos matrices se cancelan y terminas con lo que empezaste: esa pieza es invariante de Lorentz. El lagrangiano que tenías antes era invariante incluso bajo una transformación de Lorentz X Λ X pero A A .

El punto que necesitas entender de ese capítulo es que las ecuaciones libres de movimiento para campos no son algo que puedas construir a mano al azar o algo con lo que puedas jugar agregando nuevas piezas o modificando las antiguas. Las ecuaciones libres de movimiento están 100% fijadas por la teoría de grupos. Incluso las ecuaciones que parecen más complicadas, por ejemplo, para un gravitón masivo, son solo una suma de proyectores en la representación de Poincaré correcta necesaria para la partícula que desea describir. En el caso del vector, por ejemplo, las ecuaciones de movimiento son equivalentes a

( + metro 2 ) A m = 0 m A m = 0

En el espacio de cantidad de movimiento y en el marco del centro de masa ( pag m = ( pag 0 , 0 ) ), la primera ecuación te dice pag 2 = ( pag 0 ) 2 = metro 2 , mientras que el segundo es A 0 = 0 . Es decir, está proyectando su campo en el caparazón y conservando solo el componente spin-1.

Un ejercicio divertido es hacer lo mismo con el gravitón. Usted impone que los dos grados de libertad escalares y uno vectorial deben ser cero en el marco del centro de masa, agregue esas condiciones con la condición en el caparazón, vaya en un marco general y en el espacio de posición y verá que mágicamente recupera el Ecuaciones de movimiento de Fierz-Pauli.

Una última pregunta, a continuación, cuando derivó la solución a la ecuación de movimiento del campo vectorial masivo, la condición pag m ϵ m i = 0 implica que solo hay 3 de estos vectores de polarización ϵ m i . No entiendo cómo la condición implica que solo hay 3. ¿Me puedes explicar cómo es eso? Gracias.
@ Gradient137 Porque esa ecuación te dice que el ϵ son vectores ortogonales a pag m . En el espacio 4D, esto significa que forman un espacio vectorial 3D y, por lo tanto, tiene vectores de base de árbol.
Pero hay 4 componentes de pag m aunque. ¿No debería el producto interno entre ϵ y pag m entonces va a una suma de 4 términos?
@ Gradient137 No veo tu problema. Si te digo que busco vectores w ortogonal a un dado v , la ecuación es una ecuación escalar w v = 0 , pero la solución es todo el plano ortogonal a v , es decir, necesitas dos vectores w 1 y w 2 para abarcar ese espacio. Esto es lo mismo pero en 4D.