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