Когда значение константы связи струны типа I превысит единицу, методы теории возмущений станут неприменимыми, так что мы сфокусируем наше внимание на ограниченном наборе масс и зарядов БПС-состояний, которые мы ещё будем в состоянии понять. Согласно гипотезе Виттена, подтверждённой затем в совместной работе с Джо Польчински из университета Санта Барбары, свойства теории струн типа I в области сильной связи в точности совпадут с известными свойствами теории O-гетеротической струны со слабой связью. Иными словами, если константа связи в теории струн типа I велика, конкретные массы и заряды, которые мы умеем вычислять, в точности совпадут с массами и зарядами в теории O-гетеротической струны с малой константой связи. Это явно указывает на то, что две теории струн, которые, подобно воде и льду, сначала казались совершенно разными, в действительности дуальны друг другу. При этом появляется убедительный довод в пользу того, что физические процессы в теории струн типа I для больших констант связи идентичны физическим процессам в теории O-гетеротической струны для малых констант связи. Схожие соображения наталкивают на мысль, что справедливо и обратное. Физические процессы в теории струн типа I для малых констант связи идентичны физическим процессам в теории O-гетеротической струны для больших констант связи.{106} Несмотря на то, что при анализе приближёнными методами теории возмущений две теории струн кажутся не связанными, при изменении констант связи происходит переход одной из них в другую, подобный взаимным превращениям воды и льда.
Этот существенно новый результат — возможность описания физических свойств одной теории в области сильной связи в рамках другой теории в области слабой связи — называют дуальностью сильной и слабой связи. Как и рассмотренные выше примеры дуальности, эта дуальность показывает, что две теории на самом деле не являются разными. Точнее, они дают различные описания одной и той же лежащей в их основе теории. В отличие от «тривиальной» дуальности английского и китайского языков, дуальность сильной и слабой связи даёт мощный инструмент исследования теорий. Если константа связи в одной из двух теорий мала, можно анализировать физические свойства с помощью хорошо известных приёмов теории возмущений. Однако если константа связи велика, и теория возмущений неприменима, можно перейти к дуальной теории и вернуться к методам теории возмущений. Переход позволяет использовать количественные методы применительно к ситуациям, анализ которых, как казалось ранее, выходит за рамки наших возможностей.
Строгое доказательство того, что физические процессы в теории струн типа I для малых констант связи идентичны физическим процессам в теории O-гетеротической струны для больших констант связи и обратно, является очень сложной и до сих пор не решённой задачей. Одна из двух предположительно дуальных теорий не может быть исследована по теории возмущений, так как её константа связи слишком велика. Это не позволяет провести прямой расчёт многих физических характеристик теории. И именно этим объясняется мощный потенциал предполагаемой дуальности: если гипотеза дуальности верна, она даёт новый инструмент исследования теории в области сильной связи. Нужно лишь использовать теорию возмущений для дуальной теории в области слабой связи.
Даже если нельзя доказать, что две теории дуальны, полное согласие результатов, которые можно получить строго, является неоспоримым свидетельством в пользу гипотезы дуальности сильной и слабой связи теории типа I и теории O-гетеротической струны. Эта гипотеза проходила проверку с использованием всё более изощрённых вычислительных методов, и неизменно находила своё подтверждение. Большинство теоретиков, занимающихся струнами, убеждены в справедливости гипотезы дуальности.
Тем же самым методом можно изучить свойства других теорий струн, например, типа IIB. Согласно первоначальному предположению Халла и Таунсенда, которое затем было подтверждено исследованиями ряда физиков, в этой теории происходит нечто столь же необычное. При увеличении константы связи те физические свойства, которые ещё можно определить, начинают совпадать со свойствами той же теории струн типа IIB в области слабой связи. Другими словами, теория струн типа IIB является самодуальной.{107} Тщательный анализ показывает, что теория струн типа IIB с константой связи, большей 1, совершенно идентична той же теории струн с константой связи, обратной изначальной (и, следовательно, меньшей 1). Ситуация аналогична рассмотренному выше стягиванию циклического измерения до планковской длины: если уменьшать значение константы связи в теории типа IIB до значения, меньшего 1, то вследствие самодуальности мы придём к эквивалентной теории типа IIB с константой связи, большей 1.
Итак, посмотрим, где мы находимся. К середине 1980-х гг. физики построили пять теорий суперструн. При исследовании приближёнными методами теории возмущений свойства пяти теорий казались различными. Однако эти приближённые методы применимы лишь тогда, когда константа связи струны меньше 1. Ожидалось, что константу связи в каждой теории можно будет вычислить точно, но из вида приближённых уравнений для констант стало ясно, что такое вычисление в настоящее время невозможно. Поэтому физики направили свои усилия на изучение всех пяти теорий в допустимых диапазонах соответствующих констант связи, как для констант, меньших 1, так и больших 1, т. е. при слабой и при сильной связи. Однако попытки определить свойства любой из этих теорий в области сильной связи на основе традиционных методов теории возмущений оказались тщетными.
В настоящее время физики научились рассчитывать определённые характеристики каждой теории струн в области сильной связи, используя мощный формализм суперсимметрии. Ко всеобщему изумлению всех теоретиков, свойства теории O-гетеротических струн в области сильной связи оказались идентичными свойствам теории струн типа I в области слабой связи, и наоборот. Более того, свойства теории струн типа IIB в области сильной связи оказались идентичными свойствам той же теории в области слабой связи. Эти неожиданные открытия побуждают нас, следуя Виттену, перейти к анализу двух оставшихся теорий струн, струн типа IIA и E-гетеротической струны, и выяснить, как эти теории вписываются в общую картину. И здесь нас ожидают ещё более удивительные неожиданности. Для того чтобы подготовиться к ним, необходимо совершить краткий исторический экскурс.
В конце 1970-х – начале 1980-х гг., до всплеска бурного интереса к теории струн, многие физики-теоретики пытались объединить квантовую теорию, гравитацию и другие взаимодействия в формализме единой теории поля для точечных частиц. Они надеялись, что препятствия, возникающие при попытках объединить теории точечных частиц, включающие квантовую механику и гравитацию, будут устранены при исследовании теорий с высокой степенью симметрии. В 1976 г. сотрудники Нью-йоркского университета Стони Брук Дэниел Фридман, Серджо Феррара и Питер ван Ньювенхейзен обнаружили, что наиболее многообещающими являются теории на основе суперсимметрии, так как в них сокращения многих квантовых флуктуаций бозонов и фермионов помогают умиротворить хаос на микроскопических масштабах. В своей работе эти учёные дали название супергравитация суперсимметричным квантовым теориям, которые разрабатывались с целью включить общую теорию относительности в единый формализм. Попытки разработать такие теории не увенчались успехом. Тем не менее, как отмечено в главе 8, урок, предвосхитивший развитие теории струн, не прошёл даром.
Урок, смысл которого, вероятно, стал более ясен после работы сотрудников Парижской высшей технической школы Юджина Креммера, Бернара Джулиа и Шерка (1978 г.) состоял в том, что успешнее остальных оказались попытки построить теории супергравитации не в четырёх, а в большем числе измерений. А именно, наиболее перспективными оказались варианты теорий в десяти или одиннадцати измерениях, при этом число одиннадцать оказалось максимально возможным числом измерений.{108} Связь с четырьмя наблюдаемыми измерениями в этих теориях также обеспечивалась путём использования формализма Калуцы–Клейна: лишние измерения сворачивались. В десятимерных теориях, как и в теории струн, сворачивалось шесть измерений, а в 11-мерной теории сворачивалось семь измерений.
Когда в 1984 г. теория струн увлекла многих физиков, виды на будущее у теорий супергравитации для точечных частиц резко ухудшились. Как уже неоднократно подчёркивалось, при точности, доступной сегодня и в обозримом будущем, струны выглядят, как точечные частицы. Это неформальное замечание можно сформулировать и в строгой форме: при изучении низкоэнергетических процессов в теории струн, т. е. процессов, в которых энергии недостаточно велики для того, чтобы прощупать протяжённую ультрамикроскопическую структуру струны, можно аппроксимировать струну бесструктурной точечной частицей в формализме квантовой теории поля. Для процессов на малых расстояниях или процессов при больших энергиях такое приближение не подходит, так как мы знаем, что протяжённость струны является важнейшим свойством, позволяющим разрешить конфликты между общей теорией относительности и квантовой теорией, которые теория точечных частиц разрешить не в состоянии. Однако при достаточно низких энергиях или на достаточно больших расстояниях эти проблемы не возникают, и такое приближение часто делается для удобства вычислений.
