суперсимметряи_пособие
.pdfЗадача 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) + |
|
|
µ µ |
2®(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
Данная калибровка известна как калибровка Весса Зумино. В калибровке Весса Зумино функционал действия имеет прежний вид (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 = i²¯°(¾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) + 2iµ2²¹¸¹(x)¤; |
(3.82) |
можно получить модифицированное преобразование суперсимметрии, сохраняющее калибровку. Наличие компенсирующего калибровочного преобразования обуславливает нестандартную форму алгебры суперсимметрии, которую мы обнаружили в предыдущем подразделе.
Задача 3.12. Используя соотношения (3.78), получить компонентную форму преобразований суперсимметрии, сохраняющих калибровку Весса Зумино.
53
3.5.3 Абелева суперсимметричная теория Янга Миллса.
Перейдем к построению теории, описывающей взаимодействие кирального и векторного мультиплетов. Для этого будем следовать стандартному калибровочному принципу.
Функционал действия полей материи:
Z
|
|
Smatter = |
8 |
¹ |
(3.83) |
|
|
d |
z ©© |
||
инвариантен относительно глобальных U(1) преобразований: |
|
||||
|
|
© = ei®©; |
©¹ = 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
и принимая во внимание тривиальные равенства:
|
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 2©¹V 2© = ¡ Z |
d4x ''A¹ nAn; |
|
|
|
|
|
|
|
|
|
|
|
|||||||
Z d8z 2©¹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 |
©j¡ |
|
||||||||||||
|
¡ |
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 i» |
|
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) + dµ |
® |
¹ |
® |
(z); |
(3.105) |
|
|
|
©®(z) + dµ®© |
|
заданный в каждой карте системой супергладких функций ©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 +d¾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µ; |
|
= dµ |
e® = dµ®: |
Объединяя данные инварианты в единую дифференциальную форму:
|
A |
M |
A |
n |
A |
¹ |
e¹ |
A |
¹ |
¹A |
; |
|
(3.114) |
|
e = dz |
|
eM |
(z) = dx |
en |
+ dµ |
|
+ dµ¹e |
|
|
|||||
определим супертетраду |
плоского суперпространства: |
|
1 |
: |
(3.115) |
|||||||||
eM A(z) = |
0 e¹a |
= ¡i(¾aµ¹)¹ |
e¹® = ±¹® |
e¹® = 0 |
|
|||||||||
|
ena |
= ±na |
|
en® = 0 en® = 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 ea¹ = 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