Нотация для генераторов групп трансляции

Генераторы группы перевода Т ( 4 ) приведены ниже:

п 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 ) ; п 1 я ( 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 ) ; п 2 я ( 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 ) ; п 3 я ( 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 ) ;

с п мю "=" г мю ν п ν с метрическим знаком: ( + , , , ) .

Правильно ли изначально использовать контравариантную запись для генераторов?

Не должно иметь значения, с чего вы начинаете.

Ответы (1)

Генераторы являются ковариантными векторами в пространстве-времени. Следуя Оме, для представления генераторов переноса матрицами пространство-время является 4-мерным проективным пространством, где точки являются лучами. Икс я е В 5 с я "=" 0 , 1 , 2 , 3 , 4 . Предположим, что координаты Алисы Икс я и Боба Икс я и Алиса усиливается вдоль положительной оси x Боба с небольшим параметром усиления η . Повышение,

Икс 0 "=" Икс 0 + η Икс 1 Икс 1 "=" Икс 1 + η Икс 0
откуда следует, что буст является элементом алгебры Ли,
К   Дж я "=" дельта 0 я дельта Дж 1 + дельта 1 я дельта Дж 0
потому что,
Икс я "=" Икс я + η К   Дж я Икс Дж   .
Переводы Оме таковы:
[ п к ]   Дж я "=" дельта к я дельта Дж 4
где ( я ) фактор был опущен, потому что в настоящее время все является классическим. Используя матричный коммутатор для скобки Ли,
[ п 1 , К ] "=" п 0
Ответ п 1 для повышения,
п 1 "=" п 1 + η [ п 1 , К ] "=" п 1 η п 0   .
Теперь сравните это уравнение с откликом контравариантной пространственно-временной координаты Икс 1 во втором уравнении вверху; когда мы думаем о п 1 как вектор в пространстве-времени, он не трансформируется как контравариантный вектор. Легко видеть, что он преобразуется как ковариантный вектор в В 5 . Таким образом, генераторы трансляции представляют собой ковариантные векторы в пространстве-времени. п я е В ~ 5 .

Превосходный ответ. Я начал относиться к этому как к контраварианту и запутался.
Спасибо, когда вы опубликовали вопрос, я был сбит с толку этим, поскольку также предположил, что генераторы перевода были контравариантными.