Tr t
a
U
-1
U,
->
|x|->
1.
(44.3)
Поучительно проверить, что тензор напряженностей G
, соответствующий полям B, равен нулю. С этой целью определим матрицыB
t
a
B
a
,
G
t
a
G
a
.
(44.4а)
Очевидно, справедливы соотношения
B
a
=2Tr t
a
B
,
G
a
=2Tr t
a
G
,
(44.4б)
G
=
B
-
B
-ig[
B
,
B
].
(44.4в)
Соотношения (44.4) справедливы, конечно, и в пространстве Минковского. Но если поле B описывается формулами (44.3), то оно имеет асимптотику
B
|x|->
-
1
ig
U
-1
U,
(44.5)
так что
G
x->
1
-ig
{
(U
-1
U)-
(U
-1
U)}
-
-ig
1
-ig
^2
[U
-1
U,U
-1
U]
=
1
-ig
{-U
-1
(
U)U
-1
(
U)
+U
-1
(
U)U
-1
(
U)
+
1
-ig
[U
-1
U,U
-1
U]=0 .
Заметим, что члены второго и четвертого порядка по матрице U сокращают друг друга; множитель 1/g оказывается существенным в силу нелинейности тензора G. Это отражает непертурбативный характер решений.
Если U представляет собой элемент группы, который можно непрерывным образом связать с тождественным преобразованием, то тензор G обращается в нуль не только асимптотически: G=0. Поэтому необходимо рассмотреть такую матрицу U, которую нельзя представить в простой форме exp[it(x)]. Единственная возможность состоит в объединении пространственно-временных и цветовых индексов. Это оказывается допустимым только благодаря тому, что размерность пространства-времени равна четырем. Соответствующей группой инвариантности является группа SO(4), алгебра Ли которой (ее
U=
u
0
0
1
,
где u - матрица SU(2) размерности 2x2. Пусть
4
=
1
0
0
1
,
- единичная матрица, а
i - матрицы Паули. Любую матрицу размерности 2x2 можно записать в виде суммы A=a. Если ввести обозначения ^ai=-ai, ^a4=^a4, то легко убедиться в справедливости равенствa
^a
=
a
^a
и
det A=
a
^a
;
таким образом, мы получаем, что матрицу общего вида u можно записать в виде
u
f
=
1
|f(x)|
{
4
f
4
(x)+i
f(x)}, f
(x)
вещественно.
(44.6)
Полагая f
(x)=x, получаем простейшее решениеu(x)=
1
|x|
(
4
x
4
+i
x).
(44.7а)
Пространственно-временные и цветовые индексы нетривиальным образом связаны друг с другом, поэтому для матрицы u нельзя использовать представление u(x)=exp[(i/2)
(x)]. Как отмечалось выше, попытаемся представить глюонные поля в виде53в)53в)
Анзацы общего вида предложены в работах [78,266].B
(x)
=
(|x|^2)
B
(x),
B
(x)
=
1
-ig
U
-1
(x)
U(x),
U
=
u
0
0
1
.
(44.7б)
Полезно вспомнить, что, так как поле B
является чистой калибровкой, отвечающее ему значение тензора напряженностей глюонных полей G равно нулю, поэтомуG
=
B
-
B
-ig[
B
,
B
]
=
(
)
B
-(
)
B
+(
B
-
B
)
-ig^2[
B
,
B
]
=
2'{x
B
-x
B
}
+(-^2)
{
B
-
B
};
'
=
d(|x|^2)
d|x|^2
.
Проще всего его получить, если заметить, что
B
a
=-(2/g|x|^2)
a
x
,
где тензор приведен ниже. Тогда
G
a
=
4i^2
|x|^2g
'-
-^2
|x|^2
(
a
x
x
-
a
x
x
)
+
4i^2
|x|^2g
(-^2)
a
.
Смешанный тензор определяется выражением
a
=
a4
+4a-4a ,0,
a=1,2,3
a=4,…,8.
(44.8)
Отметим, что этот тензор самодуален:
=; следовательно, условие самодуальности тензора G выполняется в том случае, если функпия удовлетворяет уравнению'-
-^2
|x|^2
=0,
т.е. глюонное поле B
(x) имеет видB
(x)
=
|x|^2
|x|^2+^2
·
1
-ig
U
-1
(x)
U(x), произвольно.
(44.9)
Это и есть
B
a
=
1
g
·
-2
|x|^2+^2
a
x
.
(44.10)
Из вида тензора ц следует связь между пространственно-временными и цветовыми преобразованиями. Соответствующий тензор напряженностей имеет вид
G
a
(x)=
1
g
·
-4^2
a
(|x|^2+^2)
2
.
(44.11)
Как и следовало ожидать, глюонные поля B и тензор напряженностей G при продолжении их в пространство Минковского оказываются сингулярными (и комплексными!) величинами, так как интервал x^2 не является уже положительно определенным, а следовательно, знаменатель x^2+^2 может обращаться в нуль. Замечательная особенность инстантонных решений состоит в том, что если глюонное поле B при больших x имеет асимптотику B1/|x|, то вследствие сокращения большого числа различных членов, входящих в выражение для тензора напряженностей G, последний обладает поведением G1/|x|
4 и, таким образом, удовлетворяет требованию (44.1).В дальнейшем мы будем использовать только решение (44.9); но имеются и другие решения
53г), найденные в работах [35, 66, 86]. Оказалось, что существует точная симметрия между самодуальными и антидуальными решениями: в антидуальных решениях, соответствующих (44.10), используется тензор53г)
Решения с конечным значением действия, определенного в пространстве Минковского, и с бесконечными в эвклидовом пространстве.a
=
a
, ,=1,2,3,
a
=-
a
или =4.
(44.12)
Такие решения называют