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

В начале 1990-х мало что можно было ответить на эти неудобные вопросы. Но ко второй половине десятилетия молчание сменилось шумным восторгом открытий. Учёные обнаружили новые математические методы, способные перехитрить приближения по теории возмущений, призвав на помощь то, что получило название дуальность.

В 1980-х годах теоретики осознали, что есть не одна теория струн, а пять разных её вариантов с заковыристыми именами тип I, тип IIA, тип IIB, O-гетеротическая, E-гетеротическая. Я не упоминал об этом усложнении до сих пор, потому что все пять теорий, несмотря на различия в технических деталях, имеют одинаковые общие свойства — вибрирующие струны и дополнительные пространственные измерения, — которые были нами рассмотрены. Однако мы дошли до того момента, когда все пять вариантов теории струн выходят на передний план.

В течение многих лет физики использовали методы теории возмущений для анализа каждой из пяти теорий струн. При изучении теории струн типа I считалось, что её константа связи мала, поэтому физики пользовались многошаговой процедурой, похожей на анализ лотереи Ральфом и Элис. Такая же процедура использовалась при изучении O-гетеротической теории или любой другой теории струн. Однако за пределами ограниченной области малых струнных констант учёные лишь пожимали плечами, полагая, что используемый ими математический аппарат недостаточно силён для получения надёжных результатов.

Так было до весны 1995 года, когда Эдвард Виттен потряс струнное сообщество серией изумительных результатов. Опираясь на результаты таких учёных, как Джо Польчински, Майкл Дафф, Поль Таунсенд, Крис Халл, Джон Шварц, Ашок Сен и многих других, Виттен привёл убедительное доказательство того, что теперь струнные теоретики могут свободно выйти за рамки малых констант связи. Ключевая идея была простая и сильная. Виттен доказал, что при увеличении константы связи в одной из формулировок теории струн, теория замечательным образом постепенно трансформируется в нечто хорошо узнаваемое: в другую формулировку теории струн, в которой константа связи уменьшается. Например, когда константа связи в теории типа I велика, она переходит в O-гетеротическую теорию струн с малой константой связи. Это означает, что пять теорий струн не такие уж и разные. При ограниченном рассмотрении — при малых константах связи — каждая из них отличается от остальных, но при снятии этого ограничения каждая из теорий струн переходит в другие.

Недавно я натолкнулся на замечательную картинку, на которой при близком рассмотрении можно разглядеть Альберта Эйнштейна; отодвинув картинку чуть дальше ничего определённого не видно; а при взгляде издалека возникает изображение Мэрилин Монро (рис. 5.2). Если вы смотрите на изображения, проявляющиеся только в крайних фокусах, есть все основания считать, что это две разные картинки. Но анализируя картинку на промежуточных расстояниях, вы неожиданно обнаруживаете, что портреты Эйнштейна и Монро являются частью единого изображения. Точно так же рассмотрение двух теорий струн в крайнем положении, когда струнная константа каждой мала, приводит к заключению, что они столь же разные как Альберт и Мэрилин. Остановившись на этом, как в течение многих лет делали струнные теоретики, можно прийти к выводу, что изучаются две разные теории. Но если рассматривать теории при промежуточных значениях констант связи, то обнаружится, что подобно Эйнштейну, превращающемуся в Монро, одна теория постепенно переходит в другую.

Превращение Эйнштейна в Монро — не более чем курьёз. Переход от одной теории струн к другой теории струн — это уже настоящая трансформация. Она означает, что если нельзя провести вычисления в одной теории струн по теории возмущений, потому что её константа связи слишком велика, то эти вычисления могут быть легко проделаны на языке другой формулировки теории струн, где применима теория возмущений в силу малости константы связи. Такой переход между кажущимися разными теориями называется в физике дуальностью. Она стала одной из самых распространённых тематик в современных исследованиях по теории струн. Описывая одну и ту же физическую ситуацию двумя разными математическими способами, дуальность удваивает наш вычислительный арсенал. Безнадёжно трудные вычисления с одной стороны становятся вполне осуществимыми с другой стороны.[28]

Разобравшись в деталях, Виттен и другие исследователи показали, что все пять теорий струн связаны друг с другом целой сетью таких дуальностей.^{38} В сплетении теорий и дуальностей, названном M-теорией (скоро увидим, почему), объединяются успехи всех пяти формулировок, сшитых вместе посредством дуальных взаимосвязей, что приводит к более глубокому пониманию каждой из них. Одним из открытий, особенно важным для наших целей, оказалось то, что в теории струн есть не только струны.

Начиная изучать теорию струн, я задавался тем же самым вопросом, который спустя много лет стали задавать мне самому: почему струны такие особенные? Почему надо рассматривать фундаментальные объекты, у которых есть только длина? В конце концов, теория сама требует, чтобы арена, где играют её актёры — пространственная Вселенная, — имела девять измерений, так почему не рассматривать объекты, имеющие форму двумерных листов или трёхмерных шариков, или их многомерные аналоги? Ответ на эти вопросы я узнал, когда был студентом в 1980-х. Потом мне часто приходилось объяснять его в своих лекциях в середине 1990-х годов. Ответ состоит в том, что математика, описывающая фундаментальные составляющие с более чем одним пространственным измерением, приводит к неустранимым противоречиям (таким как квантовые процессы с отрицательными вероятностями, а это математически бессмысленный результат). Но когда эти математические рассуждения проводятся для струн, все противоречия компенсируют друг друга и возникает самосогласованное описание.[29]^{39} Струны, определённо, чем-то выделены.

По крайней мере так казалось.

Вооружившись новыми вычислительными методами, физики стали анализировать уравнения теории струн более аккуратно и получили ряд неожиданных результатов. Один из самых удивительных результатов состоял в том, что причина, по которой струны казались выделенными, довольно шаткая. Теоретики догадались, что математические проблемы, возникающие при изучении многомерных ингредиентов, подобных диску или шарику, были всего лишь последствиями использования приближённых методов. Вооружившись более точными методами, небольшая группа теоретиков выяснила, что под математическим покровом теории струн действительно скрываются структуры с разным числом пространственных измерений.^{40} Техника теории возмущений слишком груба, чтобы обнаружить эти ингредиенты, но новые методы смогли это сделать. К концу 1990-х годов стало совершенно очевидно, что теория струн это не просто теория, описывающая струны.