Следующим пунктом в нашем списке является кривизна Риччи — ключевое понятие для понимания гипотезы Калаби. Кривизна Риччи является обобщением более конкретного понятия, известного как кривизна в двухмерном направлении. Для того чтобы понять, как с ней работать, представим себе простую картину: сферу и касательное к ней пространство — плоскость, касающуюся сферы в точке северного полюса. Эта плоскость, перпендикулярная прямой, соединяющей центр сферы и точку касания, содержит в себе все касательные вектора, которые можно построить из данной точки сферы. Аналогично, трехмерная поверхность имеет трехмерное касательное пространство, состоящее из всех векторов, являющихся касательными к данной точке, — и так для любого числа измерений. Каждый вектор, лежащий на касательной плоскости, также является касательным к большой окружности сферы, проходящей через северный и южный полюса. Если теперь взять все большие окружности, касательные к векторам плоскости и объединить их, то результатом будет новая двухмерная поверхность. В данном случае двухмерная поверхность, полученная таким образом, совпадет с первоначальной сферой, но для более высоких размерностей подобная поверхность будет представлять собой двухмерное подмногообразие, находящееся в пределах другого, большего по размерам пространства. Кривизна касательной плоскости в двухмерном направлении будет совпадать с гауссовой кривизной полученной двухмерной поверхности.

Для того чтобы найти кривизну Риччи, возьмем некую точку на многообразии и найдем касательный вектор, проходящий через нее. Затем обратим внимание на все касательные двухмерные плоскости, содержащие данный вектор, каждая из которых имеет свою собственную кривизну в двухмерном направлении, которая, как уже было сказано, совпадает с гауссовой кривизной связанной с ней поверхности. Кривизна Риччи представляет собой среднее значение кривизны всех этих плоскостей. Многообразие можно считать риччи-плоским, если для любого произвольно выбранного вектора среднее кривизны касательных плоскостей в двухмерном направлении равно нулю, даже если для каждой отдельной плоскости это условие не выполняется.

Рис. 4.6.Первый класс Черна для двухмерных поверхностей, подобных этой, совпадающий с эйлеровой характеристикой, относится к точкам, в которых поток векторного поля полностью останавливается. На поверхности сферы, например глобуса, таких точек две. К примеру, если течение направлено с северного полюса на южный, как на изображенной слева сфере, то на каждом из полюсов суммарный поток будет равен нулю, поскольку в данных точках векторы будут взаимно компенсировать друг друга. Аналогично, если течение направлено с запада на восток, как на сфере, изображенной справа, также возникнут две точки остановки движения — на северном и южном полюсах, — в которых ничто не движется, поскольку само понятие востока и запада для этих точек отсутствует. Противоположным примером является поверхность бублика, на которой жидкость может течь как в вертикальном (на изображенном слева бублике), так и в горизонтальном направлении (на бублике, изображенном справа), не встречая при этом ни малейших препятствий. Именно поэтому первый класс Черна равен нулю для бублика, в котором сингулярные точки отсутствуют, но не равен нулю для сферы

Как вы уже могли догадаться, это означает, что ранее рассмотренный пример с двухмерной сферой, через северный полюс которой проходит касательный вектор, совершенно нам неинтересен, поскольку данный вектор содержится только в одной касательной плоскости. В этом случае кривизна Риччи представляет собой просто кривизну в двухмерном направлении этой плоскости, которая, в свою очередь, совпадает с гауссовой кривизной сферы, — для сферы единичного радиуса эта кривизна будет равна единице. Но при переходе к более высоким размерностям, число комплексных измерений для которых больше одного или число вещественных измерений больше двух, возникает весьма широкий выбор касательных плоскостей, и, как следствие, многообразие может быть риччи-плоским, не будучи при этом плоским во всех своих точках, то есть, будучи риччи-плоским, оно может иметь отличную от нуля кривизну в двухмерном направлении и отличную от нуля гауссову кривизну.

Рис. 4.7. Определение первого класса Черна для конкретного объекта сводится к нахождению точек, в которых поток векторного поля обращается в нуль. Подобные точки можно обнаружить в центре воронки, например в центре урагана, который представляет собой имеющую круговую форму область спокойной погоды, от 2 до 200 миль в диаметре, окруженную одними из наиболее грандиозных атмосферных явлений. На фотографии запечатлен ураган Фран 1996 года, как раз перед тем, как он опустошит Восточное побережье Соединенных Штатов, принеся миллиарды долларов убытка (фотография Хаслера, Честера, Грисволда, Пирса, Паланнаппана, Маньина, Суммея, Стара, Кенитцера & де Да Бюжардере, Лаборатория по изучению атмосферы, Центр космических полетов доктора Годдарда, НАСА)

Кривизна в двухмерном направлении полностью определяет риманову кривизну, которая, в свою очередь, содержит в себе всю возможную информацию о кривизне поверхности. В четырехмерном случае для описания кривизны необходимы двадцать чисел, для более высоких размерностей — еще больше. Тензор римановой кривизны может быть представлен в виде суммы двух слагаемых — тензора Риччи и так называемого тензора Вейля, на котором мы подробно останавливаться не будем. Главное, что из двадцати чисел, необходимых для описания римановой кривизны в четырехмерном случае, десять описывают кривизну Риччи и десять — кривизну Вейля.

Тензор кривизны Риччи, являющийся ключевым составляющим известного уравнения Эйнштейна, характеризует влияние материи и энергии на геометрию пространства-времени. По сути дела, левая часть этого уравнения представляет собой так называемый тензор Эйнштейна — модифицированный тензор Риччи, тогда как в правой части находится тензор энергии-импульса, описывающий плотность и поток материи в пространстве-времени. Иными словами, уравнение Эйнштейна связывает поток плотности материи и импульс в данной точке пространственно-временного континуума с тензором Риччи. Поскольку тензор кривизны Риччи является только частью общего тензора кривизны, как уже говорилось выше, невозможно определить кривизну в целом только на основании этого тензора. Надежду на определение кривизны пространства-времени дает нам знание глобальной топологии.

В частном случае, когда масса и энергия равны нулю, уравнение сводится к следующему: тензор Эйнштейна = 0. Это так называемое уравнение Эйнштейна для вакуума, и хотя на первый взгляд оно может показаться простым, не следует забывать, что это уравнение является нелинейным дифференциальным уравнением в частных производных, которые почти никогда не решаются просто. Более того, уравнение Эйнштейна для вакуума на самом деле представляет собой систему из десяти нелинейных дифференциальных уравнений в частных производных, поскольку тензор состоит из десяти независимых коэффициентов. Это уравнение очень похоже на гипотезу Калаби, которая предполагает равенство нулю кривизны Риччи. Нет ничего особо удивительного в том, что оно имеет так называемое тривиальное решение, которое не представляет никакого интереса: пространственно-временной континуум, в котором нет ни материи, ни гравитации и в котором в принципе ничего не происходит. Однако существует и более интригующая возможность и именно о ней идет речь в гипотезе Калаби: может ли уравнение Эйнштейна для вакуума также иметь и нетривиальное решение? И ответ на этот вопрос, как мы увидим в свое время, утвердительный.

Вскоре после того, как Черн в середине 1940-х годов сформулировал понятие классов Черна, он показал, что для многообразий с кривизной Риччи, равной нулю, то есть для многообразий определенной геометрии, первый класс Черна также должен обращаться в нуль. Калаби представил проблему в другом виде, задавшись вопросом, насколько топологические особенности пространства определяют его геометрию или, точнее, позволяют пространству иметь ту или иную геометрию. Обратное верно далеко не всегда. К примеру, известно, что гладкая поверхность, то есть не имеющая углов, гауссова кривизна которой больше единицы, должна быть ограниченной или компактной. Она не может простираться до бесконечности. Но в общем случае компактные гладкие поверхности не обязательно имеют метрику с гауссовой кривизной больше единицы.