В § 28 мы видели, что при энергиях Q≫Λ,, когда теория возмущений по бегущей константе связи может иметь смысл, можно пренебречь существованием кварков с массами m≫Q. В этом параграфемы рассмотрим противоположный случай, когда массы кварков удовлетворяют условию m≪Λ. Поскольку единственным размерным параметром в квантовой хромодинамике, как мы полагаем, является параметр обрезания Λ42б), можно ожидать, что в некотором приближении допустимо пренебречь массами этих легких кварков, которые могут привести к поправкам лишь порядка m²/Λ² или m²/Q².
42б) Неясно, конечно, какой из параметров: Λ или параметр Λ0 , определяемый формулой αs(Λ²0)≈1, является основным. Смысл неравенства m≪Λ также неоднозначен. Очевидно, что Λ≈Λ0 , поэтому в действительности, помимо эвристических соображений, нет никаких указаний, которые помогли бы решить, какие кварки считать легкими в промежуточных случаях. Почти нет сомнений в том, что кварки u и d следует отнести к типу "легких"; в отношении кварка s ситуация менее ясна.
Вернемся к вопросам, обсуждавшимся в § 10. Рассмотрим лагранжиан КХД
ℒ
=
-
n
∑
l=1
m
l
q
l
q
l
+i
n
∑
l=1
q
l
q
l
-
1
4
(D×B)²
+
члены, фиксирующие калибровку,
+
ду́хи.
(29.1)
Суммирование проводится только по
1±γ5
2
q
i
→
∑
l'
W
±
ll'
1±γ5
2
q
l'
,
(29.2)
где W±— унитарные матрицы. Очевидно, что единственным членом лагранжиана, неинвариантным относительно преобразований (29.2), является массовый член
ℳ=
n
∑
l=1
m
l
q
l
q
l
.
(29.3)
Записанный в таком виде, массовый член инвариантен относительно совокупности преобразований [U(1)]n:
q
i
→e
iθi
q
l
(29.4)
но он не инвариантен, если допустить существование в массовой матрице недиагональных членов. Чтобы решить вопрос о том, какими общими инвариантными свойствами обладает массовый член общего вида, докажем две теоремы.
Теорема 1.
q
L
=
1
2
(1-γ
5
)q , q
R
=
1
2
(1+γ
5
)q .
Наиболее общий массовый член, совместимый с условием эрмитовости лагранжиана, имеет вид
ℳ'=
∑
ll'
⎧
⎨
⎩
q
iL
M
ll'
q
l'R
+
q
iR
M*
ll'
q
lL
⎫
⎬
⎭
.
(29.5)
Пусть матрица M имеет компоненты Mll' . На основании хорошо известного полярного разбиения матриц можно написать
M=mU
,
где матрица m положительно определена, поэтому все ее собственные значения больше нуля, а матрица U унитарна. Тогда выражение (29.5) принимает вид
ℳ'=
∑
⎧
⎨
⎩
q
iL
m
ll
q'
l'R
+
q
'
iR
M*
ll'
q
l'L
⎫
⎬
⎭
, q'
lR
=
∑
l'
U
ll'
q
l'R
,
(29.6)
где использовано свойство самосопряженности матрицы m. Переопределим поля по формуле q'=q'R+qL ; тогда выражение (29.6) в терминах полей q' примет вид
ℳ'=
∑
q
'
l
m
ll'
q'
r
,
где использовано равенство
qRqR=qLqL=0.
Теперь для того, чтобы получить формулу (29.3), достаточно преобразовать поля
q', используя для этого матрицу
V, диагонализующую матрицу
m. Положительность значений величин
ml следует из того, что они являются собственными значениями матрицы
m. (Отметим, что член
q
Теорема 2.
Предположим, что W+=W-=W; проверку этого равенства оставляем читателю в качестве упражнения. Условие инвариантности массовой матрицы приводит к соотношению
W+mW=m
, т.е
mW=Wm
.
(29.7)
Известно, что любую диагональную матрицу можно записать в виде ∑n-1k=0ckmk если все собственные значения матрицы m различны и не равны нулю, как это имеет место в нашем случае. Из соотношения (29.7) следует, что матрица W коммутирует со всеми диагональными матрицами, а следовательно, она сама должна быть тоже диагональной. Поскольку эта матрица является еще и унитарной, она может быть записана в виде произведения преобразований (29.4), что и требовалось доказать. Проверку того, что сохраняющейся величиной, соответствующей преобразованию U(1), действующему на поле кварка qƒ, является соответствующее квантовое число аромата, оставляем читателю в качестве упражнения.