Независимо от массы частицы чрезвычайно сложно найти решения для уравнений с такими компонентами. К счастью, геометрия и топология снова могут помочь нам избежать решения сложнейших дифференциальных уравнений. В этом случае нам необходимо вычислить когомологию касательного расслоения, как это показали исследователи из Университета Пенсильвании, включая Брауна (ранее работал у Пенна), Донаги, Оврута и Тони Пантева. Когомология тесно связана с гомологией и, как гомология, имеет дело с возможностью трансформирования одного объекта в другой. Две концепции, как считает Донаги, представляют различные способы отслеживания одних и тех же свойств.[168] Когда вы определяете когомологический класс расслоения, то можно использовать его для нахождения решений уравнения Дирака и получения материальных частиц. «Это отличный математический метод», — утверждает Оврут.[169]
Используя этот и другие методы, Винсент Бушар из Университета Альберта и Донаги, а также Оврут с коллегами разработали модели, которые, как оказалось, дали много полезного. Обе группы ученых утверждают, что получили верную калибровочную группу симметрии, правильную суперсимметрию, хиральные фермионы и правильные спектры частиц — три поколения кварков и лептонов плюс отдельную частицу Хиггса, и никаких экзотических частиц типа экстра-кварков или лептонов, не входящих в Стандартную модель.
Но разгорелись серьезные дебаты о том, насколько близко эти научные группы подошли к Стандартной модели. Например, были подняты вопросы о методологиях и таких феноменологических деталях, как наличие модульных частиц, которые будут обсуждаться в следующей главе. Физики, с которыми я разговаривал, имеют различные точки зрения на этот вопрос. Лично я пока не в восторге от этой работы, а если быть откровенным, то и от любой попытки на сегодняшний день реализовать Стандартную модель. Шамит Качру из Стэнфорда считает, что последние шаги в этом направлении являются закреплением успехов Канделаса и Грина с коллегами. «Но пока еще никто, — говорит Качру, — не создал модель, которая попала бы в яблочко».[170] Майкл Дуглас из Центра Саймона по изучению геометрии и физики в Стоуни-Брук согласен, «что все эти модели являются еще сырыми, ни одна из них пока не может пройти всех испытаний на непротиворечивость реальному миру. Но хотя обе модели являются незавершенными, мы многое узнаем из этой работы».[171] Канделас доверяет моделям Бушара-Донаги и Оврута с коллегами, поскольку они показывают, как использовать другие расслоения помимо касательного. Он считает, что этот труд со временем укажет путь к другим моделям, отмечая, что «вероятно, существуют и другие возможности. Но пока мы их не реализуем, мы не будем знать, как они работают»[172]. И работают ли они вообще.
Следующие шаги включают не только получение правильных частиц, но также попытки вычисления их масс, без которых невозможно провести значимые сравнения со Стандартной моделью. До того как мы сможем вычислить массу, мы должны определить значение того, что называется константой взаимодействия Юкавы, описывающей силу взаимодействия между частицами: взаимодействия между материальными частицами Стандартной модели и полем Хиггса, а также его частицей, бозоном Хиггса, являющейся чрезвычайно важной. Чем сильнее взаимодействие, тем больше масса частицы.
Давайте возьмем одну частицу, скажем, d-кварк. Как и в случае других материальных частиц, в описание поля d-кварка входят два компонента: один — соответствующий правосторонней форме этой частицы, а второй — левосторонней. Поскольку масса в квантовой теории поля является результатом взаимодействия с полем Хиггса, мы умножаем два поля для d-кварка (лево- и правосторонние формы) на само поле Хиггса. Результат умножения в этом случае соответствует этому взаимодействию, то есть величина произведения, а точнее величина смешанного произведения, показывает, насколько сильным или слабым является взаимодействие d-кварка и поля Хиггса.
Но это только первая часть сложной процедуры. Следующая сложность возникает из-за того, что величина смешанного произведения может меняться по мере перемещения по «поверхности» Калаби-Яу. С другой стороны, константа взаимодействия Юкавы не является переменной величиной, зависящей от месторасположения на многообразии. Это глобальная величина номер один, а способ вычисления этой величины состоит в интегрировании произведения d-кварка и полей Хиггса по всему многообразию.
Следует помнить, что интегрирование фактически является процессом усреднения. У вас есть некоторая функция (в нашем случае произведение трех полей), которая принимает различные значения в разных точках на многообразии, а вам необходимо получить ее среднее значение. Это необходимо сделать, поскольку константа взаимодействия Юкавы является числом, а не функцией, тогда как масса частицы также является числом. Поэтому следует разбить многообразие на мелкие участки и определить значение функции на каждом участке. Затем сложить все значения и разделить на количество участков, получив среднее значение.
Хотя этот метод может показаться довольно простым, он не даст точного правильного ответа. Проблема состоит в том, что многообразие Калаби-Яу, с которым мы работаем, обладает кривизной, и если взять крошечную «прямоугольную» заплатку, допустив на мгновение, что мы находимся в двухмерном пространстве размером dx×dy, то размер такого участка будет изменяться в зависимости от того, насколько велика его кривизна. Вместо этого следует взять значение функции в точке, где находится заплатка, и затем умножить это значение на весовой коэффициент, зависящий от размера заплатки. Другими словами, необходим способ измерения размера заплатки. А для этого необходима метрика, которая подробно описывала бы геометрию многообразия. Но здесь имеется одна загвоздка, о которой мы уже неоднократно упоминали: пока еще никто не смог предложить метод вычисления метрики Калаби-Яу явно, то есть точно.
Здесь вас может ждать ловушка: без метрики невозможно получить массу, а без массы невозможно узнать, насколько близка имеющаяся модель к Стандартной модели. Но существуют несколько математических методов, а именно численные методы, реализуемые с помощью компьютера, которые можно использовать для приближенного вычисления метрики. Затем возникает вопрос, достаточно ли хороша использованная аппроксимация для получения приемлемого ответа.
В настоящее время применяют два основных метода, и оба в некоторой степени опираются на гипотезу Калаби. Эта гипотеза гласит (как уже отмечалось неоднократно), что если многообразие удовлетворяет определенным топологическим условиям, то оно обладает риччи-плоской метрикой. Не создав саму метрику, я не мог бы доказать, что такая метрика существует. При доказательстве был применен так называемый аргумент деформации, это означает, что если начать с чего-то, скажем, с некой метрики, и деформировать ее определенным образом, то этот процесс в конце концов сойдется к необходимой метрике. Если вы можете доказать, что такой процесс деформации стремится к нужному решению, то существует хороший шанс, что можно найти численную модель, которая также будет сходиться.
Недавно два физика, Мэтт Хедрик из Университета Брандейса и Тоби Вайсман из Королевского колледжа, произвели численные расчеты в соответствии с этими принципами, разработав аппроксимированную метрику для поверхности K3, четырехмерного многообразия Калаби-Яу, с которым мы часто имеем дело. Они использовали общую стратегию под названием дискретизация, заключающуюся в том, чтобы взять объект с бесконечным числом точек, например точки, составляющие непрерывную кривую, и представить ее конечным (дискретным) числом точек, надеясь, что этот процесс, в конце концов, сойдется непосредственно на этой кривой. Хедрик и Вайсман считают, что этот процесс сходится, и хотя полученные ими результаты выглядят обнадеживающе, пока они не смогли доказать наличие сходимости.
Один из недостатков описанного метода, не имеющий отношения к анализу Хедрика и Вайсмана, связан с ограничениями современной техники: нынешним компьютерам просто не хватает мощности, чтобы рассчитать подробную метрику для шестимерных многообразий Калаби-Яу. Вычисление в шести измерениях требуют неимоверно больше операций, чем решение четырехмерной задачи. Несомненно, компьютеры продолжают совершенствоваться, и, возможно, они вскоре станут достаточно мощными, чтобы выполнять вычисления и для шести измерений.