Проверка алгебры Пуанкаре

Образующие группы Пуанкаре п ( 1 ; 3 ) предполагается, что они подчиняются следующему коммутационному соотношению, которое необходимо проверить:

[ М мю ν , п р ] "=" я ( г ν р п мю г мю р п ν )

где М мю ν являются 6 генераторами группы Лоренца и п мю являются 4 образующими группы четырехмерного перевода Т ( 4 ) .

Для мю "=" 3 , ν "=" 1 , р "=" 0 LHS становится: [ М 31 , п 0 ] "=" М 31 п 0 п 0 М 31 .

Здесь М 31 "=" Дж 2 "=" Дж 2 "=" ( 0 0 0 0 0 0 0 я 0 0 0 0 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 0 0 0 0 0 ) .

Мой вопрос в том, как я могу умножить М 31 и п 0 когда они 4 × 4 и 5 × 5 матрицы соответственно?

На самом деле вам нужно заполнить М а б образующие с нулями для завершения 5-й строки и столбца.
Связанный с этим вопрос от OP: physics.stackexchange.com/q/127559/2451
@Dox: я подумал: ( Икс 0 , Икс 1 , Икс 2 , Икс 3 ) ( Икс 0 + б 0 , Икс 1 + б 1 , Икс 2 + б 2 , Икс 3 + б 3 ) . Затем примените это преобразование к умножению матриц, а затем используйте формулу, чтобы найти генераторы п мю "=" г мю ν п ν . Что еще я мог сделать, чтобы определить п мю правильно?
@Qmechanic: да, я задал этот вопрос. Я был в глубоком замешательстве!

Ответы (1)

Учитывать

М 31 "=" ( 0 0 0 0 0 0 0 0 я 0 0 0 0 0 0 0 я 0 0 0 0 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 0 0 0 0 0 ) ,

Тогда коммутатор исчезает! Как и ожидалось от [ М 31 , п 0 ] "=" я ( г 10 п 3 г 30 п 1 ) "=" 0 .

Если вы возьмете

М 01 "=" ( 0 я 0 0 0 я 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 ) ,
затем
[ М 01 , п 0 ] "=" я ( 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 ) "=" п 1 .

И так далее!