N0
∏
j=1 𝑑cj
∞
∑
N=0
⎧
⎨
⎩ ∑ckck'Akk'
⎫N
⎬
⎭
1
N! . В силу правил интегрирования по фермионным переменным отличен от нуля только член с N=N0 , поэтому получаем
(-1)N0
N0! ∑sign(k1,…,kN0) sign(k'1,…,k'N0) Ak1k'1…AkN0Ak'N0, где производится суммирование no всем возможным перестановкам индексов k1,…,kN0; k'1,…,k'N0, каждый из которых пробегает значения 1, 2,…, N0. Это не что иное, как (-1)N0det(A/N0!). Дополнительный множитель (-i) в экспоненте выражения (41.9) дает вклад только в коэффициент перед формулой; это означает, что фаза фермионного члена произвольна. Мы выберем ее так, чтобы она совладала с фазой члена, соответствующего обычным скалярным полям.
∫
𝑑x
1
…𝑑x
k
k
∏
i=1
δ(ƒ
i
(x
1
,…,x
k
))
=
1
det(∂ƒi/∂xj)
,
величина ΔK представляет собой просто определитель (бесконечномерной) матрицы
∂
∂θ
⎧
⎨
⎩
δ(∂B
a
)
δB
μ
b
⎧
⎩
∂
μ
θ
b
-g
∑
ƒ
bcd
B
μ
d
θ
c
⎫
⎭
⎫
⎬
⎭
Осталось сделать последний шаг, чтобы завершить наше рассмотрение. Функциональная производная, входящая в (41.9), имеет вид (см. приложение 3)
δ(∂B
a
(x))
δB
μ
b
(y)
=δ
ab
∂δ(x-y),
поэтому оператор дифференцирования ∂μ можно перенести в левую часть уравнения и провести интегрирование по 𝑑4y. В итоге для производящего функционала получаем
Z=
N
∫
(𝑑B)(𝑑ω)(𝑑
ω
)
e
i(𝓐YM+𝓐GF
+𝓐
FP
),
(41.10а)
где действие, соответствующее ду́хам Фаддеева - Попова, имеет вид
𝓐
FP
=
∫
𝑑
4
x
∑
(∂
μ
ω
a
(x))
⎡
⎣
δ
ab
∂
μ
-gƒ
abc
B
μ
c
(x)
⎤
⎦
ω
b
(x),
(41.10б)
что согласуется с результатом, полученным в § 5.
Чтобы получить функции Грина, необходимо ввести антикоммутирующие источники ηa,ηa; ξiƒ,ξiƒ для ду́хов ωa,ωa и кварков qiƒ,qiƒ соответственно и коммутирующие источники λμa для глюонных полей Bμa. Таким образом, нашей отправной точкой является функционал
Z[η,
η
;ξ,
ξ
;λ]
=
∫
(𝑑q)(𝑑
q
)
(𝑑ω)(𝑑
ω
)
(𝑑B)
×
exp i
∫
𝑑
4
x
⎧
⎨
⎩
ℒ
ξ
QCD
+ℒ
λ
⎫
⎬
⎭
,
(41.11а)
где лагранжиан ℒξQCD описывается формулой (5.11), а
ℒ
λ
=
∑
⎧
⎨
⎩
η
a
ω
a
+
ω
a
η
a
+
ξ
iƒ
q
i
ƒ
+
q
i
ƒ
ξ
iƒ
+λ
aμ
B
μ
a
⎫
⎬
⎭
.
(41.11б)
Формализм функциональных интегралов позволяет ввести чрезвычайно красивый метод, так называемый метод фоновых полей53), который обладает тем преимуществом, что эффективное действие, фигурирующее в этом методе (см. § 39), калибровочно-инвариантно . Это равносильно рассмотрению фиксирующего калибровку условия
53) Этот метод впервые был введен де Виттом и обобщен (в частности, на калибровочные теории) т’Хофтом.
K[B]=
∑
⎧
⎪
⎩
∂
μ
B
μ
a
+g∑ƒ
adc
b
μ
d
B
cμ
⎫²
⎪
⎭
,
где b — классические "фоновые" поля, сдвигающие глюонные поля B→B+b, и вычислению функциональных производных по полям b. Подробное изложение и ссылки на литературу можно найти в работе [3].
§ 42. Фейнмановские правила диаграммной техники
В § 39 утверждалось, что разложение функций Грина по степеням константы взаимодействия g, возникающее из (41.11), воспроизводит обычные фейнмановские правила диаграммной техники, которые были получены выше на основе разложения полевых операторов по операторам рождения и уничтожения и применения теоремы Вика. Правила Фейнмана можно вывести иначе, исходя из формул (41.11). Покажем это на примере трех типичных величин: глюонного пропагатора, вершины взаимодействия ду́хов и глюонов и несинглетных составных операторов, фигурирующих в формулах процессов глубоконеупругого рассеяния.
Для получения глюонного пропагатора рассмотрим соотношение
⟨TB̂
μ
a
(x)B̂
ν
a
(y)⟩
0
|
g=0
=(-i)²
δ2log Z
∂λaμ(x)δλbν(y)
⎪λ=0
⎪
⎪g=0
.
(42.1)
Здесь мы снова для обозначения операторов пользуемся символами с "крышками". Повторяя рассуждения § 39 и вводя для калибровочного параметра обозначение λ=a-1, с точностью до 4-дивергенции можем написать цепочку равенств
-1
4
∑
⎡
⎣
∂
ρ