5.8. СРТ-теорема |
327 |
В качестве первого шага в доказательстве рассмотрим, как произведение СРТ действует на свободные поля разных типов. Из результатов разделов 5.2, 5.3 и 5.5 для скалярного, векторного и дираковского полей получаем:
CPT ϕ(x) [CPT]−1 = ζ*ξ* η*ϕ† (−x), |
(5.8.1) |
CPT ϕμ (x) [CPT]−1 = −ζ*ξ*η*ϕ†μ (−x), |
(5.8.2) |
CPT ψ(x) [CPT]−1 = −ζ*ξ* η* γ 5ψ* (−x). |
(5.8.3) |
(Конечно, фазы ζ, ξ è η зависят от сортов частиц, описываемых
каждым полем.) Мы выбираем фазы так, чтобы для всех частиц
ζ ξ η = 1. |
(5.8.4) |
Тогда всякий тензор ϕμ1 ...μn , образованный любой совокупностью
скалярных и векторных полей и их производных, преобразуется как
CPT ϕμ |
1 ... |
μ |
(x) [CPT]−1 = (−1)n ϕ† |
(−x) . |
(5.8.5) |
|
n |
μ1 ...μn |
|||||
(Так как СРТ — антиунитарный оператор, то всякий комплексный |
||||||
численный коэффициент, возникающий в этих тензорах, преобразуется в комплексно сопряженный.) Нетрудно показать, что такое же правило преобразования применимо для тензоров, построенных из билинейных комбинаций дираковских полей. Применяя к ним формулу (5.8.3), находим:
CPT [ψ |
(x)Mψ |
2 |
(x)] [CPT]−1 |
= ψT |
(−x)γ |
5 |
βM* |
γ |
5 |
ψ* |
(−x) |
1 |
1 |
2 |
(5.8.6) |
||||||||
= [ψ1(−x)γ 5Mγ 5ψ2 (−x)]† . |
|||||||||||
(Знак «минус» от антикоммутации β è γ5 компенсируется знаком
«минус» от антикоммутации фермионных операторов.) Если билинейный ковариант есть тензор ранга n, то М равно произведению n по модулю 2 дираковских матриц, так что γ5Mγ5 = (–1)nM, è
поэтому билинейный ковариант удовлетворяет соотношению (5.8.5). Эрмитова скалярная плотность гамильтониана взаимодействия H(x) должна строится из тензоров с четным полным числом
пространственно-временных индексов, поэтому
328 |
Глава 5. Квантовые поля и античастицы |
|
CPT H (x) [CPT]−1 = H (−x) . |
(5.8.7) |
|
Более общее (и в чем-то более легкое) доказательство теоремы можно дать для эрмитовых скаляров, построенных из полей ψabAB(x) ,
принадлежащих одному или нескольким общим неприводимым представлениям однородной группы Лоренца. Собирая результаты предыдущего раздела для результатов инверсии таких полей, получаем
CPT ψ abAB(x) [CPT]−1 = (−1)2B ψ abAB† (−x) . |
(5.8.8) |
(Для дираковского поля множитель (–1)2Â в (5.8.8) сопровожда-
ется матрицей γ5.) Чтобы образовать скаляр H(x) из произведений |
|||||||||
ψaA1bB1 (x)ψaA2bB2 (x). . ., необходимо, чтобы как А1 + À2 + ..., òàê è Â1 + |
|||||||||
1 |
1 |
2 |
2 |
(−1) |
2B1 +2B2 |
+... |
= 1, и эрмитов скаляр |
||
Â2 |
+ ... были целыми, так что |
||||||||
H (x) будет автоматически удовлетворять соотношению (5.8.7). |
|||||||||
Из этой формулы немедленно вытекает, что |
СРТ коммутиру- |
||||||||
ет с оператором взаимодействия V ≡ z d3x H (x,0): |
|||||||||
CPT V [CPT]−1 = V. |
(5.8.9) |
||||||||
Кроме того, в любой теории СРТ коммутирует ÑÐÒс гамильтонианом свободных частиц Н 0. Таким образом, оператор , который был определен здесь своим действием на операторы свободных частиц, действует на ин- и аут-состояния так, как описано в разделе 3.3. Физические следствия этого принципа симметрии уже обсуждались в разделах 3.3 и 3.6.
5.9. Поля безмассовых частиц
До сих пор мы рассматривали только поля массивных частиц. Для некоторых из них, например, для скалярного или дираковского полей, не возникает никаких проблем при переходе к пределу нулевой массы. С другой стороны, в разделе 5.3. мы видели, что для векторного поля частицы со спином 1 такой переход действительно сопряжен с трудностями: по крайней мере один из векторов поляризаций в таком пределе обращается в бесконечность. Мы увидим ниже, что все неприводимые поля (А,В), которые могут быть построены в случае конечной массы, нельзя построить из операторов
5.9. Поля безмассовых частиц |
329 |
рождения и уничтожения физических безмассовых частиц со спином j ³ 1. Такое любопытное ограничение на типы полей естественно
приведет нас к понятию калибровочной инвариантности.
Как и для массивных частиц, попытаемся записать произвольное свободное поле безмассовой частицы как линейную комбинацию операторов уничтожения a(p,s) частиц с импульсом р и спиральностью s и соответствующих операторов рождения ac†(p,s) äëÿ àíòè-
частиц *:
yl (x) = (2p)-3/2 |
z |
d3p |
å |
ka(p, s)ul (p, s)eip×x |
|
s |
(5.9.1) |
||
+ lac†(p, s)vl (p, s)e-ip×x |
, |
||
где теперь p0 º |p|. Операторы рождения преобразуются так же, как
одночастичные состояния в (2.5.42):
U(L)a†(p, s)U -1(L) = |
(Lp)0 |
expaisq(p, L)fa†(pL , s), |
(5.9.2) |
|||||||
p0 |
||||||||||
U(L)ac†(p, s)U -1(L) = |
(Lp)0 |
expaisq(p, L)fac†(pL , s), |
(5.9.3) |
|||||||
p0 |
||||||||||
и поэтому |
||||||||||
U(L)a(p, s)U -1(L) = |
(Lp)0 |
expa-isq(p, L)fa(pL , s) , |
(5.9.4) |
|||||||
p0 |
||||||||||
ãäå pΛ º Lp, à óãîë q определен формулами (2.5.43). Таким образом,
если мы хотим, чтобы поле преобразовывалось по некоторому представлению D(L) однородной группы Лоренца,
* Мы рассматриваем только один сорт частиц и опускаем соответствующую метку n. Кроме того, κ è λ – постоянные коэффициенты, которые
определяются из требования причинности при некотором подходящем выборе нормировки коэффициентных функций ul è vl.
330 Глава 5. Квантовые поля и античастицы
U(Λ)ψl (x)U−1(Λ) = å Dll (Λ−1)ψl (Λx), |
(5.9.5) |
l |
мы должны потребовать, чтобы коэффициентные функции u и v удовлетворяли вместо (5.1.19) и (5.1.20) соотношениям
ul (pΛ , σ) expaiσθ(p, Λ)f = |
p0 |
å Dll (Λ)ul (p, σ), |
(5.9.6) |
|||
(Λp)0 |
||||||
l |
||||||
vl (pΛ , σ) expa−iσθ(p, Λ)f = |
p0 |
å Dll (Λ)vl (p, σ). |
(5.9.7) |
|||
(Λp)0 |
||||||
l |
||||||
(Вновь pΛ ≡ Λp.) Как и в случае массивных частиц, этим требовани-
ям можно удовлетворить, положив (вместо (5.1.21) и (5.1.22)), что
ul (p, σ) = |
| k| |
å Dll (L(p)) ul (k, σ), |
(5.9.8) |
|||
p0 |
||||||
l |
||||||
vl (p, σ) = |
| k| |
å Dll (L(p)) vl (k, σ), |
(5.9.9) |
|||
p0 |
||||||
l |
||||||
где k — стандартный импульс, например, (0,0,k), а L (p) — стандартное преобразование Лоренца, переводящее безмассовую частицу из состояния с импульсом k в состояние с импульсом p. Кроме того, вместо (5.1.23) и (5.1.24) коэффициентные функции при стандартном импульсе должны удовлетворять соотношениям
ul (k, σ) expaiσθ(k, W)f = åDll (W) ul (k, σ), |
(5.9.10) |
l |
|
vl (k, σ) expa−iσθ(k, W)f = å Dll (W) vl (k, σ), |
(5.9.11) |
l |
ãäå Wμν — произвольный элемент «малой группы» для 4-импульса k
= (k, |k|), т. е. произвольное преобразование Лоренца, оставляющее этот 4-импульс инвариантным.