θ
(x)∂
μ
q(x)
a
-
ig
∑
t
a
(∂
μ
θ
(x))q(x)
-g
2
∑
B
μ
(x)
t
a
t
b
θ
(x)q(x)
a
a
b
-
ig
∑
B
μ
t
a
q(x)
-ig
2
∑
ƒ
a
θ
(x)B
μ
(x)q(x)
a
abc
b
c
+
ig
∑
(∂
μ
θ
(x))t
a
q(x).
a
(3.3 a)
Учитывая равенства
tatb = tbta + [ta,tb], [ta,tb] = i∑ƒabccc,
правую часть выражения (3.3a) запишем в виде
D
μ
q(x)
- ig
∑
t
a
θ
(x)D
μ
q(x),
a
(3.3 б)
что и доказывает ковариантный характер преобразования производной Dμq(x). Аналогично коварианмый ротор поля B имеет вид5)
5 Очевидна аналогия тензора Gμνa с тензором напряженности электромагнитного поля Fμν=∂μAν - ∂νAμ
(D
μ
×
B
ν
)
≡G
μν
=∂
μ
B
ν
+g
∑
ƒ
B
μ
B
ν
.
a
a
a
abc
b
c
(3.4)
Теперь можно записать лагранжиан (1.11) в явно калибровочно-инвариантной форме. Опуская индекс КХД, для лагранжиана ℒ получаем выражение
ℒ=
∑
{
i
q
(x)
q(x)-m
q
(x)q(x)
}
-
1
(D×B)
2
.
q
4
q
(3.5)
Член с (D×B)2 представляет собой сокращенную запись лагранжиана калибровочных янг-миллсовских полей:
(D×B)
2
≡G
2
=
∑
G
μν
G
;
ℒ
≡
-
1
(D×B)
2
.
a
aμν
YM
4
a
Важность свойства калибровочной инвариантности заключается в следующем. Во-первых, как ясно из доказательства соотношения (3.3), оно требует универсальности константы взаимодействия, т.е. одна и та же константа связи g описывает взаимодействие кварков с глюонами и самодействие последних. Во-вторых, как показал т’Хофт [248], неабелева теория перенормируема только в том случае, если она калибровочно-инвариантна. Наконец, в-третьих, Коулмен и Гросс [73] доказали, что только неабелева теория может обладать свойством асимптотической свободы.
На первый взгляд кажется, что выражение (3.5) можно сформулировать на квантовом языке, непосредственно интерпретируя классические поля как квантовые. Однако из квантовой электродинамики известно, что это не так. Калибровочная инвариантность приводит к тому, что поля B определены не однозначно, так как можно выполнить преобразования типа преобразований (3.1), которые меняют вид коммутационных соотношений. Это происходит потому, что частицы, соответствующие полям B, обладая нулевой массой, имеют только две степени свободы, тогда как сами поля Bμ имеют четыре независимые компоненты. Для того чтобы выполнить квантование, нужно выбрать определенные представления каждого калибровочного класса (фиксировать калибровку), что явно нарушает калибровочную инвариантность теории. По сравнению с абелевыми теориями, в которых кванты калибровочного поля не взаимодействуют между собой, самодействие глюонов приводит к дополнительным трудностям. Так, например, лоренц-ковариантные калибровки требуют введения вспомогательных нефизических полей5a) (ду́хов), которые восстанавливают калибровочную инвариантность и унитарность. С другой стороны, можно выбрать калибровки, свободные от ду́хов (аксиальные калибровки), но при этом явно нарушается лоренц-инвариантность теории.
5a Специфические калибровки с духами можно построить и для абелевых теорий
Прежде чем рассматривать квантовую теорию, для полноты изложения выпишем уравнения движения для классических полей, соответствующие лагранжиану (3.5). Уравнения движения Эйлера — Лагранжа для поля Φ определяются из условия стационарности действия Α=∫d4xℒ(x), которое записывается в виде
∂
μ
∂ℒ
=
∂ℒ
;
∂(∂
μ
Φ)
∂Φ
и, следовательно, в случае лагранжиана (3.5) приводит к следующим уравнениям движения для полей q и В:
q
(x)(i
⃖
+m)=0 ,
(i
-
m)q(x)
=
0
,
D
G
μν
(x)
≡
∂
μ
G
μν
(x) + g
∑
ƒ
B
(x)G
μν