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

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 29.06.2024

Просмотров: 7055

Скачиваний: 12

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

302

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

Их называют соответственно пара- и ортопозитронием. Волновая функция обоих состояний четна по отношению к перестановке импульсов, и нечетна или четна при перестановке z-компонент спина, так что парапозитронийÑ и ортопозитроний имеют зарядовую четность C = +1 и = –1, соответственно. Такие значения решающим

образом влияют на возможные моды распада позитрония: парапозитроний быстро распадается на пару фотонов (у каждого из которых C = –1), а ортопозитроний может только значительно медленнее

распадаться на три или более фотонов. Точно так же, одиночные мезоны ρ0 è ω0 рождаются как резонансы при аннигиляции электрон-

позитронных пар больших энергий через однофотонное промежуточÑ - ное состояние, так что у этих мезонов должно быть = –1. Это совместимо с интерпретацией таких мезонов как кварк-антикварко- вых связанных состояний с нулевым орбитальным моментом и суммарным спином кварков, равным единице.

Перейдем, наконец, к обращению времени. Напомним свойства преобразований операторов уничтожения частиц и рождения античастиц (формула (4.2.15)):

Ta(p, σ)T

−1

= ζ* (−1)1/2− σ a(−p,−σ),

(5.5.49)

Tac† (p, σ)T

−1

= ζc (−1)1/2− σ ac† (−p,−σ).

(5.5.50)

Тогда при обращении времени поле (5.5.34) преобразуется как

Tψl (x)T-1 = (2π)-3/2 ås z d3p(−1)1/2-s

× [ζ* ul* (p, σ)e-ip×xa(−p,−σ) + ζcvl* (p, σ)eip×xac† (−p,−σ)].

Чтобы записать это выражение в такой же форме как ψ, следует заменить переменные интегрирования и суммирования на –р и –σ,

так что нам нужны формулы, связывающие ul*(–p,–s) è vl*(–p,–s) ñ ul(p,s) è vl(p,s), соответственно. Для этого можно использовать то, что J i0 антикоммутирует с β и коммутирует с γ5. С учетом предыду-

щего выражения для D(L(p))* можно записать:

D* (L(−p)) = γ 5βD* (L(p))βγ 5 = γ 5CD(L(p))C −1γ 5 .


5.5. Причинные дираковские поля

303

Далее, из формул (5.4.36) и (5.5.35)–(5.5.36) следует

γ5C −1u(0,−σ) = (−1)1/2−σ u(0, σ),

γ5C −1v(0,−σ) = (−1)1/2−σ v(0, σ),

òàê ÷òî

(−1)1/2+ σ u* (−p,−σ) = −γ

5

Cu(p, σ),

(5.5.51)

(−1)1/2+ σ v* (−p,−σ) = −γ

5

Cv(p, σ).

(5.5.52)

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

ζc = ζ*.

(5.5.53)

В этом случае

Tψ(x)T−1 = −ζ* γ

5

Cψ(−Px).

(5.5.54)

Рассмотрим вопрос о том, как построить скалярные плотности гамильтониана взаимодействия из дираковских полей и сопряженных им полей. Как отмечалось, дираковское представление не унитарно, так что ψ†ψ не является скаляром. Чтобы обойти эту

трудность, удобно определить новый тип сопряженной величины:

ψ ≡ ψ†β.

(5.5.55)

Используя условие псевдоунитарности (5.4.32), видим, что фермионные билинейные комбинации, построенные с помощью ψ , ïîä

действием преобразований Лоренца изменяются по закону

U0 (Λ)[ψ(x)Mψ(x)]U0−1(Λ) = ψ(Λx)D−1(Λ)MD(Λ)ψ(Λx). (5.5.56)


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

Кроме того, при пространственной инверсии

P[ψ(x)Mψ(x)]P−1 = ψ(P x)βMβψ(P x).

(5.5.57)

Беря матрицу М в виде 1, γμ, J μν, γ γμ, γ , получаем билинейные

5

5

комбинации ψMψ , преобразующиеся как скаляр, вектор, тензор,

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

Например, в первоначальной теории β-распада Ферми рас-

сматривалась плотность гамильтониана взаимодействия, пропорциональная ψpγ μ ψ nψeγ μ ψ ν . Позднее стало понятно, что наиболее

общее лоренц-инвариантное, сохраняющее четность и не содержащее производных взаимодействие в β-распаде имеет вид линейной комбинации произведений указанного вида, в которых γμ заменено на любой из пяти ковариантов, образованных с помощью 4 × 4 матриц 1, γμ, J μν, γ5γμ, èëè γ5. (Как обсуждалось в гл. 2, оператор

пространственной инверсии определен так, что внутренняя четность протона, нейтрона и электрона равна +1. Если нейтрино не имеет массы, то его четность также можно принять равным +1, заменив при необходимости поле нейтрино на γ5ψν.) Когда в

1956 году Ли и Янг усомнились в справедливости закона сохранения четности, они расширили список возможных взаимодействий без производных, включив в него десять слагаемых, пропорциональ-

íûõ ψ pMψ nψ eMψ ν , а также ψ pMψ nψ eMγ 5ψ ν , где М — одна из матриц 1, γμ, J μν, γ5γμ, γ5. Определенный интерес представляют

свойства этих билинейных комбинаций по отношению к зарядовому сопряжению. Используя формулы (5.5.47) и (5.5.35)–(5.5.39), имеем:

C(ψMψ)C−1 = (βCψ)TβM(βCψ* ) = −(βCψ* )T MTCψ

= ψC −1MTCψ = ±ψMψ, (5.5.58)


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

305

где в последнем выражении берется знак + для матриц 1, γ5γμ è γ5, è çíàê — äëÿ γμ è Jμν. (Знак «минус» в первой строчке возникает за

счет статистики Ферми. Мы игнорируем с–числовой антикоммутатор.) Таким образом, бозонноеÑ поле, взаимодействующее с током ψMψ , должно иметь Ñ= +1 для скаляров, псевдоскаляров и

аксиальных векторов, и = –1 для векторов и антисимметричных тензоров. Это — один из способов понять, почему π0 (взаимодейст-

вующийÑ с псевдоскалярным или аксиальнымÑ током нуклонов) имеет = +1, в то время как у фотона = –1.

5.6. Общие неприводимые представления однородной группы Лоренца *

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

Общее представление собственной ортохронной однородной группы Лоренца (точнее, ее инфинитезимальной части) реализуется множеством матриц Jμν, удовлетворяющих тем же коммутационным

соотношениям (5.4.4), что и генераторы группы:

[ Jμν , Jρσ ] = i( Jρν ησμ + Jμρηνσ − Jσν ηρμ − Jμσ ηνρ ),

(5.6.1)

(Конечно, Jμν = − Jνμ и индексы в Jμν поднимаются и опускаются, как обычно, сверткой с тензорами ημν è ημν.) Чтобы понять метод

построения таких матриц, разделим сначала шесть независимых компонент Jμν на два 3-вектора: матрицу углового момента

J1 = J23 , J2 = J31 ,

J3

= J12

(5.6.2)

è áóñò

K1 = J10 , K2 = J20 ,

K3

= J30 .

(5.6.3)

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


306

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

Тогда формула (5.6.1) может быть записана в виде:

[ Ji , Jj ] = iε ijk Jk ,

(5.6.4)

[ Ji , Kj ] = iε ijk Kk ,

(5.6.5)

[Ki , Kj ] = −ijk Jk ,

(5.6.6)

где i, j, k принимают значения 1,2,3, а εijk − полностью антисимметричная величина с ε123 ≡ +1. Формула (5.6.4) указывает на то, что

матрицы J являются генераторами представления подгруппы вращений группы Лоренца, а формула (5.6.5) отражает тот факт, что K есть 3-вектор. Знак «минус» в правой части формулы (5.6.6) возникает из-за того, что η00 = −1. Этот знак играет в дальнейшем

решающую роль.

Очень удобно заменить матрицы J и K двумя независимыми

спиновыми 3-векторами, записав

À ≡

1

( J + iK ),

(5.6.7)

2

B ≡

1

( J − iK ).

(5.6.8)

2

Легко видеть, что коммутационные соотношения (5.6.4)−(5.6.6) ýêâè-

валентны равенствам

[Ài , Àj ] = iε ijk Àk ,

(5.6.9)

[Bi , Bj ] = iεijk Bk ,

(5.6.10)

[Ài , Âj ] = 0.

(5.6.11)

Матрицы, удовлетворяющие соотношениям (5.6.9)−(5.6.11), можно

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

a = –A, –A + 1, ..., +A,

(5.6.12)