Текст книги "Квантовая хромодинамика: Введение в теорию кварков и глюонов"
Автор книги: Франсиско Индурайн
Жанр:
Физика
сообщить о нарушении
Текущая страница: 13 (всего у книги 17 страниц)
𝑑NΠφ(q²)
(𝑑q²)N
≡
Π
(N)
φ
(q²)
при N≥1 удовлетворяет дисперсионным соотношениям без какого-либо дополнительного вычитания. При значениях |q²| вблизи m²φ можно аппроксимировать функцию Π(N)(q²) единственным резонансом – φ-мезоном. Таким образом, можно написать приближенное выражение
Π
(N)
φ
(q²)≈
N!a
(m
2
φ
–q²)
N+1
.
Взяв отношение двух последовательных производных, находим
r
φ
(q
2
)
≡
Π
(N)
φ
(q²)
Π
(N+1)
φ
(q²)
≈
1
N+1
(m
2
φ
–q²).
(36.2)
Если вычислить производную Π(N)φ в рамках квантовой хромодинамики и использовать пертурбативные значения масс кварков, то получим
Π
(N)
φ
(q²)
≈
3C
2
φ
12π
2
(N-1)!
1
(-q²)N
⎧
⎨
⎩
1+
m̂
2
s
q
2
+O[α
s
(-q
2
)]
⎫
⎬
⎭
.
(36.3)
Но полученное выше значение m̂s не удовлетворяет соотношению (36.2) при физическом значении массы φ-мезона. Это показывает, что существенную роль играют непертурбативные вклады. Проще всего их учесть, использовав вычисления непертурбативных частей кваркового S и глюонного D пропагаторов, выполненные в § 35. В низшем порядке теории возмущений по константе связи αs необходимо учесть лишь выражения (35.3) и (35.6) . Тогда формула (36.3) принимает следующий вид:
Π
(N)
φ
(q²)
≈
3C
2
φ
12π
2
(N-1)!
1
(-q²)N
⎧
⎨
⎩
1+
m̂
2
s
q
2
-
4π
2
N(N+1)
q
4
m
s
⟨
s
s⟩
vac
-
3πN(N+1)
8q4
⟨α
s
G
2
+O(α
s
)+O(q
-6
)
⎫
⎬
⎭
.
(36.4)
Мы видим, что в пределе -q²/N→∞ существенный (фактически главный) вклад в массу φ-мезона возникает от вакуумного среднего ⟨αsG2. Таким образом, оказывается возможным в некотором смысле воспроизвести массы ρ, ω, φ,…, используя «конституентные» массы, имеющие величину порядка ⟨αsG2⟩¼. Мы не будем более углубляться в этот вопрос, а сделаем лишь два замечания. Во-первых, использование «конституентных» масс в лучшем случае является грубым приближением. Это обусловлено тем, что вклад вакуумного среднего ⟨αsG2⟩ зависит от спина операторов (в нашем примере от спина оператора φμ), с которыми оно связано; в общем случае этот вклад оказывается различным для разных частиц типа ρ– и ƒ0-мезонов. Во-вторых, в настоящее время выполнены вычисления более чем 50 адронных масс и параметров. Достигнутое согласие с экспериментом кажется впечатляющим, если вспомнить, что для этого требуется весьма ограниченное число параметров – массы кварков (u, d, s, c и b), параметр Λ и значения вакуумных средних ⟨αsG2⟩ и ⟨qq⟩. При этом последние три параметра могут быть взяты из других источников.
В заключение этого параграфа приведем пример конкретного вычисления непертурбативного вклада, а именно вклада в поляризационный оператор Πμνφ(q), обусловленного кварковым конденсатом ⟨ss⟩. Из формулы (36.1) имеем
Π
μν
φ
(q)=iC
2
φ
∫
𝑑
4
x
e
iq⋅x
⟨T
s
(x)γ
μ
s(x)
s
(0)γ
ν
s(0)⟩
vac
.
(36.5)
Таким образом,
Π
μν
φ
(q)=-iC
2
φ
∫
𝑑
D
k̂
Trγ
μ
S
s
(k)γ
ν
S
s
(k+q).
(36.6)
Рассмотрев только пертурбативную часть кваркового пропагатора Ss=SP, мы получили бы часть поляризационного оператора
Π
μν
P
(q)
=
8C
2
φ
n
c
6
⋅
1
16π²
(-g
μν
q
2
+q
μ
q
ν
)
×
(N
ε
–log q
2
+ конечные члены + O(m
2
s
)).
(36.7)
Непертурбативную часть поляризационного оператора мы получим, использовав в формуле (36.6) полное выражение для кваркового пропагатора Ss=SP+SNP . Ведущим является смешанный член
Π
μν
NP
=
-iC
2
φ
∫
𝑑
D
k̂
Tr{γ
μ
S
NP
(k)γ
ν
S
P
(k+q)
+
γ
μ
S
P
(k)γ
ν
S
NP
(k+q)},
(36.8)
где SNP описывается (в ведущем порядке) выражением (35.3), a SP(k)=i(k-ms). Выполняя необходимые вычисления, получаем
Π
μν
NP
=
-2C
2
φ
m
s
⟨
s
s⟩
vac
(-g
μν
q
2
+q
μ
q
ν
),
как уже было показано в формуле (36.4).
§ 37. Проблема U(1); глюонная аномалия
В § 33 в связи с распадом π0→γγ мы рассмотрели треугольную аномалию. Там отмечалось, что эта аномалия не ограничивается фотонами. В частности, имеется глюонная аномалия. Определив ток формулой
A
μ
0
=
n
∑
ƒ=1
q
ƒ
γ
μ
γ
5
q
ƒ
,
(37.1)
получим, что он также обладает аномалией
∂
μ
A
μ
0
=i
n
∑
ƒ=1
q
ƒ
γ
5
q
ƒ
+
ng²
16π²
G
̃
G,
(37.2)
где дуальный тензор G̃ удовлетворяет соотношениям
G
̃
μν
a
≡
½ε
μναβ
G
aαβ
,
G
̃
G
≡
∑
a
G
̃
μν
a
G
aμν
Ток (37.1) представляет собой так называемый U(1)-ток, необычный во многих отношениях (являющийся чистым синглетом по группе аромата). В частности, с ним связана так называемая проблема U(1), к обсуждению которой мы переходим.
Предположим, что имеется n легких кварков; рассмотрим только их, а возможным существованием тяжелых кварков (не относящихся к изучаемой проблеме) пренебрежем. Можно взять два легких кварка n=2(u,d) и обсуждать "проблему SU(2)U(1)" или три легких кварка n=3(u,d,s) и говорить о "проблеме SU(3)U(1)". Возьмем n²-1 матриц, действующих в пространстве ароматов λ1,…,λn2-1 . Для группы SU(3) они совпадают с матрицами Гелл-Манна, а для группы SU(2) – с матрицами Паули. Любую эрмитову матрицу размерности n×n можно выразить в виде комбинации n² матриц λ1,…,λn2-1, λ0≡1. Удобно принять, что индексы a, b, c пробегают ряд значений от 1 до n-1 а индексы α, β, δ принимают значения 0,1,…,n²-1. Благодаря только что сформулированному свойству полноты матриц λi достаточно рассмотреть токи
A
μ
α
=
∑
q
ƒ
γ
μ
γ
5
λ
α
ƒƒ'
q
ƒ'
;
из них, конечно, только ток A0 обладает аномалией. Пусть N1(x),…,Nk(x) – локальные операторы (простые или составные). Рассмотрим теперь величину
⟨vac|TA
μ
α
(x)
∏
j
N
j
(x
j
)|vac⟩
(37.3)
В случае α≠0 из теоремы Голдстоуна следует, что в киральном пределе массы псевдоскалярных частиц Pa , имеющих квантовые числа токов Aa , равны нулю. Вводя общий для всех кварковых масс параметр ε и полагая mƒ=εrƒ где коэффициент rƒ(ƒ=1,…,n) в киральном пределе остается постоянным, получаем
m
2
a
≡
m
2
Pa
≈ε.
(37.4)
Это было показано в § 31 (уравнения (31.4) и (31.5)). Следовательно, в этом пределе выражение (37.3) при α=a имеет полюс в точке q²=0. Точнее говоря, это означает, что в киральном пределе, т.е. при нулевых значениях масс кварков, справедливо равенство
lim
q→0
∫
𝑑
4
x
e
iq⋅x
∂
μ
⟨vac|TA
μ
α
(x)
∏
j
N
j
(x)
j
|vac⟩
≈(constant)q
μ
1
q²
.
(37.5)
Если пренебречь аномалиями, то вывод формулы (37.4) можно повторить и для случая α=0, откуда мы получили бы, что частица U(1) также в киральном пределе имеет нулевую массу [145]. В действительности это утверждение более точно сформулировано в работе [259], где получено неравенство m0≤√n. Это неравенство свидетельствует о неправильности всех наших построений, так как для группы SU(2) выполняется соотношение mη≫√2mπ . Для группы SU(2) масса mη' также нарушает это ограничение. В дополнение к этому было доказано [50], что при таких условиях распад η→3π и запрещен, что также противоречит эксперименту. Следовательно, нужно предположить, что выражение (37.3) для случая α=0 в пределе ε→0 остается регулярным. Если бы мы могли доказать это, мы бы решили проблему U(1). Этот вопрос подробнее обсуждается несколько ниже; здесь же мы просто предположим, что U(1)-бозонов не существует, не задаваясь вопросом, можно ли доказать это в рамках КХД. Совершенно очевидно, что, если бы не было аномалии, это предположение было бы противоречивым. Поэтому, возможно, полезно проследить, к каким результатам приводит одновременное отсутствие голдстоуновских бозонов P0 и наличие аномалии в токе A0. В решении этого вопроса мы следуем прекрасному обзору [82].
Определенный формулой (37.1) ток A0 инвариантен по отношению к калибровочным преобразованиям, но в киральном пределе не инвариантен по отношению к преобразованиям группы U(1) вследствие аномалии, содержащейся в выражении (37.2). Как было показано для абелевых групп в работе [7], а для общего случая в работе [25], можно построить другой, инвариантный относительно преобразований группы U(1) ток:
Â
μ
0
=
A
μ
0
–2nK
μ
,
(37.6)
где введен чисто глюонный ток
K
μ
=
2g²
32π²
ε
μνρσ
∑
B
aν
⎧
⎨
⎩
∂
ρ
B
aσ
+
1
3
ƒ
abc
B
bρ
B
cσ
⎫
⎬
⎭
.
(37.7)
В правильности этого выражения легко убедиться, заметив, что
∂
μ
K
μ
=
g²
32π²
G
̃
G
(37.8)
так что из формулы (37.2) в киральном пределе получаем
∂
μ
Â
μ
0
=0.
(37.9)
Следует отметить, что ток K, удовлетворяющий уравнению (37.8), определен неоднозначно, так как он зависит от используемой калибровки. В принципе выражение (37.6) записано для «голых» величин, но всегда можно провести перенормировку таким образом, что оно останется справедливым и для «одетых» величин. Конечно, причина состоит в том, что аномалия не перенормируется.
Генератором преобразований U(1) должен быть сохраняющийся ток, а именно ток Â0 . Следовательно, можно определить киралъностъ χ соотношением
δ(x
0
–y
0
)
⎡
⎣
Â
0
0
(x),N
j
(y)
⎤
⎦
=
–χ
j
δ(x-y)N
j
(y),
(37.10а)
или в интегральном виде
⎡
⎣
Q
̂
0
,N
j
=-χ
j
N
j
,
⎤
⎦
(37.10б)
где U(1)-киральный заряд имеет вид
Q
̂
0
=
∫
𝑑x
⃗
Â
0
0
(x).
(37.11)
Так как ток Â удовлетворяет уравнению (37.9), киральный заряд Q̂0 не зависит от времени, и, следовательно, можно ожидать, что не только соотношение (37.10) имеет смысл, но и числа χj не изменяются в процессе перенормировки. Чтобы доказать это более формально, рассмотрим вакуумное среднее
⟨vac|TÂ
μ
0
(x)
∏
j
N
j
(x
j
)|vac⟩,
и применим к нему оператор дифференцирования ∂μ . Мы получим тождество Уорда
∂
μ
⟨vac|TÂ
μ
0
(x)
∏
j
N
j
(x
j
)|vac⟩,
=-
⎧
⎨
⎩
∑
l
χ
l
δ(x-x
l
)
⎫
⎬
⎭
⟨vac|T
∏
j
N
j
(x
j
)|vac⟩;
(37.12)
при выводе мы использовали соотношения (37.9) и (37.10а). Так как ток Â (частично) сохраняется, то, как мы уже знаем, он не изменяется в процессе перенормировок, и величина χ также должна обладать этими свойствами. В § 38 будет показано, что соотношение (37.12) и отсутствие U(1)-бозонов приводят к довольно специфическим свойствам вакуума квантовой хромодинамики.
§ 38. Параметр θ, вакуум КХД, эффект безмассовых кварков и решение проблемы U(1)
До сих пор мы пользовались лагранжианом КХД (опуская члены, фиксирующие калибровку и описывающие вклад ду́хов)
ℒ=
∑
q
q
(i
D
–m)q-
1
4
GG.
(38.1)
Зададимся теперь вопросом: какие изменения возникнут при добавлении к лагранжиану (38.1) дополнительного члена
ℒ
1θ
=-
θg²
32π²
G
̃
G,
(38.2а)
так что полный лагранжиан имеет вид
ℒ
θ
=ℒ+ℒ
1θ
.
(38.2б)
В действительности последний член является единственным членом, совместимым с требованиями калибровочной инвариантности и перенормируемости, который может быть добавлен к лагранжиану (38.1). Кроме того, как было показано в § 37, он представляет собой 4-дивергенцию и, следовательно, не приводит к изменению уравнений движения. Конечно, от этого члена можно избавиться, положив параметр θ равным нулю, однако, хотя и есть указания на то, что значение параметра θ очень мало, существуют также причины, по которым оно может быть не равным нулю. Во всяком случае интересно выяснить следствия выбора более общего выражения (38.2) для лагранжиана КХД.
Так как мы добавили новое взаимодействие, следует ожидать, что теперь физический вакуум будет зависеть от значения параметра θ; поэтому мы будем использовать для него обозначение |θ⟩. Следующая наша задача состоит в исследовании зависимости функций Грина от параметра θ.
Для этого рассмотрим оператор топологического заряда50б)
50б)Бопее подробно о θ-вакууме и вопросах, обсуждаемых в этом параграфе, можно прочитать в § 43 – 45, где становятся ясными причины возникновения некоторых довольно специфических терминов.
Q
K
=
g²
32π²
∫
𝑑
4
x G
̃
G.
(38.3)
Используя формулу (37,8) и теорему Гаусса, запишем его в виде интеграла по поверхности
Q
K
=
∫
𝑑σ
μ
K
μ
.
Рис. 29. Область интегрирования при вычислении оператора топологического заряда.
В качестве поверхности интегрирования выберем цилиндр с осью, расположенной вдоль оси времени, и основаниями, лежащими при t+→+∞ и t-→-∞ (рис. 29). Устремив размеры цилиндра к бесконечности, получим
Q
K
=
∫
𝑑
⃗
x
K
0
(t
+
→+∞,
⃗
x)
–
∫
𝑑
⃗
x
K
0
(t
-
→-∞,
⃗
x)
≡
K
+
–K
-
.
(38.4)
Операторы K± являются самосопряженными, переходящими друг в друга при обращении времени; поэтому их спектры совпадают. Обозначим их собственные векторы через |n±⟩≡|n, t±→±∞; они удовлетворяют уравнению
K
±
|n
±
=n|n
±
⟩.
(38.5)
В силу эрмитовости операторов K± физический вакуум можно разложить по собственным векторам этих операторов. Такое разложение имеет вид
|θ⟩=
∑
c
n
(θ)|n
+
⟩=
∑
c
n
(θ)|n
-
⟩;
(38.6)
коэффициенты cn в первом и во втором равенстве одни и те же. Действительно, вакуум инвариантен по отношению к временны́м трансляциям; поэтому его можно рассматривать при t=0. Тогда, применяя оператор обращения времени U(T), мы получаем, что коэффициенты cn в (38.6) одинаковы в обеих суммах. Теперь необходимо определить значения этих коэффициентов. Для этого применим оператор i∂/∂θ к функции Грина (вспомним формализм, развитый в § 2) и получим
i
∂
∂θ
⟨θ|T
∏
N
j
(x
j
)|θ⟩
=
i
∂
∂θ
⟨0|
∏
N
0
j
(x
j
)ε
i
∫
𝑑
4
x{ℒ
0
int
(x)+ℒ
0
1θ
(x)}
|0⟩
=
g²
32π²
∫
𝑑
4
x
⟨0|TG
̃
0
(x)G
0
(x)
∏
N
0
j
(x
j
)ε
i∫
𝑑
4
x
{ℒ
0
int
(x)+ℒ
0
1θ
(x)}
|0⟩
=
g²
32π²
∫
𝑑
4
x
⟨θ|TG
̃
(x)G(x)
∏
N
j
(x
j
)
|θ⟩.
(38.7)
Другими словами, оператор i∂/∂θ эквивалентен введению в формулу оператора топологического заряда QK. С учетом хронологического порядка операторов и формул (38.3) и (38.4) выражение (38.7) принимает вид
i
∂
∂θ
⟨θ|T∏N
j
(x
j
)|θ⟩
=
⟨θ|K
+
T∏N
j
(x
j
)|θ⟩
–
⟨θ|T∏N
j
(x
j
)K
-
|θ⟩.
Разлагая его в ряд по собственйым векторам операторов K± получаем уравнение50в)
50в) Более строгий вывод можно найти в работе [81]; в § 45 приведено альтернативное рассмотрение.
i
∂
∂θ
∑
n,m
c
*
n
(θ)c
m
(θ)=
∑
n,m
(n-m)c
*
n
(θ)c
m
(θ),
решения которого имеют вид
c
n
(θ)=Ce
inθ
.
(38.8)
Произвольная константа C может быть выбрана равной единице.
Следствием формулы (38.8) является ортогональность вакуумов, соответствующих разным значениям параметра θ:
⟨θ|θ'⟩=δ(θ-θ'),
(38.9)
так что с точностью до периода каждому значению θ отвечает свой, отличный от других физический мир.
До сих пор мы не учитывали существования фермионов. Теперь мы покажем, как изменяется проведенный выше анализ при введении в рассмотрение n фермионов с исчезающе малой массой. Начнем с того, что напишем снова знакомое нам тождество Уорда (37.12):
∂
μ
⟨θ|TÂ
μ
0
(x)
∏
j
N
j
(x
j
)|θ⟩
=-
⎧
⎨
⎩
∑
l
χ
l
δ(x-x
l
)
⎫
⎬
⎭
⟨θ|T
∏
j
N
j
(x
j
)|θ⟩,
которое мы проинтегрируем по 𝑑4x:
∫
𝑑
4
x
∂
μ
⟨θ|TÂ
μ
0
(x)
∏
j
N
j
(x
j
)|θ⟩
–
⎧
⎩
∑
χ
l
⎫
⎭
⟨θ|T
∏
j
N
j
(x
j
)|θ⟩.
Используя формулы (37.6) и (37.8), получим выражение
∫
𝑑
4
x
∂
μ
⟨θ|T
∑
ƒ
q
ƒ
(x)γ
μ
γ
5
q
ƒ
(x)
∏
j
N
j
(x
j
)|θ⟩
=
2n
∫
𝑑
4
x
⟨θ|TG
̃
(x)G(x)
∏
j
N
j
(x
j
)|θ⟩
–
⎧
⎩
∑
χ
l
⎫
⎭
⟨θ|T
∏
j
N
j
(x
j
)|θ⟩.
(38.10)
Здесь следует сделать два замечания. Очевидно, что справедливо равенство
∫
𝑑
4
x
∂
μ
⟨θ|T
∑
ƒ
q
ƒ
(x)γ
μ
γ
5
q
ƒ
(x)
∏
N
j
(x
j
)|θ⟩
=-
lim
q→0
iq
μ
∫
𝑑
4
x
e
iq⋅x
⟨θ|T
∑
ƒ
q
ƒ
(x)γ
μ
γ
5
q
ƒ
(x)
∏
N
j
(x
j
)|θ⟩.
Но если не существует U(1)-бозонов, то это вакуумное среднее не имеет полюса в точке q2 = 0, поэтому результат обращается в нуль. Далее, как было показано выше, введение в формулу оператора топологического заряда QK эквивалентно применению оператора дифференцирования i∂/∂θ. Таким образом, выражение (38.10) принимает вид
2ni
i
∂θ
⟨θ|T
∏
N
j
(x
j
)|θ⟩
=
⎧
⎩
χ
l
⎫
⎭
⟨θ|T
∏
N
j
(x
j
)|θ⟩.
(38.11)
Для случая безмассовых кварков вакуум инвариантен относительно киральных вращений:
|θ⟩=U
φ
|θ⟩, U
φ
=e
-iφQ̂0
;
(38.12)
с другой стороны, используя формулу (37.106), получаем
i
i
∂φ
U
-1
φ
∏
N
j
U
φ
=
⎧
⎩
χ
l
⎫
⎭
U
-1
φ
∏
N
j
U
φ
;
(38.13)
поэтому правую часть уравнения (38.11) можно переписать в виде
i
i
∂φ
⟨θ|T
∏
j
N
j
(x
j
)|θ⟩.
Таким образом, видно, что под действием оператора
2ni
∂
∂θ
–i
∂
∂θ
все функции Грина обращаются в нуль. Это означает, что изменение значения параметра θ может быть скомпенсировано изменением фазы φ. Следовательно, теория θ-вакуума эквивалентна теории с θ=0, а последняя, очевидно, обладает инвариантностью относительно киральных преобразований. Таким образом, в частном случае безмассовых кварков51) параметр θ можно выбрать равным нулю; тогда используемое нами выражение (38.1) для лагранжиана квантовой хромодинамики представляет собой в действительности выражение наиболее общего вида.
51) Бопее детальный анализ показывает, что достаточно, чтобы безмассовым был хотя бы один кварк. Этот результат впервые получен в работе [217].
Можно предположить, что кварки приобретают массу в результате слабых взаимодействий посредством механизма Хиггса, и следует допустить, что в "чистой" квантовой хромодинамике кварки безмассовы. Но нас интересует реальный физический мир, и, таким образом, нельзя избежать (по крайней мере в первом порядке теории возмущений) эффектов, обусловленных слабыми взаимодействиями и нарушающих исходные чисто квантовохромодинамические уравнения51а).
51а) Другая возможность состоит в использовании подходящих хиггсовских систем, обеспечивающих нулевое значение θ [217]. Можно показать, что это приводит к существованию новых псевдоскалярных бозонов («аксионов», см. [261, 267]). Но нет достаточных данных, чтобы решить, существуют ли они в природе.
Другое возможное предположение связано с тем, что член ℒ1θ нарушает инвариантность по отношению к обращению времени и P-инвариантность. Таким образом, потребовав сохранения P– и T– инвариантности, мы можем положите значение параметра θ равным нулю. Но принять такую точку зрения также невозможно, потому что слабые взаимодействия нарушают T– и P– инвариантность и связанные с этим эффекты могут проявиться в процессах сильного взаимодействия. Если в этом состоит причина возникновения ненулевого значения параметра θ, то имеются довольно веские аргументы [108] в пользу того, что этот эффект мал при условии, что исходное значение параметра θQCD равно нулю.
Возможно, полезнее обсудить экспериментальные ограничения на значения параметра θ. Как показано в § 45, эффекты, связанные с лагранжианом ℒ1θ , в процессах типа глубоконеупругого рассеяния оказываются пренебрежимо малыми. Единственным источником, из которого можно получить информацию о значении параметра θ, являются процессы, нарушающие P– и T– инвариантность. При этом наиболее информативной величиной является дипольный момент нейтрона dn . Вычисления были выполнены dn в работе [33] в которой были уточнены оценки, данные ранее в статье [21]. Получено значение
d
n
≈4×10
-16
|θ| (in e – cm).
(в единицах e-см), в то время как экспериментальное ограничение на дипольный момент нейтрона составляет
d
exp
n
≤1.6×10
-24
,
откуда получаем |θ|≤10-8, т.е. очень малое значение.
Вернемся к рассмотрению проблемы вакуума. Эффекты, обусловленные наличием безмассовых кварков, мы уже обсудили. Теперь необходимо изучить следствия, к которым приводят нарушающие киральную инвариантность "малые" массовые члены. Например, что произойдет, по крайней мере в первом порядке теории возмущений по параметру ε (напомним, что массы кварков выражаются в виде mƒ=εrƒ, где коэффициент rƒ постоянен), при введении в лагранжиан возмущающего члена
∑
m
ƒ
q
ƒ
q
ƒ
.
Мы здесь не будем вдаваться в детальный анализ (заинтересованному читателю рекомендуется обратиться к лекциям [82]), а просто приведем основные результаты. Рассмотрим неравенство
m
-1
u
>
n
∑
ƒ=2
m
-1
ƒ
;
(38.14)
отметим, что из результатов, полученных в § 31, следует, что оно, вероятно, выполняется в реальном мире. Тогда: 1) если неравенство (38.14) справедливо, то топологический заряд квантуется и приобретает только целочисленные значения (например, разность v между двумя собственными значениями операторов K+ и K- представляет собой целое число); 2) если неравенство (38.14) несправедливо, то по меньшей мере существуют дробные значения величины ν. На самом деле для некоторых частных значений масс параметр ν должен принимать иррациональные значения.
Завершим этот параграф двумя замечаниями. Во-первых, мы получили ограничения на спектр операторов K± и выражение для вакуума в терминах собственных векторов этих операторов |n± , но мы не доказали, что спектр этих операторов нетривиален. Действительно, можно представить себе, что все собственные значения n совпадают между собой; тогда о содержании этого параграфа можно сказать: «много шума из ничего». К счастью (или к сожалению , в зависимости от точки зрения), наличие инстантонов свидетельствует о существовании по крайней мере бесконечного счетного множества …, —1, 0, 1, 2, … различных значений параметра n. Это будет показано в §45.
Во-вторых, мы предположили, что безмассовые U(1)-бозоны не существуют. Массы псевдоскалярных мезонов можно оценить так же, как это сделано в § 31. Если повторить вычисления для синглетного тока Aμ0, то получим, что вследствие аномалии уравнение (31.5) приобретет дополнительный член
n
2
ƒ
⎧
⎩
g²
32π²
⎫²
⎭
∫
𝑑
4
x
⟨TG(x)G
̃
(x)G(0)G
̃
(0)⟩
vac
.
(38.15)
Если рассматривать вакуум теории возмущений, то этот член обращается в нуль, однако, как будет показано в § 43 – 45, наличие инстантонных решений, по крайней мере в квазиклассическом приближении, приводит в киральном пределе к ненулевому значению выражения (38.15) [252]. Можно поставить вопрос о справедливости такого приближения. С другой стороны, тот же результат получается в пределе больших чисел цветов [273]. Таким образом, хотя абсолютно строгого доказательства нет, но кажется чрезвычайно вероятным, что квантовая хромодинамика решает проблему U(1).