Теория струн и скрытые измерения Вселенной
Шрифт:
Позвольте мне переформулировать задачу в алгебраической геометрии, которую мы пытались решить вначале: для поверхности K3 мы хотим определить количество рациональных кривых с gузлами, которые можно расположить на этой поверхности, для любого значения g(положительного целого числа). Используя обычные методы, математики придумали формулу, которая хорошо работает для кривых с шестью или меньшим количеством узлов, но не с большим. Заслоу и я приступили к решению более общей задачи, то есть к кривым с произвольным количеством узлов. Вместо обычного метода мы взяли теорию струн и рассмотрели задачу с точки зрения бран внутри пространства Калаби-Яу.
В соответствии с теорией струн существуют браны, связанные с поверхностью K3, которая состоит из кривых (или двухмерных поверхностей, как мы определили ранее), а также так
Заслоу и я заметили, что если взять пространство всех бран, содержащих кривые фиксированного рода g, которые связаны с данной поверхностью K3, и затем вычислить эйлерову характеристику этого пространства, то полученное число будет точно равняться числу рациональных кривых с gузлами, которые вписываются в эту поверхность K3.
Таким образом, я и мой коллега переформулировали исходную задачу в другом виде, показав, что все сводится к получению эйлеровой характеристики пространства бран. Затем мы использовали дуализм теории струн, разработанный Кумруном Вафа и Виттеном, для вычисления эйлеровой характеристики. Таким образом, теория струн дала новый инструментарий для решения задачи, а также новый способ формализации проблемы. Ранее алгебраические геометры не могли решить эту задачу, поскольку они не рассматривали браны: им никогда не приходило в голову решить ее в терминах пространства модулей, включающего в себя совокупность всех возможных бран данного типа.
Хотя мы с Заслоу набросали общий подход, полное доказательство было получено только спустя несколько лет другими учеными – Джимом Брайаном из Университета Британской Колумбии и Найчунгом Конаном Лойнгом из Университета Миннесоты. В результате теперь у нас есть математическая теорема, которая является истинной безотносительно к истинности теории струн.
Рис. 13.3.Если вы идете по экватору и все время удерживаете палку параллельно земле по касательной к поверхности, то опишете цилиндр. Если, огибая земной шар, вы перевернете палку на 180 градусов, то опишете более сложную поверхность, имеющую одну, а не две стороны, называемую лентой Мёбиуса
Кроме того, формула, которую мы вывели для расчета рациональных кривых на поверхностях K3, дает функцию для генерирования всех чисел, которые вы получаете для рациональных кривых с произвольным количеством узлов. Оказывается, эта функция по существу воспроизводит знаменитые тау-функции, которые были введены в 1916 году индийским математиком и гением-самоучкой Шринивасой Рамануджаном.[267] С тех пор наша функция в сочетании с высказанными Рамануджаном предположениями привела ко многим важным открытиям в области теории чисел. Насколько мне известно, наша работа впервые помогла установить серьезную связь между исчислительной геометрией (предметом расчета кривых) и тау-функцией.
Эта связь была закреплена последними работами Юйонг Дзена, молодого математика, недавно приглашенного работать в Гарвард, которого обучал мой бывший студент Юн Ли. Дзен показал, что не только рациональные кривые на поверхности КЗ связаны с тау-функцией, но расчет любыхкривых произвольного рода на любойалгебраической поверхности связан с тау-функцией. И Дзен сделал это, доказав гипотезу, высказанную немецким математиком Лотаром Гёттше, который обобщил так называемую формулу Яу-Заслоу для рациональных кривых на поверхностях K3.[268] Новая обобщенная формула, справедливость которой доказал Дзен, носит имя Гёттше-Яу-Заслоу. Несколькими годами ранее бывший мой аспирант А. К. Лью опубликовал доказательство формулы Гёттше-Яу-Заслоу.[269] Но его доказательство, выполненное с помощью сугубо технического, аналитического метода, не дает объяснения в том виде, который устроил бы алгебраических геометров. Таким образом, статья Лью не рассматривается в качестве окончательного подтверждения этой формулы. Доказательство Дзена, основанное на аргументах алгебраической геометрии, получило более широкое признание.
Таким образом, благодаря выводу, изначально вытекающему из теории струн, мы поняли, что связь между исчислительной геометрией и тау-функцией Рамануджана, вероятно, глубже, чем предполагалось. Мы всегда ищем похожие связи между различными разделами математики, поскольку эти неожиданные связи часто могут привести нас к новому пониманию обоих разделов. Я подозреваю, что со временем будет открыто больше связей между исчислительной геометрией и тау-функцией.
В качестве яркого примера обогащения математики теорией струн приведем разработанную в 1990-х годах Виттеном и Натаном Зайбергом из Университета Ратджерса систему уравнений, получившую название Зайберга-Виттена (см. третью главу), которая ускорила исследование четырехмерных пространств. Эти уравнения оказались проще для использования, чем существующие методы, что привело к взрывному росту количества новых идей в работе с четырьмя измерениями, главной из которых является попытка классифицировать и систематизировать все возможные формы. Хотя уравнения Зайберга-Виттена первоначально были получены в теории поля, вскоре было показано, что они также могут быть выведены из теории струн. Кроме того, использование этой идеи в контексте теории струн значительно расширило наши представления о ней. «В ряде случаев, – говорит мой коллега, – Виттен обычно советовал математикам: вот, возьмите эти уравнения, они могут оказаться полезными. И действительно, они оказывались полезными». «Теория струн стала таким благом для математики, таким огромным источникам новых идей, что даже если она окажется несостоятельной как теория природы, она уже сделала для математики больше, чем любой вид человеческой деятельности, который я могу вспомнить», – говорит мой давний сотрудник Бонг Лиан из Университета Брандейса.[270] Хотя сам я об этом сказал бы более сдержанно, чем Лиан, но, в принципе, я согласен с ним, потому что выигрыш оказался неожиданно огромным. Нашу точку зрения разделяет и Атья: «Теория струн трансформировала, обновила и революционизировала крупные разделы математики… в тех областях, которые кажутся далекими от физики». Многие из областей математики – «геометрию, топологию, алгебраическую геометрию и теорию групп – похоже, смешали в один коктейль, причем способом, глубоко связанным с их основным содержанием, и не по касательной, а прямо в сердце математики».[271]
Хотя в прошлом другие области физики обеспечивали математику информацией, теория струн проникла гораздо глубже во внутреннюю структуру математики, способствуя новым концептуальным прорывам. По иронии судьбы, появление теории струн привело к гармоничному сотрудничеству внутри самой математики, поскольку теория струн потребовала многого от математиков, работающих в самых разных областях, включающих дифференциальную геометрию, алгебраическую геометрию, теорию групп Ли, теорию чисел и другие. Непостижимым образом наши надежды в отношении единой теории физики содействовали объединению математики.
Несмотря на красоту теории струн и ее глубокое влияние на математику, остается открытым вопрос: как долго мы должны ждать внешнего подтверждения какой-нибудь связи, любойсвязи теории с реальным миром? Брайан Грин считает, что следует набраться терпения, учитывая, что «мы пытаемся ответить на самые трудные, самые глубокие вопросы в истории науки. [Даже] если мы не получим на них ответы через 50 или 100 лет, мы должны идти вперед».[272] Шон Кэрролл, физик из Калифорнийского технологического института, соглашается: «Глубокие идеи не появляются в короткие сроки».[273] Иначе говоря, куда спешить, в конце концов?
Здесь, возможно, будет полезным напомнить исторический прецедент. «В XIX веке вопрос, почему вода кипит при температуре 100 градусов Цельсия, оставался без ответа, – отмечает Виттен. – Если бы вы сказали физику XIX века, что в XX веке вы сможете вычислить температуру кипения, то это показалось бы ему сказкой».[274]
Нейтронные звезды, черные дыры, гравитационные линзы – плотные концентрации вещества, которые действуют, как линзы в небе, – были бы также отвергнуты, как полнейшая фантазия, если бы их на самом деле не увидели астрономы. «История науки полна суждений о том, что та или иная идея не является практической и никогда не будет проверена», – добавляет Виттен. Но история физики также показывает, что «хорошие идеи выдерживают проверку».[275] Благодаря новым технологиям, о которых даже не догадывалось предыдущее поколение, идеи, которые, казалось бы, выходят за рамки разумного, превращаются из научной фантастики в научные факты.