Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

суперсимметряи_пособие

.pdf
Скачиваний:
24
Добавлен:
30.05.2015
Размер:
565.05 Кб
Скачать

Задача 3.8. Доказать, что следующая модификация закона преобразования

фермионного поля:

±¸®

¡!

 

±¸® + 2²®D;

(3.61)

 

 

ãäå D вспомогательное вещественное поле с законом преобразования:

 

 

 

1

 

n

¹

n

 

(3.62)

 

±D =

2

(i²¾

 

@n¸ ¡ i@n¸¾

 

²¹)

замыкает алгебру преобразований суперсимметрии вне массовой оболочки (по

модулю калибровочного преобразования). Убедитесь, что o shell суперсиммет-

ричный функционал действия имеет вид:

 

S = Z d4x µ¡4F nmFnm ¡ i¸¾n@n¸¹ + 2D2:

(3.63)

1

 

3.5.2Векторный мультиплет в суперполях. Калибровка Весса Зумино.

Для иллюстрации основных методов теории суперсимметрии полезно рассмотреть суперполевую формулировку компонентной теории (3.63). Для построения последней необходимо выбрать набор суперполей, установить суперполевую форму калибровочных преобразований и построить инвариантный функционал действия. В этой связи полезно отметить, что вещественное скалярное суперполе содержит в своем компонентном разложении векторное поле An(x):

¹

V (x; µ; µ) = C(x) + µÃ(x)

2 ¹¹

+µ µ¸(x) +

¹¹

+µÃ(x) +

2¹2

µµ D(x)

2

¹2 ¹

n ¹

¹2

µ¸(x) +

µ

F (x) + µ F (x) + µ¾

µAn(x) + µ

 

 

 

 

(3.64)

и, таким образом, является подходящим объектом для построения суперполевой версии суперсимметричной калибровочной теории. Компонентные поля, входящие в состав суперполя (3.64), принято называть (o -shell) векторным мультиплетом.

Для построения калибровочных преобразований напомним компонентное разложение кирального суперполя:

¹

2

 

 

 

n ¹

 

i

2 ¹ n

 

1

2 ¹2

 

¤(x; µ; µ) = ®(x) + µ´(x) + µ

f(x) + iµ¾

 

µ@n®(x) +

 

µ µ¾~

@n´(x) +

 

 

µ µ

(x):

2

4

Сравнивая формулы (3.64) и (3.65), находим, что закон преобразования: (3.65)

 

 

 

0

 

 

i

¹

 

 

 

 

 

 

(3.66)

 

 

V

 

= V +

2

 

¡ ¤)

 

 

 

 

 

 

 

на компонентном уровне воспроизводит желаемое калибровочное преобразова-

ние векторного поля:

 

 

 

±An =

1

@n(® + ®¹):

 

(3.67)

 

 

2

 

 

 

 

Для построения функционала действия, инвариантного относительно супер-

калибровочных преобразований (3.66), напомним тождество D

® ¹2

¹

2 ¹®,

D

D® = D®D

D

51

которому удовлетворяют ковариантные производные. Используя последнее, без

труда находим инвариантный функционал:

(3.68)

S = 8 Z d8z V D®D¹2D®V:

1

 

 

В последнем выражении числовой множитель выбран из соображений даль-

нейшего удобства. Отметим также, что проверка симметрии (3.66) в действии

(3.68) требует интегрирования по частям.

 

 

Удобно переписать функционал (3.68) в явно калибровочно инвариантной

форме:

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S =

 

Z

d6z W ®W®;

(3.69)

 

2

где введено обозначение:

 

 

 

 

 

1

 

 

 

 

W® = ¡

¹2

 

(3.70)

 

4

D

D®V:

¹2

; D®] = 4i(¾

n

 

 

 

¹®, без труда убеждаемся, что объ-

Используя тождество [D

 

)®®@nD

 

åêòû W® инвариантны относительно суперкалибровочных преобразований (3.66).

По этой причине их называют суперполевыми напряженностями или препотенциалами. Отметим, что по построению препотенциалы W® являются ки-

ральными суперполями:

 

¹

 

 

 

 

 

(3.71)

 

 

 

 

 

 

 

 

 

D®W® = 0:

 

Как следствие, комплексно сопряженное суперполе:

 

¹

 

 

¤

= ¡

1

 

2 ¹

(3.72)

 

 

 

 

W® = (W®)

 

4D D®V;

 

является антикиральным:

 

 

¹

 

 

 

 

(3.73)

 

 

 

 

 

 

 

 

 

D®W® = 0:

 

Кроме того, имеет место соотношение:

 

 

 

 

 

D

®

 

 

¹ ¹

®

= 0:

(3.74)

 

W® ¡ D®W

 

 

Задача 3.9. Вывести суперполевые уравнения движения для функционала (3.68) и функционала (3.69).

Задача 3.10.

Проверить, что с точностью до поверхностных членов имеет ме-

сто интегральное тождество:

 

 

 

Z d6z W ®W® = Z

d6z¹ W¹ ®W¹ ®:

(3.75)

В качестве последнего шага убедимся, что компонентная форма суперполевого действия (3.69) воспроизводит результат предыдущего параграфа. Для этого заметим, что суперполевой параметр ¤ содержит три компонентных ком-

плексных параметра ®, ´® è f, из которых лишь (®+®¹) является существенным

для компонентной формулировки. Калибровочный произвол, связанный с пара-

метрами,

(® ¡ ®¹), ´ è f можно использовать для удаления компонентных полей

¹

 

,

¹

 

 

C, Ã Ã, F

 

F . В частности, можно наложить калибровку:

 

 

 

 

¹

¹

(3.76)

 

 

 

C = 0; Ã = 0; Ã = 0; F = 0;

F = 0:

52

d4x ¡D2W ®j ¢ W®j ¡ D°W ®j ¢ D°W®j¢

Данная калибровка известна как калибровка Весса Зумино. В калибровке Весса Зумино функционал действия имеет прежний вид (3.69), где компонентное разложение суперполя V дается более простым выражением:

¹

n ¹

¹2

2 ¹¹

2 ¹2

D(x):

(3.77)

V (x; µ; µ) = µ¾

µAn(x) + µ

µ¸(x) + µ µ¸(x) + µ µ

Задача 3.11. Доказать, что для суперполя (3.77) справедливы следующие соотношения:

n

1

¹

1

¹2

 

¾®®An(x) =

2

[D®; D®]V j; ¸®(x) = ¡

4

D

D®V j; D(x) =

Переписывая функционал действия в виде:

Z

S= ¡14

èиспользуя равенства:

1

32

2

¹2

gV j:

fD

; D

 

 

(3.78)

(3.79)

2

n

¹

W®j = ¸®(x); D

W®j = 4i(¾

@n¸(x))®;

D[®W¯]j = ¡2²®¯D(x); D(®W¯)j = ¯°(¾nm)®°(@nAm(x) ¡ @mAn(x))(3;.80)

которые являются следствием формул (3.78), приходим к теории (3.63). Итак, мы убедились, что суперполевая версия суперсимметричной калибро-

вочной теории задается функционалом действия (3.69).

В заключение данного подраздела сделаем замечание относительно формы преобразований суперсимметрии для модели в калибровке Весса Зумино.

¹

До наложения калибровки суперполе V (x; µ; µ) изменялось относительно преобразований суперсимметрии по стандартному закону:

¹

¹

n ¹

n

²¹)@nV:

(3.81)

±V = i(²Q + ²¹Q)V = ¡(²D + ²¹D)V + 2i(²¾ µ ¡ µ¾

Нетрудно видеть, что калибровка Весса Зумино не инвариантна относительно преобразования суперсимметрии. Однако, используя компенсирующее преобразование (3.66) с калибровочным параметром, имеющим следующий вид:

¤(²) = eiµ¾nµ@¹ n £2iµ¾n²A¹ n(x) + 22²¹¸¹(x)¤;

(3.82)

можно получить модифицированное преобразование суперсимметрии, сохраняющее калибровку. Наличие компенсирующего калибровочного преобразования обуславливает нестандартную форму алгебры суперсимметрии, которую мы обнаружили в предыдущем подразделе.

Задача 3.12. Используя соотношения (3.78), получить компонентную форму преобразований суперсимметрии, сохраняющих калибровку Весса Зумино.

53

3.5.3 Абелева суперсимметричная теория Янга Миллса.

Перейдем к построению теории, описывающей взаимодействие кирального и векторного мультиплетов. Для этого будем следовать стандартному калибровочному принципу.

Функционал действия полей материи:

Z

 

 

Smatter =

8

¹

(3.83)

 

 

d

z ©©

инвариантен относительно глобальных U(1) преобразований:

 

 

 

© = e©;

©¹ = e¡i®©¹;

(3.84)

ãäå ® вещественный числовой параметр.

 

 

Рассмотрим локальную версию преобразований (3.84):

 

 

 

© = ei¤©;

 

¹

(3.85)

 

 

©¹ = e¡i¤©¹:

Поскольку поля ©

è ¹

 

 

 

 

© являются киральным и антикиральным, соответственно,

 

 

 

 

 

¹

представляется естественным потребовать, чтобы параметр ¤(x; µ; µ) являлся

киральным суперполем:

¹

 

 

(3.86)

 

 

 

 

 

 

D®¤ = 0:

Относительно локального преобразования (3.85) исходный функционал дей-

ствия не является инвариантным:

 

 

Smatter0

= Z

d8z ©©¹ e¡i(¤¹¡¤):

(3.87)

Однако, принимая во внимание результаты предыдущего раздела, несложно

¹

ввести в рассмотрение калибровочное суперполе V (x; µ; µ), преобразующееся

по закону (3.66), которое позволяет построить инвариантный функционал дей-

ствия:

d8z ©¹e2V © + 2 Z

d6z W ®W®:

(3.88)

S = Z

 

1

 

 

 

Последняя формула определяет абелеву калибровочную теорию в суперполях. Обсудим компонентную форму теории (3.88). До наложения калибровки Весса Зумино формальное выражение (3.88) содержит бесконечное число слагаемых. Однако после наложения калибровки суперполе V принимает вид (3.77)

и, в частности, имеют место соотношения:

2V

 

2

 

 

2

= ¡

1

2 ¹2

n

 

(3.89)

e

= 1 + 2V + 2V

 

;

V

 

 

µ µ

A

An:

 

 

2

С учетом нашего предыдущего рассмотрения для получения компонентного действия достаточно проанализировать лишь вклады, описывающие взаимодействие. Обозначая компонентные поля, входящие в состав кирального суперполя ©, следующим образом:

¹

2

½(x) + : : :

(3.90)

©(x; µ; µ) = '(x) + µÂ(x) + µ

54

Здесь ©I

и принимая во внимание тривиальные равенства:

 

V j = 0;

D®V j = 0;

¹

2

V j = 0;

¹2

V j = 0;

(3.91)

 

 

D®V j = 0;

D

D

находим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

d8z ¹V 2© = ¡ Z

d4x ''A¹ nAn;

 

 

 

 

 

 

 

 

 

 

 

Z d8z ¹V © = ¡ Z

d4x µ

1

 

 

 

 

1

 

 

 

 

 

D¹®©¹j ¢ D2D¹

®V j ¢ ©j +

 

 

©¹j ¢ D®D¹2V j ¢ D®©j+

4

4

 

 

1

 

 

¹® ¹

® ¹

1

¹® ¹

 

 

¹

®

 

 

 

+

 

2

D®D ©j ¢ D D®V j ¢ ©j +

2

D ©j ¢ D®D®V j ¢ D

©

 

 

¡

1

©¹j ¢ D2D¹2V j ¢ ©j= Z d4x (i'@n'A¹ n ¡ i'@¹ n'An+

 

 

 

 

 

 

8

 

 

+

1

 

¾nÂA¹ n ¡ '¹¸¹ ¡ '¸¹ + 2''D¹

:

 

 

 

 

 

(3.92)

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

Задача 3.13. Проверьте равенства (3.92).

Объединяя данный результат с компонентными функционалами действия

кирального и векторного мультиплетов, окончательно имеем:

 

S = Z d4x µ¡(@n ¡ iAn)'(@n + iAn)'¹ ¡

i

¾n(@n + iAn)¹ + ½½¹ ¡ '¹¸¹¡

 

 

2

¡'¸¹ + 2''D¹ ¡ 4F nmFnm ¡ i¸¾n@n¸¹

+ 2D2

:

(3.93)

1

 

 

 

 

 

 

Отметим, что в лагранжиане полей материи все производные автоматически являются ковариантными по группе калибровочных преобразований.

3.5.4 Неабелева суперсимметричная теория Янга Миллса.

В предыдущем разделе была рассмотрена суперсимметричная теория Янга Миллса с калибровочной группой U(1). В данном параграфе мы кратко обсу-

дим обобщение проделанного анализа на случай, когда калибровочная группа

является полупростой компактной группой Ли.

 

В качестве первого шага рассмотрим неабелево обобщение лагранжиана по-

лей материи:

Smatter = Z

d8z ©¹I ©I :

(3.94)

è ¹

©I наборы киральных и антикиральных суперполей, соответственно, и индекс I принимает значения от 1 äî N. Модель является инвариантной относительно преобразований:

©

0I

a

Ta)

I

J

;

¹0

¹

a

Ta)

J

;

 

= (exp

 

J ©

©I = ©J (exp ¡i»

I

ãäå »a числовые вещественные параметры и (Ta)I J генераторы компактной алгебры Ли:

[Ta; Tb] = fabcTc; fabc = ¡fbac = ¡facb:

(3.95)

полупростой

(3.96)

55

По аналогии с предыдущим случаем рассмотрим локальную версию преобразований (3.95):

©

0I

I

J

;

¹0

¹

¹ J

I ;

(3.97)

 

= (exp i¤)

J ©

©I = ©J (exp ¡i¤)

 

ãäå ¤ киральное суперполе, принимающее значения в алгебре Ли калибровоч- ной группы, ¤I J = ¤aTaI J .

Вводя в рассмотрение калибровочное поле со значениями в алгебре Ли, под-

чиненное следующему закону преобразования:

 

e2V 0 = ei¤¹ e2V e¡i¤;

(3.98)

строим инвариантный лагранжиан, описывающий взаимодействие полей материи с калибровочными полями: Z

8

¹

2V

I

J

:

(3.99)

S = d

z ©I (e

 

)

J ©

Пользуясь в правой части равенства (3.98) формулой Бейкера Кемпбелла Хаусдорфа, можно получить закон преобразования калибровочного поля в явном виде. В частности, в приближении линейном по полям и калибровочным параметрам находим:

 

0

 

i

¹

i

 

¹

(3.100)

V

 

= V +

2

¡ ¤) +

2

[¤ + ¤; V ] + : : : :

 

Обсудим далее лагранжиан, описывающий калибровочные поля. Для построения последнего нам необходимо найти препотенциалы W®, преобразую-

щиеся по закону:

W 0® = ei¤W®e¡i¤;

(3.101)

 

которые сводятся к знакомому выражению (3.70) в абелевом пределе. Несложно

убедиться, что выражение:

 

 

 

 

 

 

 

 

W® = ¡

1

¹2

(e

¡2V

D®e

2V

)

(3.102)

 

 

8D

 

 

 

удовлетворяет указанным требованиям. Отметим, что, как и в абелевом случае, суперполевые напряженности W®I J являются киральными суперполями.

Подводя итоги нашего рассмотрения, запишем суперполевой функционал

действия неабелевой суперсимметричной теории Янга-Миллса:

(3.103)

S = Z d8z ©¹e2V © + 2 Z d6z tr W ®W®:

1

 

 

Построение компонентного функционала действия проводится в калибровке Весса Зумино по аналогии с абелевым случаем, и мы не будем останавливаться на нем подробно. Соответствующие детали могут быть найдены в монографии [9].

56

3.6Геометрическая формулировка калибровочных теорий.

Âданном разделе мы рассмотрим альтернативный подход к формулировке калибровочных теорий, основанный на использовании аппарата дифференциальной геометрии. Помимо демонстрации общих методов теории суперсимметрии, геометрический подход является наиболее удобным при работе в высших размерностях и при построении различных теорий супергравитации.

3.6.1 Дифференциальные формы на суперпространстве.

Геометрическая формулировка калибровочных теорий наиболее прозрачно

выглядит в терминах дифференциальных форм. В данном подразделе мы пе-

речислим необходимые сведения о дифференциальных формах на супермного-

образиях.

 

В качестве базового супермногообразия будем рассматривать суперпростран-

ñòâî R4j4, параметризованное координатами zM = (xm; µ®; µ¹®):

 

zM zN = (¡1)²M ²N zN zM :

(3.104)

Дифференциальной 1 формой на произвольном супермногообразии называ-

ется объект:

 

 

 

 

 

 

 

 

 

dz

M

©M (z) = dx

m

©m(z) +

®

¹

®

(z);

(3.105)

 

 

 

©®(z) + ®©

 

заданный в каждой карте системой супергладких функций ©M (z) и не завися-

 

 

 

M

 

 

N @ z0M

 

щий от выбора локальных координат в карте (dz0

 

 

¡!

):

 

 

= dz

 

 

@zN

 

 

M

 

 

 

@ zN

 

 

 

 

 

 

 

¡!

 

 

 

 

dzM ©M (z) = dz0

 

©0M (z0) )

©0M (z0) =

 

©N (z):

(3.106)

 

@z0M

Вводя в рассмотрение внешнее произведение дифференциалов:

 

dzM ^ dzN = ¡(¡1)²M ²N dzN ^ dzM ;

dzM zN = (¡1)²M ²N zN dzM ;

(3.107)

можно построить дифференциальные формы старших порядков. В частности,

дифференциальная 2 форма dzM

 

 

dzN !

 

 

z

определяется набором суперг-

²N ²M^

 

 

 

 

NM ( )

 

 

 

ладких функций !NM = ¡(¡1)

 

!MN , преобразующихся при замене локаль-

ных координат в карте по закону:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

²

 

(²

 

+²

 

 

 

@ zL

@ zS

 

!0NM = (¡1)

N

M

L

) ¡!

 

!SL:

(3.108)

 

 

 

 

 

 

 

 

@z0M

 

@z0N

Внешнее произведение дифференциальных форм определяется стандарт-

ным образом. В частности, для двух 1 форм имеем (в дальнейшем мы предпо-

лагаем, что коэффициентные функции, несущие четное (нечетное) количество

спинорных индексов, являются бозонами (фермионами):

 

dzM !M ¢ dzN ¾N = dzM ^ dzN ¾N ¢ !M :

(3.109)

57

Задача 3.14. Проверьте, что умножение форм линейно, ассоциативно и удовлетворяет перестановочному соотношению:

!p ¢ ¾q = (¡1)pq¾q ¢ !p; (3.110) где числа p è q указывают на порядок дифференциальных форм !p è ¾q.

Внешний дифференциал на множестве дифференциальных форм определяется как операция, повышающая порядок формы на единицу

 

¡!

 

 

d!p = dzNp ^ : : : ^ dzN1 ^ dzS

@

!N1:::Np (z):

(3.111)

@zS

Задача 3.15. Докажите, что внешний дифференциал обладает следующими свойствами:

d(!p +¾p) = d!p +p; d(!p ¢¾q) = !p ¢d¾q +(¡1)qd!p ¢¾q; d(d!p) = 0: (3.112)

При формулировке калибровочных теорий в терминах дифференциальных форм, помимо стандартного базиса dzN , нередко оказывается полезным другой

базис, связанный с дифференциальными инвариантами преобразований суперсимметрии:

e

m

= dx

m

¡ idµ¾

m ¹

m ¹

e

®

®

;

¹

(3.113)

 

 

µ + iµ¾

dµ;

 

=

e® = ®:

Объединяя данные инварианты в единую дифференциальную форму:

 

A

M

A

n

A

¹

e¹

A

¹

¹A

;

 

(3.114)

e = dz

 

eM

(z) = dx

en

+

 

+ ¹e

 

 

определим супертетраду

плоского суперпространства:

 

1

:

(3.115)

eM A(z) =

0 e¹a

= ¡i(¾aµ¹)¹

e¹® = ±¹®

e¹® = 0

 

 

ena

= ±na

 

en® = 0 e= 0

 

A

 

 

 

@ e¹a = ¡i(µ¾a)º²º¹ e¹® = 0

 

e¹® = ±¹®

 

 

Супертетрада является обратимой суперматрицей:

eM AeAN = ±M N ; eAM eM B = ±AB;

ãäå

0 e®n = i(¾nµ¹)®

_

e®¹ = ±®¹

e®¹ = 0

1

:

eAM (z) =

 

ean = ±an

 

ea¹ = 0 e= 0

 

 

 

@ e®n = i(µ¾n)¯_ ²¯® e®¹ = 0

e®¹ = ±®¹ A

 

(3.116)

(3.117)

Важно подчеркнуть, что супертетрада переводит вектор супергруппы Пуанкаре

в скаляр:

©M ! ©A = ©M eM A:

(3.118)

 

Задача 3.16. Проверьте соотношения:

 

 

DA = eAM @M ; @M = eM ADA:

(3.119)

58

Супертетраду можно понимать как некоторый аналог тетрады (локального репера), известной в общей теории относительности. По аналогии с тем, как в общей теории относительности свертка тензоров, преобразующихся по группе общекоординатных преобразований, с локальным репером приводит к скалярному выражению (более точно, возникают тензоры, преобразующиеся по локальной группе Лоренца), супертетрада преобразует вектор супергруппы Пуанкаре в суперскаляр. Будем называть индексы M; N; : : :, преобразующиеся

под действием супергруппы Пуанкаре, мировыми. Индексы A; B; : : :, которые

получаются в результате свертки мировых индексов с супертетрадой, будем называть касательными. В практических вычислениях работа с касательными индексами оказывается более удобной, поскольку все объекты автоматически являются скалярами супергруппы Пуанкаре. В частности, в их терминах удобно строить явно суперсимметричные лагранжианы.

Дифференциал 1 формы супертетрады определяет 2 форму кручения плоского суперпространства:

 

 

1

 

1

 

 

deA =

 

dzM ^ dzN TNMA

=

 

eC ^ eB TBCA ;

(3.120)

 

2

2

ãäå

TBCA = (¡1)²B(²C+²N )eCN eBM (@M eN A ¡ (¡1)²N ²M @N eM A):

(3.121)

 

Задача 3.17. Пользуясь тождеством:

 

 

 

 

 

@N eAM = ¡(¡1)²N (²A+²L)eAL(@N eLB)eBM ;

(3.122)

докажите равенство:

 

[DA; DBg = ¡TABC DC:

(3.123)

 

 

 

Какие компоненты кручения плоского суперпространства отличны от нуля?

3.6.2 Связность и кривизна.

В данном разделе мы приступаем к формулировке калибровочной теории, исходя из общих геометрических принципов.

Рассмотрим набор суперполей материи, которые преобразуются по фундаментальному представлению грассмановой оболочки некоторой полупростой компактной группы Ли:

©0i(z) = ©j(z)Xji;

©0i(z) = (X

¡1) j

©j(z);

(3.124)

 

 

 

i

 

 

ãäå i = 1; : : : ; n. Подразумевается, что матрица Xij представима в виде:

 

j

iKaTa

;

 

 

(3.125)

Xi

= e

 

 

ãäå Ta эрмитовы операторы, задающие представление полупростой компактной алгебры Ли, и Ka вещественные четные суперчисла. Рассматриваемое пред-

ставление унитарно.

Для того, чтобы построить модель, инвариантную относительно локальной версии преобразований (3.124), т.е. для случая, когда вещественные суперчисла

59

для соответствующих компонент

Ka заменяются на вещественные суперполя Ka(z), введем в рассмотрение 1

форму связности, принимающую значения в алгебре Ли калибровочной груп-

ïû:

Aji(z) = dzM AMji(z):

(3.126)

 

Связность позволяет построить дифференциальные операторы:

 

 

D©i = d©i + ©j ¢ Aji; D©i = d©i ¡ Aij ¢ ©j;

(3.127)

ковариантные относительно калибровочной группы. Действительно, постулируя следующий закон преобразования связности:

A0 = X¡1AX ¡ X¡1dX;

(3.128)

приходим к выражению:

 

D0©0i = D©jXji; D0©0i = (X¡1)ijD©j:

(3.129)

Хотя 1 форма связности не является тензором калибровочной группы, с ее

помощью можно построить 2 форму кривизны:

 

F = dA + A ¢ A;

(3.130)

которая преобразуется по тензорному закону.

Задача 3.18. Доказать, что при калибровочных преобразованиях 2 форма кривизны преобразуется следующим образом:

F 0 = X¡1F X:

(3.131)

Отметим, что выражение вида tr F 2 автоматически инвариантно относи-

тельно калибровочных преобразований и может быть использовано для построения инвариантных лагранж1èàíîâ.

Вводя обозначение F = 2 dzM ^ dzN FNM тензора кривизны, находим:

FNM = @N AM ¡ (¡1)²M ²N @M AN ¡ AN AM + (¡1)²M ²N AM AN :

(3.132)

В дальнейшем нам понадобится явный вид компонент тензора кривизны. Переходя к касательным индексам:

 

1 C

^ e

B

FBC; FBC = ¡(¡1)

²B²C

 

(3.133)

F =

 

e

 

 

FCB;

2

 

 

для соответствующих компонент находим:

 

 

 

FBC = (¡1)²B(²C+²M )eCM eBN FNM = DBAC ¡ (¡1)²C²B DCAB ¡

 

¡ABAC + (¡1)²C²B ACAB + TBCD AD

 

 

(3.134)

60