группа Лоренца

Группа Ли преобразований Лоренца

Хендрик Антон Лоренц (1853–1928), в честь которого названа группа Лоренца.

В физике и математике группа Лоренца — это группа всех преобразований Лоренца пространства -времени Минковского , классического и квантового описания всех (негравитационных) физических явлений . Группа Лоренца названа в честь голландского физика Хендрика Лоренца .

Например, следующие законы, уравнения и теории соблюдают симметрию Лоренца:

• Кинематические законы специальной теории относительности
• Уравнения поля Максвелла в теории электромагнетизма
• Уравнение Дирака в теории электрона
• Стандартная модель физики элементарных частиц

Группа Лоренца выражает фундаментальную симметрию пространства и времени всех известных фундаментальных законов природы . В достаточно малых областях пространства-времени, где гравитационные дисперсии пренебрежимо малы, физические законы инвариантны относительно Лоренца таким же образом, как и специальная теория относительности.

Основные свойства

Группа Лоренца является подгруппой группы Пуанкаре — группы всех изометрий пространства - времени Минковского . Преобразования Лоренца — это, в точности, изометрии, которые оставляют начало координат фиксированным. Таким образом, группа Лоренца является подгруппой изотропии относительно начала координат группы изометрий пространства-времени Минковского. По этой причине группу Лоренца иногда называют однородной группой Лоренца , а группу Пуанкаре иногда называют неоднородной группой Лоренца . Преобразования Лоренца являются примерами линейных преобразований ; общие изометрии пространства-времени Минковского являются аффинными преобразованиями .

Определение физики

_{Предположим, что имеются} две инерциальные системы отсчета ( t , x , y , z ) и ( t ′, x ′, y ′, z ′) и две точки P1 , P2 _; группа Лоренца — это набор всех преобразований между двумя системами отсчета, которые сохраняют скорость света, распространяющегося между двумя точками:

${\displaystyle c^{2}(\Delta t')^{2}-(\Delta x')^{2}-(\Delta y')^{2}-(\Delta z')^{2}=c^{2}(\Delta t)^{2}-(\Delta x)^{2}-(\Delta y)^{2}-(\Delta z)^{2}}$

В матричной форме это все линейные преобразования Λ такие, что:

${\displaystyle \Lambda ^{\textsf {T}}\eta \Lambda =\eta \qquad \eta =\operatorname {diag} (1,-1,-1,-1)}$

Их тогда называют преобразованиями Лоренца.

Математическое определение

Математически группу Лоренца можно описать как неопределенную ортогональную группу O(1, 3) , матричную группу Ли , которая сохраняет квадратичную форму

${\displaystyle (t,x,y,z)\mapsto t^{2}-x^{2}-y^{2}-z^{2}}$

на R ⁴ (векторное пространство, снабженное этой квадратичной формой, иногда записывается как R ^1,3 ). Эта квадратичная форма, будучи помещена в матричную форму (см. Классическая ортогональная группа ), интерпретируется в физике как метрический тензор пространства-времени Минковского.

Математические свойства

Группа Лоренца — это шестимерная некомпактная неабелева вещественная группа Ли , которая не является связной . Четыре связных компонента не являются просто связными . ^[1] Компонент тождества (т. е. компонент, содержащий единичный элемент) группы Лоренца сам по себе является группой и часто называется ограниченной группой Лоренца и обозначается SO ⁺ (1, 3) . Ограниченная группа Лоренца состоит из тех преобразований Лоренца, которые сохраняют как ориентацию пространства, так и направление времени. Ее фундаментальная группа имеет порядок 2, а ее универсальное покрытие, неопределенная спиновая группа Spin(1, 3) , изоморфно как специальной линейной группе SL(2, C ) , так и симплектической группе Sp(2, C ) . Эти изоморфизмы позволяют группе Лоренца действовать на большое количество математических структур, важных для физики, в первую очередь на спиноры . Таким образом, в релятивистской квантовой механике и в квантовой теории поля очень часто называют SL(2, C ) группой Лоренца, понимая, что SO ⁺ (1, 3) является ее определенным представлением (векторным представлением).

Рекуррентное представление действия группы Лоренца на пространстве Минковского использует бикватернионы , которые образуют алгебру композиции . Свойство изометрии преобразований Лоренца выполняется согласно свойству композиции ⁠ ⁠ ${\displaystyle |pq|=|p|\times |q|}$ .

Другим свойством группы Лоренца является конформность или сохранение углов. Лоренцовы бусты действуют посредством гиперболического вращения плоскости пространства-времени, и такие «вращения» сохраняют гиперболический угол , меру быстроты, используемую в теории относительности. Поэтому группа Лоренца является подгруппой конформной группы пространства-времени .

Обратите внимание, что в этой статье O(1, 3) называется «группой Лоренца», SO(1, 3) — «собственной группой Лоренца», а SO ⁺ (1, 3) — «ограниченной группой Лоренца». Многие авторы (особенно в физике) используют название «группа Лоренца» для SO(1, 3) (или иногда даже SO ⁺ (1, 3) ) вместо O(1, 3) . Читая таких авторов, важно четко понимать, о ком именно они говорят.

Подключенные компоненты

Световой конус в двумерном пространстве плюс временное измерение.

Поскольку это группа Ли , группа Лоренца O(1, 3) является группой и также имеет топологическое описание как гладкое многообразие . Как многообразие, она имеет четыре связных компонента. Интуитивно это означает, что она состоит из четырех топологически разделенных частей.

Четыре связанных компонента можно классифицировать по двум свойствам преобразования, которыми обладают их элементы:

• Некоторые элементы меняются местами при инвертирующих время преобразованиях Лоренца, например, указывающий на будущее вектор времени будет инвертирован в указывающий на прошлое вектор.
• Некоторые элементы имеют обратную ориентацию из-за неправильных преобразований Лоренца , например, некоторые вирбейны (тетрады)

Преобразования Лоренца, сохраняющие направление времени, называютсяортохронный . Подгруппа ортохронных преобразований часто обозначаетсяO ⁺ (1, 3). Те, которые сохраняют ориентацию, называютсясобственными, и как линейные преобразования они имеют определитель+1. (Несобственные преобразования Лоренца имеют определитель−1.) Подгруппа собственных преобразований Лоренца обозначаетсяSO(1, 3).

Подгруппа всех преобразований Лоренца, сохраняющая как ориентацию, так и направление времени, называется собственной ортохронной группой Лоренца или ограниченной группой Лоренца и обозначается SO ⁺ (1, 3) . ^[a]

Множество из четырех связных компонент может быть задано групповой структурой как факторгруппа O (1, 3) / SO ⁺ (1, 3) , которая изоморфна четверной группе Клейна . Каждый элемент в O(1, 3) может быть записан как полупрямое произведение собственного ортохронного преобразования и элемента дискретной группы

{1, П , Т , ПТ }

где P и T — операторы четности и обращения времени :

P = диагональ(1, −1, −1, −1)

T = диаг(−1, 1, 1, 1) .

Таким образом, произвольное преобразование Лоренца может быть определено как правильное, ортохронное преобразование Лоренца вместе с двумя дополнительными битами информации, которые выбирают один из четырех связанных компонентов. Эта модель типична для конечномерных групп Ли.

Ограниченная группа Лоренца

Ограниченная группа Лоренца SO ⁺ (1, 3) является компонентом тождества группы Лоренца, что означает, что она состоит из всех преобразований Лоренца, которые могут быть связаны с тождеством непрерывной кривой, лежащей в группе. Ограниченная группа Лоренца является связной нормальной подгруппой полной группы Лоренца с той же размерностью, в данном случае с размерностью шесть.

Ограниченная группа Лоренца генерируется обычными пространственными вращениями и усилениями Лоренца (которые являются вращениями в гиперболическом пространстве, включающими времяподобное направление ^[2] ). Поскольку каждое собственное ортохронное преобразование Лоренца может быть записано как произведение вращения (задаваемого 3 действительными параметрами ) и усиления (также задаваемого 3 действительными параметрами), требуется 6 действительных параметров, чтобы задать произвольное собственное ортохронное преобразование Лоренца. Это один из способов понять, почему ограниченная группа Лоренца является шестимерной. (См. также алгебру Ли группы Лоренца.)

Множество всех вращений образует подгруппу Ли, изоморфную обычной группе вращений SO(3) . Однако множество всех усилений не образует подгруппу, поскольку составление двух усилений, как правило, не приводит к другому усилению. (Вместо этого пара неколлинеарных усилений эквивалентна усилению и вращению, и это относится к вращению Томаса .) Усиление в некотором направлении или вращение вокруг некоторой оси порождает однопараметрическую подгруппу .

Поверхности транзитивности

Если группа G действует на пространстве V , то поверхность S ⊂ V является поверхностью транзитивности , если S инвариантна относительно G (т. е. ∀ g ∈ G , ∀ s ∈ S : gs ∈ S ) и для любых двух точек s ₁ , s ₂ ∈ S существует g ∈ G такой, что gs ₁ = s ₂ . По определению группы Лоренца она сохраняет квадратичную форму

${\displaystyle Q(x)=x_{0}^{2}-x_{1}^{2}-x_{2}^{2}-x_{3}^{2}.}$

Поверхности транзитивности ортохронной группы Лоренца O ⁺ (1, 3) , Q ( x ) = const., действующей на плоском пространстве-времени R ^{1,3 ,} следующие: ^[3]

• Q ( x ) > 0, x ₀ > 0 — верхняя ветвь двуполостного гиперболоида . Точки на этом листе отделены от начала координат будущим времяподобным вектором.
• Q ( x ) > 0, x ₀ < 0 — нижняя ветвь этого гиперболоида. Точки на этом листе — прошлые времениподобные векторы.
• Q ( x ) = 0, x ₀ > 0 — верхняя ветвь светового конуса , будущий световой конус.
• Q ( x ) = 0, x ₀ < 0 — нижняя ветвь светового конуса, прошлый световой конус.
• Q ( x ) < 0 — однополостный гиперболоид. Точки на этом листе пространственно-подобны и отделены от начала координат.
• Начало координат x ₀ = x ₁ = x ₂ = x ₃ = 0 .

Эти поверхности являются 3 -мерными , поэтому изображения не являются точными, но они являются точными для соответствующих фактов о O ⁺ (1, 2) . Для полной группы Лоренца поверхностей транзитивности всего четыре, поскольку преобразование T переводит верхнюю ветвь гиперболоида (конуса) в нижнюю и наоборот.

Как симметричные пространства

Эквивалентный способ сформулировать вышеуказанные поверхности транзитивности — это симметрическое пространство в смысле теории Ли. Например, верхний лист гиперболоида может быть записан как фактор-пространство SO ⁺ (1, 3) / SO(3) , благодаря теореме о стабилизаторе орбиты . Более того, этот верхний лист также предоставляет модель для трехмерного гиперболического пространства .

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

Эти наблюдения представляют собой хорошую отправную точку для нахождения всех бесконечномерных унитарных представлений группы Лоренца, фактически, группы Пуанкаре, с использованием метода индуцированных представлений . ^[4] Начинаем со «стандартного вектора», по одному для каждой поверхности транзитивности, а затем спрашиваем, какая подгруппа сохраняет эти векторы. Эти подгруппы физики называют малыми группами . Затем проблема по существу сводится к более простой задаче нахождения представлений малых групп. Например, стандартный вектор в одной из гипербол двух листов может быть подходящим образом выбран как ( m , 0, 0, 0) . Для каждого m ≠ 0 вектор пронзает ровно один лист. В этом случае малая группа — это SO(3) , группа вращений , все представления которой известны. Точное бесконечномерное унитарное представление, при котором преобразуется частица, является частью ее классификации. Не все представления могут соответствовать физическим частицам (насколько известно). Стандартные векторы на однополостных гиперболах соответствовали бы тахионам . Частицы на световом конусе — это фотоны , а более гипотетически — гравитоны . «Частица», соответствующая началу координат, — это вакуум.

Гомоморфизмы и изоморфизмы

Несколько других групп либо гомоморфны, либо изоморфны ограниченной группе Лоренца SO ⁺ (1, 3) . Эти гомоморфизмы играют ключевую роль в объяснении различных явлений в физике.

• Специальная линейная группа SL(2, C ) является двойным покрытием ограниченной группы Лоренца. Это соотношение широко используется для выражения лоренц-инвариантности уравнения Дирака и ковариантности спиноров . Другими словами, (ограниченная) группа Лоренца изоморфна SL(2, C ) / Z ₂
• Симплектическая группа Sp(2, C ) изоморфна SL(2, C ) ; она используется для построения спиноров Вейля , а также для объяснения того, как спиноры могут иметь массу.
• Группа спинов Spin(1, 3) изоморфна SL(2, C ) ; она используется для объяснения спина и спиноров в терминах алгебры Клиффорда , тем самым проясняя, как обобщить группу Лоренца на общие положения в римановой геометрии , включая теории супергравитации и теории струн .
• Ограниченная группа Лоренца изоморфна проективной специальной линейной группе PSL(2, C ), которая, в свою очередь, изоморфна группе Мёбиуса , группе симметрии конформной геометрии на сфере Римана . Это соотношение является центральным для классификации подгрупп группы Лоренца в соответствии с более ранней схемой классификации, разработанной для группы Мёбиуса.

представление Вейля

Представление Вейля или спинорное отображение — это пара сюръективных гомоморфизмов из SL(2, C ) в SO ⁺ (1, 3) . Они образуют согласованную пару при преобразованиях четности , соответствующих левым и правым хиральным спинорам.

Можно определить действие SL(2, C ) в пространстве-времени Минковского, записав точку пространства-времени как эрмитову матрицу размером два на два в форме

${\displaystyle {\overline {X}}={\begin{bmatrix}ct+z&x-iy\\x+iy&ct-z\end{bmatrix}}=ct1\!\!1+x\sigma _{x}+y\sigma _{y}+z\sigma _{z}=ct1\!\!1+{\vec {x}}\cdot {\vec {\sigma }}}$

в терминах матриц Паули .

Это представление, представление Вейля, удовлетворяет

${\displaystyle \det \,{\overline {X}}=(ct)^{2}-x^{2}-y^{2}-z^{2}.}$

Таким образом, мы отождествили пространство эрмитовых матриц (которое является четырехмерным, как действительное векторное пространство) с пространством-временем Минковского таким образом, что определитель эрмитовой матрицы является квадратом длины соответствующего вектора в пространстве-времени Минковского. Элемент S ∈ SL(2, C ) действует на пространстве эрмитовых матриц посредством

${\displaystyle {\overline {X}}\mapsto S{\overline {X}}S^{\dagger }~,}$

где — эрмитово транспонирование S . Это действие сохраняет определитель, и поэтому SL(2, C ) действует на пространстве-времени Минковского посредством (линейных) изометрий. Форма выше с инвертированной четностью — ${\displaystyle S^{\dagger }}$

${\displaystyle X=ct1\!\!1-{\vec {x}}\cdot {\vec {\sigma }}}$

который преобразуется как

${\displaystyle X\mapsto \left(S^{-1}\right)^{\dagger }XS^{-1}}$

То, что это правильное преобразование, следует из того, что

${\displaystyle {\overline {X}}X=\left(c^{2}t^{2}-{\vec {x}}\cdot {\vec {x}}\right)1\!\!1=\left(c^{2}t^{2}-x^{2}-y^{2}-z^{2}\right)1\!\!1}$

остается инвариантным относительно указанной выше пары преобразований.

Эти отображения сюръективны , и ядром любого отображения является двухэлементная подгруппа ± I. По первой теореме об изоморфизме фактор-группа PSL(2, C ) = SL(2, C ) / {± I } изоморфна SO ⁺ (1, 3) .

Отображение четности меняет местами эти два покрытия. Оно соответствует эрмитовому сопряжению, являющемуся автоморфизмом SL(2, C ) . Эти два различных покрытия соответствуют двум различным хиральным действиям группы Лоренца на спинорах . Неперечеркнутая форма соответствует правосторонним спинорам, преобразующимся как ⁠ ⁠ ${\displaystyle \psi _{R}\mapsto S\psi _{R}}$ , в то время как перечеркнутая форма соответствует левосторонним спинорам, преобразующимся как ⁠ ⁠ ${\displaystyle \psi _{L}\mapsto \left(S^{\dagger }\right)^{-1}\psi _{L}}$ . ^[b]

Важно отметить, что эта пара покрытий не выдерживает квантования; при квантовании это приводит к своеобразному явлению хиральной аномалии . Классические (т.е. неквантованные) симметрии группы Лоренца нарушаются квантованием; это содержание теоремы Атьи–Зингера об индексе .

Условные обозначения

В физике принято обозначать преобразование Лоренца Λ ∈ SO ⁺ (1, 3) как ⁠ ⁠ ${\displaystyle {\Lambda ^{\mu }}_{\nu }}$ , тем самым показывая матрицу с индексами пространства-времени μ , ν = 0, 1, 2, 3 . Четырехвектор может быть создан из матриц Паули двумя различными способами: как и как ⁠ ⁠ . Две формы связаны преобразованием четности . Обратите внимание, что ⁠ ⁠ . ${\displaystyle \sigma ^{\mu }=(I,{\vec {\sigma }})}$ ${\displaystyle {\overline {\sigma }}^{\mu }=\left(I,-{\vec {\sigma }}\right)}$ ${\displaystyle {\overline {\sigma }}_{\mu }=\sigma ^{\mu }}$

Учитывая преобразование Лоренца , двойное ${\displaystyle x^{\mu }\mapsto x^{\prime \mu }={\Lambda ^{\mu }}_{\nu }x^{\nu }}$ накрытие ортохронной группы Лоренца посредством S ∈ SL(2, C ), заданное выше, можно записать как

${\displaystyle x^{\prime \mu }{\overline {\sigma }}_{\mu }={\overline {\sigma }}_{\mu }{\Lambda ^{\mu }}_{\nu }x^{\nu }=Sx^{\nu }{\overline {\sigma }}_{\nu }S^{\dagger }}$

Отбрасывая это принимает форму ${\displaystyle x^{\mu }}$

${\displaystyle {\overline {\sigma }}_{\mu }{\Lambda ^{\mu }}_{\nu }=S{\overline {\sigma }}_{\nu }S^{\dagger }}$

Сопряженная по четности форма:

${\displaystyle \sigma _{\mu }{\Lambda ^{\mu }}_{\nu }=\left(S^{-1}\right)^{\dagger }\sigma _{\nu }S^{-1}}$

Доказательство

То, что вышеприведенная форма является правильной для индексированной записи, не сразу очевидно, отчасти потому, что при работе в индексированной записи довольно легко случайно спутать преобразование Лоренца с его обратным или транспонированным. Эта путаница возникает из-за того, что тождество трудно распознать, когда оно записано в индексированной форме. Преобразования Лоренца не являются тензорами относительно преобразований Лоренца! Таким образом, прямое доказательство этого тождества полезно для установления его правильности. Его можно продемонстрировать, начав с тождества ${\displaystyle \eta \Lambda ^{\textsf {T}}\eta =\Lambda ^{-1}}$

${\displaystyle \omega \sigma ^{k}\omega ^{-1}=-\left(\sigma ^{k}\right)^{\textsf {T}}=-\left(\sigma ^{k}\right)^{*}}$

где так что выше просто обычные матрицы Паули, и является транспонированной матрицей, и является комплексным сопряжением. Матрица ${\displaystyle k=1,2,3}$ ${\displaystyle (\cdot )^{\textsf {T}}}$ ${\displaystyle (\cdot )^{*}}$ ${\displaystyle \omega }$

${\displaystyle \omega =i\sigma _{2}={\begin{bmatrix}0&1\\-1&0\end{bmatrix}}}$

Записанная в виде четырехвектора, эта связь имеет вид

${\displaystyle \sigma _{\mu }^{\textsf {T}}=\sigma _{\mu }^{*}=\omega {\overline {\sigma }}_{\mu }\omega ^{-1}}$

Это преобразуется как

${\displaystyle {\begin{aligned}\sigma _{\mu }^{\textsf {T}}{\Lambda ^{\mu }}_{\nu }&=\omega {\overline {\sigma }}_{\mu }\omega ^{-1}{\Lambda ^{\mu }}_{\nu }\\&=\omega S\;{\overline {\sigma }}_{\nu }\,S^{\dagger }\omega ^{-1}\\&=\left(\omega S\omega ^{-1}\right)\,\left(\omega {\overline {\sigma }}_{\nu }\omega ^{-1}\right)\,\left(\omega S^{\dagger }\omega ^{-1}\right)\\&=\left(S^{-1}\right)^{\textsf {T}}\,\sigma _{\nu }^{\textsf {T}}\,\left(S^{-1}\right)^{*}\end{aligned}}}$

Сделав еще одну транспозицию, получаем

${\displaystyle \sigma _{\mu }{\Lambda ^{\mu }}_{\nu }=\left(S^{-1}\right)^{\dagger }\sigma _{\nu }S^{-1}}$

Симплектическая группа

Симплектическая группа Sp(2, C ) изоморфна SL(2, C ) . Этот изоморфизм построен так, чтобы сохранить симплектическую билинейную форму на C ² , то есть оставить форму инвариантной относительно преобразований Лоренца. Это можно сформулировать следующим образом. Симплектическая группа определяется как

${\displaystyle \operatorname {Sp} (2,\mathbf {C} )=\left\{S\in \operatorname {GL} (2,\mathbf {C} ):S^{\textsf {T}}\omega S=\omega \right\}}$

где

${\displaystyle \omega =i\sigma _{2}={\begin{bmatrix}0&1\\-1&0\end{bmatrix}}}$

Для этого элемента используются и другие общепринятые обозначения ; иногда используется J , но это вызывает путаницу с идеей почти сложных структур , которые не являются одним и тем же, поскольку они трансформируются по-разному. ${\displaystyle \omega =\epsilon }$

Дана пара спиноров Вейля (двухкомпонентные спиноры)

${\displaystyle u={\begin{bmatrix}u_{1}\\u_{2}\end{bmatrix}}~,\quad v={\begin{bmatrix}v_{1}\\v_{2}\end{bmatrix}}}$

инвариантная билинейная форма обычно записывается как

${\displaystyle \langle u,v\rangle =-\langle v,u\rangle =u_{1}v_{2}-u_{2}v_{1}=u^{\textsf {T}}\omega v}$

Эта форма инвариантна относительно группы Лоренца, так что для S ∈ SL(2, C ) имеем

${\displaystyle \langle Su,Sv\rangle =\langle u,v\rangle }$

Это определяет своего рода «скалярное произведение» спиноров и обычно используется для определения лоренц-инвариантного массового члена в лагранжианах . Следует назвать несколько примечательных свойств, которые важны для физики. Одно из них заключается в том, что и так ${\displaystyle \omega ^{2}=-1}$ ${\displaystyle \omega ^{-1}=\omega ^{\textsf {T}}=\omega ^{\dagger }=-\omega }$

Определяющее соотношение можно записать как

${\displaystyle \omega S^{\textsf {T}}\omega ^{-1}=S^{-1}}$

что очень похоже на определяющее соотношение для группы Лоренца

${\displaystyle \eta \Lambda ^{\textsf {T}}\eta ^{-1}=\Lambda ^{-1}}$

где — метрический тензор для пространства Минковского и, конечно, как и прежде. ${\displaystyle \eta =\operatorname {diag} (+1,-1,-1,-1)}$ ${\displaystyle \Lambda \in \operatorname {SO} (1,3)}$

Группы покрытия

Так как SL(2, C ) односвязна, то она является универсальной накрывающей группой ограниченной группы Лоренца SO ⁺ (1, 3) . По ограничению существует гомоморфизм SU(2) → SO(3) . Здесь специальная унитарная группа SU(2), которая изоморфна группе кватернионов единичной нормы , также односвязна, поэтому она является накрывающей группой группы вращений SO(3) . Каждое из этих накрывающих отображений является двукратным накрытием в том смысле, что ровно два элемента накрывающей группы отображаются в каждый элемент фактора. Часто говорят, что ограниченная группа Лоренца и группа вращений двусвязны . Это означает, что фундаментальная группа каждой группы изоморфна двухэлементной циклической группе Z ₂ .

Двукратные покрытия характерны для спиновых групп . Действительно, в дополнение к двукратным покрытиям

Спин ⁺ (1, 3) = SL(2, C ) → SO ⁺ (1, 3)

Спин(3) = SU(2) → SO(3)

у нас есть двойные покрытия

Пин(1, 3) → О(1, 3)

Спин(1, 3) → SO(1, 3)

Спин ⁺ (1, 2) = SU (1, 1) → SO (1, 2)

Эти спинорные двойные покрытия строятся на основе алгебр Клиффорда .

Топология

Левая и правая группы в двойном покрытии

СУ(2) → СО(3)

являются деформационными ретрактами левой и правой групп соответственно в двойном покрытии

SL(2, C ) → SO ⁺ (1, 3) .

Но однородное пространство SO ⁺ (1, 3) / SO(3) гомеоморфно гиперболическому 3-пространству H ³ , поэтому мы представили ограниченную группу Лоренца как главное расслоение со слоями SO (3) и базой H ³ . Поскольку последняя гомеоморфна R ³ , в то время как SO(3) гомеоморфна трехмерному действительному проективному пространству R P ³ , мы видим, что ограниченная группа Лоренца локально гомеоморфна произведению R P ³ на R ³ . Поскольку базовое пространство стягиваемо, это можно расширить до глобального гомеоморфизма. ^{[ необходимо разъяснение ]}

Классы сопряженности

Поскольку ограниченная группа Лоренца SO ⁺ (1, 3) изоморфна группе Мёбиуса PSL(2, C ) , ее классы сопряженности также делятся на пять классов:

• Эллиптические преобразования
• Гиперболические преобразования
• Локсодромные преобразования
• Параболические преобразования
• Тривиальное преобразование идентичности

В статье о преобразованиях Мёбиуса объясняется, как возникает эта классификация, путем рассмотрения неподвижных точек преобразований Мёбиуса в их действии на сфере Римана, что соответствует здесь нулевым собственным подпространствам ограниченных преобразований Лоренца в их действии на пространстве-времени Минковского.

Пример каждого типа приведен в подразделах ниже, вместе с эффектом однопараметрической подгруппы, которую он генерирует (например, на внешний вид ночного неба).

Преобразования Мёбиуса являются конформными преобразованиями сферы Римана (или небесной сферы). Затем сопряжение с произвольным элементом SL(2, C ) дает следующие примеры произвольных эллиптических, гиперболических, локсодромических и параболических (ограниченных) преобразований Лоренца соответственно. Эффект на линии потока соответствующих однопараметрических подгрупп заключается в преобразовании рисунка, видимого в примерах, посредством некоторого конформного преобразования. Например, эллиптическое преобразование Лоренца может иметь любые две различные неподвижные точки на небесной сфере, но точки по-прежнему текут по дугам окружностей от одной неподвижной точки к другой. Другие случаи аналогичны.

Эллиптический

Эллиптический элемент SL(2, C ) — это

${\displaystyle P_{1}={\begin{bmatrix}\exp \left({\frac {i}{2}}\theta \right)&0\\0&\exp \left(-{\frac {i}{2}}\theta \right)\end{bmatrix}}}$

и имеет неподвижные точки ξ = 0, ∞. Записывая действие как X ↦ P ₁ X P ₁ ^† и собирая члены, спинорное отображение преобразует это в (ограниченное) преобразование Лоренца

${\displaystyle Q_{1}={\begin{bmatrix}1&0&0&0\\0&\cos(\theta )&\sin(\theta )&0\\0&-\sin(\theta )&\cos(\theta )&0\\0&0&0&1\end{bmatrix}}=\exp \left(\theta {\begin{bmatrix}0&0&0&0\\0&0&1&0\\0&-1&0&0\\0&0&0&0\end{bmatrix}}\right)~.}$

Это преобразование затем представляет собой вращение вокруг оси z , exp( iθJ _z ). Однопараметрическая подгруппа, которую оно генерирует, получается путем взятия θ в качестве действительной переменной, угла поворота, вместо константы.

Соответствующие непрерывные преобразования небесной сферы (за исключением тождества) все разделяют те же две фиксированные точки, Северный и Южный полюса. Преобразования перемещают все остальные точки по кругам широты так, что эта группа дает непрерывное вращение против часовой стрелки вокруг оси z по мере увеличения θ . Удвоение угла, очевидное в карте спинора, является характерной чертой спинорных двойных покрытий .

Гиперболический

Гиперболический элемент SL(2, C ) — это

${\displaystyle P_{2}={\begin{bmatrix}\exp \left({\frac {\eta }{2}}\right)&0\\0&\exp \left(-{\frac {\eta }{2}}\right)\end{bmatrix}}}$

и имеет неподвижные точки ξ = 0, ∞. При стереографической проекции со сферы Римана на евклидову плоскость эффект этого преобразования Мёбиуса представляет собой растяжение от начала координат.

Спинорная карта преобразует это в преобразование Лоренца

${\displaystyle Q_{2}={\begin{bmatrix}\cosh(\eta )&0&0&\sinh(\eta )\\0&1&0&0\\0&0&1&0\\\sinh(\eta )&0&0&\cosh(\eta )\end{bmatrix}}=\exp \left(\eta {\begin{bmatrix}0&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&0\end{bmatrix}}\right)~.}$

Это преобразование представляет собой ускорение вдоль оси z с быстротой η . Однопараметрическая подгруппа, которую оно генерирует, получается, если взять η как действительную переменную, а не константу. Соответствующие непрерывные преобразования небесной сферы (за исключением тождества) все имеют одни и те же фиксированные точки (Северный и Южный полюса), и они перемещают все остальные точки вдоль долгот от Южного полюса к Северному полюсу.

Локсодромный

Локсодромный элемент SL(2, C ) — это

${\displaystyle P_{3}=P_{2}P_{1}=P_{1}P_{2}={\begin{bmatrix}\exp \left({\frac {1}{2}}(\eta +i\theta )\right)&0\\0&\exp \left(-{\frac {1}{2}}(\eta +i\theta )\right)\end{bmatrix}}}$

и имеет фиксированные точки ξ = 0, ∞. Спинорное отображение преобразует это в преобразование Лоренца

${\displaystyle Q_{3}=Q_{2}Q_{1}=Q_{1}Q_{2}={\begin{bmatrix}\cosh(\eta )&0&0&\sinh(\eta )\\0&\cos(\theta )&\sin(\theta )&0\\0&-\sin(\theta )&\cos(\theta )&0\\\sinh(\eta )&0&0&\cosh(\eta )\end{bmatrix}}=\exp {\begin{bmatrix}0&0&0&\eta \\0&0&\theta &0\\0&-\theta &0&0\\\eta &0&0&0\end{bmatrix}}~.}$

Однопараметрическая подгруппа, которую это генерирует, получается путем замены η + i θ на любое действительное кратное этой комплексной константы. (Если η , θ изменяются независимо, то получается двумерная абелева подгруппа , состоящая из одновременных вращений вокруг оси z и ускорений вдоль оси z ; в отличие от этого, одномерная подгруппа, обсуждаемая здесь, состоит из тех элементов этой двумерной подгруппы, что скорость ускорения и угол вращения имеют фиксированное отношение .)

Соответствующие непрерывные преобразования небесной сферы (за исключением тождества) все имеют одни и те же две фиксированные точки (Северный и Южный полюса). Они перемещают все остальные точки от Южного полюса к Северному полюсу (или наоборот) вдоль семейства кривых, называемых локсодромами . Каждая локсодромия бесконечно часто закручивается по спирали вокруг каждого полюса.

Параболический

Параболический элемент SL(2, C ) — это

${\displaystyle P_{4}={\begin{bmatrix}1&\alpha \\0&1\end{bmatrix}}}$

и имеет единственную неподвижную точку ξ = ∞ на сфере Римана. При стереографической проекции она выглядит как обычный перенос вдоль действительной оси .

Спинорная карта преобразует это в матрицу (представляющую собой преобразование Лоренца)

${\displaystyle {\begin{aligned}Q_{4}&={\begin{bmatrix}1+{\frac {1}{2}}\vert \alpha \vert ^{2}&\operatorname {Re} (\alpha )&-\operatorname {Im} (\alpha )&-{\frac {1}{2}}\vert \alpha \vert ^{2}\\\operatorname {Re} (\alpha )&1&0&-\operatorname {Re} (\alpha )\\-\operatorname {Im} (\alpha )&0&1&\operatorname {Im} (\alpha )\\{\frac {1}{2}}\vert \alpha \vert ^{2}&\operatorname {Re} (\alpha )&-\operatorname {Im} (\alpha )&1-{\frac {1}{2}}\vert \alpha \vert ^{2}\end{bmatrix}}\\[6pt]&=\exp {\begin{bmatrix}0&\operatorname {Re} (\alpha )&-\operatorname {Im} (\alpha )&0\\\operatorname {Re} (\alpha )&0&0&-\operatorname {Re} (\alpha )\\-\operatorname {Im} (\alpha )&0&0&\operatorname {Im} (\alpha )\\0&\operatorname {Re} (\alpha )&-\operatorname {Im} (\alpha )&0\end{bmatrix}}~.\end{aligned}}}$

Это порождает двухпараметрическую абелеву подгруппу, которая получается, если рассматривать α как комплексную переменную, а не как константу. Соответствующие непрерывные преобразования небесной сферы (за исключением тождественного преобразования) перемещают точки по семейству окружностей, которые все касаются в Северном полюсе некоторой большой окружности . Все точки, кроме самого Северного полюса, перемещаются по этим окружностям.

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

Приведенная выше матрица дает преобразование

${\displaystyle {\begin{bmatrix}t\\x\\y\\z\end{bmatrix}}\rightarrow {\begin{bmatrix}t\\x\\y\\z\end{bmatrix}}+\operatorname {Re} (\alpha )\;{\begin{bmatrix}x\\t-z\\0\\x\end{bmatrix}}-\operatorname {Im} (\alpha )\;{\begin{bmatrix}y\\0\\z-t\\y\end{bmatrix}}+{\frac {\vert \alpha \vert ^{2}}{2}}\;{\begin{bmatrix}t-z\\0\\0\\t-z\end{bmatrix}}.}$

Теперь, не теряя общности, выберем Im( α ) = 0. Дифференцирование этого преобразования по теперь действительному групповому параметру α и оценка при α = 0 дает соответствующее векторное поле (линейный частный дифференциальный оператор первого порядка),

${\displaystyle x\,\left(\partial _{t}+\partial _{z}\right)+(t-z)\,\partial _{x}.}$

Применим это к функции f ( t , x , y , z ) и потребуем, чтобы она оставалась инвариантной; т. е. уничтожалась этим преобразованием. Решение полученного линейного уравнения в частных производных первого порядка можно выразить в виде

${\displaystyle f(t,x,y,z)=F\left(y,\,t-z,\,t^{2}-x^{2}-z^{2}\right),}$

где F — произвольная гладкая функция. Аргументы F дают три рациональных инварианта, описывающих, как точки (события) движутся при этом параболическом преобразовании, поскольку сами они не движутся,

${\displaystyle y=c_{1},~~~~t-z=c_{2},~~~~t^{2}-x^{2}-z^{2}=c_{3}.}$

Выбор действительных значений для констант в правых частях дает три условия и, таким образом, задает кривую в пространстве-времени Минковского. Эта кривая является орбитой преобразования.

Форма рациональных инвариантов показывает, что эти линии тока (орбиты) имеют простое описание: опуская несущественную координату y , каждая орбита является пересечением нулевой плоскости , t = z + c ₂ , с гиперболоидом , t ² − x ² − z ² = c ₃ . Случай c ₃ = 0 имеет гиперболоид, вырожденный в световой конус, причем орбиты становятся параболами, лежащими в соответствующих нулевых плоскостях.

Конкретная нулевая линия, лежащая на световом конусе, остается инвариантной ; это соответствует единственной (двойной) неподвижной точке на сфере Римана, упомянутой выше. Другие нулевые линии, проходящие через начало координат, «разворачиваются вокруг конуса» преобразованием. Отслеживание движения одной такой нулевой линии по мере увеличения α соответствует отслеживанию движения точки вдоль одной из круговых линий потока на небесной сфере, как описано выше.

Выбор Re( α ) = 0 вместо этого приводит к получению похожих орбит, но теперь роли x и y меняются местами.

Параболические преобразования приводят к калибровочной симметрии безмассовых частиц (таких как фотоны ) со спиральностью | h | ≥ 1. В приведенном выше явном примере безмассовая частица, движущаяся в направлении z , то есть с 4-импульсом P = ( p , 0, 0, p ) , вообще не подвержена влиянию комбинации x -усиления и y -вращения K _x − J _{y ,} определенной ниже, в «малой группе» ее движения. Это очевидно из обсуждаемого явного закона преобразования: как и любой светоподобный вектор, сам P теперь инвариантен; т. е. все следы или эффекты α исчезли. c ₁ = c ₂ = c ₃ = 0 , в обсуждаемом особом случае. (Другой аналогичный генератор, K _y + J _x , а также он и J _z составляют в целом малую группу светоподобного вектора, изоморфную E (2) .)

Действие лоренцевского усиления в направлении x на световой конус и «небесный круг» в пространстве-времени 1+2. После применения матрицы лоренцевского усиления ко всему пространству небесный круг должен быть восстановлен путем масштабирования каждой точки до t = 1 .

Вид ночного неба

Этот изоморфизм приводит к тому, что преобразования Мёбиуса сферы Римана отражают способ, которым преобразования Лоренца изменяют вид ночного неба, видимого наблюдателем, который движется с релятивистской скоростью относительно «неподвижных звезд».

Предположим, что «неподвижные звезды» живут в пространстве-времени Минковского и моделируются точками на небесной сфере. Тогда заданная точка на небесной сфере может быть связана с ξ = u + iv , комплексным числом, которое соответствует точке на сфере Римана , и может быть идентифицирована с нулевым вектором ( светоподобным вектором ) в пространстве Минковского

${\displaystyle {\begin{bmatrix}u^{2}+v^{2}+1\\2u\\-2v\\u^{2}+v^{2}-1\end{bmatrix}}}$

или, в представлении Вейля (спинорное отображение), эрмитова матрица

${\displaystyle N=2{\begin{bmatrix}u^{2}+v^{2}&u+iv\\u-iv&1\end{bmatrix}}.}$

Действие лоренцевского буста в отрицательном направлении z на пространственноподобную проекцию небесной сферы (в некотором выборе ортонормальной системы отсчета). Опять же, после того, как матрица лоренцевского буста применена ко всему пространству, небесная сфера должна быть восстановлена ​​путем масштабирования обратно к t = 1 или, что эквивалентно, | x | = 1 .

Набор действительных скалярных кратных этого нулевого вектора, называемый нулевой линией через начало координат, представляет собой линию визирования от наблюдателя в определенном месте и времени (произвольное событие, которое мы можем отождествить с началом пространства-времени Минковского) к различным удаленным объектам, таким как звезды. Затем точки небесной сферы (эквивалентно линии визирования) отождествляются с определенными эрмитовыми матрицами.

Проективная геометрия и различные виды 2-сферы

Эта картина возникает чисто на языке проективной геометрии. (Ограниченная) группа Лоренца действует на проективную небесную сферу . Это пространство ненулевых нулевых векторов с под заданным частным для проективных пространств: если для . Это называется небесной сферой, поскольку это позволяет нам перемасштабировать временную координату до 1 после действия с использованием преобразования Лоренца, гарантируя, что пространственноподобная часть находится на единичной сфере. ${\displaystyle t>0}$ ${\displaystyle (t,x,y,z)\sim (t',x',y',z')}$ ${\displaystyle (t',x',y',z')=(\lambda t,\lambda x,\lambda y,\lambda z)}$ ${\displaystyle \lambda >0}$ ${\displaystyle t}$

Со стороны Мёбиуса SL(2, C ) действует на комплексное проективное пространство C P ¹ , которое, как можно показать, диффеоморфно 2-сфере – ее иногда называют сферой Римана . Фактор по проективному пространству приводит к фактору по группе SL(2, C ) .

Наконец, эти два вектора можно связать вместе, используя комплексный проективный вектор для построения нулевого вектора. Если — проективный вектор C P ¹ , его можно тензорно умножить на его эрмитово сопряженный вектор, чтобы получить эрмитову матрицу. Из других мест в этой статье мы знаем, что это пространство матриц можно рассматривать как 4-векторы. Пространство матриц, получаемое путем превращения каждого проективного вектора в сфере Римана в матрицу, известно как сфера Блоха . ${\displaystyle \xi }$ ${\displaystyle 2\times 2}$

алгебра Ли

Как и в случае с любой группой Ли, полезным способом изучения многих аспектов группы Лоренца является ее алгебра Ли . Поскольку группа Лоренца SO(1, 3) является матричной группой Ли , ее соответствующая алгебра Ли является матричной алгеброй Ли, которая может быть вычислена как ^[5] ${\displaystyle {\mathfrak {so}}(1,3)}$

${\displaystyle {\mathfrak {so}}(1,3)=\left\{4\times 4\,\,\,\mathbf {R} {\text{-valued matrices}}\,X\mid e^{tX}\in \mathrm {SO} (1,3)\,\mathrm {for} \,\mathrm {all} \,t\right\}}$.

Если — диагональная матрица с диагональными элементами (1, −1, −1, −1) , то алгебра Ли состоит из матриц таких, что ^[6] ${\displaystyle \eta }$ ${\displaystyle {\mathfrak {o}}(1,3)}$ ${\displaystyle 4\times 4}$ ${\displaystyle X}$

${\displaystyle \eta X\eta =-X^{\textsf {T}}}$.

Явно состоит из матриц вида ${\displaystyle {\mathfrak {so}}(1,3)}$ ${\displaystyle 4\times 4}$

${\displaystyle {\begin{pmatrix}0&a&b&c\\a&0&d&e\\b&-d&0&f\\c&-e&-f&0\end{pmatrix}}}$,

где — произвольные действительные числа. Эта алгебра Ли шестимерна. Подалгебра , состоящая из элементов, в которых , , и равны нулю, изоморфна . ${\displaystyle a,b,c,d,e,f}$ ${\displaystyle {\mathfrak {so}}(1,3)}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle c}$ ${\displaystyle {\mathfrak {so}}(3)}$

Полная группа Лоренца O(1, 3) , собственная группа Лоренца SO(1, 3) и собственная ортохронная группа Лоренца SO ⁺ (1, 3) (компонента, связанная с единицей) имеют одну и ту же алгебру Ли, которая обычно обозначается ⁠ ⁠ ${\displaystyle {\mathfrak {so}}(1,3)}$ .

Поскольку единичный компонент группы Лоренца изоморфен конечному фактору SL(2, C ) (см. раздел выше о связи группы Лоренца с группой Мёбиуса), алгебра Ли группы Лоренца изоморфна алгебре Ли ⁠ ⁠ ${\displaystyle {\mathfrak {sl}}(2,\mathbf {C} )}$ . Как комплексная алгебра Ли является трехмерной, но является шестимерной, если рассматривать ее как действительную алгебру Ли. ${\displaystyle {\mathfrak {sl}}(2,\mathbf {C} )}$

Коммутационные соотношения алгебры Лоренца

Стандартные базисные матрицы могут быть проиндексированы как , где принимают значения в {0, 1, 2, 3} . Они возникают из-за того, что только один из них принимается равным единице, а другие равны нулю, в свою очередь. Компоненты могут быть записаны как ${\displaystyle M^{\mu \nu }}$ ${\displaystyle \mu ,\nu }$ ${\displaystyle a,b,\cdots ,f}$

${\displaystyle (M^{\mu \nu })_{\rho \sigma }=\delta ^{\mu }{}_{\rho }\delta ^{\nu }{}_{\sigma }-\delta ^{\nu }{}_{\rho }\delta ^{\mu }{}_{\sigma }}$.

Коммутационные соотношения следующие:

${\displaystyle [M^{\mu \nu },M^{\rho \sigma }]=M^{\mu \sigma }\eta ^{\nu \rho }-M^{\nu \sigma }\eta ^{\mu \rho }+M^{\nu \rho }\eta ^{\mu \sigma }-M^{\mu \rho }\eta ^{\nu \sigma }.}$

Существуют различные возможные варианты использования соглашения. В физике принято включать фактор с базисными элементами, что дает фактор в коммутационных соотношениях. ${\displaystyle i}$ ${\displaystyle i}$

Затем сгенерируйте усиления и вращения. ${\displaystyle M^{0i}}$ ${\displaystyle M^{ij}}$

Структурные константы для алгебры Лоренца можно вывести из коммутационных соотношений. Любой набор базисных элементов, удовлетворяющих этим соотношениям, образует представление алгебры Лоренца.

Генераторы ускорений и вращений

Группа Лоренца может рассматриваться как подгруппа группы диффеоморфизмов R ⁴ и, следовательно, ее алгебра Ли может быть отождествлена ​​с векторными полями на R ⁴ . В частности, векторы, которые генерируют изометрии на пространстве, являются его векторами Киллинга , что обеспечивает удобную альтернативу левоинвариантному векторному полю для вычисления алгебры Ли. Мы можем записать набор из шести генераторов :

• Векторные поля на R ^{4 ,} генерирующие три вращения i J ,

  ${\displaystyle -y\partial _{x}+x\partial _{y}\equiv iJ_{z}~,\qquad -z\partial _{y}+y\partial _{z}\equiv iJ_{x}~,\qquad -x\partial _{z}+z\partial _{x}\equiv iJ_{y}~;}$

• Векторные поля на R ⁴ генерируют три усиления i K ,

  ${\displaystyle x\partial _{t}+t\partial _{x}\equiv iK_{x}~,\qquad y\partial _{t}+t\partial _{y}\equiv iK_{y}~,\qquad z\partial _{t}+t\partial _{z}\equiv iK_{z}.}$

Множитель i , по-видимому, гарантирует, что генераторы вращений являются эрмитовыми.

Здесь может быть полезно кратко напомнить, как получить однопараметрическую группу из векторного поля , записанного в форме линейного частного дифференциального оператора первого порядка , например,

${\displaystyle {\mathcal {L}}=-y\partial _{x}+x\partial _{y}.}$

Соответствующая задача начального значения (рассмотрим функцию скаляра и решим ее с некоторыми начальными условиями) имеет вид ${\displaystyle r=(x,y)}$ ${\displaystyle \lambda }$ ${\displaystyle \partial _{\lambda }r={\mathcal {L}}r}$

${\displaystyle {\frac {\partial x}{\partial \lambda }}=-y,\;{\frac {\partial y}{\partial \lambda }}=x,\;x(0)=x_{0},\;y(0)=y_{0}.}$

Решение можно записать

${\displaystyle x(\lambda )=x_{0}\cos(\lambda )-y_{0}\sin(\lambda ),\;y(\lambda )=x_{0}\sin(\lambda )+y_{0}\cos(\lambda )}$

или

${\displaystyle {\begin{bmatrix}t\\x\\y\\z\end{bmatrix}}={\begin{bmatrix}1&0&0&0\\0&\cos(\lambda )&-\sin(\lambda )&0\\0&\sin(\lambda )&\cos(\lambda )&0\\0&0&0&1\end{bmatrix}}{\begin{bmatrix}t_{0}\\x_{0}\\y_{0}\\z_{0}\end{bmatrix}}}$

где мы легко распознаем однопараметрическую матричную группу вращений exp( iλJ _z ) вокруг оси z.

Дифференцируя по групповому параметру λ и устанавливая в этом результате λ = 0 , мы восстанавливаем стандартную матрицу,

${\displaystyle iJ_{z}={\begin{bmatrix}0&0&0&0\\0&0&-1&0\\0&1&0&0\\0&0&0&0\end{bmatrix}}~,}$

что соответствует векторному полю, с которого мы начали. Это иллюстрирует, как переходить между матричными и векторными представлениями элементов алгебры Ли. Экспоненциальное отображение играет эту особую роль не только для группы Лоренца, но и для групп Ли в целом.

Обращая процедуру, описанную в предыдущем разделе, мы видим, что преобразования Мёбиуса, соответствующие нашим шести генераторам, возникают из возведения в степень соответственно η /2 (для трех усилений) или iθ /2 (для трех вращений) трех матриц Паули .

${\displaystyle \sigma _{1}={\begin{bmatrix}0&1\\1&0\end{bmatrix}},\;\;\sigma _{2}={\begin{bmatrix}0&-i\\i&0\end{bmatrix}},\;\;\sigma _{3}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}.}$

Генераторы группы Мёбиуса

Другой набор генераторов возникает через изоморфизм к группе Мёбиуса. В следующей таблице перечислены шесть генераторов, в которых

• В первом столбце приведен генератор потока под действием Мёбиуса (после стереографической проекции со сферы Римана) как действительного векторного поля на евклидовой плоскости.
• Во втором столбце дана соответствующая однопараметрическая подгруппа преобразований Мёбиуса.
• В третьем столбце указана соответствующая однопараметрическая подгруппа преобразований Лоренца (образ при нашем гомоморфизме предыдущей однопараметрической подгруппы).
• В четвертом столбце приведен соответствующий генератор потока под действием Лоренца как действительное векторное поле в пространстве-времени Минковского.

Обратите внимание, что генераторы состоят из

• Две параболы (нулевые вращения)
• Один гиперболический (усиление в направлении) ${\displaystyle \partial _{z}}$
• Три эллипса (вращение вокруг осей x , y , z соответственно)

Рабочий пример: вращение вокруг оси Y

Начать с

${\displaystyle \sigma _{2}={\begin{bmatrix}0&i\\-i&0\end{bmatrix}}.}$

Возвести в степень:

${\displaystyle \exp \left({\frac {i\theta }{2}}\,\sigma _{2}\right)={\begin{bmatrix}\cos \left({\frac {\theta }{2}}\right)&-\sin \left({\frac {\theta }{2}}\right)\\\sin \left({\frac {\theta }{2}}\right)&\cos \left({\frac {\theta }{2}}\right)\end{bmatrix}}.}$

Этот элемент SL(2, C ) представляет собой однопараметрическую подгруппу (эллиптических) преобразований Мёбиуса:

${\displaystyle \xi \mapsto \xi '={\frac {\cos \left({\frac {\theta }{2}}\right)\,\xi -\sin \left({\frac {\theta }{2}}\right)}{\sin \left({\frac {\theta }{2}}\right)\,\xi +\cos \left({\frac {\theta }{2}}\right)}}.}$

Следующий,

${\displaystyle \left.{\frac {d\xi '}{d\theta }}\right|_{\theta =0}=-{\frac {1+\xi ^{2}}{2}}.}$

Соответствующее векторное поле на C (рассматриваемое как изображение S ² при стереографической проекции) равно

${\displaystyle -{\frac {1+\xi ^{2}}{2}}\,\partial _{\xi }.}$

Записывая , это становится векторным полем на R ² ${\displaystyle \xi =u+iv}$

${\displaystyle -{\frac {1+u^{2}-v^{2}}{2}}\,\partial _{u}-uv\,\partial _{v}.}$

Возвращаясь к нашему элементу SL(2, C ) , записывая действие и собирая члены, мы обнаруживаем, что изображение под спинорным отображением является элементом SO ⁺ (1, 3) ${\displaystyle X\mapsto PXP^{\dagger }}$

${\displaystyle {\begin{bmatrix}1&0&0&0\\0&\cos(\theta )&0&\sin(\theta )\\0&0&1&0\\0&-\sin(\theta )&0&\cos(\theta )\end{bmatrix}}.}$

Дифференцируя по θ при θ = 0 , получаем соответствующее векторное поле на R ^1,3 ,

${\displaystyle z\partial _{x}-x\partial _{z}.\,\!}$

Очевидно, это генератор вращения против часовой стрелки вокруг оси Y.

Подгруппы группы Лоренца

Подалгебры алгебры Ли группы Лоренца можно перечислить с точностью до сопряженности, из которых можно вывести замкнутые подгруппы ограниченной группы Лоренца с точностью до сопряженности. (Подробности см. в книге Холла, цитируемой ниже.) Их можно легко выразить через генераторы, приведенные в таблице выше. ${\displaystyle X_{n}}$

Одномерные подалгебры, конечно, соответствуют четырем классам сопряженности элементов группы Лоренца:

• ${\displaystyle X_{1}}$генерирует однопараметрическую подалгебру парабол SO(0, 1) ,
• ${\displaystyle X_{3}}$генерирует однопараметрическую подалгебру улучшений SO(1, 1) ,
• ${\displaystyle X_{4}}$генерирует однопараметрический поворот SO(2) ,
• ${\displaystyle X_{3}+aX_{4}}$(для любого ) порождает однопараметрическую подалгебру локсодромических преобразований. ${\displaystyle a\neq 0}$

(Строго говоря, последнее соответствует бесконечному числу классов, поскольку различные дают разные классы.) Двумерные подалгебры таковы: ${\displaystyle a}$

• ${\displaystyle X_{1},X_{2}}$генерирует абелеву подалгебру, состоящую исключительно из параболиков,
• ${\displaystyle X_{1},X_{3}}$порождают неабелеву подалгебру, изоморфную алгебре Ли аффинной группы Aff(1) ,
• ${\displaystyle X_{3},X_{4}}$генерируют абелеву подалгебру, состоящую из бустов, вращений и локсодромий, имеющих одну и ту же пару неподвижных точек.

Трехмерные подалгебры используют схему классификации Бианки :

• ${\displaystyle X_{1},X_{2},X_{3}}$порождают подалгебру Бьянки V , изоморфную алгебре Ли Hom(2) , группе евклидовых гомотетий ,
• ${\displaystyle X_{1},X_{2},X_{4}}$порождают подалгебру Бьянки VII ₀ , изоморфную алгебре Ли E (2) , евклидовой группе ,
• ${\displaystyle X_{1},X_{2},X_{3}+aX_{4}}$, где , порождают _{подалгебру} Бьянки VII , ${\displaystyle a\neq 0}$
• ${\displaystyle X_{1},X_{3},X_{5}}$порождают подалгебру Бьянки VIII , изоморфную алгебре Ли SL(2, R ) , группе изометрий гиперболической плоскости ,
• ${\displaystyle X_{4},X_{5},X_{6}}$генерируют подалгебру Бьянки IX , изоморфную алгебре Ли SO(3) , группе вращений.

Типы Бьянки относятся к классификации трехмерных алгебр Ли итальянского математика Луиджи Бьянки .

Четырехмерные подалгебры все сопряжены

• ${\displaystyle X_{1},X_{2},X_{3},X_{4}}$порождают подалгебру, изоморфную алгебре Ли Sim(2) , группе евклидовых подобий .

Подалгебры образуют решетку (см. рисунок), и каждая подалгебра порождает путем возведения в степень замкнутую подгруппу ограниченной группы Ли. Из них можно построить все подгруппы группы Лоренца с точностью до сопряжения путем умножения на один из элементов четверной группы Клейна.

Решетка подалгебр алгебры Ли SO(1, 3) с точностью до сопряженности.

Как и в случае любой связной группы Ли, пространства смежных классов замкнутых подгрупп ограниченной группы Лоренца, или однородные пространства , представляют значительный математический интерес. Несколько кратких описаний:

• Группа Sim(2) является стабилизатором нулевой линии , т. е. точки на сфере Римана, поэтому однородное пространство SO ⁺ (1, 3) / Sim(2) является геометрией Клейна , которая представляет конформную геометрию на сфере S ² .
• (Единичный компонент) евклидовой группы SE(2) является стабилизатором нулевого вектора , поэтому однородное пространство SO ⁺ (1, 3) / SE(2) является импульсным пространством безмассовой частицы; геометрически эта клейнова геометрия представляет собой вырожденную геометрию светового конуса в пространстве-времени Минковского.
• Группа вращений SO(3) является стабилизатором времениподобного вектора , поэтому однородное пространство SO ⁺ (1, 3) / SO(3) является импульсным пространством массивной частицы; геометрически это пространство есть не что иное, как трехмерное гиперболическое пространство H ³ .

Обобщение на более высокие измерения

Концепция группы Лоренца имеет естественное обобщение на пространство-время любого числа измерений. Математически группа Лоренца ( n + 1)-мерного пространства Минковского является неопределенной ортогональной группой O( n , 1) линейных преобразований Rn ^{+ 1} , которая сохраняет квадратичную форму

${\displaystyle (x_{1},x_{2},\ldots ,x_{n},x_{n+1})\mapsto x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}-x_{n+1}^{2}.}$

Группа O(1, n ) сохраняет квадратичную форму

${\displaystyle (x_{1},x_{2},\ldots ,x_{n},x_{n+1})\mapsto x_{1}^{2}-x_{2}^{2}-\cdots -x_{n+1}^{2}}$

O(1, n ) изоморфна O( n , 1) , и обе формы представления группы Лоренца используются в сообществе теоретической физики. Первая форма более распространена в литературе, связанной с гравитацией, тогда как вторая форма более распространена в литературе по физике элементарных частиц.

Распространенное обозначение для векторного пространства R ^{n +1} , снабженного этим выбором квадратичной формы, — R ^{1, n} .

Многие свойства группы Лоренца в четырех измерениях (где n = 3 ) напрямую обобщаются на произвольные n . Например, группа Лоренца O( n , 1) имеет четыре связные компоненты и действует посредством конформных преобразований на небесной ( n − 1) -сфере в ( n + 1) -мерном пространстве Минковского. Компонент тождества SO ⁺ ( n , 1) является SO( n ) -расслоением над гиперболическим n -пространством H ⁿ .

Низкоразмерные случаи n = 1 и n = 2 часто полезны как «игрушечные модели» для физического случая n = 3 , в то время как группы Лоренца более высокой размерности используются в физических теориях, таких как теория струн , которые постулируют существование скрытых измерений. Группа Лоренца O( n , 1) также является группой изометрий n -мерного пространства де Ситтера dS _n , которое может быть реализовано как однородное пространство O( n , 1) / O( n − 1, 1) . В частности, O(4, 1) является группой изометрий вселенной де Ситтера dS ₄ , космологической модели.

Смотрите также

• преобразование Лоренца
• Теория представления группы Лоренца
• Группа Пуанкаре
• Группа Мёбиуса
• пространство Минковского
• Бикватернионы
• Неопределенная ортогональная группа
• Кватернионы и пространственное вращение
• Специальная теория относительности
• Симметрия в квантовой механике

Примечания

1. Обратите внимание, что некоторые авторы ссылаются на SO(1, 3) или даже O(1, 3), когда имеют в виду SO ⁺ (1, 3) .
2. См. статью Уравнение Вейля для явных выводов.

Ссылки

1. Вайнберг 2002
2. Варичак В 1910 "Теория относительности и геометрия Лобачевского", Phys Z 1910 §3 "Преобразование Лоренца-Эйнштейна как перевод". Engl.tr в Википедии
3. Гельфанд, Минлос и Шапиро 1963
4. Вигнер 1939
5. Холл 2015 Определение 3.18
6. Холл 2015 Предложение 3.25

Список для чтения

• Эмиль Артин (1957) Геометрическая алгебра, глава III: Симплектическая и ортогональная геометрия через интернет-архив , охватывает ортогональные группы O( p , q )
• Кармели, Моше (1977). Теория групп и общая теория относительности, представления группы Лоренца и их приложения к гравитационному полю . McGraw-Hill, Нью-Йорк. ISBN 978-0-07-009986-9.Каноническая ссылка; см. главы 1–6 для ознакомления с представлениями группы Лоренца.
• Франкель, Теодор (2004). Геометрия физики (2-е изд.) . Кембридж: Cambridge University Press. ISBN 978-0-521-53927-2. Превосходный ресурс по теории Ли, расслоениям волокон, спинорным покрытиям и многим другим темам.
• Фултон, Уильям ; Харрис, Джо (1991). Теория представлений. Первый курс . Graduate Texts in Mathematics , Readings in Mathematics. Том 129. Нью-Йорк: Springer-Verlag. doi :10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR  1153249. OCLC  246650103. См. лекцию 11 о неприводимых представлениях SL(2, C ) .
• Гельфанд, И.М.; Минлос , Р.А .; Шапиро, З.Я. (1963), Представления групп вращения и Лоренца и их приложения , Нью-Йорк: Pergamon Press
• Холл, Брайан С. (2015), Группы Ли, алгебры Ли и представления: элементарное введение , Graduate Texts in Mathematics, т. 222 (2-е изд.), Springer, ISBN 978-3319134666
• Холл, Г.С. (2004). Симметрии и структура кривизны в общей теории относительности . Сингапур: World Scientific. ISBN 978-981-02-1051-9. Подалгебры алгебры Ли группы Лоренца см. в главе 6 .
• Хэтчер, Аллен (2002). Алгебраическая топология . Кембридж: Cambridge University Press. ISBN 978-0-521-79540-1. См. также "онлайн-версию" . Получено 3 июля 2005 г. См. Раздел 1.3 для прекрасно иллюстрированного обсуждения накрывающих пространств. См. Раздел 3D для топологии групп вращения.
• Мизнер, Чарльз ; Торн, Кип С.; Уиллер , Джон (1973). Гравитация . WH Freeman and Company . ISBN 978-0-7167-0344-0.§41.3
• Набер, Грегори (1992). Геометрия пространства-времени Минковского . Нью-Йорк: Springer-Verlag. ISBN 978-0486432359.(Переиздание Dover.) Превосходный справочник по пространству-времени Минковского и группе Лоренца.
• Нидхэм, Тристан (1997). Визуальный комплексный анализ . Оксфорд: Oxford University Press. ISBN 978-0-19-853446-4. Превосходно иллюстрированное обсуждение преобразований Мёбиуса см. в Главе 3 .
• Вайнберг, С. (2002), Квантовая теория полей , т. 1, Cambridge University Press , ISBN 978-0-521-55001-7
• Вигнер, Э. П. (1939), «Об унитарных представлениях неоднородной группы Лоренца», Annals of Mathematics , 40 (1): 149–204, Bibcode : 1939AnMat..40..149W, doi : 10.2307/1968551, JSTOR  1968551, MR  1503456, S2CID  121773411