Следуя Виттену, начнем с анализа одной из пяти теорий, например теории струн типа I, и предположим, что все ее девять пространственных измерений являются плоскими и несвернутыми. Такое предположение, разумеется, совершенно нереалистично, но оно делает анализ проще; случай свернутых измерений будет рассмотрен немного ниже. Примем сначала, что константа связи струны много меньше 1. В этом случае справедливы методы теории возмущений, и многие конкретные характеристики теории могут быть (и были) изучены довольно точно. Если мы будем увеличивать константу связи, но следить, чтобы она оставалась гораздо меньше 1, методы теории возмущений будут оставаться справедливыми. Однако конкретные характеристики теории несколько изменятся. Например, численные параметры рассеяния двух струн станут немного иными, так как изображенные на рис. 12.6 диаграммы с петлями при увеличении константы связи дадут большие вклады. Несмотря на эти изменения численных параметров, физическое содержание теории останется неизменным, если величина константы связи соответствует области применимости теории возмущений.
Когда значение константы связи струны типа I превысит единицу, методы теории возмущений станут неприменимыми, так что мы сфокусируем наше внимание на ограниченном наборе масс и зарядов БПС-состояний, которые мы еще будем в состоянии понять. Согласно гипотезе Виттена, подтвержденной затем в совместной работе с Джо Польчински из университета Санта Барбары, свойства теории струн типа I в области сильной связи в точности совпадут с известными свойствами теории О-гетеротической струны со слабой связью. Иными словами, если константа связи в теории струн типа I велика, конкретные массы и заряды, которые мы умеем вычислять, в точности совпадут с массами и зарядами в теории О-гетеротической струны с малой константой связи. Это явно указывает на то, что две теории струн, которые, подобно воде и льду, сначала казались совершенно разными, в действительности дуальны друг другу. При этом появляется убедительный довод в пользу того, что физические процессы в теории струн типа I для больших констант связи идентичны физическим процессам в теории О-гетеротической струны для малых констант связи. Схожие соображения наталкивают на мысль, что справедливо и обратное. Физические процессы в теории струн типа I для малых констант связи идентичны физическим процессам в теории О-гетеротической струны для больших констант связи.[122] Несмотря на то, что при анализе приближенными методами теории возмущений две теории струн кажутся не связанными, при изменении констант связи происходит переход одной из них в другую, подобный взаимным превращениям воды и льда.
Этот существенно новый результат — возможность описания физических свойств одной теории в области сильной связи в рамках другой теории в области слабой связи — называют дуальностью сильной и слабой связи. Как и рассмотренные выше примеры дуальности, эта дуальность показывает, что две теории на самом деле не являются разными. Точнее, они дают различные описания одной и той же лежащей в их основе теории. В отличие от «тривиальной» дуальности английского и китайского языков, дуальность сильной и слабой связи дает мощный инструмент исследования теорий. Если константа связи в одной из двух теорий мала, можно анализировать физические свойства с помощью хорошо известных приемов теории возмущений. Однако если константа связи велика, и теория возмущений неприменима, можно перейти к дуальной теории и вернуться к методам теории возмущений. Переход позволяет использовать количественные методы применительно к ситуациям, анализ которых, как казалось ранее, выходит за рамки наших возможностей.
Строгое доказательство того, что физические процессы в теории струн типа I для малых констант связи идентичны физическим процессам в теории О-гетеротической струны для больших констант связи и обратно, является очень сложной и до сих пор не решенной задачей. Одна из двух предположительно дуальных теорий не может быть исследована по теории возмущений, так как ее константа связи слишком велика. Это не позволяет провести прямой расчет многих физических характеристик теории. И именно этим объясняется мощный потенциал предполагаемой дуальности: если гипотеза дуальности верна, она дает новый инструмент исследования теории в области сильной связи. Нужно лишь использовать теорию возмущений для дуальной теории в области слабой связи.
Даже если нельзя доказать, что две теории дуальны, полное согласие результатов, которые можно получить строго, является неоспоримым свидетельством в пользу гипотезы дуальности сильной и слабой связи теории типа I и теории О-гетеротической струны. Эта гипотеза проходила проверку с использованием все более изощренных вычислительных методов, и неизменно находила свое подтверждение. Большинство теоретиков, занимающихся струнами, убеждены в справедливости гипотезы дуальности.
Тем же самым методом можно изучить свойства других теорий струн, например, типа IIB. Согласно первоначальному предположению Халла и Таунсенда, которое затем было подтверждено исследованиями ряда физиков, в этой теории происходит нечто столь же необычное. При увеличении константы связи те физические свойства, которые еще можно определить, начинают совпадать со свойствами той же теории струн типа IIB в области слабой связи. Другими словами, теория струн типа IIB является самодуальной.[123] Тщательный анализ показывает, что теория струн типа IIB с константой связи, большей 1, совершенно идентична той же теории струн с константой связи, обратной изначальной (и, следовательно, меньшей 1). Ситуация аналогична рассмотренному выше стягиванию циклического измерения до планковской длины: если уменьшать значение константы связи в теории типа IIB до значения, меньшего 1, то вследствие самодуальности мы придем к эквивалентной теории типа IIB с константой связи, большей 1.
Предварительные итоги
Итак, посмотрим, где мы находимся. К середине 1980-х гг. физики построили пять теорий суперструн. При исследовании приближенными методами теории возмущений свойства пяти теорий казались различными. Однако эти приближенные методы применимы лишь тогда, когда константа связи струны меньше 1. Ожидалось, что константу связи в каждой теории можно будет вычислить точно, но из вида приближенных уравнений для констант стало ясно, что такое вычисление в настоящее время невозможно. Поэтому физики направили свои усилия на изучение всех пяти теорий в допустимых диапазонах соответствующих констант связи, как для констант, меньших 1, так и больших 1, т.е. при слабой и при сильной связи. Однако попытки определить свойства любой из этих теорий в области сильной связи на основе традиционных методов теории возмущений оказались тщетными.
В настоящее время физики научились рассчитывать определенные характеристики каждой теории струн в области сильной связи, используя мощный формализм суперсимметрии. Ко всеобщему изумлению всех теоретиков, свойства теории О-гетеротических струн в области сильной связи оказались идентичными свойствам теории струн типа 1 в области слабой связи, и наоборот. Более того, свойства теории струн типа IIB в области сильной связи оказались идентичными свойствам той же теории в области слабой связи. Эти неожиданные открытия побуждают нас, следуя Виттену, перейти к анализу двух оставшихся теорий струн, струн типа IIA и Е-гетеротической струны, и выяснить, как эти теории вписываются в общую картину. И здесь нас ожидают еще более удивительные неожиданности. Для того чтобы подготовиться к ним, необходимо совершить краткий исторический экскурс.
Супергравитация
В конце 1970-х — начале 1980-х гг., до всплеска бурного интереса к теории струн, многие физики-теоретики пытались объединить квантовую теорию, гравитацию и другие взаимодействия в формализме единой теории поля для точечных частиц. Они надеялись, что препятствия, возникающие при попытках объединить теории точечных частиц, включающие квантовую механику и гравитацию, будут устранены при исследовании теорий с высокой степенью симметрии. В 1976 г. сотрудники Нью-йоркского университета Стони Брук Дэниел Фридман, Серджо Феррара и Питер ван Ньювенхейзен обнаружили, что наиболее многообещающими являются теории на основе суперсимметрии, так как в них сокращения многих квантовых флуктуаций бозонов и фермионов помогают умиротворить хаос на микроскопических масштабах. В своей работе эти ученые дали название супергравитация суперсимметричным квантовым теориям, которые разрабатывались с целью включить общую теорию относительности в единый формализм. Попытки разработать такие теории не увенчались успехом. Тем не менее, как отмечено в главе 8, урок, предвосхитивший развитие теории струн, не прошел даром.