Dimensión de representaciones de Lorentz Group

En mi clase de Teoría Cuántica de Campos estábamos discutiendo las representaciones de dimensión finita del grupo de Lorentz. Hablamos de la representación vectorial que actúa sobre 4 vectores, y luego también la representación del espinor que actúa sobre los espinores. Mi problema es que ambas representaciones son de 4 dimensiones.

Estoy acostumbrado a tratar con SO(3) donde las representaciones están etiquetadas por medios enteros y hay una asignación única de cada etiqueta a la dimensión de la representación. Spin (1/2) da matrices bidimensionales, Spin (1) da matrices tridimensionales, y así sucesivamente. Pero parece que hemos perdido esa singularidad en el grupo de Lorentz. La representación vectorial y la representación del espinor tienen la misma dimensión. ¿Tiene esto que ver con la falta de compacidad del grupo de lorentz?

Gracias.

No estoy seguro de si la existencia de una sola representación para cada dimensión está ligada a alguna propiedad específica de un grupo... eso es solo una especie de coincidencia afortunada porque S O ( 3 ) es tan simple, no porque S O ( 3 , 1 ) le falta alguna propiedad.
No estoy muy interesado en la teoría de grupos, solo lo que he aprendido de la física, que por supuesto no es suficiente.

Respuestas (2)

De hecho, ha perdido algún tipo de unicidad de dimensión, pero no entre el vector y la representación del espinor: la representación vectorial de S O ( 1 , 3 ) es irreducible, mientras que la representación tetradimensional de Dirac-spinor no lo es; es la suma de una representación de Weyl quiral izquierda y quiral derecha.

En general, las representaciones de dimensión finita del (componente conexo del) grupo de Lorentz están en biyección a las representaciones de dimensión finita de s tu ( 2 ) s tu ( 2 ) . Para la relación precisa entre S O ( 1 , 3 ) y s tu ( 2 ) s tu ( 2 ) , vea esta respuesta de Qmechanic . La teoría de la representación de s tu ( 2 ) es precisamente el del espín tal como lo conocemos y, por lo tanto, una representación de dimensión finita del grupo de Lorentz está etiquetada por dos semienteros ( s 1 , s 2 ) . Si se examina la forma en que s tu ( 2 ) álgebras realmente relacionadas con el álgebra de Lorentz, uno encuentra que el giro total de tal representación debe ser s 1 + s 2 .

El espacio de representación asociado a ( s 1 , s 2 ) es solo C 2 s 1 + 1 C 2 s 2 + 1 , es decir, tensamos el spin- s i representaciones entre sí. Por supuesto, esto te muestra que la dimensión del espacio ya no es única para una representación dada, aunque sea irreductible.

Sin embargo, esto no tiene nada que ver con la falta de compacidad del grupo de Lorentz, es simplemente porque es un poco más complicado que el "fácil" S O ( 3 ) . Por ejemplo, el compacto S tu ( 2 ) × S tu ( 2 ) comparte la misma teoría de representación de dimensión finita.

¡Muchas gracias!. En general, ¿hay ciertas propiedades que un grupo debe tener para que la dimensión de cada representación sea única? Sé que es más una pregunta de matemáticas, pero pensé en preguntar.

No, la pérdida de singularidad no tiene que ver con la falta de compacidad del grupo de Lorentz. El hecho de que solo haya una representación irreductible de cualquier dimensión dada es especial para el grupo. S tu ( 2 ) (y por extensión, a S O ( 3 ) ). No es cierto incluso para otros grupos de Lie compactos semisimples. Por ejemplo, S tu ( 3 ) tiene dos representaciones irreducibles distintas de dimensión 3, que también resultan ser conjugadas entre sí. También tiene cuatro representaciones de dimensión 15, dos pares de representaciones conjugadas.

Con suerte, pronto aprenderá que las representaciones irreducibles de dimensión finita del grupo de Lorentz se pueden etiquetar con dos números, que corresponden (en un sentido indirecto) a las representaciones de S tu ( 2 ) .

En general, una representación irreducible para un álgebra de Lie semisimple puede ser etiquetada por los valores de sus Casimiros independientes . S tu ( 2 ) tiene un Casimiro independiente, por lo que solo necesita un número para especificar una representación. S tu ( 3 ) y S O ( 1 , 3 ) tiene dos Casimiros, por lo que necesita dos números.

Y, como señaló ACuriousMind, la representación del espinor de la que estás hablando en realidad no es irreducible. Es la suma directa de dos representaciones irreducibles, ( 1 2 , 0 ) y ( 0 , 1 2 ) en una notación común. La representación vectorial es irreducible y está etiquetada ( 1 2 , 1 2 ) .