Группа Пуанкаре: представления и классификация Вигнера

Группа Пуанкаре - это группа симметрий плоского пространства-времени Минковского: преобразования Лоренца плюс сдвиги по четырём координатам. Её представления звучат как абстрактная алгебра, но именно они отвечают на физически фундаментальный вопрос: что такое «частица» с точки зрения теории относительности. Знаменитая классификация Вигнера 1939 года показала, что неприводимые унитарные представления группы Пуанкаре нумеруются всего двумя числами - массой и спином, - и эти же числа задают элементарную частицу. Ниже разберём, как устроена сама группа, что такое операторы Казимира и почему классификация её представлений совпадает с таблицей частиц. Если нужно разобрать конкретную выкладку - соберите запрос в форме ниже.

Что такое группа Пуанкаре

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

Формально элемент группы действует на четырёхвектор $x^\mu$ так:

$$x'^\mu = \Lambda^\mu{}_\nu\, x^\nu + a^\mu,$$

где $\Lambda$ - матрица Лоренца, сохраняющая метрику $\eta_{\mu\nu} = \mathrm{diag}(1,-1,-1,-1)$, а $a^\mu$ - вектор сдвига. Условие на $\Lambda$ записывается компактно:

$$\Lambda^\mathrm{T}\, \eta\, \Lambda = \eta.$$

Группа Пуанкаре десятипараметрическая: шесть параметров у группы Лоренца (три поворота + три буста) и четыре у трансляций. Это полупрямое произведение группы трансляций $\mathbb{R}^{1,3}$ и группы Лоренца $\mathrm{SO}(1,3)$ - структура «полупрямое», потому что лоренцевы повороты перемешивают направления сдвигов.

Рассчитать для своей задачи

Алгебра Пуанкаре и её генераторы

Любая группа Ли описывается своей алгеброй - набором генераторов и их коммутаторами. У группы Пуанкаре десять генераторов: четыре оператора импульса $P^\mu$ (генераторы трансляций) и шесть операторов $M^{\mu\nu}$ (генераторы поворотов и бустов, антисимметричные по индексам).

Ключевые коммутационные соотношения алгебры Пуанкаре:

$$\begin{aligned} [P^\mu, P^\nu] &= 0, \\ [M^{\mu\nu}, P^\rho] &= i\,(\eta^{\nu\rho} P^\mu - \eta^{\mu\rho} P^\nu), \\ [M^{\mu\nu}, M^{\rho\sigma}] &= i\,(\eta^{\nu\rho} M^{\mu\sigma} - \eta^{\mu\rho} M^{\nu\sigma} - \eta^{\nu\sigma} M^{\mu\rho} + \eta^{\mu\sigma} M^{\nu\rho}). \end{aligned}$$

Первое соотношение говорит, что трансляции коммутируют между собой: сдвиги по разным осям можно делать в любом порядке. Второе показывает, что импульс преобразуется под поворотами как четырёхвектор. Третье - это алгебра самой группы Лоренца. Похожая логика лежит и в основе инвариантов Пуанкаре-Картана в аналитической механике, где сохраняющиеся величины тоже выводятся из структуры симметрий.

Операторы Казимира: масса и спин

Чтобы классифицировать представления, нужны величины, коммутирующие со всеми генераторами группы - операторы Казимира. Их собственные значения постоянны внутри одного неприводимого представления и служат для него «паспортом».

У группы Пуанкаре два независимых оператора Казимира. Первый - квадрат четырёхимпульса:

$$C_1 = P^\mu P_\mu = m^2.$$

Его собственное значение - это квадрат массы $m^2$. Второй строится из вектора Паули-Любанского $W^\mu$:

$$W^\mu = -\tfrac{1}{2}\,\varepsilon^{\mu\nu\rho\sigma} M_{\nu\rho} P_\sigma, \qquad C_2 = W^\mu W_\mu.$$

Вектор Паули-Любанского собирает информацию о внутреннем угловом моменте, не зависящем от движения как целого. Для массивной частицы собственное значение $C_2 = -m^2 s(s+1)$, где $s$ - спин. Так два числа - масса $m$ и спин $s$ - полностью характеризуют неприводимое представление.

Рассчитать для своей задачи

Классификация Вигнера

В 1939 году Юджин Вигнер решил задачу полностью: он построил все неприводимые унитарные представления группы Пуанкаре. Унитарность здесь принципиальна - в квантовой механике симметрии реализуются унитарными операторами, сохраняющими вероятности.

Метод Вигнера - это метод индуцированных представлений, или метод «малой группы» (little group). Идея такая: фиксируется стандартный четырёхимпульс, и рассматривается подгруппа Лоренца, оставляющая его на месте. Эта подгруппа - малая группа - определяет внутреннюю структуру представления. Дальше представление «разносится» на всю орбиту импульса бустами.

Классы представлений зависят от того, на какой орбите лежит импульс $P^\mu$:

1. Массивные частицы ($m^2 > 0$, $P^0 > 0$). Малая группа - $\mathrm{SO}(3)$, группа вращений. Её представления нумеруются спином $s = 0, \tfrac{1}{2}, 1, \tfrac{3}{2}, \dots$, и состояние имеет $2s+1$ проекций спина. Это электрон, протон, $W$-бозон.
2. Безмассовые частицы ($m^2 = 0$, $P^0 > 0$). Малая группа - $\mathrm{ISO}(2)$, группа движений плоскости. У физических частиц её представления сводятся к одному числу - спиральности $\lambda$, проекции спина на направление движения. Это фотон ($\lambda = \pm 1$) и гравитон ($\lambda = \pm 2$).
3. Тахионные ($m^2 < 0$) и вакуумное ($P^\mu = 0$) представления - математически существуют, но первые нефизичны, а второе описывает вакуум.

Почему это и есть «частица»

Главное концептуальное следствие классификации Вигнера: элементарная частица - это неприводимое унитарное представление группы Пуанкаре. Не «маленький шарик», а минимальный набор квантовых состояний, который замкнут относительно всех симметрий пространства-времени и не распадается на меньшие части.

Из этого определения вытекают наблюдаемые свойства. Масса - собственное значение первого Казимира. Спин - метка малой группы. Тот факт, что у массивной частицы спина $s$ ровно $2s+1$ состояний, а у фотона всего два состояния поляризации, - прямое следствие различия малых групп $\mathrm{SO}(3)$ и $\mathrm{ISO}(2)$. Релятивистская квантовая теория поля строится именно так: поля вводятся как объекты, чьи кванты реализуют эти неприводимые представления.

Рассчитать для своей задачи

Безмассовый случай и спиральность

Безмассовый случай заслуживает отдельного внимания, потому что он контринтуитивен. Малая группа $\mathrm{ISO}(2)$ имеет «трансляционную» часть, которую у физических частиц приходится представлять тривиально - иначе появляются непрерывные неклассифицируемые степени свободы (так называемая «continuous spin»), не наблюдаемые в природе.

После такого ограничения остаётся одна метка - спиральность $\lambda$, и она может принимать только дискретные значения. Если теория сохраняет чётность (как электромагнетизм), состояния $+\lambda$ и $-\lambda$ объединяются: фотон имеет спиральности $\pm 1$, и это две его поляризации. У нейтрино, где чётность нарушена, спиральности фиксированы по отдельности.

Важное отличие от массивного случая: у безмассовой частицы нет состояния со спиральностью 0 при $\lambda \neq 0$. Поэтому фотон не имеет продольной поляризации, а у гравитона ($\lambda = \pm 2$) всего два состояния, а не пять, как было бы у массивной частицы спина 2.

Связь с уравнениями поля

Классификация Вигнера абстрактна, но напрямую связана с конкретными релятивистскими уравнениями. Каждое неприводимое представление реализуется полем, удовлетворяющим уравнению движения, которое и «вырезает» нужное представление из большего пространства компонент.

• Скаляр ($s = 0$): уравнение Клейна-Гордона $(\Box + m^2)\varphi = 0$ задаёт $C_1 = m^2$, а спин автоматически нулевой.
• Спинор ($s = \tfrac{1}{2}$): уравнение Дирака $(i\gamma^\mu \partial_\mu - m)\psi = 0$ описывает электрон; четыре компоненты сводятся к двум проекциям спина частицы и двум античастицы.
• Вектор ($s = 1$): уравнения Прока (массивный) или Максвелла (безмассовый фотон).

Уравнение поля - это, по сути, условие неприводимости, наложенное на компоненты: оно убирает лишние степени свободы, оставляя ровно те состояния, что предписаны массой и спином.

Частые ошибки

• Путать группу Лоренца и группу Пуанкаре. Группа Лоренца - только повороты и бусты (шесть параметров). Группа Пуанкаре добавляет четыре трансляции и потому десятипараметрическая. Импульс как Казимир появляется именно из трансляций.
• Считать, что спин - это «вращение шарика». Спин - метка малой группы, чисто квантовое число из теории представлений. Никакого физического вращения вещества за ним не стоит.
• Приписывать фотону спин 1 с тремя состояниями. У безмассовой частицы только спиральность; фотон имеет две поляризации ($\lambda = \pm 1$), а не три проекции, как массивная частица спина 1.
• Забывать про унитарность. Группа Лоренца некомпактна, и её конечномерные представления неунитарны. Физика требует именно бесконечномерных унитарных представлений - поэтому состояния «разносятся» по всей орбите импульса.
• Считать тахионные представления физическими. Случай $m^2 < 0$ математически допустим, но описывает нестабильность, а не реальную частицу.

FAQ

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

Что такое малая группа простыми словами? Это подгруппа Лоренца, которая оставляет фиксированный четырёхимпульс на месте. Для покоящейся массивной частицы это обычные вращения $\mathrm{SO}(3)$ - отсюда привычный спин. Для безмассовой частицы геометрия другая, и малая группа даёт спиральность вместо полного спина.

Зачем нужен вектор Паули-Любанского? Он строит второй оператор Казимира - релятивистски инвариантную характеристику внутреннего углового момента. Обычный спиновый оператор зависит от системы отсчёта, а $W^\mu W_\mu$ инвариантен и потому годится для классификации.

Коротко

Группа Пуанкаре - десятипараметрическая группа симметрий пространства-времени Минковского: преобразования Лоренца плюс четыре трансляции. Её неприводимые унитарные представления классифицировал Вигнер в 1939 году методом малой группы. Каждое представление помечается двумя операторами Казимира: квадратом массы $m^2$ и величиной спина $s$ через вектор Паули-Любанского. Массивные частицы имеют малую группу $\mathrm{SO}(3)$ и спин с $2s+1$ состояниями; безмассовые - малую группу $\mathrm{ISO}(2)$ и единственную метку спиральности. Главный вывод: элементарная частица математически и есть неприводимое унитарное представление группы Пуанкаре, а её масса и спин - это «координаты» этого представления.