Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

.pdf
Скачиваний:
346
Добавлен:
15.08.2013
Размер:
35.48 Mб
Скачать

22.5. Безмассовые связанные состояния

523

Все это касалось одного поколения стандартной модели. Для трех поколений имеется много больше свободных от аномалий симметрий. Один из классов симметрий, которые не нарушаются аномалиями или (насколько мы знаем) чем либо еще, состоит из разностей чисел лептонов разных ароматов. Наряду с B – L это будет важно при обсуждении в разделе 23.5 классификации порождаемых аномалиями процессов, не сохраняющих барионное и лептонное числа.

22.5. Безмассовые связанные состояния*

Иногда высказываются гипотезы, что кварки и лептоны могут быть связанными состояниями более фундаментальных частиц. Если бы такие гипотетические фундаментальные частицы имели асимптотически свободные калибровочные взаимодействия, аналогичные тем, которые есть в квантовой хромодинамике, то мы были бы вправе ожидать, что эти частицы находятся в плену, и это объясняло бы, почему они не наблюдаются. Однако такая картина приводит к трудностям. Какая-либо внутренняя структура кварков и лептонов никогда не наблюдалась, поэтому характерная энергети- ческая шкала Λ′ (аналогичная шкале Λ d 200 МэВ в квантовой хро-

модинамике) этих калибровочных взаимодействий должна быть очень большой. Например, как отмечалось в разделе 12.3, согласие между теорией и экспериментом для магнитного момента мюона указывает, что Λ′ > 3 ТэВ. Однако, если не считать голдстоу-

новских бозонов, мы в обычной ситуации могли бы ожидать, что массы связанных состояний в такой теории порядка Λ′ или, может быть, 2πΛ′, точно так же, как в квантовой хромодинамике масса протона порядка 2πΛÊÕÄ. Такие ожидания, конечно, нахо-

дятся в кричащем противоречии с тем фактом, что наблюдаемые массы кварков и лептонов много меньше Λ′. Можно задать вопрос

иначе: если лептоны и кварки являются связанными состояниями, то почему их размер (измеренный по значениям аномальных магнитных моментов и т. п.) настолько меньше их комптоновской длины волны?

*Этот раздел лежит несколько в стороне от основной линии изложения

èможет быть опущен при первом чтении.

524

Глава 22. Аномалии

Один из способов ответа на этот вопрос заключается в предположении, что, в противоположность квантовой хромодинамике, в такой теории имеются ненарушенные киральные симметрии, оставляющие кварки и лептоны безмассовыми, если не считать малых поправок от других взаимодействий. В общем случае, киральная симметрия — это любая симметрия, для которой безмассовые элементарные поля данной спиральности (включая комплексно сопряженные поля противоположной спиральности) реализуют комплексное представление. Действуя на вакуум произведениями элементарных полей, можно построить другие состояния с определенной спиральностью, которые также образуют комплексные представления этих симметрий. Если любое из указанных состояний представляет реальную составную частицу, то эти состояния должны быть безмассовыми, поскольку все спиральные компоненты состояния массивной частицы должны реализовывать то же представление любой симметрии, комму- тиру-ющей с вращениями, так что данная спиральная компонента частицы вместе с противоположной по знаку спиральной компонентой античастицы вместе реализуют вещественное представление. Конечно, может быть не так легко выяснить, какие из построенных таким образом состояний соответствуют реальным составным безмассовым частицам, но если это соответствие имеет место, безмассовость таких состояний естественна, поскольку для того, чтобы какие-то безмассовые частицы данной спиральности, принадлежащие комплексному представлению группы симметрии, при изменении какого-нибудь параметра теории стали массивными, их свойства симметрии должны измениться дискретным образом от комплексного к вещественному представлению.

Хотя подобные рассуждения показывают, что существуют теории, в которых естественно имеются безмассовые или очень легкие составные частицы, они не дают никаких указаний на то, когда это реально происходит. Вопрос очень интересен безотносительно к проблеме понимания кварков и лептонов как возможных составных частиц. Ò Õîôò 16 предложил мощный способ ответа на

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

22.5. Безмассовые связанные состояния

525

над элементарными левыми фермионами (и антифермионами) спина 1/2 c с генераторами симметрии Tα, Tβ и т. д., и если константа аномалии tr[{Tα,Tβ}Tγ] этих глобальных симметрий не равна нулю,

то спектр связанных состояний должен включать безмассовые ча- стицы спина 1/2, на левых состояниях которых те же симметрии индуцируют преобразования с генераторами Tα, Tβ è ò. ä. è ñ òîé æå

константой аномалии

tr[{Tα , Tβ }Tγ ] = tr[{Tα , Tβ }Tγ ].

(22.5.1)

Рассуждения ¢т Хофта были следующими. Предположим, что с генераторами Tα, Tβ и т. д. глобальных симметрий фунда-

ментальной теории связаны какие-то слабовзаимодействующие ка-либровочные бозоны. Предположим также, что, хотя некоторые коэффициенты Dαβγ ¹ tr[{Tα,Tβ}Tγ] не равны нулю, эта анома-

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

сы будут описываться эффективным лагранжианом, в котором не содержатся запертые фермионы. Если симметрии с генераторами Tα, Tβ и т. д. спонтанно не нарушены, то голдстоуновских бозонов

нет, и единственными частицами в этом эффективном лагранжиане будут слабовзаимодействующие калибровочные бозоны и фер- мионы-наблюдатели, а также любые безмассовые связанные состояния запертых фермионов и сильновзаимодействующих калибровочных бозонов. Самосогласованность эффективной теории поля требует, чтобы она была свободна от аномалий, но, по предположению, фермионы-наблюдатели имеют константу аномалии, равную –Dαβγ, так что должны существовать безмассовые

связанные состояния, обеспечивающие равную и противоположную по знаку константу аномалии, т. е. равную константе аномалии для исходных запертых фермионов *. Заметим, что это рассуждение остается в силе независимо от того, насколько слабы

* Остается показать, что эти частицы должны иметь спин 1/2. Мы предполагаем, что голдстоуновских бозонов здесь нет, а другие бесспино-

526

Глава 22. Аномалии

калибровочные взаимодействия с генераторами Tα, Tβ è ò. ä., òàê

что эти калибровочные бозоны и незапертые фермионы не должны быть реальными частицами для того, чтобы придти к заклю- чению: безмассовые связанные состояния спина 1/2 воспроизводят аномалии запертых элементарных фермионов спина 1/2, из которых они построены.

В качестве простого примера предположим, что фундаментальная теория содержит n «ароматов» безмассовых фермионов, каждый из которых имеет как левую, так и правую компоненты в фундаментальном представлении N асимптотически свободной SU(N) калибровочной группы. Потребуем, чтобы N было нечетным, так, чтобы могли существовать неплененные SU(N)-нейтральные фермионные связанные состояния. Как и в квантовой хромодинамике, эта теория автоматически обладает глобальной SUL(n) ´ SUR(n) ´ UV(1) симметрией с левыми и правыми безмассовыми фермионами в представлениях (n, 1) и (1, n) соответственно, для которых UV(1) квантовое число имеет одинаковое значение, принимаемое за единицу. В фундаментальной теории для триплетов токов SU(n)L–SU(n)L–U(1)Y è SU(n)R–SU(n)R–U(1)Y есть неисчезающие константы аномалий, значения которых равны

DaL,bL,0 = DaR,bR,0 = Nδab,

(продолжение сноски со с. 525)

вые частицы не могут быть естественным образом безмассовыми. Предполагается, что элементарные калибровочные бозоны теории нейтральны по отношению к аномальным преобразованиям симметрии, поэтому они не могут давать вклад в аномалии. Составные частицы спина j ³ 1 исключа-

ются с помощью других рассуждений.16à Мы рассматриваем теорию, в которой аномальные токи можно построить как лоренцовские 4-вектор- ные функции элементарных полей спина 1/2. Чтобы давать вклад в аномалию, эти токи должны были бы иметь не равные нулю матричные элементы между любыми безмассовыми составными частицами спина j = 1, что нарушало бы лоренц-инвариантность. Безмассовые составные частицы спина j ³ 3/2 исключаются потому, что в такой теории можно построить

сохраняющийся тензор энергии–импульса, который должен был бы иметь не равные нулю матричные элементы между состояниями таких безмассовых частиц, и при j ³ 3/2 это также нарушало бы лоренц-инвариантность.

22.1. Проблема распада π0

527

где a, b, и т. д. отмечают SU(n) генераторы λa, нормированные так,1 что в фундаментальном n-компонентном представлении tr{λaλb} = δab. При n > 2 есть также неисчезающие константы аномалий

äëÿ SU(n)L– SU(n)L– SU(n)L è SU(n)R–SU(n)R–SU(n)R токов, равные

DaL,bL,0 = DaR,bR,0 = Ntr[{λa , λb }λc ] .

Мы предполагаем здесь, что SUL(n) × SUR(n) × U(1) симметрия

спонтанно не нарушена. Из-за эффекта пленения единственные фермионные связанные состояния в физическом спектре будут содержаться в представлениях этой симметрии, которые можно образо1 1- âàòü èç mL è mR элементарных фермионов спиральности + и – , соответственно, а также`mL è`mR их античастиц, причем

mL + mR

 

L

 

R = kN,

(22.5.2)

m

m

где k — любое положительное или отрицательное нечетное число. Следовательно, единственными неприводимыми представлениями (r, s) группы SU(n)L × SU(n)R, с которыми мы столкнемся,

будут те, для которых r — прямое произведение mL фундаментальных представлений SU(n) и`mL им комплексно сопряженных, s — прямое произведение mR фундаментальных представлений SU(n) и`mR им комплексно сопряженных, а квантовое число U(1)V равно kN, где k, mL,`mL, mR è`mR подчиняются условию (22.5.2).

Пусть p(r,s,k) — кратность появления неприводимого представления (r,s) группы SU(n)L × SU(n)R ñ U(1)V квантовым1 числом kN

среди связанных состояний со спиральностью + . Тогда формула (22.5.1) принимает вид

å p(r, s, k)dstr(r) [{Ta , Tb }Tc ] = Ntr[{λa

, λb

}λc

] ,

(22.5.3)

r,s,k

 

 

 

 

 

 

 

å p(r, s, k)dsktr(r) [{Ta , Tb }] = tr[{λa

, λb

}] ,

 

(22.5.4)

r,s,k

 

 

 

 

 

 

 

ãäå tr(r) обозначает след в неприводимом представлении r группы SU(n), а ds — размерность представления s группы SU(N). Единственным другим ограничением на p(r,s,k) является то, что эти величины должны быть положительными целыми числами.

528 Глава 22. Аномалии

Для комплексно сопряженного представления (r, s,k) любому представлению (r,s,k) группы SU(2)L × SU(2)R × U(1)V значения

следов tr(r)[{Ta,Tb}Tc] è ktr(r)[{Ta,Tb}] противоположны по знаку значе- ниям этих же следов в представлении (r,s,k), так что условия (22.5.3) и (22.5.4) ограничивают только значения

l(r, s, k) p(r, s, k) p(r, s,k).

Напомним, что в используемых здесь обозначениях такие следы берутся1 по всем безмассовым связанным состояниям спиральности + , включая1античастицы безмассовых связанных состояний спиральности – , которые преобразуются по комплексно сопряженным представлениям. Комплексно сопряженное представление к любому представлению SU(2)L × SU(2)R × U(1)V имеет значения tr(r)[{Ta,Tb}Tc] è ktr(r)[{Ta,Tb}], противоположные по знаку к значениям этих следов для са мого представления. Следовательно, мы можем просуммировать в (22.5.3) и (22.5.4) только по представлениям с U(1)V квантовым числом kN > 0:

å l(r, s, k)dstr(r) [{Ta , Tb }Tc ] = Ntr[{λa , λb }λc

] ,

(22.5.5)

r,s,k>0

 

 

 

å l(r, s, k)dsktr(r) [{Ta , Tb }] = tr[{λa , λb }] ,

 

(22.5.6)

r,s,k>0

 

 

где l(r,s,k) равно кратности появления неприводимого представления (r,s) группы SUL(n) × SUR(n) ñ U(1)V квантовым1 числом kN > 0

среди связанных состояний спиральности + минус кратность появления того1 же представления среди связанных состояний спиральности – . (Если четность не нарушается, то представление1 (r,s,k) должно возникать в связанных состояниях спиральности – столь же часто, как представление1 (s,r,k) —среди связанных состояний спиральности + , так что в этом случае l(r,s,k) = –l(s,r,k).

Прежде всего рассмотрим случай, когда число ароматов n = 2. Невозможно симметрично связать три 3-вектора, получив при этом SU(2) инвариант, поэтому обе части (22.5.5) автоматически обращаются в нуль, и остается только условие (22.5.6). Фундаментальное двухкомпонентное представление SU(2) содержится в произведении любого нечетного числа таких двухкомпонентных

22.1. Проблема распада π0

529

представлений, так что всегда можно найти решение (22.5.6) с l(r,s,k) = 0 для всех представлений SU(2)L × SU(2)R × U(1)V с нетривиаль-

ным r, за исключением случая, когда r есть фундаментальное представление, s — тривиальное представление и k = 1, для которого мы полагаем l = 1. К сожалению, такое решение совершенно неоднозначно — существует бесконечное число способов воспроизведения аномалий лежащей в основе фундаментальной теории.

В случае произвольных n и N обычно можно найти много решений уравнений (22.5.5) и (22.5.6), но есть случаи, когда решений нет. Для таких теорий можно придти к выводу, что SU(n)L × SU(n)R × U(1)V симметрия должна быть частично или полностью

спонтанно нарушена. Этот вывод имеет особенно интересные приложения к квантовой хромодинамике, поэтому сосредоточимся на случае SU(3) калибровочной группы.

Конкретнее, ограничимся представлениями с k = 1 и`mL =`mR = 0,

которые можно построить только из трех фермионов и без антифермионов. Эти представления таковы *:

(a) r — симметричный SU(n) тензор третьего ранга; s — тривиальное представление;

(b) r — антисимметричный SU(n) тензор третьего ранга; s — тривиальное представление;

(c) r —SU(n) тензор третьего ранга со смешанной симметрией; s — тривиальное представление;

(d) r — симметричный SU(n) тензор второго ранга; s — SU(n) вектор;

(e) r — антисимметричный SU(n) тензор второго ранга; s — SU(n) вектор;

(f) r — SU(n) вектор; s — симметричный SU(n) тензор второго ранга;

(g) r — SU(n) вектор; s — антисимметричный SU(n) тензор второго ранга;

(h) r — тривиальное представление; s — симметричный SU(n) тензор третьего ранга;

(i) r — тривиальное представление; s — антисимметричный SU(n) тензор третьего ранга;

* Ниже все SU(N) векторы и тензоры считаются контравариантными.

530

Глава 22. Аномалии

(j) r — тривиальное представление; s — SU(n) тензор третьего ранга со смешанной симметрией.

При n > 2 формулы (22.5.5) и (22.5.6) принимают вид *

 

1

(n + 3)(n

+ 6)l

 

+

 

1

(n

3)(n

6)l

 

+ (n2 9)l

 

+ n(n + 4)l

 

 

 

 

a

 

 

b

c

d

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+n(n 4)l

 

+

 

1

n2 (n + 1)l

 

+

 

1

n2 (n

1)l

 

= 3

 

 

 

 

(22.5.7)

e

 

 

f

 

g

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

(n + 2)(n

+ 3)l

 

 

+

1

(n

2)(n 3)l

 

 

+ (n2 3)l

 

 

+ n(n + 2)l

 

 

 

a

 

b

c

d

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+n(n 2)l

 

 

+

1

n(n + 1)l

 

+

1

n(n 1)l

 

=

1.

 

 

 

 

(22.5.8)

e

 

f

 

g

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Не составляет труда удовлетворить условию (22.5.7), но заметим, что если n кратно трем, то для всех значений l каждое слагаемое в левой части формулы (22.5.8) также кратно трем, и удовлетворить этому условию невозможно. В частности, мы приходим к выводу, что SU(3)L × SU(3)R × U(1)V симметрия квантовой хро-

модинамики с тремя сортами безмассовых кварков должна быть спонтанно нарушена. Это результат не ограничивается представлениями (a)–(j) и применим к любому представлению SU(3)L × SU(3)R × U(1)V, которое можно построить из нейтральных по цве-

ту комбинаций кварков и антикварков.

* * *

Если не считать частных случаев, вроде калибровочной группы SU(3) с n = 3 элементарными фермионными SU(3) триплетами, условие подбора аномалий т Хофта не слишком ограничительно.

* В работе 16 т Хофт предположил, что четность спонтанно не нару-

шается, поэтому он привел эти формулы для случая, когда la = –lh, lb = – li, lc = –lj, ld = –lf è le = –lg. Как мы видим, основной вывод не зависит от сохранения четности.

22.5. Безмассовые связанные состояния

531

В общем случае оно допускает большое количество безмассовых связанных состояний при ненарушенной киральной симметрии. Ò

Хофт предложил также условие расцепления, которое требует, что когда один или более сортов элементарных фермионов становятся очень тяжелыми, не должно быть ненарушенных киральных симметрий, препятствующих частицам, содержащим тяжелые элементарные фермионы, приобретать массы. Например, в случае SU(3) цветовой калибровочной группы, если мы придадим одному из n сортов кварков большую массу, то те трехфермионные связанные состояния, которые содержат единственный массивный кварк, будут реализовывать представления (r,s) группы SU(n – 1) × SU(n – 1) следующих типов:

(v) r— симметричный SU(n – 1) тензор второго ранга; s— триви-

альное представление;

(w) r— антисимметричный SU(n – 1) тензор второго ранга; s

тривиальное представление; (x) rè s— SU(n) векторы;

(y) r— тривиальное представление; s— симметричный SU(n – 1)

тензор второго ранга;

(z) r— тривиальное представление; s— антисимметричный

SU(n – 1) тензор второго ранга.

Для того, чтобы трехфермионное массовое состояние приобрело большую массу, необходимо, чтобы l(r,s) = 0, ãäå l(r,s) — кратность появления неприводимого1 представления (r,s) среди свя-

занных состояний спиральности + минус кратность появления того1 же представления среди связанных состояний спиральности – . Изучив список трехфермионных представлений (a)–(j) группы SU(n) × SU(n), чтобы увидеть, какие представления SU(n – 1) ×

SU(n – 1) они включают, мы получаем, что условие расцепления т Хофта требует, чтобы *

* В сохраняющем четность случае, изученном т Хофтом, четвертое и

пятое уравнения тождественны первому и второму, а третье тождественно обращается в нуль.

532

 

Глава 22. Аномалии

= la + lc + ld ,

 

0 = lv

 

= lb + lc + le ,

 

0 = lw

 

= lf + lg + ld + le ,

 

0 = lx

(22.5.9)

= lf + lh + lj ,

0 = ly

 

= lg + li + lj .

 

0 = lz

 

К сожалению, в большинстве случаев все же остается бесконеч- ное число решений, хотя не существует решений, в которых числа l — целые и независящие от n.

Условие расцепления кажется вполне приемлемым, однако его использование т Хофтом было поставлено под вопрос 17 íà òîì

основании, что когда одна или более фермионные массы увеличи- ваются, обычно возникают фазовые переходы, изменяющие массовый спектр по сравнению с тем, который был бы при малых массах формионов. Существует более сильное условие, известное как жесткое массовое условие, которое требует, что когда один или более сорт элементарных фермионов приобретает любую массу, не должно быть ненарушенных киральных симметрий, препятствующих приобретению каких-то масс составным частицам, содержащим эти массивные элементарные фермионы 17. Если жесткое массовое условие правильно, оно приводит к ряду следствий, таких как описанные т Хофтом условия (22.5.9), которые ни при ка-

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

массовое условие нарушается, например, теории со спонтанно нарушенными некиральными симметриями, приводящими к безмассовым голдстоуновским бозонам, состоящим из массивных фермионов 17. (В этих моделях с ростом масс фермионов также возникают фазовые переходы, которые сводят на нет выводы т Хофта,

полученные из условия расцепления.) Однако, как показано в обсуждавшейся в разделе 19.9 работе Вафы и Виттена, в разных более реалистичных КХД-подобных теориях некиральные симметрии не могут спонтанно нарушаться, поэтому сказанное выше не следует рассматривать как серьезное возражение против жесткого массового условия.