2. Кратко поясним различия между пятью теориями струн. Для этого отметим, что колебательные возбуждения вдоль струнной петли могут распространяться по часовой стрелке и против нее. Теории струн типов IIА и IIB отличаются тем, что в последней теории колебания в обоих направлениях идентичны, а в первой теории противоположны по форме. Противоположность в данном контексте имеет точный математический смысл, но нагляднее всего ее можно представлять в терминах вращений колебательных мод в каждой теории. В теории типа IIВ оказывается, что все частицы вращаются в одном направлении (у них одна и та же киральность), а в теории типа IIА — в разных направлениях (у них разная киральность). Тем не менее, в каждой теории реализуется суперсимметрия. Две гетеротические теории имеют аналогичные, но более эффектные отличия. Все моды колебаний по часовой стрелке выглядят так же, как и моды струн типа II (если рассматривать только колебания по часовой стрелке, то теории струн типов ПА и IIB идентичны), но колебания против часовой стрелки совпадают с колебаниями исходной теории бозонных струн. Хотя в бозонных струнах возникают неразрешимые проблемы, если рассматривать их колебания в обоих направлениях, в 1985 г. Дэвид Росс, Джеффри Харви, Эмиль Мартинек и Райан Ром (все они в то время работали в Принстонском университете и их прозвали «Принстонский струнный квартет») показали, что при использовании этих струн в комбинации со струнами типа II получается вполне согласованная теория. Однако в этом союзе была странная особенность, известная со времен работ Клода Лавлейса из университета Ратчерса 1971 г. и Ричарда Броуэра из Бостонского университета, Питера Годдарда из Кембриджского университета и Чарльза Торна из Гейнсвилльского университета (штат Флорида) 1972 г. А именно, для бозонной струны требовалось 26 пространственно-временных измерений, а для суперструны, как обсуждалось, требовалось 10. Так что гетеротические струны (от греческого, т. е. разный)
являются странными гибридами, в которых колебательные моды против часовой стрелки живут в 26 измерениях, а колебательные моды по часовой стрелке — в 10! Пока читатель окончательно не запутался, пытаясь понять этот странный союз, сообщим ему о работе Гросса и его коллег, в которой было показано, что 16 лишних бозонных измерений должны скручиваться в одно из двух торообразных многообразий очень специального вида, приводя к теориям О— и Е-гетеротических струн. Так как 16 добавочных бозонных измерений компактифицированы, каждая из этих теорий ведет себя так, как если бы в ней было 10 измерений, т.е. как теории струн типа II. В гетеротических теориях также реализован свой вариант суперсимметрии. И, наконец, теория типа I аналогична теории ИВ, за исключением того, что помимо замкнутых струн, рассмотренных в предыдущих главах, в ней имеются струны со свободными концами, называемые открытыми струнами.
3. Понятие «точный» в смысле данной главы (например, «точное» уравнение движения Земли) в действительности относится к точному предсказанию некоторой физической величины в рамках выбранного теоретического формализма. До тех пор, пока у нас не будет истинной окончательной теории (возможно, она уже есть, а возможно, ее вообще не будет) все наши теории сами являются приближениями реальности. Но это понятие приближения не имеет никакого отношения к приближениям, рассматриваемым в данной главе. Здесь нас интересует тот факт, что в рамках выбранной теории часто сложно или невозможно сделать точные предсказания. Вместо этого приходится искать эти предсказания с помощью приближенных методов в рамках теории возмущений.
4. Эти диаграммы являются струйными вариантами так называемых диаграмм Фейнмана, предложенных Ричардом Фейнманом для вычислений по теории возмущений в квантовой теории поля точечных частиц.
5. Точнее, каждая пара виртуальных струн, т. е. каждая петля конкретной диаграммы, приводит (наряду с другими более сложными слагаемыми) к мультипликативному вкладу, пропорциональному константе связи струны. Чем больше петель, тем выше показатель степени константы связи струны в ответе. Если константа связи струны меньше 1, повторные умножения сделают вклад следующих петель меньше, в противном случае эти вклады будут того же порядка или будут растут с числом петель.
6. Для читателя, осведомленного в математике, отметим, что в силу этого уравнения пространство-время должно иметь Риччи-плоскую метрику. Если разбить пространство-время на прямое произведение четырехмерного пространства Минковского и шестимерного компактного кэлерова многообра-