Материал: Вайнберг С. Квантовая теория полей. Том 1 (2001)

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

5.6. Общие неприводимые представления ...

307

b = –B, –B + 1, ..., +B

(5.6.13)

и примем

(À)a′b′,ab = δb′bJ(aA′a) ,

(5.6.14)

(B)a′b′,ab = δa′aJ(bB′b) ,

(5.6.15)

ãäå J(A) è J(B) − стандартные спиновые матрицы для спинов А и В:

dJ3(A) ia′a = aδa′a ,

(5.6.16)

dJ1(A) ± iJ2(A) ia′a = δa′,a±1

(A m a)(A ± a + 1),

(5.6.17)

(аналогично для J(B)). Представление отмечается значениями положительных целых или полуцелых чисел А и В. Таким образом, представление (А, В) имеет размерность (2А + 1)(2В + 1) *.

Конечномерные представления однородной группы Лоренца не унитарны, т. к. А и В эрмитовы, и поэтому J эрмитова, но K антиэрмитова. Причиной является присутствие i в формулах (5.6.7) и (5.6.8), что требуется наличием отрицательного знака в (5.6.6). Все это вытекает из того, что однородная группа Лоренца — не четырехмерная группа вращений SO(4), которая компактна, а некомпактная группа SO(3, 1). Только компактные группы имеют конеч- номерные унитарные представления (если не считать представлений, в которых некомпактная часть представлена тривиальной единицей). Однако при работе с неунитарными представлениями не возникает особых проблем, т. к. нас интересуют не волновые функции, а поля, которые не обязаны иметь лоренц-инвариантную положительную норму.

* Существует альтернативный формализм 8, основанный на том факте, что представление группы вращений со спином j можно записать как симметризованное тензорное произведение 2j представлений со спином 1/2, т. е. как симметричный тензор группы SU(2) с 2j двузначными индексами. Поэтому можно записать поля, принадлежащие представлению (А, В), с помощью 2А двузначных индексов представления (1/2,0) и 2В двузначных индексов представления (0,1/2), снабженных точками, чтобы отличать их от первой пары.

308

Глава 5. Квантовые поля и античастицы

Напротив, группа вращений имеет унитарные представления, генераторы которых являются эрмитовыми матрицами

J = À + B.

(5.6.18)

С помощью обычных правил сложения векторов можно убедиться, что поле, преобразующееся по представлению (А, В) однородной группы Лоренца, имеет компоненты, преобразующиеся при вращениях как объекты со спином j, причем

j = A + B, A + B – 1, ..., |A – B| .

Этого достаточно, чтобы отождествить представления (А, В) с, по-видимому, более знакомыми тензорами и спинорами. Например, поле (0,1 0) является1 скаляром с единственной1 компонентой j = 0. Поля ( , 0) или (0, ) могут иметь только j = ; они соответствуют двум верхним (т. е. γ5 = +1) è äâóì1 1 нижним (γ5 = –1) компонен-

там дираковского спинора. Поле ( , ) имеет компоненты с j = 1 и j = 0, соответствующие пространственной части v и временной компоненте v0 4-вектора vμ. В общем случае поле (А, А) содержит слагаемые только с целыми спинами 2А, 2А−1, ..., 0, и соответству-

ет бесследовому симметричному тензору ранга 2А. (Заметим, что число независимых компонент симметричного тензора ранга 2А в четырех измерениях равно

4 × 5. . . (4 + 2A - 1)

=

(3 + 2A)!

6(2A)!

(2A)!

и условие бесследовости сводит это число к

(3 + 2A)!

−

(1 + 2A)!

= (2A + 1)2 ,

6(2A − 2)!

6(2A)!

как и следует ожидать для поля (А, А).) Еще один пример: поля (1, 0) и (0, 1) могут иметь только компоненты j = 1 и соответствуют антисимметричным тензорам Fμν, удовлетворяющим дополнитель-

ным, обеспечивающим неприводимость, условиям «дуальности»

Fμν = ± 2i εμνλρFλρ

5.7. Причинные поля. Общий случай

309

соответственно; такие тензоры называются соответственно «самодуальными» и «антисамодуальными». Естественно, что разделение антисимметричного тензора Fμν с двумя индексами на подобные

«самодуальную» и «антисамодуальную» части возможно только в случае четырех измерений.

Произвольный тензор ранга N преобразуется1 1 как тензорное произведение N 4-векторных представлений ( , ). Поэтому путем подходящих симметризации, антисимметризации и вычитания следа можно разложить его на неприводимые части (А, В), где A = N/2, N/2-1,... è B = N/2, N/2-1,... Таким способом можно

построить любое неприводимое представление (А, В), для которого А + В является целым числом. Спинорные представления, у которых А + B — полуцелое, могут быть построены аналогичным образом из тензорных произведений1 тензорных1 представлений и дираковского представления ( , 0) Å (0, 1). 1 Например, тензорное

произведение1 векторного1 представления ( , ) и дираковского представления ( , 0) Å (0, ) дает спин-вектор yμ, преобразующийся по

приводимому представлению

( , ) Ä [( ,0) Å (0, )] = ( ,1) Å ( ,0) Å (1, ) Å (0, ).

Величина gμyμ преобразуется как обычное дираковское1 1 ïîëå (1, 0) Å (0, 1), так что можно выделить представление * ( , 1) Å (1, ), потребовав выполнения условия gμyμ = 0. Это поле Рариты−Швингера 9.

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

нечетным количеством пространственных индексов. В частности

b J b−1 = + J , bK b−1 = -K .

(5.6.19)

* Согласно (5.6.18), такое поле преобразуется под действием обычных вращений как прямая сумма двух компонент с j = 3/2 и двух компонент с j = 1/2. Удвоение компонент устраняется требованием, чтобы выполнялось уравнение Дирака [γν∂ν + m]ψμ = 0, а оставшаяся компонента с j = 1/2 устраняется наложением условия ∂μψμ = 0. При таких условиях поле описывает

одну частицу со спином j = 3/2.

310

Глава 5.

Квантовые поля и античастицы

Записывая это равенство через матрицы (5.6.7) и (5.6.8), имеем

βÀ β−1 = B,

βBβ−1 = À .

(5.6.20)

Таким образом, неприводимое представление (А,В) собственной ортохронной однородной группы Лоренца является представлением группы Лоренца, включающей пространственную инверсию, только в случае А = В. Как мы видели, такие представления (А, А) являются скалярами, векторами и симметричными тензорами со следом нуль. При А ¹ В неприводимые представления группы Лоренца, включаю-

щей пространственную инверсию, являются прямыми суммами (А, В) Å (В, А) с размерностью12(2À+1)(21В+1). Одним из них является дираковское представление ( , 0) Å (0, ), обсуждавшееся в разделе (5.4). Для этого представления матрицей b является 4 ´ 4 матрица (5.4.29). Другой знакомый пример — представление (1, 0) Å (0, 1),

которое, как мы видели, есть антисимметричный тензор второго ранга, содержащий как самодуальную, так и антисамодуальную части.

5.7. Причинные поля. Общий случай *

Попытаемся построить причинные поля, преобразующиеся по описанному в предыдущем разделе общему неприводимому представлению (А,В) группы Лоренца. Индекс l заменен ниже парой индексов a, b, принимающих значения в интервале (5.6.12), (5.6.13), так что поля можно записать в виде

yab(x) = (2p)-3/2 åz d3p

ka(p, s)eip×xuab(p, s)

s

+λac†(p, σ)e-ip×xv

(p, σ)

(5.7.1)

,

ab

ãäå k è l - произвольные константы. Мы оставляем открытой

возможность, что такая частица совпадает со своей античастицей и ac(p,s) = a(p,s).

* Этот раздел лежит несколько в стороне от основной линии изложения и может быть опущен при первом чтении.

5.7. Причинные поля. Общий случай

311

Первоочередной задачей является нахождение коэффициентных функций с нулевым импульсом uab(0,s) è vab(0,s). Основополагающие условия (5.1.25)-(5.1.26), которым подчиняются u(0,s) è v(0,s), принимают вид:

å u

(0, s)J(σjσ)

= å J

,abuab(0, s),

ab

ab

σ

a,b

-åv

(0, s)J(σjσ)* = å J

,abvab(0, s),

ab

ab

σ

a,b

или, после использования соотношений (5.6.14)-(5.6.15),

å u

(0, s)J(σjσ)

= åJ

(aaA)uab

(0, s) + åJ

(bbB)u

ab(0, s),

ab

σ

a

b

-åv

(0, s)J(σjσ)* = åJ

(aaA)vab

(0, s) + åJ

(bbB)v

ab(0, s).

ab

σ

a

b

(5.7.2)

(5.7.3)

Но соотношение (5.7.2) есть не что иное, как условие, определяющее коэффициенты Клебша-Гордана CAB(js;ab)! Действительно, эти коэффициенты определены требованием, что если Yab — состояния,

преобразующиеся при бесконечно малых вращениях по правилу

dYab = iåθ × J(aaA) Yab + iåθ × J(bbB) Yab ,

a b

то под действием тех же вращений состояние

Yjσ º åCAB (js; ab)Yab ab

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

dYj σ = iåθ × J(σjσ) Yj σ .

σ

Рассмотрение формулы (5.7.2) показывает, что коэффициенты uab(0,s) удовлетворяют этому требованию, и поэтому uab(0,s) равны

Источник: https://files.student-it.ru/previewfile/280974