Квантовая хромодинамика: Введение в теорию кварков и глюонов

где коэффициенты C⁽ⁿ⁾_j имеют конечное разложение в ряд Лорана в окрестности точки ε=0 (т.е. имеют вид ∑ⁿ_k=0 a⁽ⁿ⁾_k ε^-k +O(ε)). Существует и другой способ проследить за возникновением контрчленов [45]. Из выражения (8.2) для S-матрицы видно, что вследствие сингулярного характера входящих в него полей хронологическое произведение

ℒ

₀

(x)

₁

… ℒ

₀

(x

_n

)

^int

^int

(8.8 а)

не определено при совпадающих аргументах x_i=x_j. Следовательно, к каждому члену разложения (8.2), имеющему вид (8.8а), можно добавить произвольное слагаемое вида

p(∂)δ(x

₁

-x

₂

) … δ(x

_i

-x

_j

) … δ(x

_n-1

-x

_n

) ,

(8.8 б)

где символ p обозначает выражение, полиномиальное по оператору дифференцирования. Отсюда видно, что члены (8.8 6) соответствуют контрчленам.

Насколько произвольны значения коэффициентов Z? Одно из условий, определяющих их величину, состоит в требовании, чтобы лагранжиан ℒ^R приводил к конечным ответам даже в пределе ε→0. Но это не полностью фиксирует коэффициенты C⁽ⁿ⁾_j в выражении (8.6 б). Чтобы однозначным образом конкретизировать все перенормировочные множители Z, фигурирующие в теории, необходимо рассмотреть столько независимых амплитуд, сколько параметров должно быть определено.

Вернемся к лагранжиану КХД. Квантовая хромодинамика является калибровочной теорией поля, и, как мы видели, калибровочная инвариантность представляет собой необходимое условие того, чтобы эта теория имела смысл. Условие калибровочной инвариантности накладывает жесткие ограничения на допустимую структуру контрчленов: они должны быть калибровочно-инвариантными. Из выражения для лагранжиана ℒ^ε_QCD и выражения (5.11) видно, что единственными допустимыми изменениями являются замены¹¹⁾

¹¹ Отметим, что не все множители Z независимы. Например, из тождеств Славнова - Тейлора следует равенство Z_λ=Z_B (см. § 9).

q

_i

(x)→Z

_-½

q

_i

(x),

 

^F

^u

B

_μ

(x)→Z

_-½

B

_μ

(x),

^a

^B

^ua

ω

 

(x)→Z

_-½

ω

 

(x),

^a

^ω

^ua

ω

 

(x)→Z

_-½

ω

 

(x),

^a

^ω

^ua

g→Z

_g

g,

m

_q

→Z

_m,q

m

_q

,

λ→Z

_λ

λ.

(8.9)

Калибровочная инвариантность приводит к тому, что все кварковые перенормировочные множители Z равны одной и той же величине Z_F. Аналогичное утверждение справедливо и для глюонных перенормировочных множителей, каждый из которых равен Z_B. Кроме того, перенормировочные множители для вершин qqB, BBB, BBBB и ωωB, которые, вообще говоря, могли бы быть разными, следует заменить одним перенормировочным множителем Z_g. Такого специфического набора перенормировочных множителей оказывается вполне достаточно, чтобы обеспечить конечность функций Грина. Это является следствием тождеств (в случае абелевых калибровочных теорий называемых тождествами Уорда, а в случае неабелевых теорий - тождествами Славнова - Тейлора), которым в силу калибровочной инвариантности должны удовлетворять функции Грина. Как уже отмечалось, эти тождества¹²⁾ возникают в результате преобразований БРС. Ниже будут приведены некоторые из наиболее важных тождеств Славнова - Тейлора.

¹²⁾ Детальное исследование тождеств Уорда и Славнова — Тейлора можно найти в книгах [114, 189]

В заключение этого параграфа введем некоторые обозначения. Если в исходном лагранжиане провести замены (8.9), то мы получим выражение для перенормированного лагранжиана

ℒ

_ξ

^R

=

 

 

∑

{

i

q

̃

D

̃q̃ - m̃

_q

q

̃q̃

}

 -

1

(D̃×B̃)

²

-

λ

(∂⋅B̃)

²

4

2

^q

+

∑

(∂

_μ

ω

̃)D̃

^μ

ω̃

(8.10 а)

где тильда над символом означает, что данная величина содержит соответствующий множитель Z, например

q̃=Z

_-½

q

_u

,

^F

m̃=Z

_m

m,…,

D̃q̃=

∂

-ig̃tB̃)q̃,

… и т.д.

(8.10 б)

Таким образом, лагранжиан ℒ^ξ_R формально совпадает с неперенормированным лагранжианом ℒ^ξ при замене всех входящих в него неперенормированных величин на перенормированные. Перенормированный лагранжиан ℒ^ξ_R можно представить в виде суммы

ℒ

_ξ

=ℒ

_ξ

+ℒ

_ξ

^R

^uD

^ctD

(8.11 а)

где член

ℒ

_ξ

^uD

 

=

 

∑

{

-

q

_u

D

q

_u

- m

q

_u

q

_u

}

 -

1

(D

_u

×D

_u

)

²

-

λ

(∂B

_u

)

²

4

2

^q

+

(∂

_μ

ω

_u

)D

^μ

ω

_u

,

(8.11 б)

содержит неперенормированные, или "голые", поля, заряды и массы, а член

ℒ

_ξ

^ctD

=

ℒ

_ξ

-ℒ

_ξ

^R

^uD

=

 

(Z

_-1

-1)i

∑

q

∂

q

_u

^F

 

 

 

^q

+

(Z

_-1

Z

_-½

Z

 

-1)g

∑

q

_u

γ

_μ

t

^a

q

_u

B

_μ

+…

^F

^B

^g

^ua

(8.11 в)

описывает вклад контрчленов.