La derivación de las representaciones irreducibles del grupo de Lorentz

Tomé la forma de clasificación de las representaciones de grupos de Lorentz de Sexl, Urbantke, Relativity, groups and partículas (Germ. ed. 1975). Pero no lo entiendo como lo esbozo a continuación:

En el álgebra de Lie real del grupo de Lorentz son válidas las siguientes relaciones de conmutación: [ METRO m , METRO v ] = ϵ m v λ METRO λ , [ norte m , norte v ] = ϵ m v λ METRO λ y [ norte m , norte v ] = ϵ m v λ norte λ .

Un elemento infinitesimal del grupo de Lorentz viene dado por I d + α METRO + v norte , α y v (vector de rotación y vector de velocidad, velocidad de la luz c=1) son parámetros reales. Si se elige una base diferente METRO m ± = 1 2 ( METRO m ± i norte m ) las relaciones de conmutación se revierten en las siguientes relaciones:

[ METRO m ± , METRO v ± ] = ϵ m v λ METRO λ ± , y [ METRO m + , METRO v ] = 0 .

Esta es el Lie-álgebra de la suma directa s o ( 3 ) s o ( 3 ) (o s tu ( 2 ) s tu ( 2 ) si lo desea) o y, por lo tanto, todas las representaciones irreducibles del grupo de Lorentz están dadas por las representaciones irreducibles de S O ( 3 ) × S O ( 3 ) . El problema que tengo es que para hacer este argumento es necesario pasar por representaciones complejas del grupo de Lorentz ya que la descomposición del Lie-álgebra del grupo de Lorentz solo funciona con números complejos. Un elemento infinitesimal del grupo de Lorentz ahora está dado por I d + ( α i v ) METRO + ( α + i v ) METRO pero ahora los parámetros son complejos. De hacerlo así no cambiaría la reducibilidad de las representaciones según Sexl, Urbantke.

En realidad, tengo un contraejemplo: mira el siguiente ejemplo del grupo de Lorentz.

( mi 1 mi 2 mi 3 B 1 B 2 B 3 ) = ( 1 0 0 0 0 0 0 γ 0 0 0 γ v 0 0 γ 0 γ v 0 γ 0 0 1 0 0 0 0 γ v 0 γ 0 0 γ v 0 0 0 γ ) = ( mi 1 mi 2 mi 3 B 1 B 2 B 3 )

Esta es una representación irreductible real del grupo de Lorentz. Sin embargo, si ahora se consideran representaciones complejas, la base se puede cambiar a una base compleja y dentro de esta base la representación es reducible y se descompone en 2 representaciones complejas irreducibles:

( mi 1 + i B 1 mi 2 + i B 2 mi 3 + i B 3 mi 1 i B 1 mi 2 i B 2 mi 3 i B 3 ) = ( 1 0 0 0 0 0 0 γ i γ v 0 0 0 0 i γ v γ 0 0 0 0 0 0 1 0 0 0 0 0 0 γ i γ v 0 0 0 0 i γ v γ ) ( mi 1 + i B 1 mi 2 + i B 2 mi 3 + i B 3 mi 1 i B 1 mi 2 i B 2 mi 3 i B 3 )

Con parámetros reales la representación es irreducible mientras que con números complejos es reducible. Eso significa que usar números reales o complejos hace una diferencia en la teoría de la representación.

Por lo tanto, no puedo entender por qué las representaciones del grupo de Lorentz pueden clasificarse (tan fácilmente) de acuerdo con el argumento dado.

Mientras tanto, aprendí que usar números complejos en la teoría de grupos de Lie es bastante conveniente, pero en física casi todos los grupos de Lie son r mi a yo grupos y el r mi a yo las representaciones tienen que ser clasificadas y comprendidas. Espero que alguien aquí tenga una comprensión más profunda que la mía y pueda explicarme.

Respuestas (1)

Bien, parece que te has topado con el truco unitario de Weyl que valida las maniobras de complejización, así que no me detendré en eso aquí. El representante de 6dim reducible no unitario con el que comenzó es el adjunto de este grupo . Pero luego, complejizando, terminas con la forma autodual 3dim s, sumando juntos la forma de curvatura equivalente rep.

Suponga que usted compleja-conjuga su segunda expresión. Eso intercambia el bloque 1,2,3 con el bloque 4,5,6, tanto en vectores como en matrices. La matriz reducida de 6x6 se puede transformar en la matriz conjugada compleja equivalente mediante la matriz simétrica de similitud que tiene matrices de identidad 3d en los subbloques de 3x3 de 2 diagonales y ceros en los bloques de 2 diagonales de 3x3. (claramente cuadra a la identidad).

En comparación con el artículo de WP , verá que está combinando dos irreps de 3dim en uno de 6dim...

Edite para coincidir con el punto válido de @ACuriousMind a continuación. En efecto. Puede ver que la complejidad apenas importa si considera la transformación de similitud compleja que convierte su primera expresión en la segunda, vectores y matrices,

S = 1 2 ( 1 1 i 1 1 1 1 i 1 1 ) = ( S T ) 1 ,
dónde 1 1 es la matriz identidad de 3x3.

El grupo Lorentz es S O ( 1 , 3 ) , no S tu ( 2 ) S tu ( 2 ) . Los dos son diferentes, porque el primero no es compacto, mientras que el segundo es compacto. La afirmación correcta es que la complejización de o ( 1 , 3 ) es s yo ( 2 , C ) s yo ( 2 , C ) , cf. esta respuesta por Qmecánico . Dado que las representaciones de s yo ( 2 , C ) son equivalentes a las representaciones de s tu ( 2 ) , este error no tiene consecuencias para la teoría de la representación y, por lo tanto, a menudo se pasa por alto.
Gracias porque finalmente alguien dedicó un poco de esfuerzo en una respuesta. En primer lugar, ¿qué es el "artículo de WP"? En segundo lugar, ¿cómo pueden relacionarse una representación y su conjugado c mediante una transformación de semejanza? Para mi los dos son diferentes asi como un 2-Weylspinor ξ A se transforma de manera diferente a un 2-Weylspinor punteado ψ A ˙ .
Pido disculpas por no especificar lo que parecía obvio: el artículo de WikiPedia es el tercer enlace y detalla todas estas representaciones. No estamos hablando de espinores de Weyl (dobles), sino de vectores, entonces las repeticiones (1,0) y (0,1). Estos dos están vinculados precisamente por la formación de similitud que intercambia el 3 superior con los tres componentes inferiores del vector de 6.
Esto es, ( 0 1 1 1 1 0 ) , dónde 1 1 es la matriz identidad de 3x3.
Lo sentimos, pero su matriz solo reordena los componentes del vector. No creo que una representación como (0, 1/2) o (0, 1) o similar sea equivalente a su conjugado c. Este último necesitaría si mi + i B = A ( mi + i B ) y mi i B = A ( mi i B ) , entonces la transformación de semejanza se cumple A = S A S 1 . Por el momento no veo que este S exista.
En realidad, todavía no he visto tu punto. Tengo una representación irreducible de 6dim en el espacio real y, según Sexl, Urbantke al complejizar, la reducibilidad de las repeticiones no cambia. Complejizo y ahora puedo descomponer mi repetición compleja que todavía es de 6 dim, pero ahora reducible en 2 repeticiones de 3 dim (de diferente nombre), la combinación de ambas 3 dim es 6 dim. y en un espacio complejo equivalente al original del que partí. Esto contradice lo dicho por Sexl & Urbantke.
Ese era mi punto: que la repetición de 6 dim es reducible, ya reducida, según el artículo de WP: ( 1 , 0 ) ( 0 , 1 ) . La forma de curvatura, según el artículo de WP.