Страница 48 из 105
Философы и историки науки, среди которых Имре Лакатос, Пол Фейерабенд и Томас Кун, утверждали, что одной экспериментальной аномалии редко бывает достаточно, чтобы убить теорию. Если в теории достаточно глубоко уверена достаточно большая группа экспертов, они будут искать все более крайние меры, чтобы сохранить ее. Это не всегда плохо для науки, а порой бывает и очень хорошо. Временами защитникам теории сопутствует успех, и когда это происходит, могут быть сделаны великие и неожиданные открытия. Но иногда защитники терпят неудачу, и тогда растрачивается огромное количество времени и энергии, пока теоретики глубже и глубже закапываются в яму. История теории струн в последние несколько лет является одной из тех, которые Лакатос и Фейерабенд должны были хорошо понимать, это история большой группы экспертов, которые делают, что могут, чтобы сохранить заветную теорию перед лицом данных, которые кажутся ей противоречащими.
Что сохранило бы теорию струн – если она на самом деле сохранится – так это решение совершенно другой проблемы: как сделать высшие измерения стабильными. Вспомним, что в теориях с высшими измерениями скручивание дополнительных измерений производит множество решений. Те, которые могли бы воспроизвести наблюдаемый нами мир, очень специальные, так как определенные аспекты геометрии высших измерений должны будут поддерживаться замороженными. С другой стороны, раз уж геометрия начинает изменяться, она может только продолжать двигаться, приводя либо к сингулярности, либо к быстрому расширению, которое сделает скрученные дополнительные размерности столь же большими, как и наблюдаемые нами измерения.
Струнные теоретики называют это проблемой стабилизации модулей, где слово "модули" обозначает общее название для констант, которые различают свойства дополнительных измерений. Это проблема, которую теории струн следовало решить, но долгое время было не ясно, как это сделать. Как и в других случаях, пессимисты были обеспокоены, хотя оптимисты были уверены, что раньше или позже мы найдем решение.
В этом случае оптимисты были правы. Прогресс начался в 1990е, когда некоторые теоретики в Калифорнии поняли, что ключом было использование бран для стабилизации высших измерений. Чтобы понять, как, нам надо принять во внимание одну особенность проблемы, которая заключается в том, что геометрия высших измерений может изменяться непрерывно, хотя и оставаться хорошим фоном для теории струн. Иными словами, вы можете изменять объем или форму высших измерений, и, делая это, перетекать через пространство различных струнных теорий. Это означает, что ничто не может остановить геометрию дополнительных измерений от эволюции во времени. Чтобы избежать этой эволюции, мы должны были найти класс теорий струн, среди которых было бы невозможно двигаться без разрывов. Один из способов сделать это заключался в нахождении струнных теорий, для которых каждое изменение является дискретным шагом – то есть, вместо гладкого течения среди теорий вы должны сделать большие, резкие изменения.
Джозеф Полчински сказал нам, что в теории струн на самом деле имелись дискретные объекты: браны. Вспомним, что имеются струнные фоны, в которых браны закручены вокруг поверхностей в дополнительных измерениях. Браны появляются в дискретных единицах. Вы можете иметь 1, 2, 17 или 2040197 бран, но не 1,003 браны. Поскольку браны переносят электрические и магнитные заряды, это приводит к дискретным единицам электрического и магнитного потока.
Так в конце 1990х Полчински, работая вместе с одаренным постдоком по имени Рафаэль Буссо, начал изучение струнных теорий, в которых большие числа единиц электрического потока закручивались вокруг дополнительных измерений. Они смогли получить теории, в которых некоторые параметры больше не изменялись непрерывно. Но можете ли вы заморозить все константы таким образом? Это потребовало намного более сложной конструкции, но ответ принес дополнительную выгоду. Это сделало теорию струн с положительной космологической константой.
Решающий прорыв был сделан в начале 2003 группой ученых из Стэнфорда, включая Ренату Каллош, первопроходца супергравитации и теории струн, Андрея Линде, который является одним из первооткрывателей инфляции, и двух лучших молодых струнных теоретиков, Шамита Качру и Сандипа Триведи.[3] Их труд сложен даже по стандартам струнной теории; он был охарактеризован их коллегой по Стэнфорду Леонардом Сасскайндом как "новое хитроумное изобретение Руби Голдберга ( Рубен Лакиус Голдберг (Reuben Lucius Goldberg) – инженер и мультипликатор, обладатель Пулитцеровской премии. Умер в 1970 году, но до сих пор люди смеются над его комиксами, рассказывающими, как сделать простые вещи излишне сложными. – (прим. перев.))." Но этот труд имел сильнейшее влияние, поскольку он решил как проблему стабилизации дополнительных измерений, так и проблему согласования теории струн с наблюдениями темной энергии.
Вот упрощенная версия того, что сделала Стэнфордская группа. Они стартовали с много раз изучавшегося вида теории струн – плоского четырехмерного пространства-времени с малой шестимерной геометрией в каждой точке. Они выбрали геометрию шести скрученных измерений в виде одного из пространств Калаби-Яу (см. главу 8). Как отмечалось, имеется, по меньшей мере, сотня тысяч таких пространств, и все, что вы можете сделать, это выбрать типичное из них, чья геометрия зависит от большого количества констант.
Затем они скрутили большое число электрических и магнитных потоков вокруг шестимерных пространств в каждой точке. Поскольку вы можете скрутить только дискретные единицы потока, это склоняет нестабильности к замораживанию. Чтобы дальше стабилизировать геометрию, вы должны обратиться к определенным квантовым эффектам, о которых не известно, как они возникают непосредственно из теории струн, но которые поняты в некоторых пределах в суперсимметричных калибровочных теориях, так что есть вероятность, что они играют роль и тут. Объединяя эти квантовые эффекты с эффектами от потоков, вы получаете геометрию, в которой все модули стабильны.
Это тоже можно сделать, так что в четырехмерном пространстве-времени появляется отрицательная космологическая постоянная. Оказывается, что чем меньше мы хотим иметь космологическую постоянную, тем больше потоков мы должны накрутить, так что мы накручиваем гигантское количество потоков, чтобы получить крошечную, но все еще отрицательную космологическую константу. (Как отмечалось, мы не знаем подробно, как записать детали теории струн на таком фоне, но нет причин полагать, что ее не существует.)
Но суть заключается в получении положительной космологической константы, подходящей к новым наблюдениям темпа расширения вселенной. Так что следующий шаг заключается в накручивании других бран вокруг геометрии и другим способом, который оказывает эффект возрастания космологической константы. Точно так же, как имеются античастицы, имеются антибраны, и Стэнфордская группа использовала здесь именно их. Путем накручивания антибран может быть добавлена энергия так, чтобы сделать космологическую константу малой и положительной. В то же время тенденция струнных теорий перетекать друг в друга подавлена, поскольку любое изменение требует дискретного шага. Таким образом, две проблемы были разом решены: удалены нестабильности и получена малая положительная космологическая константа.
Стэнфордская группа могла бы сохранить теорию струн, по крайней мере, на время, от кризиса, сгенерированного космологической константой. Но путь, которым они это сделали, имел такие роковые и непредумышленные последствия, что это разбило струнное сообщество на фракции. До этого момента сообщество было в высшей степени единым. Прийти на конференцию по теории струн в 1990е было все равно, что прийти в Китай в начале 1980х, так как почти все, с кем вы разговаривали, казалось, пламенно поддерживали одну и ту же точку зрения. К лучшему или к худшему, но Стэнфордская группа разрушила единство партии.
Вспомним, что особая струнная теория, которую мы обсуждали, возникает из накручивания потоков вокруг компактных геометрий. Чтобы получить малую космологическую константу, вы должны накрутить много потоков. Но имеется более, чем один способ накручивания потока; фактически, имеется множество способов. Сколько?