Теория струн и скрытые измерения вселенной
Шрифт:
Хотя этот метод может показаться довольно простым, он не даст точного правильного ответа. Проблема состоит в том, что многообразие Калаби-Яу, с которым мы работаем, обладает кривизной, и если взять крошечную «прямоугольную» заплатку, допустив на мгновение, что мы находимся в двухмерном пространстве размером dxxdy, то размер такого участка будет изменяться в зависимости от того, насколько велика его кривизна. Вместо этого следует взять значение функции в точке, где находится заплатка, и затем умножить это значение на весовой коэффициент, зависящий от размера заплатки. Другими словами, необходим способ измерения размера заплатки. А для этого необходима метрика, которая подробно описывала бы геометрию многообразия. Но здесь имеется одна загвоздка, о которой мы уже неоднократно упоминали: пока еще никто не смог предложить метод вычисления метрики Калаби-Яу
Здесь вас может ждать ловушка: без метрики невозможно получить массу, а без массы невозможно узнать, насколько близка имеющаяся модель к Стандартной модели. Но существуют несколько математических методов, а именно численные методы, реализуемые с помощью компьютера, которые можно использовать для приближенного вычисления метрики. Затем возникает вопрос, достаточно ли хороша использованная аппроксимация для получения приемлемого ответа.
В настоящее время применяют два основных метода, и оба в некоторой степени опираются на гипотезу Калаби. Эта гипотеза гласит (как уже отмечалось неоднократно), что если многообразие удовлетворяет определенным топологическим условиям, то оно обладает риччи-плоской метрикой. Не создав саму метрику, я не мог бы доказать, что такая метрика существует. При доказательстве был применен так называемый аргумент деформации, это означает, что если начать с чего-то, скажем, с некой метрики, и деформировать ее определенным образом, то этот процесс в конце концов сойдется к необходимой метрике. Если вы можете доказать, что такой процесс деформации стремится к нужному решению, то существует хороший шанс, что можно найти численную модель, которая также будет сходиться.
Недавно два физика, Мэтт Хедрик из Университета Брандейса и Тоби Вайсман из Королевского колледжа, произвели численные расчеты в соответствии с этими принципами, разработав аппроксимированную метрику для поверхности K3, четырехмерного многообразия Калаби-Яу, с которым мы часто имеем дело. Они использовали общую стратегию под названием дискретизация, заключающуюся в том, чтобы взять объект с бесконечным числом точек, например точки, составляющие непрерывную кривую, и представить ее конечным (дискретным) числом точек, надеясь, что этот процесс, в конце концов, сойдется непосредственно на этой кривой. Хедрик и Вайсман считают, что этот процесс сходится, и хотя полученные ими результаты выглядят обнадеживающе, пока они не смогли доказать наличие сходимости.
Один из недостатков описанного метода, не имеющий отношения к анализу Хедрика и Вайсмана, связан с ограничениями современной техники: нынешним компьютерам просто не хватает мощности, чтобы рассчитать подробную метрику для шестимерных многообразий Калаби-Яу. Вычисление в шести измерениях требуют неимоверно больше операций, чем решение четырехмерной задачи. Несомненно, компьютеры продолжают совершенствоваться, и, возможно, они вскоре станут достаточно мощными, чтобы выполнять вычисления и для шести измерений.
Между тем, существует другой метод, который меньше зависит от вычислительных ограничений. Его начало было положено еще в 1980-е годы, когда я предположил, что риччи-плоскую метрику всегда можно аппроксимировать, поместив (или, говоря техническим языком, — «вложив») многообразие Калаби-Яу в опорное пространство очень высокой размерности. Такое опорное пространство называется проективным пространством, и оно напоминает комплексный вариант плоского евклидова пространства, за исключением того, что оно компактно. При размещении, например, многообразия в большем пространстве, подпространство автоматически наследует метрику (которая называется индуцированной метрикой) из опорного пространства. Аналогичная ситуация наблюдается, если поместить сферу в обычное евклидово пространство — сфера примет метрику опорного пространства. Если следовать похожей аналогии, то можно также считать, что дырка в швейцарском сыре встроена в более крупное пространство.
Рис. 9.5. С помощью процесса дискретизации можно аппроксимировать одномерную кривую и двухмерную поверхность конечным числом точек. Такая аппроксимация, естественно, будет точнее при увеличении количества точек
Если мы знаем, как измерить расстояние в более крупном пространстве (большом сыре), то мы также будем знать, как измерить размер дырки. В этом смысле вложенное пространство, или дыра, наследует метрику из «сырного» опорного пространства, в котором
Рис. 9.6. В геометрии часто говорят о «вложении» объекта или пространства в «опорное пространство» высокой размерности. В данном случае мы вложили квадрат, то есть одномерный объект, поскольку он состоит из изогнутого несколько раз отрезка прямой, в двухмерное опорное пространство — сферу
Ганг Тиан, будучи в то время моим аспирантом, доказал это в статье, вышедшей в 1990 году, которая фактически была его диссертационной работой. С тех пор к моему исходному утверждению было добавлено несколько важных уточнений, включая диссертацию еще одного моего аспиранта Вей-Донг Руана о том, что возможна более точная аппроксимация риччи-плоской метрики. Главное уточнение было посвящено способу вложения многообразия Калаби-Яу в опорное пространство. Нельзя сделать это бессистемно. Идея состоит в том, чтобы выбрать соответствующее вложение так, чтобы индуцированная метрика была наиболее близка к риччи-плоской метрике. Для этого следует поместить многообразие Калаби-Яу на возможно лучшее место, так называемую сбалансированную позицию, которая является той позицией среди всех возможных, где наследуемая метрика приближается вплотную к риччи-плоской.
Понятие сбалансированной позиции ввели в 1982 году Петер Ли и я для случая подмногообразия (или подповерхностей) на сфере, находящейся в действительном пространстве. Затем мы пошли дальше — к общему случаю подмногообразия в сложном опорном (или проективном) пространстве со множеством измерений. В те годы Жан-Пьер Бургиньон, являющийся в настоящее время директором Института высших научных исследований, начал с нами сотрудничество, которое вылилось в 1994 году в совместную статью по этой теме.
Ранее на конференции по геометрии в Калифорнийском университете в Лос-Анджелесе я предположил, что каждое кэлерово многообразие, допускающее риччи-плоскую метрику, включая Калаби-Яу, является устойчивым, но такое понятие устойчивости сложно определить. На последующих семинарах по геометрии я продолжал подчеркивать важность работы Бургиньона-Ли-Яу, как теперь ее называют, в отношении идеи устойчивости. Наконец, несколько лет спустя мой аспирант Вей Луо из Массачусетского технологического института установил связь между устойчивостью Калаби-Яу и условием равновесия. Благодаря работе Луо я смог видоизменить свою гипотезу, придя к заключению, что если вложить Калаби-Яу в многомерное пространство, то можно всегда найти положение, в котором позиция будет равновесной.
Саймон Дональдсон доказал, что эта гипотеза является верной. Его доказательство также подтвердило суть этой новой схемы аппроксимации: если вложить Калаби-Яу в высокоразмерное опорное пространство и выполнить условие равновесия, то метрика будет значительно ближе к риччи-плоской. Дональдсон доказал это, показав, что индуцированные метрики образуют последовательность в опорных пространствах увеличивающейся размерности и что эта последовательность сходится, стремясь к идеальной риччи-плоской метрике при стремлении числа измерений к бесконечности. Однако это заявление справедливо лишь постольку, поскольку верна гипотеза Калаби: когда Дональдсон продемонстрировал, что эта метрика сходится к риччи-плоской метрике, его доказательство опиралось на существование риччи-плоской метрики.