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

Kaku_M._Vvedenie_v_teoriju_superstrun

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

330

Г л. 7. Полевая теория BRST

§ 7.3. ФИКСАЦИЯ КАЛИБРОВКИ

Покажем, что в предыдущем действии калибровка может быть фиксирована таким образом, что при этом получится или действие (7.2.11), или действие в калибровке светового конуса (6.3.33). Ддя фиксации калибровки иногда полезно разложить оператор Q в соответствии с его нулевыми модами:

Q = c0K-2b0R + d+b,

 

(7.3.1)

где

00

 

 

 

 

 

К = L0

- 1 + £ (ис_„с„ + пЪ_„Ьп),

 

 

п= 1

 

 

 

00

 

 

R = -

Z

 

 

 

л= 1

 

 

d=c.n(^Ln+ftmtnb.pcm +

l-c.mfpmnb.py

(7.3.2)

5= cn(b_n +/-'_„

Ър + \b_pfp.m,.n

 

а /-структурные константы алгебры Вирасоро. Так как оператор Q нильпотентен, эти операторы должны удовлетворять большому числу простых тождеств:

d2 = 82 = О,

 

[К, d] = [К, 5] = [К, R] = О,

 

[R, d]= [R, 5] = 0,

(7.3.3)

[d, 5]= -2RK.

 

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

духового вакуума теории.

 

В гл. 4 мы ввели оператор «духового числа» (4.4.20):

 

00

1

 

х (с-шЬа

+ Ь-шса) + -[с001.

(7-3-4)

и — 1

Z

 

Этот оператор подсчитывает число с-мод за вычетом числа &-мод. М11 можем использовать его для нумерации собственных состояний. Поскольку и Ь-, и с-духи имеют нулевые моды, вакуум духового пол*

Фаддеева-Попова совершенно отличается от обычного единственного вакуума для afm Духовый вакуум (как мы видели в гл. 4) на самом ДР

вырожден и может иметь духовые числа, равные или 1/2, или — " ' Определим два вакуума:

со1 + > = 0;

М - > = 0;

| + > = * 0 | - > .

(7'3,5)

Таким образом, имеется два духовых вакуума. Зафиксируем

число поля

равным — 1/2

и разложим это поле по

этим ДО

§ 7.3. Фиксация калибровки

331

ззкуумам:

 

| ¥ > = V | - > + <Pl + >.

(7-3.6)

Тогда выражение для действия (7.2.13) с учетом (7.3.1) примет вид

1 < * | К У > + <у|Лр> + <6ф| У > + <ф|Лф>.

(7.3.7)

бели мы представляем

 

|Л> = М - > + со| + >,

(7.3.8)

то вариации полей принимают вид

 

8\|/ = (rf+ 5)А,-2Дсо,

(7.3.9)

5ф= — КХ + (d + 5)со.

(7.3.10)

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

духовым модам: 00

l * > = I С-„, С-„г -

...

, м „|0) .

м »

 

( 7 3 1 1 )

Здесь индексы антисимметричны друг другу благодаря антикоммутационным соотношениям между духами. Это позволяет написать

 

i * > = z

(7 -з л 2 >

 

 

 

 

AT* W /

 

где

[

n

\

представляет

произведение N-антисимметризованных и

 

II

 

М-антисимметризованных полей с и Ь. Это значит, что можно ввести «формы», определенные на антикоммутирующих переменных, тем же самым способом, каким дифференциальные формы вводятся через антикоммутирующие dxц [10].

Теперь мы имеем аппарат, необходимый для выполнения фиксации

калибровки.

Выберем сначала ковариантную калибровку [9]:

 

601 ^ > =

0.

(7.3.13)

Уничтожает половину полей в | Ч*), что соответствует ф = 0 в (7.3.6). •Чалее вычисляем детерминант Фаддеева-Попова, возникающий из

вариации Ьо\Ч*) = 0. Находим

 

£ fp= < А | £ о е | Л > = < A | X | A > ,

(7.3.14)

? <Л|- 2-форма. Странная особенность этого духового действия ^^очается в том, что оно в свою очередь обладает своей собственной ^^ибровочной инвариантностью:

8 | Л > = е | Л 1 > .

(7.3.15)

332

Г л. 7. Полевая теория BRST

Следовательно, духовое действие требует еще одного детерминанта Фаддеева-Попова (иначе функциональное интегрирование по духовым полям неограниченно). Следующий духовый член, обусловленный детерминантом Фаддеева-Попова для духового поля, есть

L f p = < A 2 | X | A 1 ) .

(7.3.16)

Но это действие опять имеет свою собственную калибровочную симметрию, которая вновь требует своего собственного калибровочного члена Фаддеева-Попова, и т.д. Ясно, что получается бесконечная башня «духов духов» [10, 12]. Это неизбежная ситуация, потому что каждый детерминант Фаддеева-Попова необходим для уничтожения расходимостей, производимых предшествующим рядом духовых полей.

К счастью, этот ряд возможно просуммировать. Если начать с действия (7.2.13), имеющего единственное духовое число — 1/2, и затем добавить к нему эту бесконечную башню духовых действий, то мы просто восстанавливаем действие (7.2.11), которое представляет сумму по всем возможным духовым числам. Следовательно, (7.2.11)-это вариант (7.2.13) с фиксированной калибровкой. Другими словами, струнный функционал с духовым числом — 1/2 добавлением духов духов был преобразован в струнный функционал произвольного духового числа.

Подобным образом калибровочные степени свободы в (7.2.13) можно использовать для вывода теории в калибровке светового конуса [25]. Здесь, однако, имеется проблема, состоящая в необходимости явно обращаться к уравнениям движения определенных полей для уничтожения других.

Таким образом, только «массовая поверхность» позволяет перейти

врамках формализма BRST к теории в калибровке светового конуса.

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

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

{dt„aZMb-,c_t} |0> .

(7.3.17)

Номер уровня такого состояния дается суммой номеров уровней каждой

совокупности

состояний:

 

п+ +«_ +nb

+ nc = N.

(7-3-1»)

Можно убедиться, что эти нежелательные состояния у с т р а н я ю т с я пс£ средством множества механизмов. Например, для наинизших с о с т о я н и и п+ = и_ = 0 , 1 находим:

(а)

Большая часть состояний с пс = пъ\

^ « + может быть устраН6®*

 

посредством равенства 54*

= QA.

 

(б)

Состояния с пс = 0, nb = 1;

п_ ^ п+

суть множители Л а г р а н ж а .

§ 7.4. Взаимодействия

333

/ \ Состояния, не включенные в (а) с пс = 1, пъ = 1;

^ и + устраняются

этими множителями Лагранжа.

 

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

Витоге мы показали, что в действии (7.2.13) можно зафиксировать калибровку, чтобы воспроизвести или первоначальное действие BRST, иди действие в формализме светового конуса из предыдущей главы. Также можно убедиться (устранением всех высших возбуждений в | ¥ )), <jro действие снова сводится к (7.1.10).

§7.4. ВЗАИМОДЕЙСТВИЯ

Впротивоположность полевой теории в калибровке светового конуса, где струны просто расщепляются в своих внутренних точках, взаимодействующий BRST-формализм Виттена [16] опирается на струнную конфигурацию, показанную на рис. 7.1. (На первый взгляд эта конфигурация кажется нарушающей закон сохранения импульса. Однако только в теории светового конуса импульс струны связан с ее длиной.

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

*г = $ОХ123Ф(Х1)Ф(Х2)Ф(Х3123

- J J > * 1 2 3

< ® l l < ® 2 l < ® 3 l * l > l * 2 > l * 3 > 8 i a

(7.4.1)

таем

С и м м е т р и ч н о е взаимодействие BRST струнной полевой теории. Заме-

в т

Пов ерхность при использовании такой вершины не является плоской, как

 

Рии светового конуса. Отсутствует необходимость в четырехструнном

 

взаимодействии.

334

Гл. 7. Полевая теория BRST

I.з

Рис. 7.2. Конформная поверхность струнной полевой теории BRST. Эту конформную поверхность можно представить, либо выбирая шесть зарядов и размещая их на диаграмме так, чтобы смоделировать поверхность с тремя зарядами, либо проводя на поверхности римановский разрез.

где

 

 

з

 

5 1 2 3 =

П

П 8 [ * , ( а ) - а ) ] .

(7.4.2)

 

0^ст^я/2 г = 1

 

Как в (6.5.2), для того чтобы построить вершину в осцилляторной форме, мы должны найти конформное преобразование, которое переводит верхнюю полуплоскость в изучаемую струнную конфигурацию [26-32]. К сожалению, конформного преобразования трех зарядов в верхнюю полуплоскость (без разрезов) для BRST-вершины не существует, потому что сумма зарядов обычно берется равной нулю, в то время как здесь сумма трех зарядов для симметричной конфигурации должна равняться 3. Решение заключается в построении электростатики шести зарядов, сумма которых равна нулю, и определении границ для того, чтобы смоделировать присутствие трех зарядов. Это требует

разрезания и сшивания нескольких областей комплексной плоскости. Отображение имеет вид (см. рис. 7.2)

р = X

ai l n ( z - z«) = l n

— i

(7.4.3)

- 3 - 7 - . - to/2

i= -3

 

 

 

где

 

 

 

ах = а2 = а_3 = 1,

 

 

а_х = а_2 = а3 = — 1

 

 

z 1 = е/я/6

;

 

(7.4.4)

 

 

л/*/2.

§ 7.4. Взаимодействия

335

g счастью, это отображение можно обратить и получить решение для

г через

делающее возможным явное построение функций Неймана.

Обращая отображение, находим

 

 

 

/ 1 +

1/3

 

 

г =

 

.

 

(7А5)

где

 

 

 

 

р = С. = ^ + ща (ДЛЯ а = 1, 2,

3),

(7.4.6)

р =

- К. - Ас)

(для а = - 1,

- 2, - 3).

(7.4.7)

Коэффициенты Фурье будут содержаться в комбинациях

( i ± ^ Y / 3 =

\1 — ^ /

( г ^ Г "

\1 — ге /

X

A u e * + i

I

A2k+le<

п = 2к

 

п = 2к+ 1

(7.4.8)

 

 

 

пI— 2к

+ /п = 2кI+ 1

 

Объединяя все вместе, находим, что функция Неймана, появляющаяся в вершине, есть

+

 

 

 

 

 

0 1 j

1

/

0

1

~

1 \

(7.4.9)

 

 

 

 

 

 

\

 

1 — 1

 

0 /

 

где

С„м = 2 ( - 1)"/и8„

(V + D)„m = - 2(— 1)"

L

+ В . А. +

 

J

 

п Л- т

п — т

(V - 0)ят = - 2/

 

+ Л.Вл + ВяЛт-\

 

L

п + т

п — т

J

 

® явном виде выписывая вершину через операторы, получаем

1^123>х = exp Q a_„

 

as.m + Р'0

N'0sm as-m

+ i АГ00

£ Pg,]|01 2 3 >.

 

 

 

 

 

(7.4.11)

Используя условие непрерывности для духов, можно также вылить духовой вклад в вершинную функцию. Для этого мы просто X в (7.4.2) духами b и с. Тогда духовая вершина имеет вид

|VU3>8h

= exp ( £ £ Ь'-я Х'п*т

с°.т) | + + + >1 2 3 .

(7.4.12)

 

\ п = 0 т = 1

/

 

336

Г л. 7.

Полевая теория BRST

Здесь вакуум

|+ + + >-это

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

в (7.3.5). Для s = г или s = г + 2 матрица X имеет вид

X7L = - m(Nnm - ЛГК+3),

(7.4.13)

а для s = г +

\

 

X'nsm=rn(Nrnsm-N'n£ + 3).

Окончательная вершина представляет собой произведение этих двух вершин, определяемых в двух совершенно различных пространствах:

\V123) = \V123yx\V123\h.

Посредством длительных вычислений можно показать, что эта вершина удовлетворяет условию BRST-инвариантности [29]:

IQi + Qi + 6з11 ^123 > =

(7.4.15)

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

V= J П

DXr D<Pr И3/2)ф(я/2)

 

 

 

r= 1

 

 

г

ц

 

г ц + |

г + 1

 

X

П

5 ( Х

 

 

( а ) - Х

( я - а ) ) 5 ( ф , ( а ) - ф

 

( я - а ) ) .

0 < в < ( , Л "

 

 

 

 

 

 

(7.4.16)

(Несколько удивляет в этой бозонизированной вершине присутствие вставки в средней точке. Такой член не портит локальность по а, поскольку он появляется только в точке я/2. Более того, он обеспечивает для символа умножения * правильное духовое число + 3/2. Так как духовое число калибровочного параметра Л равно — 3/2, то символ * должен иметь духовое число 3/2, чтобы произведение двух калибровочных параметров А12 давало третий калибровочный параметр Л3 с тем же духовым числом.)

Существует еще один способ вычисления симметричной вершины, который основан на использовании конформных отображений с римано-

выми разрезами (вместо сращивания различных областей комплексной плоскости). Рассмотрим конформное отображение

 

(z +

\)(z - 2)(z

-

+ (z2 - z +

1)3/2

 

 

 

 

 

 

 

P W - tlog

 

Ц

-

^ -

.

 

 

 

z(l

- z ) ^

 

Отображение имеет обычные сингулярности в точках z = 0, 1 0 (соответствующие трем входящим и выходящим струнам на ± Однако новым моментом является наличие у этого отображения явН риманова разреза, создающего многолистную р-плоскость. Этот ра

§ 7.4. Взаимодействия

337

 

 

I

 

 

 

 

 

 

 

 

)

 

 

/

н

6 F1 Р

С,В

А

 

 

'

1

 

 

 

:

 

 

 

 

 

 

 

Рис. 7.3.

в точности то, что нужно для построения в р-плоскости поверхности,

описывающей симметричное столкновение трех струн. Он располагается вертикально от 1/2 — /х /з/2 в нижней полуплоскости до 1/2 + iy/l/2 в верхней полуплоскости. Структуру многолистной плоскости р можно

понять, проследив движение вдоль вещественной оси на рис. 7.3.

Если начать с точки z = + оо на положительной вещественной оси г и двигаться влево, то константу к можно выбрать так, что мы при этом

пройдем аналогичный путь, пролегающий вдоль вещественной оси Р в отрицательную бесконечность. Дойдя до точки z = 1 (точка В), мы

Достигаем отрицательной бесконечности на вещественной оси. При

перепрыгивании через

z = 1

в плоскости р происходит скачок на п

единиц вертикально

вверх.

Далее, движению от z = 1 к z = 1/2 в

Плоскости z соответствует горизонтальное движение вправо от С к D до тех пор, пока мы не достигнем оси у в точке р = /тс. Теперь, двигаясь

ВсРтикально вверх по риманову разрезу до точки Е, z = i/2 + *>/з/2, мы

0пУскаемся

в плоскости

р по оси у до р = in/2. Движение по разрезу

в обратном

направлении

к

точке z = 72 соответствует движению от

к точке F, началу

координат. Движение от z = x / 2

к z = О

качает движение от р = 0

к отрицательной вещественной

бесконеч-

(на следующем римановском листе). Перепрыгивая через z = О, сдвигаемся вертикально вверх на in в отрицательной вещественной ^онечности. Наконец, движение O T Z = 0 K Z = — ОО означает движе-

сР = /тс — оо к р = in + оо (от Я к /).

фУнкции Неймана можно также вывести непосредственно из отоб- *№ия (7.4.17). Этот альтернативный подход к вершинной функции вставлен в [30-32].

^7*7

338

Г л. 7. Полевая теория BRST

§ 7.5. АКСИОМАТИЧЕСКАЯ ФОРМУЛИРОВКА

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

А*В= С

(7.5.1)

конкретно означает

 

A1\(B2\V123} = \C3},

(7.5.2)

где мы спарили гармонические

осцилляторы первой и второй струн

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

bA = QA + А*А-А*А.

(7.5.3)

Определяя кривизну как

 

F = QA +А* А,

(7.5.4)

получаем, что

 

S F = F * A - A * F .

( Ш

Следовательно, если мы можем определить операцию, называемую «интегрированием», которая сохраняет

f A*B = (- 1 )ABfB*A

(7.5Л

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

f f * F = поверхностный член,

L = A*QA+^A*A*A.

С7'5'7*

 

КЗ*

Замечательное свойство этого подхода состоит в том,

что,

и в случае калибровочной теории, мы можем свести существеня*

особенности теории к пяти «аксиомам»:

(1) Существование нильпотентной

операции д и ф ф е р е н ц и р о в а н и я :

Q2 = 0;

О-5*'

 

§ 7.5. Аксиоматическая формулировка

339

(2) Ассоциативность

умножения:

 

 

 

[А*#]*С= А*1В*С];

 

 

 

(7.5.9)

(3) Правило Лейбница:

 

 

 

Q[A*B~] = QA*B-И- 1 )aA*QB;

 

 

(7.5.10)

(4) Правило умножения:

 

 

 

$A*B = (- \)ав

j В* А;

 

 

(7.5.11)

(5) Правило интегрирования:

 

 

 

jQA = 0,

 

 

 

 

(7.5.12)

где (— 1)А

есть

—1, если

А -нечетный

грассманов

элемент, и

(- ly4 = -hi,

если

А -четный

грассманов

элемент.

 

Мы определяем операцию интегрирования следующим образом:

= jDAT

П

5(ЛГ(а)-ЛГ(я-а))Ф(Л:)

= </|Ф> .

 

(7.5.13)

Оператор I- довольно странный объект. Его структура означает, что мы берем функционал струны X, находим среднюю параметризационную точку и затем интегрируем таким образом, что струна складывается сама с собой вокруг этой точки. Таким образом, под действием этой

операции отождествления функционал струны превращается в с-число. Можно также выписать явное представление этого оператора отож-

дествления:

 

 

1(Х) = (Х\1}=

П

S(X„),

 

я= 1 , 3 , 5 . . .

(7.5.14)

 

 

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

K» = L „ - ( - 1)»L_„.

(7.5.15)

На произведение форм этот оператор действует подобно производной:

КН(А*В) = КпА*В + А*КпВ.

(7.5.16)

Интегрирование удовлетворяет соотношению

 

пА = (A\KH\iy = 0,

(7.5.17)

ТогДа как вершинная функция подчиняется условию

 

э

 

I K<f> \V} = 0.

(7.5.18)

этого когомологического подхода состоит в том, что он

22*

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