Verificación del Álgebra de Poincaré

Los generadores del grupo Poincaré PAG ( 1 ; 3 ) se supone que obedecen a la siguiente relación de conmutación a verificar:

[ METRO m v , PAG ρ ] = i ( gramo v ρ PAG m gramo m ρ PAG v )

dónde METRO m v son los 6 generadores del grupo de Lorentz y PAG m son los 4 generadores del grupo de traducción de cuatro dimensiones T ( 4 ) .

Para m = 3 , v = 1 , ρ = 0 el LHS se convierte en: [ METRO 31 , PAG 0 ] = METRO 31 PAG 0 PAG 0 METRO 31 .

Aquí METRO 31 = j 2 = j 2 = ( 0 0 0 0 0 0 0 i 0 0 0 0 0 i 0 0 ) y PAG 0 = PAG 0 = i ( 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ) .

mi pregunta es como puedo multiplicar METRO 31 y PAG 0 cuando ellos están 4 × 4 y 5 × 5 matrices respectivamente?

De hecho, debe completar el METRO a b generadores con ceros para completar la 5ta fila y columna.
Pregunta relacionada por OP: physics.stackexchange.com/q/127559/2451
@Dox: He considerado: ( X 0 , X 1 , X 2 , X 3 ) ( X 0 + b 0 , X 1 + b 1 , X 2 + b 2 , X 3 + b 3 ) . Luego emita esta transformación como una multiplicación de matrices y luego use la fórmula para encontrar los generadores PAG m = gramo m v PAG v . ¿Qué más podría hacer para definir el PAG m ¿adecuadamente?
@Qmechanic: sí, hice esa pregunta. ¡Estaba en una profunda confusión!

Respuestas (1)

Considerar

METRO 31 = ( 0 0 0 0 0 0 0 0 i 0 0 0 0 0 0 0 i 0 0 0 0 0 0 0 0 )  y  PAG 0 = i ( 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ) ,

¡Entonces el conmutador desaparece! Como se esperaba de [ METRO 31 , PAG 0 ] = i ( gramo 10 PAG 3 gramo 30 PAG 1 ) = 0 .

Si lo tomas

METRO 01 = ( 0 i 0 0 0 i 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 )  y  PAG 0 = i ( 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ) ,
entonces
[ METRO 01 , PAG 0 ] = i ( 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ) = PAG 1 .

¡Etcétera!