здесь
D - так называемая (калибровочная)
D
q(x)
->
(x)-ig
t
a
(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
f
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] = ifabccc,
правую часть выражения (3.3a) запишем в виде
D
q(x)
- ig
t
a
(x)D
q(x),
a
(3.3 б)
что и доказывает ковариантный характер преобразования
производной
Dq(x). Аналогично
5 Очевидна аналогия тензора Ga с тензором напряженности электромагнитного поля F=A - A
(D
x
B
)
G
=
B
+g
f
B
B
.
a
a
a
abc
b
c
(3.4)
Теперь можно записать лагранжиан (1.11) в явно калибровочно-инвариантной форме. Опуская индекс КХД, для лагранжиана L получаем выражение
L=
{
i
q
(x)
q(x)-m
q
(x)q(x)
}
-
1
(DxB)
2
.
q
4
q
(3.5)
Член с
(DxB)2 представляет собой сокращенную
запись лагранжиана
(DxB)
2
G
2
=
G
G
;
L
-
1
(DxB)
2
.
a
a
YM
4
a
Важность свойства калибровочной инвариантности заключается в следующем.
Во-первых, как ясно из доказательства соотношения (3.3), оно требует
универсальности константы взаимодействия, т.е. одна и та же константа связи
g описывает взаимодействие кварков с глюонами и
самодействие последних. Во-вторых, как показал т’Хофт [248], неабелева теория
перенормируема только в том случае, если она калибровочно-инвариантна. Наконец,
в-третьих, Коулмен и Гросс [73] доказали, что
На первый взгляд кажется, что выражение (3.5) можно сформулировать на
квантовом языке, непосредственно интерпретируя классические поля как квантовые.
Однако из квантовой электродинамики известно, что это не так. Калибровочная
инвариантность приводит к тому, что поля
B определены не однозначно, так как можно выполнить
преобразования типа преобразований (3.1), которые меняют вид коммутационных
соотношений. Это происходит потому, что частицы, соответствующие полям
B, обладая нулевой массой, имеют только две степени
свободы, тогда как сами поля
B имеют четыре независимые компоненты. Для
того чтобы выполнить квантование, нужно выбрать определенные представления
каждого калибровочного класса (
5a Специфические калибровки с духами можно построить и для абелевых теорий
Прежде чем рассматривать квантовую теорию, для полноты изложения выпишем
уравнения движения для классических полей, соответствующие лагранжиану (3.5).
Уравнения движения Эйлера — Лагранжа для поля
определяются из условия стационарности
L
=
L
;
(
)
и, следовательно, в случае лагранжиана (3.5) приводит к следующим уравнениям движения для полей q и В:
q
(x)(i
+m)=0 ,
(i
-
m)q(x)
=
0
,
D
G
(x)
G
(x) + g
f
B
(x)G
(x) = 0 .
a
a
abc
b
c
(3.6)
§ 4. Каноническое квантование, фиксация калибровки, ковариантные калибровки
Попытаемся проквантовать
L
0
= -
1
G
0
G
0a
,
YM
4
a
G
0
=
B
0
-
B
0
;
a
a
a
(4.1)
здесь индекс 0 обозначает свободные поля. Выражение (4.1)
аналогично лагранжиану, описывающему восемь невзаимодействующих электромагнитных
полей. Оно инвариантно относительно
B
0
-> B
0
-
.
a
a
a
(4.2)
Рассмотрим проблемы и преимущества, связанные с калибровочной инвариантностью. В силу того что поля B определены неоднозначно, невозможно непосредственно проквантовать лагранжиан (4.1). В самом деле, предположим, что для этого применяется стандартная процедура канонического квантования. Определим импульсы, канонически сопряженные полям B0a. Опуская индексы 0, обозначающие свободные поля, для импульсов получаем выражения
(x) =
L
YM
= G
0
,
a
(
0
B
a
)
a
(4.3)
из которых видно, что нулевые компоненты импульсов
0a(x) тождественно равны нулю.
[
(x),B
(y)](x
0
- y
0
) = -i
g
(x - y).
a
b
ab
(4.4)
Нулевые компоненты полей B0a(x) коммутируют со всеми операторами и, таким образом, являются c -числами.