|
Вскоре после того, как Черн в середине 1940-х годов сформулировал понятие классов Черна, он показал, что для многообразий с кривизной Риччи, равной нулю, то есть для многообразий определенной геометрии, первый класс Черна также должен обращаться в нуль. Калаби представил проблему в другом виде, задавшись вопросом, насколько топологические особенности пространства определяют его геометрию или, точнее, позволяют пространству иметь ту или иную геометрию. Обратное верно далеко не всегда. К примеру, известно, что гладкая поверхность, то есть не имеющая углов, гауссова кривизна которой больше единицы, должна быть ограниченной или компактной. Она не может простираться до бесконечности. Но в общем случае компактные гладкие поверхности не обязательно имеют метрику с гауссовой кривизной больше единицы. Например, бублик является совершенно гладким и компактным, однако его гауссова кривизна далеко не везде положительна, не говоря уже о том, что она далеко не всегда больше единицы. На самом деле, как уже обсуждалось ранее, метрика с гауссовой кривизной, равной нулю, вполне возможна, а метрика, кривизна которой всюду положительна, — нет. Таким образом, гипотеза Калаби столкнулась с двумя большими затруднениями: из того, что эта гипотеза представляла собой утверждение, обратное общеизвестному факту, еще не следовала ее истинность. И даже при условии ее истинности, доказать существование метрики, удовлетворяющей всем необходимым требованиям, чрезвычайно сложно. Подобно гипотезе Пуанкаре, появившейся ранее, гипотезу Калаби, точнее важный частный случай этой гипотезы, можно сформулировать одним предложением: «Компактное кэлерово многообразие, в котором первый класс Черна обращается в нуль, может иметь риччи-плоскую метрику». Однако для доказательства этого простого утверждения потребовалось более двух десятилетий. Ну а работа над всеми возможными следствиями из данного утверждения продолжается уже несколько десятилетий после его доказательства. Как заметил Калаби: «Я изучал кэлерову геометрию и понял, что пространство, которое может иметь по крайней мере одну кэлерову метрику, может также иметь и другие кэлеровы метрики. Найдя одну из них, не составит труда найти и прочие. Моей целью было нахождение такой метрики, которая была бы лучше всех остальных — более “округлая”, если так можно выразиться, — та, которая дает больше всего информации и сглаживает все неровности многообразия». Таким образом, гипотеза Калаби, по его словам, посвящена тому, как найти «лучшую» метрику.[43] — 95 —
|