Опуская вычисления, приведем лишь конечный результат для перенормировочного множителя Z17)
17) См., например, работу [222] и цитируемую там литературу. Тождества Славнова-Тейлора, доказанные в § 6, обеспечивают выполнение равенства ZB=Z во всех порядках теории возмущений
C
(1)
=C
(1)
B
(9.25)
Следует отметить, что в калибровке Ландау параметр в однопетлевом приближении не перенормируется. В действительности, как показано в § 6, тождества Славнова — Тейлора обеспечивают справедливость этого утверждения во всех порядках теории возмущений.
Рис. 7. Вершина кварк-глюонного взаимодействия.
В заключение этого параграфа вычислим перенормировочный множитель Zg. Для этого используем вершину ggB. Выбирая обозначения 4-импульсов в соответствии с рис. 7, можно записать выражение для этой вершины во втором порядке теории возмущений в виде (ср. с (9.7))
V
=ig
t
a
+i
(2)
,
uij,a
ij
uij,a
(9.26 а)
где
(2)
(p,p')={
(b)
+
(c)
}
.
uij,a
uij,a
(9.26 б)
Величины (b) и (c) обозначают вклады от диаграмм рис. 7, б и в соответственно. Диаграмма рис. 7, а приводит к первому члену igt в формуле (9.26 а). Из рассмотренных выше примеров очевидно, что массы кварков не играют pоли в выражениях для перенормировочных множителей Z (за исключением, конечно, множителя Zm), поэтому можно упростить вычисления, положив m=0. При этом следует учитывать только расходящиеся части вершин . Тогда в калибровке Ферми — Фейнмана для рассматриваемой вершины имеем
i
(b)
uij,a
div
=
ig
d
D
k
x
[(2k-q)g-(k+q)g+2(q-k)g](
[(p+k)2+i0][(k-q)2+i0](k2+i0)
C
a
ij
div
=
igC
a
lim
->0
d
D
k
2(2-D)/D-2
ij
(k
2
-i)
2
div
=
g
3N
C
a
ij
2
16
2
(9.27 а)
Здесь использованы обозначения
d
D
k
d
D
k
4-D
,
(2)
D
0
C
a
ij
-g
2
t
b
t
c
f
abc
=
1
g
2
[t
b
,t
c
]
ij
f
bca
jl
li
2
=
g
2
i
C
A
t
a
=
3
it
a
g
2
.
2
ij
2
ij
При выводе последнего выражения использовано свойство антисимметрии константы f по отношению к перестановке индексов, благодаря которому можно заменить tbtc на коммутатор 1/2 [tb, tс]. Аналогично получаем выражение для вклада, возникающего от диаграммы рис. 7, в:
i
(c)
uij,a
div
=
-i
2
g
d
D
k
(
+
)
(
+
)
g
C
'a
[(p+k)
2
+i0][(p'+k)
2
+i0](k
2
+i0)
ij
div
=
ig
N
C
'a
.
16
2
ij
(9.27 б)
Здесь
C
'a
ij
=
g
2
c
(t
c
t
a
t
c
)
ij
= g
2
c
([t
c
,t
a
]t
c
)
ij
+ g
2
(
t
a
c
t
c
t
c
)
ij
=
g
2
t
a
{
-
1
C
A
+C
F
}
.
ij
2
(9.27 в)
При выводе этого выражения использованы формулы приложения В. Таким образом, окончательное выражение для вершины имеет вид
(2)
uij,a
div
=
N
g
3
{
C
A
+C
F
}
it
a
.
16
2
ij
(9.28)
В перенормировке вершины участвуют множители Zg, ZF и ZB:
V
=Z
-1
Z
- 1/2
Z
V
.
Rij,a
F
B
g
uij,a
(9.29)
Используя полученные выше выражения для перенормировочных множителей ZF и ZB и только что вычисленное значение расходящейся части вершины (2)u, получаем следующий результат для зарядового перенормировочного множителя:
Z
g
=1-
g
{
11C
A
-
2
T
F
n
f
}
N
.
4
6
3
(9.30)
Таким образом,
c
(1)
= -
{
11
-
n
f
}
.
g
2
3
Интересно проследить за сокращением членов, пропорциональных множителю CF. Такое сокращение обязательно должно иметь место в силу того, что зарядовый перенормировочный множитель Zg можно вычислить в рамках чистой глюодинамики, не содержащей фермионов (см. ниже). Очевидно, что такое сокращение происходит благодаря калибровочной структуре теории, см. выражение (9.27в). В следующем порядке теории возмущений функция вычислена в работах [64, 179]. Вычисления коэффициента c(1)g были проведены Гроссом и Вильчеком [160] и Полицером [218], которые вместо кварк-глюонной вершины qqB использовали трехглюонную вершину. Такое вычисление связано с рассмотрением диаграмм рис. 8. Для этих же целей можно использовать вершину взаимодействия глюонов и духов B. Конечно, все способы рассмотрения приводят к одному и тому же результату, что является следствием калибровочной инвариантности теории.
Рис. 8. Трехглюонная вершина.
Следует отметить, что во всех порядках теории возмущений коэффициенты c(n)g, вычисленные в схеме MS , калибровочно-инвариантны [65].
§10. Глобальные симметрии лагранжиана КХД; сохраняющиеся токи
В этом параграфе мы рассмотрим
Очевидно, что лагранжиан инвариантен по отношению к преобразованиям из группы
Пуанкаре
x->x+a. Токи, соответствующие лоренцевым
преобразованиям
(являющимся генераторами полного спина системы), для
нас не представляют большого интереса. Согласно теореме Нётер, инвариантность
лагранжиана относительно пространственно-временных сдвигов приводит к следующему
выражению для
=
i
L
(
i
)
i
-g
L ,
(10.1)
где суммирование по i проводится по всем полям, фигурирующим в лагранжиане КХД. Из тензора энергии-импульса можно построить токи, удовлетворяющие условию сохранения
= 0,