Група Пуанкаре

Група (математика)
Теорія груп
Основні поняття Підгрупа Нормальна підгрупа Факторгрупа (напів-)Прямий добуток
Алгебричні властивості Комутативна група Циклічна група Впорядкована група Група перетворень Розв'язна група
Скінченні групи Класифікація простих скінченних груп Скінченна циклічна група Cp Скінченна p-група Теорема Лагранжа Теореми Силова Симетрична група Sn Діедральна група Dn Знакозмінна група An 4-група Клейна Групи Матьйо M11 • M12 • M22 • M23 • M24 Групы Конвея Co1 • Co2 • Co3 Групы Янко J1 • J2 • J3 • J4 Групы Фішера F22 • F23 • F24 Монстр (М)
Топологічні групи Група Лі Ортогональна група O(n) Спеціальна унітарна група SU(n) G₂ F₄ E₆ E₇ E₈ Група Лоренца Група Пуанкаре

Група Пуанкаре, Неоднорідна група Лоренца - група, що об'єднує групу Лоренца (однорідну) та групу трансляцій. Відповідно, для 4-простору-часу група - 10-параметрична:

$\ x^{\alpha }{'}=a^{\alpha }+\Lambda _{\beta }^{\alpha }x^{\beta }$.

Інваріантом групи є величина (трансляційно інваріантна, на відміну від інваріанта групи Лоренца)

$\ c^{2}(t_{1}-t_{2})^{2}-(\mathbf {r} _{1}-\mathbf {r} _{2})^{2}={\text{inv}}$.

Група названа на честь Анрі Пуанкаре.

Генератори та алгебра групи

Перетворення можна записати у матричному вигляді фіктивного 5-вимірного простору-часу:

$\ {\begin{pmatrix}t'\\x'\\y'\\z'\\1\end{pmatrix}}={\begin{pmatrix}\Lambda _{0}^{0}&\Lambda _{1}^{0}&\Lambda _{2}^{0}&\Lambda _{3}^{0}&a^{0}\\\Lambda _{0}^{1}&\Lambda _{1}^{1}&\Lambda _{2}^{1}&\Lambda _{3}^{1}&a^{1}\\\Lambda _{0}^{2}&\Lambda _{1}^{2}&\Lambda _{2}^{2}&\Lambda _{3}^{2}&a^{2}\\\Lambda _{0}^{3}&\Lambda _{1}^{3}&\Lambda _{2}^{3}&\Lambda _{3}^{3}&a^{3}\\0&0&0&0&1\end{pmatrix}}{\begin{pmatrix}t\\x\\y\\z\\1\end{pmatrix}}$.

Якщо використати операторний формалізм, що пов'язує інфінітезимальні оператори з генераторами виразом $\ {\hat {\mathbf {Y} }}_{i}=-({\hat {\mathbf {X} }}_{i})_{\alpha \beta }x_{\beta }\partial _{\alpha }$, то при використанні генераторів 3-поворотів та лоренцевських бустів утворюється шість наступних операторів:

$\ {\hat {L}}_{x}=-({\hat {\mathbf {L} }}_{x})_{01}x_{1}\partial _{0}-({\hat {\mathbf {L} }}_{x})_{10}x_{0}\partial _{1}={\frac {1}{c}}x\partial _{t}+ct\partial _{x},\quad {\hat {L}}_{y}=ct\partial _{y}+{\frac {1}{c}}y\partial _{t},\quad {\hat {L}}_{z}=ct\partial _{z}+{\frac {1}{c}}z\partial _{t}$,

$\ {\hat {R}}_{x}=y\partial _{z}-z\partial _{y},\quad {\hat {R}}_{y}=z\partial _{x}-x\partial _{z},\quad {\hat {R}}_{z}=x\partial _{y}-y\partial _{x}$.

Далі, оператор інфінітезимального перетворення, що відповідає генератору трансляцій $\ x^{\alpha }{'}=x^{\alpha }+a^{\alpha }=f_{\alpha }$, має вигляд (множник $\ i$ введений для ермітовості оператора)

$\ {\hat {P}}_{\alpha }=i{\frac {\partial f_{\alpha }}{\partial a^{\beta }}}\partial _{\beta }=i\delta _{\alpha \beta }\partial _{\beta }=i\partial _{\alpha }$.

Із структури операторів видно, що вони утворюють компоненти антисиметричного 4-тензора

$\ {\hat {J}}_{\alpha \beta }=i(x_{\alpha }\partial _{\beta }-x_{\beta }\partial _{\alpha })=x_{\alpha }{\hat {P}}_{\beta }-x_{\beta }{\hat {P}}_{\alpha }={\begin{pmatrix}0&{\hat {L}}_{x}&{\hat {L}}_{y}&{\hat {L}}_{z}\\-{\hat {L}}_{x}&0&-{\hat {R}}_{z}&{\hat {R}}_{y}\\-{\hat {L}}_{y}&{\hat {R}}_{z}&0&-{\hat {R}}_{x}\\-{\hat {L}}_{z}&-{\hat {R}}_{y}&{\hat {R}}_{x}&0\end{pmatrix}}$,

де враховано, що 4-радіус-вектор - контраваріантний, а 4-вектор похідної - коваріантний.

Тепер можна перейти до алгебри групи Пуанкаре. Генераторами алгебри є, таким чином, оператори $\ {\hat {J}}_{\alpha \beta },{\hat {\mathbf {P} }}$. Отже, алгебра Пуанкаре - алгебра виду

$\ [{\hat {P}}_{\alpha },{\hat {P}}_{\beta }]=0,\quad [{\hat {P}}_{\alpha },{\hat {J}}_{\beta \gamma }]=i(g_{\alpha \beta }{\hat {P}}_{\gamma }-g_{\alpha \gamma }{\hat {P}}_{\beta }),\quad [{\hat {J}}_{\alpha \beta },{\hat {J}}_{\gamma \delta }]=i\left(-g_{\alpha \delta }{\hat {J}}_{\gamma \beta }+g_{\beta \gamma }{\hat {J}}_{\alpha \delta }+g_{\alpha \gamma }{\hat {J}}_{\delta \beta }-g_{\beta \delta }{\hat {J}}_{\alpha \gamma }\right)$.

Доведення.  

$\ [{\hat {P}}_{\alpha },{\hat {P}}_{\beta }]F=0$,

в силу комутативності похідних.

$\ [{\hat {P}}_{\alpha },{\hat {J}}_{\beta \gamma }]F=-[\partial _{\alpha },(x_{\beta }\partial _{\gamma }-x_{\gamma }\partial _{\beta })]F=-(\partial _{\alpha }(x_{\beta }\partial _{\gamma }-x_{\gamma }\partial _{\beta })-(x^{\beta }\partial _{\gamma }-x^{\gamma }\partial _{\beta })\partial _{\alpha })F=|\partial _{\alpha }x_{\beta }=g_{\alpha \beta }|=$

$\ =-(g_{\alpha \beta }\partial _{\gamma }+x_{\beta }\partial _{\alpha }\partial _{\gamma }-g_{\alpha \gamma }\partial _{\beta }-x_{\gamma }\partial _{\alpha }\partial _{\beta }-x_{\beta }\partial _{\gamma }\partial _{\alpha }-x_{\gamma }\partial _{\beta }\partial _{\alpha })F=i^{2}(g_{\alpha \beta }\partial _{\gamma }-g_{\alpha \gamma }\partial _{\beta })=i(g_{\alpha \beta }{\hat {P}}_{\gamma }-g_{\alpha \gamma }{\hat {P}}_{\beta })$.

Далі, враховуючи комутатор

$\ [x_{\alpha },{\hat {P}}_{\beta }]F=i(x_{\alpha }\partial _{\beta }-\partial _{\beta }x_{\alpha })F=-ig_{\alpha \beta }F$,

можна отримати

$\ [{\hat {J}}_{\alpha \beta },{\hat {J}}_{\gamma \delta }]F=[(x_{\alpha }{\hat {P}}_{\beta }-x_{\beta }{\hat {P}}_{\alpha }),(x_{\gamma }{\hat {P}}_{\delta }-x_{\delta }{\hat {P}}_{\gamma })]F=$

$\ =\left(x_{\gamma }[x_{\alpha },{\hat {P}}_{\delta }]{\hat {P}}_{\beta }+x_{\alpha }[{\hat {P}}_{\beta },x_{\gamma }]{\hat {P}}_{\delta }-x_{\delta }[x_{\alpha },{\hat {P}}_{\gamma }]{\hat {P}}_{\beta }-x_{\alpha }[{\hat {P}}_{\beta },x_{\delta }]{\hat {P}}_{\gamma }-x_{\gamma }[x_{\beta },{\hat {P}}_{\delta }]{\hat {P}}_{\alpha }-x_{\beta }[{\hat {P}}_{\alpha },x_{\gamma }]{\hat {P}}_{\delta }+x_{\delta }[x_{\beta },{\hat {P}}_{\gamma }]{\hat {P}}_{\alpha }+x_{\beta }[{\hat {P}}_{\alpha },x_{\delta }]{\hat {P}}_{\gamma }\right)F=$

$\ =i\left(x_{\gamma }g_{\alpha \delta }{\hat {P}}_{\beta }+x_{\alpha }g_{\gamma \beta }{\hat {P}}_{\delta }+x_{\delta }g_{\alpha \gamma }{\hat {P}}_{\beta }-x_{\alpha }g_{\beta \delta }{\hat {P}}_{\gamma }+x_{\gamma }g_{\beta \delta }{\hat {P}}_{\alpha }-x_{\beta }g_{\alpha \gamma }{\hat {P}}_{\delta }-x_{\delta }g_{\gamma \beta }{\hat {P}}_{\alpha }+x_{\beta }g_{\alpha \delta }{\hat {P}}_{\gamma }\right)F=$

$\ =i\left(-g_{\alpha \delta }{\hat {J}}_{\gamma \beta }+g_{\beta \gamma }{\hat {J}}_{\alpha \delta }+g_{\alpha \gamma }{\hat {J}}_{\delta \beta }-g_{\beta \delta }{\hat {J}}_{\alpha \gamma }\right)F$,

де знаки (а отже - і порядок індексів у тензорі $\ {\hat {J}}_{\mu \nu }$) обрані довільно.

Оператори Казиміра групи. Загальні властивості алгебри

Тепер можна знайти оператори Казиміра. Один із них - тривіальний і є квадратом 4-імпульсу $\ {\hat {P}}^{\alpha }{\hat {P}}_{\alpha }$: дійсно,

$\ [{\hat {P}}_{\alpha },{\hat {P}}_{\beta }{\hat {P}}^{\beta }]=2[{\hat {P}}_{\alpha },{\hat {P}}_{\beta }]{\hat {P}}^{\beta }=0$,

$\ [{\hat {J}}_{\alpha \beta },{\hat {P}}_{\gamma }{\hat {P}}^{\gamma }]=2[x_{\alpha },{\hat {P}}_{\gamma }]{\hat {P}}^{\gamma }{\hat {P}}_{\beta }-2[x_{\beta },{\hat {P}}_{\gamma }]{\hat {P}}^{\gamma }{\hat {P}}_{\alpha }=-2i(g_{\alpha \gamma }{\hat {P}}^{\gamma }{\hat {P}}_{\beta }-g_{\gamma \beta }{\hat {P}}^{\gamma }{\hat {P}}_{\alpha })=0$.

Для знаходження іншого можна ввести оператор Паулі-Любанського:

$\ {\hat {W}}^{\alpha }={\frac {1}{2}}\varepsilon ^{\alpha \beta \gamma \delta }{\hat {J}}_{\beta \gamma }{\hat {P}}_{\delta }$.

громіздкі викладки дозволяють отримати

$\ [{\hat {W}}_{\beta },{\hat {P}}_{\alpha }]=0,\quad [{\hat {W}}_{\mu },{\hat {J}}_{\kappa \lambda }]=i\left({\hat {W}}_{\lambda }g_{\mu \kappa }-{\hat {W}}_{\kappa }g_{\mu \lambda }\right),\quad [{\hat {W}}_{\alpha },{\hat {W}}_{\kappa }]=i\varepsilon _{\alpha \beta \kappa \delta }{\hat {W}}^{\beta }{\hat {P}}^{\delta }$,

$\ {\hat {W}}_{\lambda }{\hat {W}}^{\lambda }={\hat {N}}_{\alpha }{\hat {N}}^{\alpha }-{\frac {1}{2}}{\hat {P}}_{\gamma }{\hat {P}}^{\gamma }{\hat {J}}_{\alpha \beta }{\hat {J}}^{\alpha \beta },\quad [{\hat {J}}_{\alpha \beta },{\hat {W}}_{\lambda }{\hat {W}}^{\lambda }]=0,\quad [{\hat {P}}_{\alpha },{\hat {W}}_{\lambda }{\hat {W}}^{\lambda }]=0$.

Доведення.  

Комутаційні співвідношення для оператора.

Просто показати нульову рівність комутатора $\ [{\hat {P}}_{\alpha },{\hat {W}}_{\beta }]$:

$\ [{\hat {P}}_{\alpha },{\hat {W}}_{\beta }]={\frac {1}{2}}\varepsilon _{\beta \gamma \delta \epsilon }[{\hat {P}}_{\alpha },{\hat {J}}^{\gamma \delta }]{\hat {P}}^{\epsilon }={\frac {i}{2}}\varepsilon _{\beta \gamma \delta \epsilon }\left(\delta _{\alpha }^{\gamma }{\hat {P}}^{\delta }-\delta _{\alpha }^{\delta }{\hat {P}}^{\gamma }\right){\hat {P}}^{\epsilon }=0$,

як результат згортки симетричного тензора $\ {\hat {P}}^{\mu }{\hat {P}}^{\nu }$ із антисиметричним $\ \varepsilon _{\alpha \beta \mu \nu }$.

Для знаходження комутатора $\ [{\hat {J}}_{ij},{\hat {W}}_{\alpha }]$ можна використати ортогональність $\ {\hat {P}}_{\mu },{\hat {W}}^{\mu }$: дійсно,

$\ {\hat {W}}^{\mu }{\hat {P}}_{\mu }={\frac {1}{2}}\varepsilon ^{\mu \alpha \beta \gamma }{\hat {J}}_{\alpha \beta }{\hat {P}}_{\gamma }{\hat {P}}_{\mu }=0$.

Тому комутатор $\ [{\hat {J}}_{\kappa \lambda },{\hat {W}}^{\mu }{\hat {P}}_{\mu }]$ тотожньо рівний нулю. З іншого боку, якщо його розписати, то можна отримати

$\ 0=[{\hat {J}}_{\kappa \lambda },{\hat {W}}^{\mu }{\hat {P}}_{\mu }]={\hat {W}}^{\mu }[{\hat {J}}_{\kappa \lambda },{\hat {P}}_{\mu }]+[{\hat {J}}_{\kappa \lambda },{\hat {W}}^{\mu }]{\hat {P}}_{\mu }=-i{\hat {W}}^{\mu }(g_{\mu \kappa }{\hat {P}}_{\lambda }-g_{\mu \lambda }{\hat {P}}_{\kappa })+[{\hat {J}}_{\kappa \lambda },{\hat {W}}^{\mu }]{\hat {P}}_{\mu }\Rightarrow [{\hat {J}}_{\kappa \lambda },{\hat {W}}^{\mu }]{\hat {P}}_{\mu }=i{\hat {W}}^{\mu }(g_{\mu \kappa }{\hat {P}}_{\lambda }-g_{\mu \lambda }{\hat {P}}_{\kappa })$,

або, згортаючи із символами Кронекера, $\ \delta _{0}^{0}=1,\delta _{i}^{i}=-1$,

$\ [{\hat {J}}_{\kappa \lambda },{\hat {W}}^{\mu }]{\hat {P}}_{\mu }=i{\hat {W}}^{\mu }(g_{\mu \kappa }{\hat {P}}_{\lambda }-g_{\mu \lambda }{\hat {P}}_{\kappa })=i({\hat {W}}_{\kappa }{\hat {P}}_{\lambda }-{\hat {W}}_{\lambda }{\hat {P}}_{\kappa })=i\left({\hat {W}}_{\kappa }\delta _{\lambda }^{\mu }-{\hat {W}}_{\lambda }\delta _{\kappa }^{\mu }\right){\hat {P}}_{\mu }\Rightarrow [{\hat {W}}_{\mu },{\hat {J}}_{\kappa \lambda }]=i\left({\hat {W}}_{\lambda }g_{\mu \kappa }-{\hat {W}}_{\kappa }g_{\mu \lambda }\right)$.

Нарешті, якщо використати ці два комутатори, можна отримати

$\ [{\hat {W}}^{\alpha },{\hat {W}}^{\kappa }]={\frac {1}{2}}\varepsilon ^{\alpha \beta \gamma \delta }[{\hat {J}}_{\beta \gamma },{\hat {W}}^{\kappa }]{\hat {P}}_{\delta }={\frac {i}{2}}\varepsilon ^{\alpha \beta \gamma \delta }\left(\delta _{\gamma }^{\kappa }{\hat {W}}_{\beta }-\delta _{\beta }^{\kappa }{\hat {W}}_{\gamma }\right){\hat {P}}_{\delta }={\frac {i}{2}}\varepsilon ^{\alpha \beta \kappa \delta }{\hat {W}}_{\beta }{\hat {P}}_{\delta }-{\frac {i}{2}}\varepsilon ^{\alpha \kappa \gamma \delta }{\hat {W}}_{\gamma }{\hat {P}}_{\delta }=i\varepsilon ^{\alpha \beta \kappa \delta }{\hat {W}}_{\beta }{\hat {P}}_{\delta }$.

Квадрат оператора.

Використовуючи рівність

$\ \varepsilon _{\alpha \beta \gamma \lambda }\varepsilon ^{\lambda \mu \nu \sigma }=\delta _{\alpha }^{\mu }\varepsilon _{\beta \gamma }^{\nu \sigma }+\delta _{\gamma }^{\mu }\varepsilon _{\alpha \beta }^{\nu \sigma }+\delta _{\beta }^{\mu }\varepsilon _{\gamma \alpha }^{\nu \sigma }$,

а також - умову антисиметричності тензору спіну $\ {\hat {S}}_{\alpha \beta }$ (в силу однаковості алгебр $\ {\hat {S}}_{\alpha \beta }$ і $\ i(x_{\alpha }{\hat {P}}_{\beta }-x_{\beta }{\hat {P}}_{\alpha })$), вираз для квадрату оператора Паулі-Любанського можна переписати як

$\ {\hat {W}}_{\lambda }{\hat {W}}^{\lambda }={\frac {1}{4}}\varepsilon _{\lambda \alpha \beta \gamma }{\hat {J}}^{\alpha \beta }{\hat {P}}^{\gamma }\varepsilon ^{\lambda \mu \nu \sigma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }=-{\frac {1}{4}}\varepsilon _{\alpha \beta \gamma \lambda }\varepsilon ^{\lambda \mu \nu \sigma }{\hat {J}}^{\alpha \beta }{\hat {P}}^{\gamma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }=-{\frac {1}{4}}\left(\delta _{\alpha }^{\mu }\varepsilon _{\beta \gamma }^{\nu \sigma }+\delta _{\gamma }^{\mu }\varepsilon _{\alpha \beta }^{\nu \sigma }+\delta _{\beta }^{\mu }\varepsilon _{\gamma \alpha }^{\nu \sigma }\right){\hat {J}}^{\alpha \beta }{\hat {P}}^{\gamma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }=$

$\ =-{\frac {1}{4}}\left(\delta _{\alpha }^{\mu }\delta _{\beta }^{\nu }\delta _{\gamma }^{\sigma }-\delta _{\alpha }^{\mu }\delta _{\gamma }^{\nu }\delta _{\beta }^{\sigma }+\delta _{\gamma }^{\mu }\delta _{\alpha }^{\nu }\delta _{\beta }^{\sigma }-\delta _{\gamma }^{\mu }\delta _{\beta }^{\nu }\delta _{\alpha }^{\sigma }+\delta _{\beta }^{\mu }\delta _{\gamma }^{\nu }\delta _{\alpha }^{\sigma }-\delta _{\beta }^{\mu }\delta _{\alpha }^{\nu }\delta _{\gamma }^{\sigma }\right){\hat {J}}^{\alpha \beta }{\hat {P}}^{\gamma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }=$

$\ =-{\frac {1}{4}}\left({\hat {J}}^{\mu \nu }{\hat {P}}^{\sigma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }-{\hat {J}}^{\mu \sigma }{\hat {P}}^{\gamma }{\hat {J}}_{\mu \gamma }{\hat {P}}_{\sigma }+{\hat {J}}^{\nu \sigma }{\hat {P}}^{\mu }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }-{\hat {J}}^{\sigma \nu }{\hat {P}}^{\mu }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }+{\hat {J}}^{\sigma \mu }{\hat {P}}^{\nu }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }-{\hat {J}}^{\nu \mu }{\hat {P}}^{\sigma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }\right)=$

$\ ={\hat {J}}^{\mu \sigma }{\hat {P}}^{\gamma }{\hat {J}}_{\mu \gamma }{\hat {P}}_{\sigma }-{\frac {1}{2}}{\hat {J}}^{\mu \nu }{\hat {P}}^{\sigma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }={\hat {J}}^{\mu \sigma }{\hat {P}}_{\sigma }{\hat {J}}_{\mu \gamma }{\hat {P}}^{\gamma }-{\frac {1}{2}}{\hat {P}}_{\sigma }{\hat {P}}^{\sigma }{\hat {J}}_{\mu \nu }{\hat {J}}^{\mu \nu }={\hat {N}}^{\mu }{\hat {N}}_{\mu }-{\frac {1}{2}}{\hat {P}}^{\sigma }{\hat {P}}_{\sigma }{\hat {J}}^{\mu \nu }{\hat {J}}_{\mu \nu }$,

де $\ {\hat {N}}^{\mu }={\hat {J}}^{\mu \sigma }{\hat {P}}_{\sigma }$, а перехід до передостанньої рівності зроблений за допомогою комутаційних співвідношень групи Пуанкаре: для першого доданку

$\ {\hat {J}}^{\mu \sigma }{\hat {P}}^{\gamma }{\hat {J}}_{\mu \gamma }{\hat {P}}_{\sigma }={\hat {J}}^{\mu \sigma }{\hat {P}}^{\gamma }{\hat {P}}_{\sigma }{\hat {J}}_{\mu \gamma }-i{\hat {J}}^{\mu \sigma }{\hat {P}}^{\gamma }(g_{\sigma \mu }{\hat {P}}_{\gamma }-g_{\sigma \gamma }{\hat {P}}{\mu })={\hat {N}}^{\mu }{\hat {N}}_{\mu }+i{\hat {J}}^{\mu \sigma }{\hat {P}}_{\sigma }(\delta _{\mu }^{\gamma }{\hat {P}}_{\gamma }-\delta _{\gamma }^{\gamma }{\hat {P}}_{\mu })-i{\hat {J}}^{\mu \sigma }{\hat {P}}^{\gamma }(g_{\sigma \mu }{\hat {P}}_{\gamma }-g_{\sigma \gamma }{\hat {P}}{\mu })={\hat {N}}^{\mu }{\hat {N}}_{\mu }$

(другий-п'ятий доданки зникають через згортку симетричного тензора $\ {\hat {P}}_{\mu }{\hat {P}}_{\gamma }$ із антисиметричним тензором $\ {\hat {J}}^{\mu \gamma }$,

для другого доданку (із використанням першого оператора Казиміра) -

$\ {\hat {J}}^{\mu \nu }{\hat {P}}^{\sigma }{\hat {J}}_{\mu \nu }{\hat {P}}_{\sigma }={\hat {J}}^{\mu \nu }{\hat {P}}^{\sigma }{\hat {P}}_{\sigma }{\hat {J}}_{\mu \nu }-i{\hat {J}}^{\mu \nu }{\hat {P}}^{\sigma }(g_{\sigma \mu }{\hat {P}}_{\nu }-g_{\sigma \nu }{\hat {P}}_{\mu })={\hat {P}}^{\sigma }{\hat {P}}_{\sigma }{\hat {J}}^{\mu \nu }{\hat {J}}_{\mu \nu }$.

Комутатор цього оператора із $\ {\hat {P}}_{\alpha }$, очевидно, рівен нулю в силу $\ [{\hat {P}}_{\alpha },{\hat {W}}_{\beta }]=0$. Комутатор же із оператором групи Лоренца рівен

$\ [{\hat {J}}_{\alpha \beta },{\hat {W}}_{\gamma }{\hat {W}}^{\gamma }]={\hat {W}}_{\gamma }[{\hat {J}}_{\alpha \beta },{\hat {W}}^{\gamma }]+[{\hat {J}}_{\alpha \beta },{\hat {W}}_{\gamma }]{\hat {W}}^{\gamma }=i\left(g_{\gamma \beta }{\hat {W}}_{\alpha }{\hat {W}}^{\gamma }-g_{\gamma \alpha }{\hat {W}}_{\beta }{\hat {W}}^{\gamma }+{\hat {W}}_{\gamma }\delta _{\beta }^{\gamma }{\hat {W}}_{\alpha }-{\hat {W}}_{\gamma }\delta _{\alpha }^{\gamma }{\hat {W}}_{\beta }\right)=i[{\hat {W}}_{\alpha },{\hat {W}}_{\beta }]-i[{\hat {W}}_{\beta },{\hat {W}}_{\alpha }]=0$.

У загальному випадку, комутатор будь-якого трансляційно інваріантного 4-оператора та інфінітезимального оператору трансляцій $\ {\hat {P}}_{\alpha }$ рівен нулю. Нулю також рівен комутатор 4-згортки одноіндексних операторів та $\ {\hat {J}}_{\alpha \beta }$, а його комутатор $\ [{\hat {J}}_{\alpha \beta },{\hat {A}}_{\gamma }]$ із будь-яким 4-вектором $\ {\hat {A}}_{\gamma }$ завжди буде рівен $\ i(g_{\gamma \beta }{\hat {A}}_{\gamma }-g_{\gamma \alpha }{\hat {A}}_{\beta })$, оскільки $\ {\hat {J}}_{\alpha \beta }$ визначає операторне представлення генераторів матриці перетворень групи Лоренца (скалярний оператор жє інваріантним по відношенню до перетворення, а 4-оператор перетворюється у відповідності до структури генераторів).

Зв'язок із фізикою. Одночастинкові стани

Орбітальний момент імпульсу та спін

У рамках Спеціальній теорії відносності був отриманий тензор моменту імпульсу,

$\ L_{\alpha \beta }=(x_{\alpha }p_{\beta }-x_{\beta }p_{\alpha })={\begin{pmatrix}0&-G_{x}&-G_{y}&-G_{z}\\G_{x}&0&L_{z}&-L_{y}\\G_{y}&-L_{z}&0&L_{x}\\G_{z}&L_{y}&-L_{x}&0\end{pmatrix}}$,

де

$\ \mathbf {L} =[\mathbf {r} \times \mathbf {p} ],\quad \mathbf {G} ={\frac {E}{c}}\mathbf {r} -ct\mathbf {p}$ -

вектори моменту імпульсу та центру енергії відповідно. При використанні формалізму квантової механіки $\ p_{\alpha }=i\hbar \partial _{\alpha }$, і вирази двох тензорів збігаються з точністю до множника $\ \hbar$.

Можна зробити невеликий відступ щодо моменту імпульсу у квантовій механіці. Із викладок, наведених вище, очевидно, що оператор 3-вектора моменту імпульсу у квантовій механіці має компоненти, що відповідають операторному представленню генераторів тривимірних обертань. Це означає, що оператор моменту імпульсу має послідовність $\ 2l+1$ власних чисел виду $\ l,l-1,...,-l$. Проте в силу координатного (і звідного) представлення оператору моменту імпульсу власні значення можуть бути лише цілими.

Величина $\ j_{1}+j_{2}$, що відповідає незвідному представленню генератора обертань $\ {\hat {\mathbf {R} }}_{3}$ і характеризує трансформаційні властивості поля по відношенню до групи Лоренца (див. розділ "Класифікація полів..." статті Група Лоренца), може набувати як цілих, так і напівцілих значень. Проте вона також відповідає моменту імпульсу. Отже, вона не пов'язана із обертанням, а є характеристикою об'єкта типу заряду і, водночас, визначає трансформаційні властивості об'єкта по відношенню до перетворень Лоренца та поворотів. Оператори спіну $\ {\hat {\mathbf {S} }}$ та орбітального моменту імпульсу $\ {\hat {\mathbf {L} }}$ мають однакову алгебру, оскільки є представленнями генератору 3-обертів.

Оператор Паулі-Любанського із введенням квантового спіну характеризує спін частинки: повний момент імпульсу можна представити як $\ {\hat {J}}_{\alpha \beta }={\hat {L}}_{\alpha \beta }+{\hat {S}}_{\alpha \beta }$, де $\ {\hat {S}}_{\alpha \beta }$ є оператором спіну, а $\ {\hat {L}}_{\alpha \beta }$ - оператором орбітального моменту $\ x_{\alpha }{\hat {P}}_{\beta }-x_{\beta }{\hat {P}}_{\alpha }$.

Власні числа операторів Казиміра групи та їх зв'язок із фізичним станом частинки

Оператори Казиміра (точніше, їх власні числа) групи характеризують її незвідні представлення. Власні числа операторів Казиміра групи Пуанкаре характеризують масу та спін частинки. Дійсно, відповідно до фізичного змісту оператору 4-імпульсу та релятивістського зв'язку маси та енергії-імпульсу, при дії на довільну функцію-стан системи

$\ {\hat {P}}_{\alpha }{\hat {P}}^{\alpha }\psi =m^{2}\psi$,

де $\ m^{2}$ - квадрат маси частинки.

Далі, квадрат оператору Любанського-Паулі у системі, в якій просторовий імпульс частинки рівен нулю (для просторових компонент $\ {\hat {P}}_{i}\psi _{\mathbf {p} =0}=0$, і при діагональному вигляді операторів імпульсу $\ {\hat {P}}_{\mu }=(m,0,0,0)$), при дії на функцію стану дає

$\ {\hat {W}}_{\lambda }{\hat {W}}^{\lambda }\psi _{\mathbf {p} =0}=\left({\hat {S}}_{\alpha \beta }{\hat {P}}^{\beta }{\hat {S}}^{\alpha \gamma }{\hat {P}}_{\gamma }-{\frac {1}{2}}{\hat {P}}_{\delta }{\hat {P}}^{\delta }{\hat {S}}_{\rho \varepsilon }{\hat {S}}^{\rho \varepsilon }\right)\psi =\left({\hat {S}}_{\alpha 0}{\hat {P}}^{0}{\hat {S}}^{\alpha 0}{\hat {P}}_{0}-{\frac {1}{2}}{\hat {P}}_{0}{\hat {P}}^{0}{\hat {S}}_{\rho \varepsilon }{\hat {S}}^{\rho \varepsilon }\right)\psi _{\mathbf {p} =0}=m^{2}\left(-{\hat {\mathbf {G} }}^{2}-{\frac {1}{2}}2\left({\hat {\mathbf {S} }}^{2}-{\hat {\mathbf {G} }}^{2}\right)\right)\psi _{\mathbf {p} =0}=$

$\ =-m^{2}s(s+1)\psi _{\mathbf {p} =0}$,

де $\ s$ - спінове квантове число.

В силу інваріантності оператора Казиміра відносно трансляцій та перетворень групи Лоренца це власне число не залежить від вибору системи відліку, тобто $\ {\hat {W}}_{\lambda }{\hat {W}}^{\lambda }\psi _{\mathbf {p} }=-m^{2}s(s+1)\psi _{\mathbf {p} }$. Отже, в силу характеристики незвідного представлення групи операторами Казиміра можна стверджувати, що незвідні представлення групи Пуанкаре описують частинку. Для подальших пояснень можна розглянути представлення у залежності від маси $\ m$.

Класифікація Вігнера представлень групи

1. $\ m^{2}>0$. Власні значення ненульові. Стан характеризується квадратами маси $\ m^{2}$ та спіну $\ m^{2}s(s+1)$. Стани відрізняються значенням проєкції спіну на задану вісь (найчастіше обирають вісь z), $\ s,s-1,...,-s$ (таким чином, є $\ 2s+1$ спінових ступенів свободи), і неперервними власними значеннями компонент 4-оператора $\ {\hat {P}}_{\mu }$. Отже, представлення відповідають частинці маси $\ m$, спіну $\ s$, імпульсу $\ p_{i}$ та проєкції спіну на напрямок руху $\ s_{3}$.

2. $\ m^{2}=0$. Власні значення обох операторів Казиміра нульові. Тому кожен із відповідних векторів є світоподібним. Окрім того, $\ {\hat {W}}_{\mu }{\hat {P}}^{\mu }=0$. Це означає, що оператори повинні бути пропорційними: $\ {\hat {W}}_{\mu }=\lambda {\hat {P}}_{\mu }$. Справді, тоді рівність нулю скалярного добутку тотожно задовольняється: $\ {\hat {W}}_{\mu }{\hat {P}}^{\mu }\psi =\lambda {\hat {W}}_{\mu }{\hat {W}}^{\mu }\psi =0$. Отже, стан однієї безмасової частинки характеризується одним числом $\ \lambda$. Воно має розмірність моменту імпульсу і називається спіральністю.

3. $\ {\hat {P}}_{\mu }{\hat {P}}^{\mu }$ дорівнює нулю, проте спін набуває неперервних значень. Довжина вектора Паулі—Любанського $\ {\hat {W}}_{\mu }{\hat {W}}^{\mu }$ набуває від'ємних значень. Такий тип представлення описує частинку з нульовою масою та нескінченним числом станів поляризації, що індукуються неперервним спіном.

Див. також

• Група Лоренца
• Спін
• Квантова теорія поля