Kaku_M._Vvedenie_v_teoriju_superstrun
.pdf
|
|
§ 6.4. Взаимодействия |
291 |
forДа (6*4.4) можно переписать в виде |
|
||
S3 - I ^+Г 5 ( I |
+ |
< ф11 < ф21 < фз I ^123 , |
(6.4.8) |
|
т — 1 |
|
|
где мы ввели вершинную функцию |
|
||
I к123 > = J Д*1231 хг > | Х2 > IХ3 > 6123 . |
(6.4.9) |
Так как вектор в (6.3.11) имеет простую гауссовскую зависимость от jf мы можем вычислить интеграл по ШГ123 в явном виде и получить точную формулу для вершинной функции, записанную через гармонические осцилляторы.
Более удобно выполнить эти вычисления в импульсном представле- нии. Беря фурье-преобразование, мы легко превращаем формулу (6.3.11)
для собственных состояний X в формулу для собственных состояний Р:
|?> = к\]ехр (- I Р1Л + Р1щЛа\н - \ а\ла\я)|0>. |
(6.4.10) |
i,n |
|
Мы легко проверяем, что это выражение правильно воспроизводит уравнение на собственные значения (2.2.9):
РКп\Р) = (аип + а1)\Р). |
(6.4.11) |
Выпишем фурье-разложения для всех трех струнных состояний в вершине в Х- и Р-представлениях:
Я - - Г 1 |
(р>+ |
t |
JnKntos |
— V |
|
|
K\ar\ V |
„ = 1 |
|
аг / |
|
|
|
n= 1 Jn |
ar |
|
|
|
||
где |
|
|
|
|
|
|
9i ^ ( я с ^ - с г ) , |
02 |
= 0 ( а - я а 1 ) , |
93 = Bi + 62 = 1. |
(6.4.13) |
||
И^грал, который нам бы хотелось взять, имеет вид |
|
|||||
1^З> = | / ) Р 1 2 з1=1П | Л > 5 1 2 З |
|
|
|
|||
- 1 ® Л 2 з 8 ( |
I 0г(стг)/>Г(ст) |
П |
ехр |
|
||
|
Г=1 |
|
Г=1 |
|
|
|
+ /><:» |
a ^ - l a i : » ; ^ ) ! 0>. |
|
(6.4.14) |
Эт
Гауссов интеграл. Единственная сложность, с которой мы столкнем- ^ Э т о явная форма дельта-функционала 5123 в (6.4.5), записанная через iw^^^ecKHe осцилляторы. Для выполнения функционального инте-
Р°вания выделим фурье-коэффициенты функционала 8123 с помощью
19*
292 Гл. 6. Полевая теория в калибровке светового конуса
косинус-преобразования уравнения связи для различных Р. Обычп такое фурье-преобразование синуса или косинуса представляет собо* дельта-функцию. Здесь из-за различной параметризационной длины все» трех струн вместо дельта-функций мы получаем матричные уравнения В частности, условие
X er (ar )/»f>(ar ) = PP>(a3 ) + |
+ ^ " ( а ^ в , = 0 |
(6.4.15) |
т — 1 |
|
' |
после выполнения косинус-преобразования принимает вид |
|
+ лI=(1Л З Д + Л<£>р«\) + WpP + = о, (6.4.16)
где А и В- различные интегралы от произведения косинусов.
Вместо того чтобы рассматривать (6.4.16) как точное операторное уравнение, достаточно потребовать его выполнения только на вершинной функции. Другими словами, мы хотим, чтобы вершинная функция обращалась в нуль под действием 6 i 2 3 . Это означает, что [1, 6, 7]
|
|
£ X а"(я<-> + Я<:>„ + вт р) I vl23 > = о, |
|
||
|
|
г=1п=1 |
|
' |
|
flW |
+ ^ - |
^ £ (С"1 А"Т |
С)тМ3) + я'-3!.)) I |
К123> = о, |
(6.4.17) |
где |
|
а 3 П=1 |
|
/ |
|
|
|
|
|
|
|
(С)тп |
= тотп, |
Р = 2 p i р\ |
- 2р1 р\. |
|
(6.4.18) |
Фурье-коэффициенты определяются фурье-преобразованием различных косинусоида л ьных гармоник. Так как все три струны имеют разные длины, фурье-коэффициенты будут, вообще говоря, нетривиальными. Явным построением получаем следующие фурье-коэффициенты:
|
|
|
1 |
nai |
|
|
|
|
|
А™ |
= 2(п/т)112(- l)m |
f |
cos — cos — do |
|
|
||||
|
|
|
na t |
J0 |
|
a t |
a3 |
|
|
|
, |
|
1 |
|
л |
n(o — n a,) |
ma |
||
A™ = 2(n/m) |
1 |
( — 1)" к a2 |
fД |
cos — |
a2 |
l- cos |
a3 |
||
A(3) |
- 8 |
|
|
|
|
|
|
|
|
** mn |
Vfn n , |
|
|
я |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В{т] |
= 2(m)1/2(—l)m —— |
f |
cos — do |
|
|
|
|||
|
|
|
na l |
J0 |
|
a3 |
|
|
|
|
= 2 a3 (n |
|
)"1 (- \)m (my3/2 sin (m к P), |
|
|
(6-4-2l) |
|
|
|
|
§ |
6.4. Взаимодействия |
293 |
||
|
|
|
|
я(ад+<х2) |
^ ^ |
|
||
Ml) * 2(ту1/2 |
(- ir |
2 |
|
f |
cos — rfcr |
|
||
Л |
v |
|
|
ясц |
3 |
|
||
|
|
|
к аz |
а•> |
|
|||
|
- 2 |
а 3 ( я а 2 ) - 1 ( - 1 ) т ( т ) " 3 / 2 |
sin (тяР), |
(6.4.22) |
||||
Р ^ а з . |
|
|
- а 2 Р я , |
|
Pi?) = ai Рт» |
|
||
где Р = ai/a3' |
BW=-a2Bm, |
B^ = atBm. |
|
,Хотя выражения могут показаться сложными, непосредственное зачисление интеграла оказывается простым, поскольку он гауссов. Выполняя интегрирование, находим явную форму вершинной функции. Сначала мы берем тривиальный интеграл по Р{Ъ). Благодаря наличию
дельта-функции, он становится комбинацией импульсов двух других струн. Тогда по Р( 1 2 ) получаем простые гауссовы интегралы. Объединяя члены, находим компактное выражение вершинной функции через гар-
монические осцилляторы [1, 6]:
|Кш> = ехр{1 |
£ |
£ aVmN':na% |
|
|
|
г, 5 = 1 т, п = 1 |
|
|
|
3 |
оо |
|
|
|
+ 1 |
I N{m a{rJm Р + КР2 |
} 10 >, |
(6.4.23) |
|
г=1и |
= 1 |
|
|
|
где |
|
|
|
|
АС, = (C~l)mnbxs - 2(mn)~i/204(г)ГГ-1 |
(6.4.24) |
|||
I |
|
|
|
|
N'm= |
-{т)-и2{А"ТТ-1В)м9 |
|
|
|
4 |
|
' |
|
|
Р = CTJ Р2 — А2 Р\, |
|
(6.4.25) |
Г = £
Г=1
Подведем итоги. Мы постулировали, что единственно возможные взаи-
модействия между струнами-это локальные взаимодействия, т.е. мгно- 1еннЫе локальные деформации топологии струны. Таким способом мы йз®езкали проблем нарушения причинности, десятилетиями блокировавпопытки создания нелокальных полевых теорий. Как ни странно, ЦДНого этого принципа оказывается достаточно для определения всех
^^струнных взаимодействий в калибровке светового конуса. Отметим, что все матрицы Неймана единственным образом опреде-
лится из условия перекрытия струн (6.14.15). Условия локальности
.^ранения импульса достаточно для того, чтобы построить точное ^^ляторное представление вершины.
^Далее мы хотим проверить, что такой подход воспроизводит обычформулу Венециано. Для этого нужно убедиться в следующем:
294 Гл. 6. Полевая теория в калибровке светового конуса
(1)Нужно показать, что мы воспроизводим функцию Неймана m, модели Венециано.
(2)Нужно показать, что якобиан преобразования координат от стру^ ной конфигурации т к обычной верхней полуплоскости переменной оказывается правильным.
Сейчас мы получим обычные струнные амплитуды, демонстрируя тем самым эквивалентность первично и вторично квантованных теорий со взаимодействиями на уровне теории возмущений.
§6.5. МЕТОД ФУНКЦИЙ НЕЙМАНА
Вгл. 2 мы убедились в возможности вычисления функционального интеграла по диску с L ручками:
AN = Z J d\iMNtL exp |
X ktNiUfikj. |
(6.5.1) |
L TL |
i>j |
|
Здесь N (/, j)- функция Неймана между точками i и j на краях диска или верхней полуплоскости с ручками, a MNtL включает все члены меры.
Недостаток этого подхода, однако, заключается в том, что функциональный интеграл определяется на диске или в верхней полуплоскости, в то время как струнная интерпретация конформного диска неясна. Для того чтобы найти связь между струнным подходом и конформным диском, сначала сделаем конформное преобразование р = In z. Такое конформное преобразование превращает верхнюю z-полуплоскость в горизонтальную полосу р-плоскости шириной к. Эта горизонтальная полоса в свою очередь может быть интерпретирована как поверхность, заметаемая одной свободной струной. Мы стремимся обобщить это преобразование на АГ-точечную функцию.
Мы следуем Манделстаму [8] и делаем следующее конформное преобразование верхней полуплоскости:
р = £ а,1о g ( z - z f ) ; |
Х а , = 0, |
(6.5.2) |
i |
i |
|
где параметризационная длина каждой струны есть к at. Это конформное преобразование растягивают верхнюю полуплоскость в длинные горизонтальные полосы, которые соответствуют движению щихся струн.
Аналитически на качественном уровне мы можем видеть, что это преобразование отображает верхнюю полуплоскость в правильную диаграмму в калибровке светового конуса. Отправим нашу перемеННУ^ на положительную бесконечность и затем начнем медленно Дв И г а Т Ь ^ налево. Когда мы приближаемся к одной из сингулярностей, лежаШйХ вещественной оси, р быстро уходит в отрицательную бесконечность, мы проходим над сингулярностью z, , в результате чего логарйф приобретает мнимую часть:
р ~ a j l o g ^ z ) = /яа{ + a, logz. |
(6.5-^ |
|
§ 6.5. Метод функций Неймана |
295 |
|
Таким образом, мы перепрыгиваем в р-плоскости вертикально вверх |
|
да |
- Это соответствует движению от начала с струны длины nat к ее |
|
joHHy на бесконечности. Если мы продолжаем движение в z-плоскости |
влево, то точка в р-плоскости начинает двигаться вправо (оставаясь решенной на расстояние ка, вверх).
Когда мы подходим к следующей сингулярности в точке z , ^ на вещественной оси, происходит нечто странное. Движение переменной g р-плоскости начинает замедляться, в определенной точке она вообще может остановиться, а затем начать движение в обратном направлении, т.е. двинуться влево в комплексной плоскости к отрицательной беско-
нечности. Точку поворота в р-плоскости можно найти, взяв производную и решив относительно z следующее уравнение:
do |
(6.5.4) |
Точка поворота: — = 0. |
|
dz |
|
Когда мы достигаем в z-плоскости z* _ ^, точка в р-плоскости устремляется в отрицательную бесконечность. Проход над сингулярностью в точке 1 приводит к сдвигу в р-плоскости на еще один отрезок яа,_! вертикально вверх. Осторожно двигаясь таким образом по вещественной оси в z-плоскости, мы очерчиваем струнную конфигурацию в калиб-
ровке светового конуса, показанную на рис. 6.4.
К счастью, из (2.5.7) известно, что функция Неймана в верхней полуплоскости есть сумма двух логарифмов. Далее мы хотим разложить эту же самую функцию Неймана в степенной ряд по переменным, определенным в z-плоскости. Для свободной струны, например, можно выбрать координату £ для направления т и координату г| для направле-
ния а. Тогда z = = ^ +
Теперь разложение функции Неймана по переменным £ и г| получается
без труда:
ОО 2 |
|
|
= — У - |
'cos«r|cos«r|' + 2max(£, £'). |
(6.5.5) |
Доказательство того, что это выражение воспроизводит функцию НейJj8®*» достаточно просто. Во-первых, отметим, что сг-производная Функции cosпх\ на концах струны равна нулю, в соответствии с тем, что
на концах струны. Во-вторых, результат действия оператора V2
? это |
разложение |
равен нулю всюду, кроме точки z = z'. Член |
JJJf*^» |
выделяющий максимум из двух значений, дает правильную |
|
^^птотику при £ |
± оо. Следовательно, в силу единственности такое |
сражение должно быть правильным.
Решение для функции Неймана взаимодействующей струны получа- я таким же способом. Сначала предположим, что функция Неймана
296 Гл. 6. Полевая теория в калибровке светового конуса
|
tra |
3 |
wa4 |
|||
|
|
|
|
|
|
|
|
|
ira2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n a i |
|
|
*<*б |
|
|
|
|
|
|
|
Рис. 6.4. Параметризация JV-точечной функции. Входящие (выходящие) стороны имеют положительные (отрицательные) параметризационные длины. Изменением длины внутренних горизонтальных линий мы создаем различные графы полевой теории, которые суммируются в дуальную амплитуду.
имеет вид [8] |
|
|
N(p, р') = —6r,s |
Z ( - ) cos п r| r cos т ехр[ — «| |
- |
|
п= 1 \П/ |
|
+ |
2 Nmn cosmr|rcos«r|s + 28rsmax (£, |
(6.5.6) |
n, m |
|
|
— 2т1з8Г(з — 2^38,3 + brs,
где можно определить локальные координаты прямо на струне с номером г:
р = ar (£r + /г|г) + const |
(6.5.7) |
для г = 1, 2, 3, а константу можно выбрать так, чтобы координаты отсчитывались от ближайшей точки поворота. Здесь штрих у суммы означает отсутствие члена п = О, т = 0. Доказательство правильности этого выражения проводится аналогично. Отметим, что первые два члена в правой части уравнения являются просто членами, обусловленными свободной струной, которые гарантируют выполнение уравнения V2N = 2nd2 (z — z'). Остальные члены представляют собой не что иное, как решение уравнения Лапласа, разложенное по cos«r|. Следовательно, данное выражение служит решением уравнений Пуассона. Поэтому» с учетом единственности функции Неймана, оно является правильным-
Важно отметить, что до сих пор не было сделано ничего нового. Мы просто переписали функцию Неймана как фурье-разложение в различ- ных струнных координатах. Важнейшие коэффициенты которые непосредственно появятся в трехструнной вершине, в свою очередь могут быть точно вычислены, поскольку мы знаем форму функЦй0 Неймана в верхней полуплоскости, представляющую собой сумму Д®У* логарифмов. Таким образом, можно делать различные ф у р ь е - п р е о б р а " зования этой известной функции Неймана, определенной в вер*не^ полуплоскости, и найти фурье-коэффициенты Nmn. Мы обращаем дыдущее уравнение и теперь решаем его для коэффициентов НеймаНа'
|
|
|
§ 6.5. Метод функций Неймана |
297 |
|
фурье-преобразование разложения (6.5.5), приходим к [6] |
|
||||
Mo = - |
|
— |
|
(» > 0), |
(6.5.8) |
п Хг |
2 к i z — xs |
|
|
||
timn = ~ |
|
.2 |
$ dZr $ dzs |
(zr-zs)2 |
|
|
mn(2n)2 |
|
|
||
(Xj s® 1» Xi = |
*з = оо). Подставляя в это выражение функцию Неймана, |
уделенную в верхней полуплоскости, и делая подходящее преобразоjjjgae переменных, мы получаем точную формулу для коэффициентов Неймана.
Теперь, имея явные выражения для фурье-компонент функции Нейрина, рассмотрим случай трех струн. Преобразование верхней полупло-
скости в трехструнную конфигурацию есть просто |
|
p = a 1 l n ( z - l) + a2 lnz. |
(6.5.9) |
Точку поворота для такого отображения можно вычислить, беря производную
dp |
ou |
|
fdz= 0 - z o = |
- - Лa3 |
(6.5.10) |
Отсюда момент времени, в который происходит расщепление струны,
равен
з
t0 = Rep(z = z 0 ) = X ar ln|ar |. (6.5.11) r= 1
Замечательной особенностью отображения (6.5.9) является наличие обратного, выражающего z через р. Это позволяет вычислить все функции Неймана быстрее, не прибегая к абстрактным выражениям типа (6.5.8).
Мы начнем обсуждение процедуры вычисления коэффициентов Неймана с задания координат на трех различных струнах. Например, определим координату £3 на третьей струне:
Сз = — + "с = Сз + 'Лз • |
(6.5.12) |
а з |
|
Деление на а3 обеспечивает изменение параметра г| только от 0 до я. ® этих новых переменных отображение (6.5.9) можно написать так:
- lnz - <; 3 |
+ nr= - ^ I n f l - Г ) |
|
|||
|
|
a3 |
\ |
z) |
|
|
|
з |
|
|
|
|
|
= |
|
-f e^e~^3 + /7C_lnz). |
(6.5.13) |
|
|
<*з |
|
|
|
^ ввести |
новые переменные |
|
|||
— |
|
in — In z, |
|
|
(6.5.14) |
|
|
|
|
|
(6.5.15) |
|
§ 6.6. Эквивалентность амплитуд рассеяния |
299 |
0 |
$. Первый вариант матрицы N определяется из условия перекрытия |
-рун, ее второй вариант выражается через неймановские функции на
«ямановой поверхности.
Чудесным образом, однако, оказывается, что они совпадают [6, 9]:
Nrs _ jjrs
пт — 1 У пт ,
Таким образом, хотя эти два вывода сначала представлялись совершенно непохожими, в конечном счете мы обнаруживаем их полную эквивалентность. (Фактическое доказательство того, что коэффициенты Неймана, найденные в полевой теории (6.4.24), и коэффициенты, полученные в первично квантованной теории, совпадают, можно провести двумя способами. В первом мы используем хорошо известную теорему единственности решения уравнения Пуассона с заданным граничным условием. Можно показать, что обе функции Неймана являются решениями уравнения Пуассона и оказываются непрерывными при т = О, когда происходит расщепление струн. Поэтому, несмотря на громадную разницу в способах появления этих функций, они на самом деле одинаковы. Их эквивалентность тем не менее может быть показана также с помощью второго подхода, опирающегося на «грубую силу». Доказательство требует манипуляций сложными выражениями посредством тождества (6.5.8) [6]. Детали этого вычисления, однако, очень утомительны и здесь представлены не будут.)
Следующим шагом будет доказательство того, что полевая теория струн в калибровке светового конуса воспроизводит модель Венециано.
§ 6.6. ЭКВИВАЛЕНТНОСТЬ АМПЛИТУД РАССЕЯНИЯ
Начнем наше обсуждение с выписывания N-точечной амплитуды
вформализме светового конуса. Эта амплитуда является прямым обобщением амплитуды, найденной в полевой теории точечной частицы
вкалибровке светового конуса [8]:
А» = J Y dx, f П dP\'X4V>(П») W, |
(6.6.1) |
|
i = 2 |
r,n,i |
|
^ [ d e t A ] - 1 2 ^ , ) 1 ' 2 ^ 2 ' ' ^ ' |
|
|
x exp |
(- X J da'da"P\(or')N(o', xr; a", Ts)/>H<T")). |
(6.6.2) |
3 |
" |
|
Десь ¥<r> представляет входящий (выходящий) вектор состояния г-й ®®Шней струны, т,-времена взаимодействия, Р" - компонента фурье- "Реобразования, необходимая для превращения данного выражения ^плитуду на массовой поверхности, Р(, ] - распределение импульса,