50б)Бопее подробно о -вакууме и вопросах, обсуждаемых в этом параграфе, можно прочитать в § 43 — 45, где становятся ясными причины возникновения некоторых довольно специфических терминов.
Q
K
=
g^2
32^2
d
4
x G
G.
(38.3)
Используя формулу (37,8) и теорему Гаусса, запишем его в виде интеграла по поверхности
Q
K
=
d
K
.
Рис. 29. Область интегрирования при вычислении оператора топологического заряда.
В качестве поверхности интегрирования выберем цилиндр с осью, расположенной вдоль оси времени, и основаниями, лежащими при t+->+ и t-->- (рис. 29). Устремив размеры цилиндра к бесконечности, получим
Q
K
=
d
x
K
0
(t
+
->+,
x)
-
d
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
d
4
x{L
0
int
(x)+L
0
1
(x)}
|0
=
g^2
32^2
d
4
x
0|TG
0
(x)G
0
(x)
N
0
j
(x
j
)
i
d
4
x
{L
0
int
(x)+L
0
1
(x)}
|0
=
g^2
32^2
d
4
x
|TG
(x)G(x)
N
j
(x
j
)
|.
(38.7)
Другими словами, оператор i/ эквивалентен введению в формулу оператора топологического заряда QK. С учетом хронологического порядка операторов и формул (38.3) и (38.4) выражение (38.7) принимает вид
i
|TN
j
(x
j
)|
=
|K
+
TN
j
(x
j
)|
-
|TN
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^A
0
(x)
j
N
j
(x
j
)|
=-
l
l
(x-x
l
)
|T
j
N
j
(x
j
)|,
которое мы проинтегрируем по d4x:
d
4
x
|T^A
0
(x)
j
N
j
(x
j
)|
-
l
|T
j
N
j
(x
j
)|.
Используя формулы (37.6) и (37.8), получим выражение
d
4
x
|T
f
q
f
(x)
5
q
f
(x)
j
N
j
(x
j
)|
=
2n
d
4
x
|TG
(x)G(x)
j
N
j
(x
j
)|
-
l
|T
j
N
j
(x
j
)|.
(38.10)
Здесь следует сделать два замечания. Очевидно, что справедливо равенство
d
4
x
|T
f
q
f
(x)
5
q
f
(x)
N
j
(x
j
)|
=-
lim
q->0
iq
d
4
x
e
iq·x
|T
f
q
f
(x)
5
q
f
(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
-iQ0
;
(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а).