Очевидно, что лагранжиан инвариантен по отношению к преобразованиям из группы
Пуанкаре
x→Λx+a. Токи, соответствующие лоренцевым
преобразованиям
Λ (являющимся генераторами полного спина системы), для
нас не представляют большого интереса. Согласно теореме Нётер, инвариантность
лагранжиана относительно пространственно-временных сдвигов приводит к следующему
выражению для
Θ
μν
=
∑
i
∂ℒ
∂(∂
μ
Φ
i
)
∂
ν
Φ
i
-g
μν
ℒ ,
(10.1)
где суммирование по i проводится по всем полям, фигурирующим в лагранжиане КХД. Из тензора энергии-импульса можно построить токи, удовлетворяющие условию сохранения
∂νΘμν = 0,
и соответствующие этим токам сохраняющиеся "заряды", представляющие собой компоненты 4-импульса
P
μ
=
∫
d
⃗
xΘ
0μ
(x)
.
Явное выражение для тензора энергии-импульса в квантовой хромодинамике имеет вид17a)
17a) При квантовании теории произведение классических полей следует заменить на нормально упорядоченное произведение. Обсуждение вопроса о неоднозначности определения тензора энергии-импульса см. в работах [60, 74].
Тензор энергии-импульса определяется неоднозначно. В действительности из выражения (10.1) калибровочно-инвариантного выражения для тензора энергии-импульса получить не удается. Выражение же (10.2) возникает при замене обычных производных на ковариантные. Или, иначе, калибровочно-инвариантное выражение для тензора энергии-импульса можно получить из выражения (10.1), производя калибровочные преобразования одновременно с пространственно-временными трансляциями xμ→xμ+εμ. Например, если записать преобразование трансляции для глюонного поля B в виде Bμa→Bμa + (εα∂αBμa ≡ DμεαBαa + εαGαμa), то первое слагаемое в скобках можно устранить калибровочным преобразованием, так что мы получим Bμa→Bμa + Gαμa .
Θ
μν
=
i
∑
q
q
γ
μ
D
ν
q - g
μν
i
∑
q
q
q + g
μν
∑
q
m
q
q
q
-
g
αβ
G
μα
G
νβ
+ ¼g
μνG2
+
члены, фиксирующие калибровку + вклад ду́хов.
(10.2)
Далее, существуют токи и заряды, связанные с вращениями в цветовом пространстве. Вывод формул для сохраняющихся токов, отвечающих глобальной внутренней симметрии лагранжиана КХД, мы оставляем читателю в качестве упражнения. Этот вывод представляет собой частный случай цветовых калибровочных преобразований (с постоянными калибровочными параметрами) и приводит к набору токов, не связанных с взаимодействием кварков и глюонов.
Если массы всех кварков равны нулю, то лагранжиан ℒ инвариантен относительно преобразований вида
q
ƒ
→
nƒ
∑
f'=1
U
ƒƒ'
q
ƒ'
,
q
ƒ
→
nƒ
∑
f'=1
V
ƒƒ'
γ
5
q
ƒ'
(10.3)
при условии, что матрицы U и V представляют собой унитарные матрицы размерности nƒ×nƒ. Отсюда следует, что токи
V
μ
qq'
(x)=q̅(x)γ
μ
q'(x) ,
A
μ
qq'
(x)=q̅(x)γ
μ
γ
5
q'(x)
(10.4)
сохраняются каждый в отдельности. Если теперь в лагранжиане
ℒ учесть массовые члены, то сохраняется только
диагональный ток
Vμqq; остальные токи при этом
являются
∂
μ
V
μ
qq'
=i(m
q
-m
q'
)
q
q' ;
∂
μ
A
μ
qq'
=i(m
q
-m
q'
)
q
γ
5
q' .
(10.5)
Однако имеется одна тонкость, касающаяся расходимости аксиальных токов. Выражение (10.5) справедливо в случае недиагональных переходов (q≠q'); если же начальный и конечный кварки совпадают (q=q' ), то его следует заменить следующим выражением для дивергенции аксиального тока:
∂
μ
A
μ
=i(m
q
+m
q
)q̅(x)γ
5
q(x)+
T
F
g
2
16π
2
ε
μνρσ
G
μν
(x)G
ρσ
(x).
(10.6)
Это так называемая треугольная аномалия Адлера - Белла - Джакива, которая будет рассмотрена в § 33, 37 и 38.
Также легко вычислить
δ(x
0
-y
0
)
[
V
0
qq'
(x),q''(y)]=-δ(x-y)δ
qq''
q'(x)
,
δ(x
0
-y
0
)
[
A
0
qq'
(x),q''(y)]=-δ(x-y)δ
qq''
γ
5
q'(x)
и т.д.
(10.7)
Векторные и аксиальные токи коммутируют с полями глюонов и ду́хов. Одновременные коммутационные соотношения между аксиальными и векторными токами, построенными из свободных полей, проще всего записать, введя матрицы Гелл-Манна λα, действующие в цветовом пространстве (см. приложение В). Если рассматривать кварки трех ароматов (ƒ= 1,2,3) и определить векторные и аксиальные токи в виде
V
μ
α
(x)=
∑
ƒƒ'
q
ƒ
(x)
λ
α
ƒƒ'
γ
μ
q
f'
(x) ,
A
μ
α
(x)=
∑
ƒƒ'
q
ƒ
(x)
λ
α
ƒƒ'
γ
μ
γ
5
q
f'
(x) ,
(10.8)
то возникают следующие коммутационные соотношения:
δ(x
0
-y
0
)[V
0
α
(x),V
μ
β
(y)]=2iδ(x-y)Σƒ
αβδ
V
δ
δ
(x) ,
δ(x
0
-y
0
)[V
0
α
(x),A
μ
β
(y)]=2iδ(x-y)Σƒ
αβδ
A
δ
δ
(x) ,
δ(x
0
-y
0
)[A
0
α
(x),A
μ
β
(y)]=2iδ(x-y)Σƒ
αβδ
V
δ
δ
(x) и т.д.
(10.9)