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

редактировать

В математике и теоретической физике, Вигнер классификация является классификацией неотрицательной энергии неприводимых унитарных представлений в группе Пуанкара, которые имеют острые массовые собственных. (Поскольку эта группа некомпактна, эти унитарные представления бесконечномерны.) Она была введена Юджином Вигнером для классификации частиц и полей в физике - см. Статью « Физика частиц и теория представлений». Он основан на стабилизирующих подгруппах этой группы, получивших название малых групп Вигнера с различными массовыми состояниями.   (   E 0   )   {\ Displaystyle ~ (~ E \ geq 0 ~) ~}

В Казимира инварианты группы Пуанкаре являются ( Эйнштейна обозначения ), где Р представляет собой оператор 4-импульса, а также, где W представляет собой псевдовектор Паули-Любанского. Собственные значения этих операторов служат для обозначения представлений. Первый связан с квадратом массы, а второй - со спиральностью или вращением.   C 1 знак равно п μ п μ   , {\ Displaystyle ~ C_ {1} = P ^ {\ mu} \, P _ {\ mu} ~,}   C 2 знак равно W α W α   , {\ Displaystyle ~ C_ {2} = W ^ {\ alpha} \, W _ {\ alpha} ~,}

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

  •   м gt; 0   ; {\ displaystyle ~ mgt; 0 ~;}
  •   м знак равно 0   {\ Displaystyle ~ м = 0 ~}но или будь   п 0 gt; 0   ; {\ Displaystyle ~ P_ {0}gt; 0 ~; \ quad}
  •   м знак равно 0   {\ Displaystyle ~ м = 0 ~} с участием   п μ знак равно 0   ,  для  μ знак равно 0 , 1 , 2 , 3   . {\ displaystyle ~ P ^ {\ mu} = 0 ~, {\ text {for}} \ mu = 0,1,2,3 ~.}

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

Для первого случая
Обратите внимание, что подпространство (см обобщенных собственных подпространств неограниченных операторов ), связанное с является представлением из SO (3).   п знак равно ( м , 0 , 0 , 0 )   {\ Displaystyle ~ P = (м, 0,0,0) ~}

В лучевой интерпретации вместо этого можно перейти к Spin (3). Итак, массивные состояния классифицируются с помощью неприводимого унитарного представления Spin (3), которое характеризует их спин и положительную массу m.

Для второго случая
Посмотрите на стабилизатор от
  п знак равно ( k , 0 , 0 , - k )   . {\ displaystyle ~ P = (k, 0,0, -k) ~.}

Это двойная крышка из SE (2) (см блок представления луча ). У нас есть два случая, в одном из которых арматура описывается целым кратным1/2называется спиральностью, а другой - представлением «непрерывного спина».

СОДЕРЖАНИЕ

  • 1 Массивные скалярные поля
  • 2 Теория проективных представлений
  • 3 Дальнейшая классификация
  • 4 См. Также
  • 5 ссылки

Массивные скалярные поля

В качестве примера представим себе неприводимое унитарное представление с и Оно соответствует пространству массивных скалярных полей.   м gt; 0   , {\ displaystyle ~ mgt; 0 ~,}   s знак равно 0   . {\ displaystyle ~ s = 0 ~.}

Пусть M - гиперболоидный лист, определяемый:

  п 0 2 - п 1 2 - п 2 2 - п 3 2 знак равно м 2   , {\ displaystyle ~ P_ {0} ^ {2} -P_ {1} ^ {2} -P_ {2} ^ {2} -P_ {3} ^ {2} = m ^ {2} ~, \ quad}   п 0 gt; 0   . {\ displaystyle ~ P_ {0}gt; 0 ~.}

Метрика Минковского ограничивается римановой метрикой на M, давая M метрическую структуру гиперболического пространства, в частности, это модель гиперболоида гиперболического пространства, см. Геометрию пространства Минковского для доказательства. Группа Пуанкара Р действует на М, потому что (забывание действия перевода подгруппы ℝ 4 с добавлением внутри P) он сохраняет Минковское скалярное произведение, и элемент х перевода подгруппа ℝ 4 группы Пуанкара действует на умножении на подходящем фазовые умножители, где Эти два действия могут быть умно скомбинированы с использованием индуцированных представлений, чтобы получить действие P, действующее на которое объединяет движения M и умножение фазы.   L 2 ( M )   {\ Displaystyle ~ L ^ {2} (М) ~}   exp ( - я п Икс )   , {\ displaystyle ~ \ exp \ left (-i {\ vec {p}} \ cdot {\ vec {x}} \ right) ~,}   п M   . {\ displaystyle ~ p \ in M ​​~.}   L 2 ( M )   , {\ Displaystyle ~ L ^ {2} (М) ~,}

Это дает действие группы Пуанкаре на пространстве интегрируемых с квадратом функций, определенных на гиперповерхности M в пространстве Минковского. Их можно рассматривать как меры, определенные на пространстве Минковского, которые сосредоточены на множестве M, определенном формулой

E 2 - п 1 2 - п 2 2 - п 3 2 знак равно м 2   , {\ displaystyle E ^ {2} -P_ {1} ^ {2} -P_ {2} ^ {2} -P_ {3} ^ {2} = m ^ {2} ~, \ quad}   E     п 0 gt; 0   . {\ Displaystyle ~ E ~ \ Equiv ~ P_ {0}gt; 0 ~.}

Преобразование Фурье (по всем четырем переменным) таких мер дает решения с положительной энергией и конечной энергией уравнения Клейна – Гордона, определенного на пространстве Минковского, а именно

2 т 2 ψ - 2 ψ + м 2 ψ знак равно 0 , {\ displaystyle {\ frac {\ partial ^ {2}} {\ partial t ^ {2}}} \ psi - \ nabla ^ {2} \ psi + m ^ {2} \ psi = 0,}

без физических единиц. Таким образом, неприводимое представление группы Пуанкаре реализуется ее действием на подходящее пространство решений линейного волнового уравнения.   м gt; 0 , s знак равно 0   {\ Displaystyle ~ мgt; 0, \ quad s = 0 ~}

Теория проективных представлений

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

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

Переход к двойному покрытию важен, потому что он позволяет использовать случаи спина половинных нечетных чисел. В случае положительной массы, например, маленькая группа - это SU (2), а не SO (3); тогда представления SU (2) включают как целочисленные, так и полунечетно-целые случаи спинов.

Поскольку общий критерий теоремы Баргмана не был известен, когда Вигнер проводил свою классификацию, ему нужно было показать вручную (§ 5 статьи), что фазы могут быть выбраны в операторах так, чтобы они отражали закон композиции в группе, с точностью до знак, который затем учитывается переходом к двойному покрытию группы Пуанкаре.

Дальнейшая классификация

В эту классификацию не вошли тахионные решения, решения без фиксированной массы, инфрачастицы без фиксированной массы и т. Д. Такие решения имеют физическое значение при рассмотрении виртуальных состояний. Знаменитым примером является случай глубоко неупругого рассеяния, в котором виртуальный космический фотон обменивается между входящим лептоном и входящим адроном. Это оправдывает введение поперечно и продольно поляризованных фотонов и связанной с ними концепции поперечных и продольных структурных функций при рассмотрении этих виртуальных состояний как эффективных датчиков внутреннего кваркового и глюонного содержания адронов. С математической точки зрения рассматривается группа SO (2,1) вместо обычной группы SO (3), встречающейся в обычном массивном случае, описанном выше. Это объясняет возникновение двух векторов поперечной поляризации и которые удовлетворяют и в сравнении с обычным случаем свободного бозона, который имеет три векторов поляризации каждые из них, удовлетворяющих   ϵ Т λ знак равно 1 , 2   {\ Displaystyle ~ \ epsilon _ {T} ^ {\ lambda = 1,2} ~}   ϵ L   {\ displaystyle ~ \ epsilon _ {L} ~}   ϵ Т 2 знак равно - 1   {\ Displaystyle ~ \ epsilon _ {T} ^ {2} = - 1 ~}   ϵ L 2 знак равно + 1   , {\ Displaystyle ~ \ epsilon _ {L} ^ {2} = + 1 ~,}   Z 0   {\ displaystyle ~ Z_ {0} ~}   ϵ Т λ  для  λ знак равно 1 , 2 , 3   ; {\ displaystyle ~ \ epsilon _ {T} ^ {\ lambda} {\ text {for}} \ lambda = 1,2,3 ~;}   ϵ Т 2 знак равно - 1   . {\ displaystyle ~ \ epsilon _ {T} ^ {2} = - 1 ~.}

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

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

Последняя правка сделана 2023-03-19 11:36:03
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте