Генераторы группы Лоренца (алгебра и действие в пространстве-времени)

Мой вопрос о образующих группы Лоренца: подпись ( , + , + , + ) . Я нашел хорошо известные генераторы Лоренца (предназначенные как элементы его алгебры, оцениваемые в единичном элементе группы)

Бусты:

К 1 "=" ( 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 )       К 2 "=" ( 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 )     К 3 "=" ( 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 )

Вращения:

Дж 1 "=" ( 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 )       Дж 2 "=" ( 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 )     Дж 3 "=" ( 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 )
со следующими коммутационными соотношениями
[ Дж я , Дж Дж ] "=" ϵ я Дж к Дж к         [ К я , К Дж ] "=" ϵ я Дж к Дж к         [ Дж я , К Дж ] "=" ϵ я Дж к К к

Затем я хочу найти генераторы действия группы Лоренца в пространстве-времени, индуцированные векторные поля, определяемые как

В | Икс "=" д д т опыт ( т В ) Икс | т "=" 0
где В любой из предыдущих генераторов, Икс является точкой пространства-времени и т является общим параметром.

Для группы Лоренца я нашел следующие образующие действия

Дж я "=" ϵ я Дж к Икс Дж к     Дж 1 "=" Икс 2 3 Икс 3 2         Дж 2 "=" Икс 3 1 Икс 1 3         Дж 3 "=" Икс 1 2 Икс 2 1 К я "=" Икс я 0 + Икс 0 я     К 1 "=" Икс 1 0 + Икс 0 1         К 2 "=" Икс 2 0 + Икс 0 2         К 3 "=" Икс 3 0 + Икс 0 3

Моя проблема в том, что эти генераторы не имеют тех же коммутационных соотношений, что и генераторы группы. Например [ Дж 1 , Дж 2 ] "=" Дж 3 .

Что я не так?

Ответы (1)

Предположим, что г группа Ли, М является многообразием и λ : г × М М является гладким левым действием. Тогда существует индуцированное отображение λ * : г Икс ( М ) алгебры Ли г в алгебру Ли векторных полей Икс ( М ) это антигомоморфизм , т.е.

[ λ * Икс , λ * Д ] "=" λ * [ Икс , Д ]
для любого Икс , Д е г .

Напротив, для правого действия это отношение является настоящим гомоморфизмом алгебр Ли. Легко превратить левое действие в правое — используйте инверсию каждого элемента, т.е. р г Икс "=" λ г 1 Икс , затем р это правильное действие.

Таким образом, используя обозначение OP, если В определяется как

В Икс "=" д д т опыт ( т В ) Икс | т "=" 0 ,
тогда коммутационные соотношения получатся такими, как предполагалось.

Спасибо! Мне было интересно, всегда ли необходимо работать с индуцированными векторными полями, чьи коммутационные отношения такие же, как и у групповых генераторов, или я могу просто оставить все как есть. Я думал, что что-то не так в моем методе, но теперь я вижу, что мой результат правильный. Зная причины и (законный) знак минус в коммутационных соотношениях, могу ли я использовать свое определение индуцированных векторных полей?