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

Kaku_M._Vvedenie_v_teoriju_superstrun

.pdf
Скачиваний:
100
Добавлен:
09.02.2015
Размер:
4.61 Mб
Скачать

150

Гл. 3. Суперструны

на эти поля. Для открытой струны (тип I) имеем следующие граничные

условия:

 

^ ( 0 , т ) = $2«(0,т),

 

Slo(7T,T) = S2o(7T,T).

KX*J>

Заметим, что эти два струнных поля обладают одинаковой моральностью SO (8). Причина в том, что только эти соотношения совместимы с глобальным преобразованием суперсимметрии, которые приравнивает два суперсимметричных параметра гА. Это означает, что открытая струна типа I имеет только суперсимметрию с N = 1. (Обращение знаков

в предыдущем уравнении, дающее противоположные киральности, сделало бы суперсимметрию совершенно невозможной. Такой выбор действительно делается в другом варианте теории струн, а именно в теории О(16) (х) 0(16).) Разложение по нормальным модам поэтому имеет вид

Sla(o, т) = 2"1/2

00

Sane-in^-a\

£

 

 

(3.8.8)

S2"(or, т) = 2~1/2

£

+

 

п = — 00

 

где

 

 

{«,,Й} =

 

(3.8.9)

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

 

00

 

 

Slfl(CT,T)=

X

S ^-2»(x-a))

 

n = o ^c o

 

(3.8.10)

S2a(OT, Т)=

X

 

+

 

п = - 00

 

Если эти два поля имеют противоположные киральности, их называют полями типа IIA. Если у них одинаковая киральность, совпадающая с киральностью струн типа I, то их называют полями типа IIB:

Тип1

открытые и замкнутые струны,

 

одинаковые киральности,

 

 

 

 

Тип

IIA = -j

3 а М К Н у Т а Я С Т Р У Н а '

(3.8.11)

 

 

противоположные киральности,

 

Тип

ИВ =

замкнутая струна,

 

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

 

 

 

 

§ 3.8. Квантование действия Грина-Шварца

151

Спектр суперструны в конусной калибровке особенно привлекателен тем, ч т 0 на массовой поверхности теория суперсимметрична, а это означает, что все частицы сразу оказываются упорядочены таким образом, что спиральные состояния бозонов соответствуют числу фермионов. Масса каждой частицы определяется гамильтонианом:

Я = а'(масса)2 = £ (а<-па< + nSa-nS°).

(3.8.12)

n= 1

 

Для струны типа I основное состояние теории состоит из безмассовой векторной частицы и ее спинорного партнера. Пусть | i) представляет восемь физических поперечных поляризаций безмассового векторного поля. Тогда спинорный партнер этого поля | а ) может быть представлен в виде

|в> = £(У<5оЛ>-

(3.8.13)

Можно нормировать наши состояния следующим образом:

 

(U) = S i j ,

 

(a\b) = $y+b,

(3.8.14)

здесь Л-вейлевский оператор проектирования. (Будем использовать следующее обозначение: уЦгЦ2' Ци равно произведению Г-матриц, про-

суммированному по всем перестановкам индексов. Нормировка такова, что у12 = у1 у2.)

Если бы мы квантовали десятимерную супермаксвелловскую теорию в калибровке светового конуса, то суперсимметричной паре (А^ \j/a)

соответствовал бы

 

 

Суперсимметричный мультиплет: |

Al

(3.8.15)

I

v|/a-

\а}.

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

На следующем уровне у нас будет 128 бозонных и 128 фермионных стояний:

п» л

f a 1 - ! I/')

64 состояния,

U8 бозонов

i[

 

и/

 

sa-! IЪ >

64 состояния,

17R ^

 

f

a - 1 I а )

64 состояния,

фермионов

i

/

64 состояния.

 

 

(.

S - ! | i)

,

(3.8.16)

(3.8.17)

152

 

Гл.

3.

 

Суперструны

 

На уровне N = 2 имеется

1152 бозона и столько же фермионов:

 

а_! а7-11 к}

228 состояний,

 

 

SL t Sl-11 i > -> 224 состояния,

 

1152 бозона {

а_2

> 64 состояния,

 

 

а_!Sfl_! | Ъ )

512 состояний,

 

 

S-2 | Ь )

64 состояния,

 

 

а1 -!^-! |у> ->512 состояний,

 

 

5°_2 | />

 

64 состояния,

 

1152 фермиона

а'_ 1 а7-! | а )

288 состояний,

(3.8.18)

 

а1 2 1 а )

 

64 состояния,

 

 

5fl_! S*L! | с >

224 состояния.

 

Эту процедуру можно повторить

на следующем уровне,

на котором

у нас будет 15 360 состояний.

 

 

 

 

Неудивительно, что можно перегруппировать эти массивные мультиплеты также и в соответствии с группой О(9). Причина состоит в том, что безмассовая D-мерная супергравитация после компактификации дает D — 1 массивных состояний. Так, сектор N = 1, содержащий 128 бозонов и 128 фермионов, можно перегруппировать в виде 44 + 84 бозона

внеприводимых представлениях группы О (9) и одного 128-мультиплета для фермионов со спином 3/2. На уровне О(9) бозоны перегруппируются

ввиде представлений 9 + 36 + 126 + 156 + 231 + 594 группы 0(9), тогда как фермионы будут перегруппированы в виде 16 + 128 + 432 + 576.

Для замкнутой струны типа II спектр становится даже еще более интересным, поскольку мы получаем супергравитацию на безмассовом уровне, содержащем 128 бозонов и 128 фермионов:

Суперсимметричный

Г

128

бозонов | i) | j ); | а ) | Ъ ),

 

. ^

мультиплет

I

128

фермионов | « > | в > ; | в > | / > ,

(

'

где первое состояние относится к S-осциляторам, а второе-к §-осцил- ляторам. Если фермионы обладают противоположной киральностью (тип IIA), то это представляет N = 2, (D = 10)-редукцию обычной N — Ь D = 11 супергравитации.

Однако если струнные поля для фермионов имеют одинаковую киральность, то возникают осложнения. Такая теория содержит десятимерный антисимметричный тензор четвертого ранга с 35 независимыми компонентами в восьмимерном пространстве. Было пока- зано, что для такой частицы никакого ковариантного действия не

существует!

Тем

самым

мы

сталкиваемся с необычной с и т у а ц и е й ,

в которой

для

этого

сектора не существует с у п е р с и м м е т р и ч н о г о

действия. Теория,

разумеется,

остается корректно определенной. Ее

§ 3.8. Квантование действия ГринаШварца

153

Формулировка в калибровке светового конуса и элементы S-матрицы д^чнслимы в явном виде. Однако S-матрица, строго говоря, видимо, не доводится из ковариантного действия [33].

Наконец, если мы ограничимся симметризованными состояниями дории типа I, мы получим супергравитацию с N = 1, D = 10. ПодытоggM предельные формы этих теорий при нулевом наклоне реждевской

траектории:

Тип I

N = 1, D = 10 супер-Янг- Миллс,

 

Тип I

N = 1, D = 10 супергравитация,

^ g 20)

Тип IIA N = 2, D = 10 супергравитация,

 

Тип ИВ

не существует.

 

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

В калибровке светового конуса два суперсимметричных преобразования (3.7.6)/и (3.7.3) становятся весьма простыми:

Г bSa = (2p+)1/2T}\

18Г = 0,

(См.

представление Г-матриц в приложении. Существует 8 представлений группы SO(8). Первое из них-векторное представление 8У, которое мы обозначим индексом /. Два других представления являются спинорными. Мы будем использовать для одного из них индекс а, а для второго — индекс а. Таким образом, индексы Г-матрицы преобразуются ка* Можно найти явный вид двух генераторов суперсимметрии,

выраженных через поля; он воспроизводит преобразования, даваемые

Формулой (3.8.21):

00

 

& = (2p+yi20,

 

e°' = (^+ )-l / 2 yL I S"_„ai.

(3.8.22)

 

И = — 00

 

вычисление антикоммутационных соотношений между этими 'ввераторами несложно:

=

(3.8.23)

154

 

 

Гл. 3. Суперструны

 

Здесь

 

 

 

 

Я = - т |

I

+

J

(3.8.24)

Р

V.H = 1

 

 

Доказательство лоренц-инвариантности теории в конусной калибровке теперь нужно расширить до доказательства супер-Пуанкаре инвариантности суперструны. Кроме обычных коммутаторов мы должны показать, что

и \ QJ ~ - ^ ( у П а б е ,

(3.8.25)

где а, Р представляют спинорные индексы в десятимерии. Снова трудности возникают только с коммутатором, содержащим минусовые компоненты осцилляторов:

a«~ = A"

I

К.то!т + (т -\n)S°-mSam).

(3.8.26)

^ P

т -

- оо

 

Вызывающий трудности коммутатор содержит дополнительный член:

М - ^ М о Ч - ^ £

(3.8.27)

^ Р п,т = — оо

 

Поскольку теория уже однозначно определена как десятимерная, мы находим

[М"\ М~Ч = 0.

(3.8.28)

Кроме того, мы находим также коммутатор для группы супер-Пуанкаре:

(3.8.29)

V 2

Этим завершается доказательство того, что спектр модели ГринаШварца обладает десятимерной суперсимметрией на всех уровнях.

§ 3.9. ВЕРШИНЫ И ДЕРЕВЬЯ

Теперь перейдем к вопросу о взаимодействиях. Нам придется полагаться на несколько подсказанных опытом предположений о характере вертексных функций, однако потребовав, чтобы вершины преобразовывались определенным образом под действием c y n e p c H M j метрии, мы тем самым наложим жесткие условия на их о к о н ч а т е л ь н ы й вид. Установив пространственно-временную суперсимметрию для суперструны, покажем теперь, что это ограничение достаточно с и л ь н о е , чтобы с его помощью построить деревья. Мы потребуем, чтобы операторы суперсимметрии превращали фермионные вершины в бо-

§ 3.9. Вершины и деревья

155

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

Цы требуем, чтобы в результате преобразования суперсимметрии, 0ОроЖДенного генераторами Q, вертексы VF и VB переходили друг вдруга, т.е.

[ЛVF(u, /с)] -

VB(l к),

 

aQ\ VB&m~VF(u,k),

(3.9.1)

[6 'Qr.VAWft-Vs&k),

 

[6°Q\ ад

- VF(k к),

 

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

а м-его

суперсимметричный партнер, майорана-вейлевский спинор. Заметим, что эти правила осложняет тот факт, что преобразование суперсимметрии с необходимостью порождает вращения в пространстве-времени, так что £ и и должны также соответствующим образом переходить в 5 и и, й при этом преобразовании суперсимметрии.

Естественное допущение-предположить, что эти вертексы можно

выразить в виде

 

[VF(u, к) =-uFeik*

(3.9.2)

 

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

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

6е

(2/?+)1/2

So,

и 9 Т>

.

у ^ '

0 '

Эти нулевые компоненты преобразуют тензор поляризации в майора- н-вейлевские спиноры. Определим

r\°Q°\u) = \ l ) ,

 

W C > = |S>,

, 3 9 4 )

и 4>ь подставим (3.9.3) в (3.9.4) и найдем преобразованные спиноры Акторы. Теперь несложно показать, что повернутые спиноры и

156

Гл. 3. Суперструны

тензоры поляризации суть ?' = (?')« Л V ,

й' = ~(гуи ук%>,

(3.9.5)

 

 

1

 

/2

 

 

= — ( e ' y ^ + ^ e W .

 

 

V 2

 

к

Подставив (3.9.5) и (3.9.1), находим поля В и F:

в+=р\

 

 

В1

1ик],

 

 

+

112

(3.9.6)

 

a

fl

F

 

= (2р7

)~

[(у.[(r*S)УЯ\* 4+- I-

Fa = (р+ /2)1/2S°,

где

 

 

 

 

Rij = \

 

(3.9.7)

Теперь мы можем осуществить свертку по вертексам и пропагаторам

и получить деревья. Большое преимущество этого подхода состоит

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

D = { £

a'-.oi + лЯ-.Я + \р2

\ 1

,

(3.9.8)

^л = 1

J

 

 

А = <0;

кх | V(k2)D... V(kN_х)10; kN >,

(3.9.9)

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

4,-К

\

'

/,

(3.9.10)

 

r

( . - l

- i '

)

где Х-матрица, дающая подходящую конфигурацию спинов для этой амплитуды. Если и представляет спинор, а ^-поляризацию безмассовЫ* полей, то:

К(щ, с2> «3) Сд) = - ^ ( ^ Г Г г ^ з ) ^ ^ + и,С+

+ I ^ r T V u j ) ^ + к 3 Щ х ,

(3.9.11)

§ ЗЛО. Резюме

157

£(uv «2» w3> "4) = -^("гГ^ИзН^ГциЛ + ^(м1Гцм2)(й4Гцм3).

tfaK отмечалось выше, основная форма (3.9.10) для амплитуд рассеяния LuaccoBbix спинора и вектора одна и та же. Единственное отличие ^никает из-за фактора К.

§ ЗЛО РЕЗЮМЕ

Итак, существуют две эквивалентные версии теории суперструн. Сравнительные преимущества и недостатки действий Невё-Шварца- рамона и Грина-Шварца таковы:

(1)Действие NS- R линейно и легко квантуется как ковариантно, так и в калибровке светового конуса. Деревья и петли для бозонов строятся легко. Оно обладает явной инвариантностью относительно двумерной суперсимметрии. Однако эти важные преимущества необходимо сопоставить с тем фактом, что десятимерная простран-

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

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

Подытожим теперь некоторые факты о теории NS-R. Полное Действие NS-R дается выражением

1

=

-

< > v V а у„

+

 

+ 2 x e p V 1|/ЧХц + ^ v ' L p V x p ] -

(3.10.1)

2®° Инвариантно относительно преобразований двумерной суперсим- «егрии

" в У - е у " .

; « ; - - 2 » б р " х р ,

(З.Ю.2)

l 8 X „ = Va8,

 

а Т а к * е преобразований Вейля, репараметризации и локальных дву-

158

Гл. 3. Суперструны

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

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

Действие Симметрии Ток Алгебра Связи Унитарность.

Если устранить тетраду и поле х» мы получим теорию NS-R в суперконформной калибровке:

L =

J _

(3.10.3)

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

 

 

 

(3.10.4)

таЪ = дах»дьх^ +

+

I _ .

 

jYPbd..

(3.10.5)

Вычислив моменты этих связей, убеждаемся, что они образуют алгебру:

 

 

 

 

 

D

- m)8m, _„,

[Lm, LJ = (m - ri)Lm + n + (m3

NS:

[Lm, Gr~] =

(-m- r)Gm + r,

 

(3.10.6)

 

 

 

 

{G„ Gs} = 2Lr + s

+ l-D(r2

 

.„

[Lw ,

LJ

=

(m

- n)Lm + n

+D-mъ,Ьт, .„,

R:

LLm,

FJ

= (~m - n)Fm + n,

 

 

.

{Fm,

Fn}

=

2Lm + n +

l-Drn2bm,-n.

Как и

в бозонном случае, переход

от континуального интеграф

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

§ ЗАО. Резюме

159

в виде

(3.10.7)

Однако оказывается, что существуют два способа, или «картины», позволяющие выписать N-точечную амплитуду: они называются формализмами Fj и F2. Правила образования N-точечных функций сле-

дующие:

 

Вертекс = V,

1

 

 

 

 

 

Пропагатор = -

,

 

 

 

/V

1

 

 

 

,

(3.10.8)

 

Тахион = кц-6-1/2 10; к}\

а'к2

= -,

 

 

Вакуум = 10; к>; а'к2 = 1,

 

 

 

 

Вертекс = V,

 

 

 

 

 

F2'-

^ Пропагатор = —-—,

 

 

(3.10.9)

 

L o - i

 

 

 

 

Тахион =

 

Вакуум =

10; к ); а' к2

= 1-.

Преимущества недостатки этих двух формализмов следующие:

(1)В формализме Fx намного легче доказать явную циклическую симметрию. Однако приходится тащить через все вычисления излишний груз вакуумного состояния, которое никак не взаимодействует с другими состояниями теории.

(2)В формализме F2 циклическая симметрия неочевидна, но устранение духов провести несложно. Преимущество картины F2 в том, что мы работаем в фоковском пространстве меньшего объема.

ЛГ-точечная функция представляется в виде

(3.10.10)

ЛУы

Хотя модель NS- R с проекцией GSO имеет то же число фермионных и бозонных состояний, но доказать, что теория действительно обладает пространственно-временной суперсимметрией, чрезвычайно сложно. Поэтому мы покажем такую симметрию, постулировав новое действие ЧИШаШварца, содержащее настоящие пространственно-временные спиноры. Действие Грина-Шварца-это

S =

do ск

П0 • Пр + 2 /в'Ч Х'ф1 Г Л 6 ' - 02 Г ^ б 2 )

_ 28 о № 0 1 Г' 1 г о е 1 0 2 Г ц гр0 2 },

(3.10.11)

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]