Шрифт:
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) (духов), которые восстанавливают калибровочную инвариантность и унитарность. С другой стороны, можно выбрать калибровки, свободные от духов (аксиальные калибровки), но при этом явно нарушается лоренц-инвариантность теории.
5a Специфические калибровки с духами можно построить и для абелевых теорий
Прежде чем рассматривать квантовую теорию, для полноты изложения выпишем уравнения движения для классических полей, соответствующие лагранжиану (3.5). Уравнения движения Эйлера — Лагранжа для поля определяются из условия стационарности действия =d4xL(x), которое записывается в виде
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